Module Register.SGState

module SGState: State_builder.Option_ref(Datatype.Make(siginclude Datatype.Serializable_undefined

type t = Register.SGraph.t 


val name : string
val reprs : Register.SGraph.t list
val mem_project : (Project_skeleton.t -> bool) -> 'a -> bool
end))(sig
val name : string
val dependencies : State.t list
end)

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

Since Beryllium-20090901