State_transform_types.Generic_runners
Generic_runners
contains generic versions of the 'runner' 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
.
run'
unfolds a t
into a function from context to final state and result.