die -package:real-dice

Write given error message to stderr and terminate with exitFailure.
Terminate main process with failure
Lifted version of die.
>>> die "Goodbye!"
Goodbye!
*** Exception: ExitFailure 1
Throw an exception using the provided Text message
Die immediately - throws a ProcessExitException with the given reason.
A parser that always fails with an error message without consuming any input.
A parser that always fails with an error message without consuming any input. Pre-release
Fail the computation with an error message.
(Possible) set of expections for a conditional Put
A parser that always fails with an effectful error message and without consuming any input. Pre-release
Solve the problem using a BMC search. We have:
>>> dieHard
BMC Cover: Iteration: 0
BMC Cover: Iteration: 1
BMC Cover: Iteration: 2
BMC Cover: Iteration: 3
BMC Cover: Iteration: 4
BMC Cover: Iteration: 5
BMC Cover: Iteration: 6
BMC Cover: Satisfying state found at iteration 6
Big: 0, Small: 0 (Initial)
Big: 5, Small: 0 (FillBig)
Big: 2, Small: 3 (BigToSmall)
Big: 2, Small: 0 (EmptySmall)
Big: 0, Small: 2 (BigToSmall)
Big: 5, Small: 2 (FillBig)
Big: 4, Small: 3 (BigToSmall)
Not on Stackage, so not searched. Discrete Interval Encoding Trees