Module Db.Value.Call_Type_Value_Callbacks

module Call_Type_Value_Callbacks: Hook.Iter_hook  with type param =
                          [`Builtin of Value_types.call_froms | `Spec of funspec | `Def | `Memexec]
                          * state * callstack

Actions to perform at each treatment of a "call" statement. state is the state before the call.

Since Aluminium-20160501

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 (==)

Since Oxygen-20120901

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.