Run.State

data State s a

Constructors

• State (s -> s) (s -> a)

Instances

• Functor (State s)

type STATE s = FProxy (State s)

_state :: SProxy "state"

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

liftStateAt :: forall r a s sym q. IsSymbol sym => Cons sym (STATE s) q r => SProxy sym -> State s a -> Run r a

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

modifyAt :: forall r s sym q. IsSymbol sym => Cons sym (STATE s) q r => SProxy sym -> (s -> s) -> Run r Unit

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

putAt :: forall r s sym q. IsSymbol sym => Cons sym (STATE s) q r => SProxy sym -> s -> Run r Unit

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

getAt :: forall r s sym q. IsSymbol sym => Cons sym (STATE s) q r => SProxy sym -> Run r s

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

getsAt :: forall r t s sym q. IsSymbol sym => Cons sym (STATE s) q r => SProxy sym -> (s -> t) -> Run r t

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

runStateAt :: forall a r s sym q. IsSymbol sym => Cons sym (STATE s) q r => SProxy sym -> s -> Run r a -> Run q (Tuple s a)

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

evalStateAt :: forall a r s sym q. IsSymbol sym => Cons sym (STATE s) q r => SProxy sym -> s -> Run r a -> Run q a

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

execStateAt :: forall a r s sym q. IsSymbol sym => Cons sym (STATE s) q r => SProxy sym -> s -> Run r a -> Run q s