Control.Monad.Trans.Ether.Tagged

This module defines the core data type of Ether, TaggedTrans, and a bunch of instances for it. TaggedTrans attaches a tag to an existing monad transformer.

Documentation

newtype TaggedTrans tag trans m a

Tagged monad transformer.

Constructors

TaggedTrans (trans m a)

Instances

(Monoid w, Monad m, (~) * w w') => MonadWriter k tag w (WriterT k tag w' m)

(Monad m, (~) * s s') => MonadState k tag s (StateT k tag s' m)

(Monad m, (~) * s s') => MonadState k tag s (StateT k tag s' m)

(Monad m, (~) * e e') => MonadExcept k tag e (ExceptT k tag e' m)

(Monad m, (~) * r r') => MonadReader k tag r (ReaderT k tag r' m)

(MonadBase b m, MonadTrans trans, MonadApplicative (trans m)) => MonadBase b (TaggedTrans k * tag trans m)

(MonadBaseControl b m, MonadTransControl trans, MonadApplicative (trans m)) => MonadBaseControl b (TaggedTrans k * tag trans m)

(MonadError e m, LiftCatch trans, Monad (trans m)) => MonadError e (TaggedTrans k * tag trans m)

(MonadReader r m, LiftLocal trans, Monad (trans m)) => MonadReader r (TaggedTrans k * tag trans m)

(MonadState s m, MonadTrans trans, Monad (trans m)) => MonadState s (TaggedTrans k * tag trans m)

(MonadWriter w m, LiftListen trans, LiftPass trans, Monad (trans m)) => MonadWriter w (TaggedTrans k * tag trans m)

MFunctor trans => MFunctor (TaggedTrans k * tag trans)

MMonad trans => MMonad (TaggedTrans k * tag trans)

MonadTrans trans => MonadTrans (TaggedTrans k * tag trans)

MonadTransControl trans => MonadTransControl (TaggedTrans k * tag trans)

LiftLocal trans => LiftLocal (TaggedTrans k * tag trans)

LiftCallCC trans => LiftCallCC (TaggedTrans k * tag trans)

LiftPass trans => LiftPass (TaggedTrans k * tag trans)

LiftListen trans => LiftListen (TaggedTrans k * tag trans)

LiftCatch trans => LiftCatch (TaggedTrans k * tag trans)

Monad (trans m) => Monad (TaggedTrans k * tag trans m)

Functor (trans m) => Functor (TaggedTrans k * tag trans m)

MonadFix (trans m) => MonadFix (TaggedTrans k * tag trans m)

Applicative (trans m) => Applicative (TaggedTrans k * tag trans m)

Alternative (trans m) => Alternative (TaggedTrans k * tag trans m)

MonadPlus (trans m) => MonadPlus (TaggedTrans k * tag trans m)

MonadThrow (trans m) => MonadThrow (TaggedTrans k * tag trans m)

MonadCatch (trans m) => MonadCatch (TaggedTrans k * tag trans m)

MonadMask (trans m) => MonadMask (TaggedTrans k * tag trans m)

MonadIO (trans m) => MonadIO (TaggedTrans k * tag trans m)

(MonadCont m, LiftCallCC trans, Monad (trans m)) => MonadCont (TaggedTrans k * tag trans m)

Generic (TaggedTrans k k tag trans m a)

type StT (TaggedTrans k * tag trans) a = StT trans a

type StT (TaggedTrans k * tag trans) a = StT trans a

type StM (TaggedTrans k * tag trans m) a = ComposeSt trans m a

type Rep (TaggedTrans k k1 tag trans m a)

pack :: trans m a -> TaggedTrans tag trans m a

Type-restricted coerce.

unpack :: TaggedTrans tag trans m a -> trans m a

Type-restricted coerce.