Safe Haskell	None
Language	GHC2021

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 :: Type -> Type) e a. Monad m => e -> ResultT e m a
catchR :: forall (m :: Type -> Type) e e' a. Monad m => ResultT e m a -> (e -> ResultT e' m a) -> ResultT e' m a
resultExn :: forall (m :: Type -> Type) e. Monad m => Exn (ResultT e m) e

Documentation

runResultT :: forall m e a. ResultT e m a -> m (Result e a) Source #

throwR :: forall (m :: Type -> Type) e a. Monad m => e -> ResultT e m a Source #

Throw the parameterised exception type.

catchR :: forall (m :: Type -> Type) e e' a. Monad m => ResultT e m a -> (e -> ResultT e' m a) -> ResultT e' m a Source #

Catch the parameterised exception type.

resultExn :: forall (m :: Type -> Type) e. Monad m => Exn (ResultT e m) e Source #