Control.Monad.Failure.Transformers

Documentation

class Failure e f where

Methods

failure :: e -> f v

Instances

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)

Instances