To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
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.
module Inner : Base.Monad.S
Inner is the monad to which we're adding state.
State transformers have the same runner signatures as state monads, but lifted into the inner monad.
with type ('a, 's) t := ('a, 's) t
and type 'a final := 'a Inner.t
and type 's state := 's state
run' unfolds a
t into a function from context to final state and result.