Assertion in IO monad

Mitar mmitar at
Thu Feb 24 00:01:23 CET 2011


In Haskell there is difference between throw and throwIO. Because of
that I searched for a way to assure ordering in a similar manner of my
assertions. But I have not found any. Wouldn't it be useful to have
also assertIO counterpart of assert?

I would propose "Bool -> IO ()" type.


More information about the Libraries mailing list