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.