Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A state monad which is strict in its state.
The State monad
A state monad which is strict in the state s
, but lazy in the value a
.
See Note [Strict State monad] for the particular notion of strictness and implementation details.