You can search for identifiers within the package.
in-package search v0.2.0
algaeff
State.Make
The implementation of state effects.
Signatures of read effects.
module P : Param
include Param with type state = P.state
type state = P.state
The type of states.
val get : unit -> state
get () reads the current state.
get ()
val set : state -> unit
set x makes x the new state.
set x
x
val modify : (state -> state) -> unit
modify f applies f to the current state and then set the result as the new state.
modify f
f
val run : init:state -> (unit -> 'a) -> 'a
run t runs the thunk t which may perform state effects.
run t
t