Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Extend a monad with a modifiable environment
Type
A transformer with state s, inner monad m, return a
StateT (s -> m (a, s)) |
Runner
runStateT :: StateT s m a -> s -> m (a, s) Source #
Unwrap a StateT
computation with an initial state