S.Monadic
Monadic
contains a version of the builder interface that can interact with the inner monad (Inner
) this state transformer is overlaying.
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 Inner.t -> 'a t
return
lifts a value or monad into a stateful computation.