Control.Monad.Trans.Lift.StT

The StT type family.

Documentation

type family StT (t :: (* -> *) -> * -> *) (a :: *) :: *

Internal state of a monad transformer. Same as StT from the monad-control package.

Instances

type StT MaybeT a

type StT MaybeT a = Maybe a

type StT ListT a

type StT ListT a = [a]

type StT (WriterT w) a

type StT (WriterT w) a = (a, w)

type StT (WriterT w) a

type StT (WriterT w) a = (a, w)

type StT (StateT s) a

type StT (StateT s) a = (a, s)

type StT (StateT s) a

type StT (StateT s) a = (a, s)

type StT (IdentityT *) a

type StT (IdentityT *) a = a

type StT (ExceptT e) a

type StT (ExceptT e) a = Either e a

type StT (WriterT w) a

type StT (WriterT w) a = (a, w)

type StT (ReaderT * r) a

type StT (ReaderT * r) a = a

type StT (RWST r w s) a

type StT (RWST r w s) a = (a, s, w)

type StT (RWST r w s) a

type StT (RWST r w s) a = (a, s, w)

type StT (RWST r w s) a

type StT (RWST r w s) a = (a, s, w)