Data.Effect.State

Documentation

data State s a where

Constructors

Get :: forall s. State s s

Put :: forall s. s -> State s ()

type LState s = LiftFOE (State s)

pattern LPut :: forall a s f. () => (a ~ (), ()) => s -> LiftFOE (State s) f a

pattern LGet :: forall a s f. () => (a ~ s, ()) => LiftFOE (State s) f a

get :: SendFOE (State s) f => f s

get' :: forall {k} (tag :: k) s f. SendFOE (Tag (State s) tag) f => f s

get'' :: forall {k} (key :: k) s f. SendFOEBy key (State s) f => f s

put :: SendFOE (State s) f => s -> f ()

put' :: forall {k} (tag :: k) s f. SendFOE (Tag (State s) tag) f => s -> f ()

put'' :: forall {k} (key :: k) s f. SendFOEBy key (State s) f => s -> f ()

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

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