Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- data Result e a
- toEither :: Result a b -> Either a b
- escalate :: Result e a -> Result e a
- data ResultT e m a
- runResultT :: ResultT e m a -> m (Result e a)
- throwError :: (Error e, Monad m) => e -> ResultT e m a
- throwFatal :: (Error e, Monad m) => e -> ResultT e m a
- mapResult :: (Functor m, Monad m) => (Result e1 a1 -> Result e a) -> ResultT e1 m a1 -> ResultT e m a
- module Control.Monad.Trans.Error
- lift :: MonadTrans t => forall m a. Monad m => m a -> t m a
Documentation
runResultT :: ResultT e m a -> m (Result e a) Source
throwError :: (Error e, Monad m) => e -> ResultT e m a Source
throwFatal :: (Error e, Monad m) => e -> ResultT e m a Source
mapResult :: (Functor m, Monad m) => (Result e1 a1 -> Result e a) -> ResultT e1 m a1 -> ResultT e m a Source
module Control.Monad.Trans.Error
lift :: MonadTrans t => forall m a. Monad m => m a -> t m a
Lift a computation from the argument monad to the constructed monad.