Additional Control.Exception utilities.
verify :: Bool -> a -> a Source #
Like assert but is not removed by the compiler, it is always present in production code.
assert
Pre-release
verifyM :: Applicative f => Bool -> f () Source #