Control.Monad.Trans.Compose.Transparent

Documentation

type TransparentT = Elevator NoT

A monad transformer, that passes through all instances via Elevator.

This cannot be defined as a newtype, because we want all the instances, that are defined for Elevator to work for TransparentT.

runTransparentT :: TransparentT m a -> m a

newtype NoT m a

Warning: This is an implementation detail of TransparentT.

A newtype wrapper around IdentityT.

This is used in TransparentT to encourage the use of runTransparentT.

Constructors

MkNoT

Warning: This is an implementation detail of TransparentT.

Fields

• unNoT :: IdentityT m a

  Warning: This is an implementation detail of TransparentT.

Instances

MonadTransControl (NoT :: (TYPE LiftedRep -> Type) -> TYPE LiftedRep -> TYPE LiftedRep)

Defined in Control.Monad.Trans.Compose.Transparent

Associated Types

type StT NoT a

Methods

liftWith :: Monad m => (Run NoT -> m a) -> NoT m a

restoreT :: Monad m => m (StT NoT a) -> NoT m a

MonadTransControlIdentity (NoT :: (TYPE LiftedRep -> Type) -> TYPE LiftedRep -> TYPE LiftedRep)

Defined in Control.Monad.Trans.Compose.Transparent

Methods

liftWithIdentity :: Monad m => ((forall x. NoT m x -> m x) -> m a) -> NoT m a

MonadTrans (NoT :: (TYPE LiftedRep -> Type) -> TYPE LiftedRep -> TYPE LiftedRep)

Defined in Control.Monad.Trans.Compose.Transparent

Methods

lift :: Monad m => m a -> NoT m a

Applicative m => Applicative (NoT m)

Defined in Control.Monad.Trans.Compose.Transparent

Methods

pure :: a -> NoT m a

(<*>) :: NoT m (a -> b) -> NoT m a -> NoT m b

liftA2 :: (a -> b -> c) -> NoT m a -> NoT m b -> NoT m c

(*>) :: NoT m a -> NoT m b -> NoT m b

(<*) :: NoT m a -> NoT m b -> NoT m a

Functor m => Functor (NoT m)

Defined in Control.Monad.Trans.Compose.Transparent

Methods

fmap :: (a -> b) -> NoT m a -> NoT m b

(<$) :: a -> NoT m b -> NoT m a

Monad m => Monad (NoT m)

Defined in Control.Monad.Trans.Compose.Transparent

Methods

(>>=) :: NoT m a -> (a -> NoT m b) -> NoT m b

(>>) :: NoT m a -> NoT m b -> NoT m b

return :: a -> NoT m a

type StT (NoT :: (TYPE LiftedRep -> Type) -> TYPE LiftedRep -> TYPE LiftedRep) a

Defined in Control.Monad.Trans.Compose.Transparent

type StT (NoT :: (TYPE LiftedRep -> Type) -> TYPE LiftedRep -> TYPE LiftedRep) a = StT (IdentityT :: (TYPE LiftedRep -> Type) -> TYPE LiftedRep -> Type) a