Data.Effect.State

Documentation

data State s a where

Constructors

Get :: State s s

Put :: s -> State s ()

type LState s = LiftIns (State s)

pattern LPut :: () => a ~ () => s -> LiftIns (State s) f a

pattern LGet :: () => a ~ s => LiftIns (State s) f a

put'' :: forall key (s :: Type) f. SendInsBy key (State s) f => s -> f ()

put' :: forall tag (s :: Type) f. SendIns (Tag (State s) tag) f => s -> f ()

put :: forall (s :: Type) f. SendIns (State s) f => s -> f ()

get'' :: forall key (s :: Type) f. SendInsBy key (State s) f => f s

get' :: forall tag (s :: Type) f. SendIns (Tag (State s) tag) f => f s

get :: forall (s :: Type) f. SendIns (State s) f => f s

gets :: (State s <: f, Functor f) => (s -> a) -> f a

modify :: (State s <: m, Monad m) => (s -> s) -> m ()