Documentation
class Failure e f where
failure :: e -> f v
Failure e [] | |
Failure e Maybe | |
Exception e => Failure e IO | |
(Monad m, Failure e m) => Failure e (ListT m) | |
Failure e (Either e) | |
(Monad m, Failure e m) => Failure e (StateT s m) | |
(Monoid w, Monad m, Failure e m) => Failure e (WriterT w m) | |
(Monad m, Failure e m) => Failure e (StateT s m) | |
(Monoid w, Monad m, Failure e m) => Failure e (WriterT w m) | |
(Monad m, Failure e m) => Failure e (ReaderT r m) | |
(Error e, Monad m) => Failure e (ErrorT e m) | |
(Monoid w, Monad m, Failure e m) => Failure e (RWST r w s m) | |
(Monoid w, Monad m, Failure e m) => Failure e (RWST r w s m) |
class (Monad f, Applicative f, Failure e f) => MonadFailure e f
(Monad f, Applicative f, Failure e f) => MonadFailure e f |