Safe Haskell | None |
---|---|
Language | GHC2021 |
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.
State' (s -> (# a, s #)) |