| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Monad.Trans.Lift.StT
Description
The StT type family.
- type family StT t a :: *
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 | |
| type StT ListT a = [a] | |
| type StT IdentityT a = a | |
| type StT (WriterT w) a = (a, w) | |
| type StT (WriterT w) a = (a, w) | |
| type StT (ExceptT e) a = Either e a | |
| type StT (StateT s) a = (a, s) | |
| type StT (StateT s) a = (a, s) | |
| type StT (ReaderT r) a = a | |
| type StT (RWST r w s) a = (a, s, w) | |
| type StT (RWST r w s) a = (a, s, w) |