| |||||||||||||||||||||
| |||||||||||||||||||||
Description | |||||||||||||||||||||
The Error monad. Rendered by Michael Weber mailto:michael.weber@post.rwth-aachen.de, inspired by the Haskell Monad Template Library from Andy Gill (http://www.cse.ogi.edu/~andy/) | |||||||||||||||||||||
class Error a where | |||||||||||||||||||||
| |||||||||||||||||||||
class (Monad m) => MonadError e m | m -> e where | |||||||||||||||||||||
| |||||||||||||||||||||
newtype ErrorT e m a | |||||||||||||||||||||
| |||||||||||||||||||||
mapErrorT :: (m (Either e a) -> n (Either e' b)) -> ErrorT e m a -> ErrorT e' n b | |||||||||||||||||||||
module Control.Monad | |||||||||||||||||||||
module Control.Monad.Fix | |||||||||||||||||||||
module Control.Monad.Trans | |||||||||||||||||||||
Produced by Haddock version 0.4 |