Control.Monad.Failure.Transformers

Documentation

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