Pha.Update

type Update st effs = Run (state :: STATE st | effs) Unit

get :: forall r st. Run (state :: STATE st | r) st

return the current state

modify :: forall r st. (st -> st) -> Run (state :: STATE st | r) Unit

evaluate a function over the current state and set the result to the state

modify' :: forall st effs. (st -> st) -> Run (state :: STATE st | effs) st

same as setState except it returns the current state after applying the function

put :: forall st effs. st -> Run (state :: STATE st | effs) Unit

type STATE st = FProxy (State st)

data State st a

Constructors

• GetState (st -> a)
• SetState (st -> st) a

Instances

• Functor (State st)

_state :: SProxy "state"