Documentation
class Monad f => 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) |