Control.Cont.State

Definitions

data StateC1 : Type -> Type -> Type

Totality: total
Visibility: public export
Constructors:

Get : (s -> x) -> StateC1 s x

Put : s -> x -> StateC1 s x

Hint: 

Functor (StateC1 s)

StateC : Type -> (Type -> Type) -> Type -> Type

Visibility: public export

runStateC : Syntax sig => s -> Free (StateC s :+: sig) a -> Free sig (s, a)

Visibility: public export

get : Inj (StateC s) sig => Free sig s

Visibility: public export

put : Inj (StateC s) sig => s -> Free sig ()

Visibility: public export

modify : Syntax sig => Inj (StateC s) sig => (s -> s) -> Free sig ()

Visibility: public export

withSt : Syntax sig => Inj (StateC st) sig => a -> Free sig (st, a)

Visibility: public export