State_transform_types.Generic_builders
Generic_builders
contains generic versions of the 'builder' functions common to all state monad signatures.
include Generic_types
final
is the type of returned results. In transformers, this becomes 'a Inner.t
; otherwise, it becomes just '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.