State_transform_types.Generic
Generic
contains the signature bits common to all state transformers.
include Generic_builders with type 'a final := 'a
include Generic_types with type 'a final := 'a
make
creates a context-sensitive computation that can modify both the current context and the data passing through.
peek
creates a context-sensitive computation that can look at the current context, but not modify it.
modify
creates a context-sensitive computation that can look at and modify the current context.
val return : 'a -> ('a, 's) t
return
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.