StateT is:exact
A state transformer monad parameterized by:
- s - The state.
- m - The inner monad.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
mtl Control.Monad.State.Lazy Control.Monad.State.Strict,
protolude Protolude,
relude Relude.Monad.Reexport,
rio RIO.State,
monads-tf Control.Monad.State.Lazy Control.Monad.State.Strict,
pipes-parse Pipes.Parse,
universum Universum.Monad.Reexport,
rebase Rebase.Prelude,
mtl-prelude MTLPrelude,
dunai Control.Monad.Trans.MSF.State,
has-transformers Control.Monad.Trans.Has.State,
mempack Data.MemPack,
monadology Control.Monad.Ology.Specific.StateT A state transformer monad parameterized by:
- s - The state.
- m - The inner monad.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
A state transformer monad parameterized by:
- g - A representable functor used to memoize results for a
state Rep g
- m - The inner monad.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
A state transformer monad parameterized by:
- s - The state.
- m - The inner monad.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
A state transformer monad parameterized by:
- s - The state.
- m - The inner monad.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
A state transformer monad parameterized by the state and inner monad.
The implementation is copied from the transformers package with the
return tuple swapped.