Module Make2.MonadicSource

Monadic contains a version of the builder interface that can interact with the inner monad (Inner) this state transformer is overlaying.

include State_transform_types.Generic_types with type 'a state := 'a with type 'a final := 'a Inner.t with type ('a, 's) t := ('a, 's) t
Sourceval make : ('s -> ('s * 'a) Inner.t) -> ('a, 's) t

make creates a context-sensitive computation that can modify both the current context and the data passing through.

Specialised builders

Sourceval peek : ('s -> 'a Inner.t) -> ('a, 's) t

peek creates a context-sensitive computation that can look at the current context, but not modify it.

Sourceval modify : ('s -> 's Inner.t) -> (Base.unit, 's) t

modify creates a context-sensitive computation that can look at and modify the current context.

Sourceval return : 'a Inner.t -> ('a, 's) t

return lifts a value or monad into a stateful computation.