Control.Monad.Stack.Fail

Documentation

class Monad m => FailStack m where

Associated Types

type PopFail m :: * -> *

Methods

liftFail :: PopFail m a -> m a

Instances

Monad m => FailStack (MaybeT m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (MaybeT m) :: Type -> Type

Methods

liftFail :: PopFail (MaybeT m) a -> MaybeT m a

FailStack m => FailStack (IdentityT m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (IdentityT m) :: Type -> Type

Methods

liftFail :: PopFail (IdentityT m) a -> IdentityT m a

FailStack m => FailStack (ExceptT e m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (ExceptT e m) :: Type -> Type

Methods

liftFail :: PopFail (ExceptT e m) a -> ExceptT e m a

FailStack m => FailStack (ReaderT r m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (ReaderT r m) :: Type -> Type

Methods

liftFail :: PopFail (ReaderT r m) a -> ReaderT r m a

FailStack m => FailStack (StateT s m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (StateT s m) :: Type -> Type

Methods

liftFail :: PopFail (StateT s m) a -> StateT s m a

FailStack m => FailStack (StateT s m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (StateT s m) :: Type -> Type

Methods

liftFail :: PopFail (StateT s m) a -> StateT s m a

(FailStack m, Monoid w) => FailStack (WriterT w m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (WriterT w m) :: Type -> Type

Methods

liftFail :: PopFail (WriterT w m) a -> WriterT w m a

(FailStack m, Monoid w) => FailStack (WriterT w m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (WriterT w m) :: Type -> Type

Methods

liftFail :: PopFail (WriterT w m) a -> WriterT w m a

(FailStack m, Monoid w) => FailStack (AccumT w m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (AccumT w m) :: Type -> Type

Methods

liftFail :: PopFail (AccumT w m) a -> AccumT w m a

(FailStack m, Monoid w) => FailStack (WriterT w m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (WriterT w m) :: Type -> Type

Methods

liftFail :: PopFail (WriterT w m) a -> WriterT w m a

FailStack m => FailStack (SelectT r m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (SelectT r m) :: Type -> Type

Methods

liftFail :: PopFail (SelectT r m) a -> SelectT r m a

FailStack m => FailStack (ContT r m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (ContT r m) :: Type -> Type

Methods

liftFail :: PopFail (ContT r m) a -> ContT r m a

(FailStack m, Monoid w) => FailStack (RWST r w s m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (RWST r w s m) :: Type -> Type

Methods

liftFail :: PopFail (RWST r w s m) a -> RWST r w s m a

(FailStack m, Monoid w) => FailStack (RWST r w s m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (RWST r w s m) :: Type -> Type

Methods

liftFail :: PopFail (RWST r w s m) a -> RWST r w s m a

(FailStack m, Monoid w) => FailStack (RWST r w s m)

Defined in Control.Monad.Stack.Fail

Associated Types

type PopFail (RWST r w s m) :: Type -> Type

Methods

liftFail :: PopFail (RWST r w s m) a -> RWST r w s m a

type FailDepth n m = IteratePop n MaybeT m

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

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

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