17 Nov
2009
17 Nov
'09
1:47 a.m.
Michael Snoyman schrieb:
control-monad-failure provides a basic notion of failure which does not commit to any concrete representation. It is just a version of the MonadError class without the annoying bits.
class MonadFailure e m where failure :: e -> m a
Why is it called "MonadFailure" (specifically, what's the "Monad" bit doing there)?