Moduleghc-10.0.0.20260917GHC2024

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

MonadGetUnique SpillMDefined in ghc-10.0.0.20260917 · GHC.CmmToAsm.Reg.Graph.Spill
Monad (State s)Defined in ghc-10.0.0.20260917 · GHC.Utils.Monad.State.Strict
Functor (State s)Defined in ghc-10.0.0.20260917 · GHC.Utils.Monad.State.Strict
Applicative (State s)Defined in ghc-10.0.0.20260917 · 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)

4 declarations

valueget :: State s s

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

valueput :: s -> State s ()

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