Module type WpContext.Registry

module E : Entries
type key = E.key
type data = E.data
val id : basename:string -> key -> string
val mem : key -> bool
val find : key -> data
val get : key -> data option
val clear : unit -> unit
val remove : key -> unit
val define : key -> data -> unit

no redefinition ; circularity protected

val update : key -> data -> unit

set current value, with no protection

val memoize : ( key -> data ) -> key -> data

with circularity protection

val compile : ( key -> data ) -> key -> unit

with circularity protection

val callback : ( key -> data -> unit ) -> unit
val iter : ( key -> data -> unit ) -> unit
val iter_sorted : ( key -> data -> unit ) -> unit