deriving-trans-0.9.1.0: Derive instances for monad transformer stacks

Safe Haskell	None
Language	GHC2021

Control.Monad.Trans.Compose.Transparent

Synopsis

type TransparentT = Elevator (NoT :: (Type -> Type) -> Type -> Type)
runTransparentT :: TransparentT m a -> m a
newtype NoT (m :: k -> Type) (a :: k) = MkNoT {
- unNoT :: IdentityT m a
}

Documentation

type TransparentT = Elevator (NoT :: (Type -> Type) -> Type -> Type) Source #

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 Source #

newtype NoT (m :: k -> Type) (a :: k) Source #

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

Instances details

MonadTransControl (NoT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Trans.Compose.Transparent

Associated Types

type StT (NoT :: (Type -> Type) -> Type -> Type) a
Instance details Defined in Control.Monad.Trans.Compose.Transparent type StT (NoT :: (Type -> Type) -> Type -> Type) a = StT (IdentityT :: (Type -> Type) -> Type -> Type) a

Methods

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

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

MonadTransControlIdentity (NoT :: (Type -> Type) -> Type -> Type) Source #

Instance details

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 -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Trans.Compose.Transparent

Methods

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

Applicative m => Applicative (NoT m) Source #

Instance details

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) Source #

Instance details

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) Source #

Instance details

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 -> Type) -> Type -> Type) a Source #

Instance details

Defined in Control.Monad.Trans.Compose.Transparent

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