die -package:streamly-core

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.
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
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
The thread has died