Module

Run.State

Package
purescript-run
Repository
natefaubion/purescript-run

#State Source

data State s a

Constructors

Instances

#STATE Source

type STATE s = FProxy (State s)

#_state Source

_state :: SProxy "state"

#liftState Source

liftState :: forall r a s. State s a -> Run (state :: STATE s | r) a

#modify Source

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

#put Source

put :: forall r s. s -> Run (state :: STATE s | r) Unit

#get Source

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

#gets Source

gets :: forall r t s. (s -> t) -> Run (state :: STATE s | r) t

#runState Source

runState :: forall a r s. s -> Run (state :: STATE s | r) a -> Run r (Tuple s a)

#evalState Source

evalState :: forall a r s. s -> Run (state :: STATE s | r) a -> Run r a

#execState Source

execState :: forall a r s. s -> Run (state :: STATE s | r) a -> Run r s