die -package:distributed-process

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
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
This module provides the DieGen data type and functions for using Dice to generate random positive integers via balanced tables randomized by the RealDice data or custom integer tables
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