Moduleghc-9.14.1GHC2021

GHC.Utils.Monad.State.Strict

A state monad which is strict in its state.

The State monad

6 declarations

newtypenewtype State s a

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.

Instances4MonadGetUnique, Monad, Functor, Applicative

patternpattern State :: (s -> (# a, s #)) -> State s a

valuestate :: (s -> (a, s)) -> State s a

valueevalState :: State s a -> s -> a

valueexecState :: State s a -> s -> s

valuerunState :: State s a -> s -> (a, s)

4 declarations

valueget :: State s s

valuegets :: (s -> a) -> State s a

valueput :: s -> State s ()

valuemodify :: (s -> s) -> State s ()