Functor Hook.Fold_ordered

module Fold_ordered: functor (P : sig

module Id: Hook.Comparable

type t

end) -> S_ordered  with type key = P.Id.t and type param = P.t and type result = P.t

Since Neon-20140301

Parameters:

P : sig module Id:Comparable type t end

include Hook.S

type key

type id

val register_key : key -> id

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

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

val add_dependency : id -> id -> unit

add_dependency hook1 hook2 indicates that hook1 must be executed before hook2. In case of a cycle, all hooks will be executed, but an arbitrary order will be chosen among the elements of the cycle.