| |||||||||||||||||||||
| |||||||||||||||||||||
| 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 | |||||||||||||||||||||
| |||||||||||||||||||||
| data ErrorT e m a | |||||||||||||||||||||
| |||||||||||||||||||||
| runErrorT :: ErrorT e m a -> m (Either e 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 | |||||||||||||||||||||