Module Db.Value.Record_Value_Callbacks

module Record_Value_Callbacks: Hook.Iter_hook  with type param = callstack * (state Stmt.Hashtbl.t) Lazy.t

type param

Type of the parameter of the functions registered in the hook.

type result

Type of the result of the functions. result can be unit (for iterative hooks) or param (for folding hooks)

val extend : (param -> result) -> unit

Add a new function to the hook.

Change in Oxygen-20120901

once

extend_once

val extend_once : (param -> result) -> unit

Same as extend, but the hook is added only if it is not already present; the comparison is made using (==)

val apply : param -> result

Apply all the functions of the hook on the given parameter. These functions are applied from the least recently entered to the most recently entered.

val is_empty : unit -> bool

Is no function already registered in the hook?

val clear : unit -> unit

Clear the hook.

val length : unit -> int

Number of registered functions.