| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Monad.Ology.Specific.ResultT
Synopsis
- type ResultT e = ComposeInner (Result e)
- runResultT :: forall m e a. ResultT e m a -> m (Result e a)
- throwR :: forall m e a. Monad m => e -> ResultT e m a
- catchR :: forall m e e' a. Monad m => ResultT e m a -> (e -> ResultT e' m a) -> ResultT e' m a
- resultExn :: forall m e. Monad m => Exn (ResultT e m) e
Documentation
type ResultT e = ComposeInner (Result e) Source #
runResultT :: forall m e a. ResultT e m a -> m (Result e a) Source #
throwR :: forall m e a. Monad m => e -> ResultT e m a Source #
Throw the parameterised exception type.