Streamly.Internal.Control.Exception

Additional Control.Exception utilities.

Documentation

assertM :: Applicative f => Bool -> f ()

verify :: Bool -> a -> a

Like assert but is not removed by the compiler, it is always present in production code.

Pre-release

verifyM :: Applicative f => Bool -> f ()