Control.Monad.Levels

Monadic stacks

class MonadTower_ m

type MonadTower m

class MonadLevel_ m

type MonadLevel m

Helper types/aliases

type Unwrapper m a t

type LowerMonadValue m a

type WithLower m

class CanUnwrap m a b

class CanUnwrapSelf m a

type WithLowerC m

Manipulating internal values

class AddInternalM ai

type CanAddInternalM m

data AddIM m a

class AddInternal ai

type CanAddInternal m

data AddI m a

data AddIdent m a

class GetInternal ai

type CanGetInternal m

data AddIG m a

Basic level manipulation

lift

Lifting from the base

class IsBaseMonad m

type HasBaseMonad m

liftBase

type BaseMonadOf b m

liftIO

Lifting from a specific transformer

type HasTransformer t m

type TransformedMonad t m

liftT