Safe Haskell	None
Language	Haskell2010

Control.Monad.Stack.Fail

Documentation

class Monad m => FailStack m where Source #

Associated Types

type PopFail m :: * -> * Source #

Methods

liftFail :: PopFail m a -> m a Source #

Instances

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

type FailDepth n m = IteratePop n MaybeT m Source #

type FailConstraints n m = (KnownNat n, StackConstraints n MaybeT FailStack m) Source #

type MonadFailDepth n m = (FailConstraints n m, MonadFail (FailDepth n m)) Source #

depthFail :: forall n m a. FailConstraints n m => FailDepth n m a -> m a Source #