Pha.Update

type Update st effs = Run (getState :: GETSTATE st, setState :: SETSTATE st | effs) Unit

purely :: forall effs st. (st -> st) -> Update st effs

getState :: forall r st. Run (getState :: GETSTATE st | r) st

return the current state

setState :: forall r st. (st -> st) -> Run (setState :: SETSTATE st | r) Unit

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

setState' :: forall st effs. (st -> st) -> Run (getState :: GETSTATE st, setState :: SETSTATE st | effs) st

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

type GETSTATE st = FProxy (GetState st)

type SETSTATE st = FProxy (SetState st)

data GetState st a

Constructors

• GetState (st -> a)

Instances

• Functor (GetState st)

data SetState st a

Constructors

• SetState (st -> st) a

Instances

• Functor (SetState st)