Module type State_builder.Option_ref

module type Option_ref = sig .. end

Output signature of Option_ref. Note that get will raise Not_found if the stored data is None. Use get_option if you want to have access to the option.


include State_builder.Ref
val memo : ?change:(data -> data) -> (unit -> data) -> data

Memoization. Compute on need the stored value. If the data is already computed (i.e. is not None), it is possible to change with change.

val map : (data -> data) -> data option
val may : (data -> unit) -> unit
val get_option : unit -> data option