Functor Computation.OptionRef


module OptionRef: 
functor (Data : Project.Datatype.S) ->
functor (Info : Signature.NAME_DPDS) -> OPTION_REF_OUTPUT with type data = Data.t
Build a reference on an option.
Parameters:
Data : Project.Datatype.S
Info : Signature.NAME_DPDS

include Computation.REF_OUTPUT
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
Since Beryllium-20090901