transformers-lift-0.1.0.1: Ad-hoc type classes for lifting

Safe HaskellSafe
LanguageHaskell2010

Control.Monad.Trans.Lift.StT

Description

The StT type family.

Synopsis

Documentation

type family StT t a :: * Source

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

Instances

type StT MaybeT a = Maybe a Source 
type StT ListT a = [a] Source 
type StT IdentityT a = a Source 
type StT (WriterT w) a = (a, w) Source 
type StT (WriterT w) a = (a, w) Source 
type StT (ExceptT e) a = Either e a Source 
type StT (StateT s) a = (a, s) Source 
type StT (StateT s) a = (a, s) Source 
type StT (ReaderT r) a = a Source 
type StT (RWST r w s) a = (a, s, w) Source 
type StT (RWST r w s) a = (a, s, w) Source