include Generic with type ('a, 's) t := ('a, 's) t and type 's state := 'sinclude Generic_builders
with type 'a final := 'a
with type ('a, 's) t := ('a, 's) t
with type 's state := 'sinclude Generic_types
with type 'a final := 'a
with type ('a, 's) t := ('a, 's) t
with type 's state := 'sval make : ('s -> 's * 'a) -> ('a, 's) tmake creates a context-sensitive computation that can modify both the current context and the data passing through.
val peek : ('s -> 'a) -> ('a, 's) tpeek creates a context-sensitive computation that can look at the current context, but not modify it.
val modify : ('s -> 's) -> (Base.unit, 's) tmodify creates a context-sensitive computation that can look at and modify the current context.
val return : 'a -> ('a, 's) treturn lifts a value or monad into a stateful computation.
State transformers have the same runner signatures as state monads, but lifted into the inner monad.
include Generic_runners
with type ('a, 's) t := ('a, 's) t
and type 'a final := 'a Inner.t
and type 's state := 'sinclude Generic_types
with type ('a, 's) t := ('a, 's) t
with type 'a final := 'a Inner.t
with type 's state := 'sval run' : ('a, 's) t -> 's -> ('s * 'a) Inner.trun' unfolds a t into a function from context to final state and result.
val run : ('a, 's) t -> 's -> 'a Inner.trun unfolds a t into a function from context to final result. To get the final context, use run' or call peek at the end of the computation.