Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Utils.Monad.State.Strict

A state monad which is strict in its state.

Contents

Synopsis

The State monad

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.

Instances3Monad, Functor, Applicative

Monad (State s)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Utils.Monad.State.Strict
Functor (State s)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Utils.Monad.State.Strict
Applicative (State s)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Utils.Monad.State.Strict

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)

valueget :: State s s

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

valueput :: s -> State s ()

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