Additional Control.Exception utilities.

Documentation

verify :: Bool -> a -> a Source #

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

Pre-release

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