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 #)) |