Safe Haskell	None
Language	Haskell2010

Control.Monad.Stack.Error

Documentation

class Monad m => ErrorStack m where Source #

Associated Types

type PopError m :: * -> * Source #

Methods

liftError :: PopError m a -> m a Source #

Instances

ErrorStack m => ErrorStack (MaybeT m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (MaybeT m) :: Type -> Type Source # Methods liftError :: PopError (MaybeT m) a -> MaybeT m a Source #
ErrorStack m => ErrorStack (IdentityT m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (IdentityT m) :: Type -> Type Source # Methods liftError :: PopError (IdentityT m) a -> IdentityT m a Source #
Monad m => ErrorStack (ExceptT e m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (ExceptT e m) :: Type -> Type Source # Methods liftError :: PopError (ExceptT e m) a -> ExceptT e m a Source #
ErrorStack m => ErrorStack (ReaderT r m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (ReaderT r m) :: Type -> Type Source # Methods liftError :: PopError (ReaderT r m) a -> ReaderT r m a Source #
ErrorStack m => ErrorStack (StateT s m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (StateT s m) :: Type -> Type Source # Methods liftError :: PopError (StateT s m) a -> StateT s m a Source #
ErrorStack m => ErrorStack (StateT s m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (StateT s m) :: Type -> Type Source # Methods liftError :: PopError (StateT s m) a -> StateT s m a Source #
(ErrorStack m, Monoid w) => ErrorStack (WriterT w m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (WriterT w m) :: Type -> Type Source # Methods liftError :: PopError (WriterT w m) a -> WriterT w m a Source #
(ErrorStack m, Monoid w) => ErrorStack (WriterT w m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (WriterT w m) :: Type -> Type Source # Methods liftError :: PopError (WriterT w m) a -> WriterT w m a Source #
(ErrorStack m, Monoid w) => ErrorStack (AccumT w m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (AccumT w m) :: Type -> Type Source # Methods liftError :: PopError (AccumT w m) a -> AccumT w m a Source #
(ErrorStack m, Monoid w) => ErrorStack (WriterT w m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (WriterT w m) :: Type -> Type Source # Methods liftError :: PopError (WriterT w m) a -> WriterT w m a Source #
ErrorStack m => ErrorStack (SelectT r m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (SelectT r m) :: Type -> Type Source # Methods liftError :: PopError (SelectT r m) a -> SelectT r m a Source #
ErrorStack m => ErrorStack (ContT r m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (ContT r m) :: Type -> Type Source # Methods liftError :: PopError (ContT r m) a -> ContT r m a Source #
(ErrorStack m, Monoid w) => ErrorStack (RWST r w s m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (RWST r w s m) :: Type -> Type Source # Methods liftError :: PopError (RWST r w s m) a -> RWST r w s m a Source #
(ErrorStack m, Monoid w) => ErrorStack (RWST r w s m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (RWST r w s m) :: Type -> Type Source # Methods liftError :: PopError (RWST r w s m) a -> RWST r w s m a Source #
(ErrorStack m, Monoid w) => ErrorStack (RWST r w s m) Source #
Instance details Defined in Control.Monad.Stack.Error Associated Types type PopError (RWST r w s m) :: Type -> Type Source # Methods liftError :: PopError (RWST r w s m) a -> RWST r w s m a Source #

type ErrorDepth n m = IteratePop n ExceptT m Source #

type ErrorConstraints n m = (KnownNat n, StackConstraints n ExceptT ErrorStack m) Source #

type MonadErrorDepth n m e = (ErrorConstraints n m, MonadError e (ErrorDepth n m)) Source #

depthError :: forall n m a. ErrorConstraints n m => ErrorDepth n m a -> m a Source #