control-monad-failure-0.6.1.1: A class for monads which can fail with an error.

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) 

class (Monad f, Applicative f, Failure e f) => MonadFailure e f

Instances

(Monad f, Applicative f, Failure e f) => MonadFailure e f