sig
module type Fold = Fold_map.Fold
module type Fold_map =
sig
type in_value
type out_value
type 'a t
val empty : 'a Fold_table.Fold_map.t
val singleton :
'a -> Fold_table.Fold_map.in_value -> 'a Fold_table.Fold_map.t
val is_empty : 'a Fold_table.Fold_map.t -> bool
val cardinal : 'a Fold_table.Fold_map.t -> int
val add :
key:'a ->
data:Fold_table.Fold_map.in_value ->
'a Fold_table.Fold_map.t -> 'a Fold_table.Fold_map.t
val find :
'a Fold_table.Fold_map.t -> 'a -> Fold_table.Fold_map.out_value
val remove : 'a Fold_table.Fold_map.t -> 'a -> 'a Fold_table.Fold_map.t
val set :
key:'a ->
data:Fold_table.Fold_map.out_value ->
'a Fold_table.Fold_map.t -> 'a Fold_table.Fold_map.t
val mem : 'a Fold_table.Fold_map.t -> 'a -> bool
val iter :
f:(key:'a -> data:Fold_table.Fold_map.out_value -> unit) ->
'a Fold_table.Fold_map.t -> unit
val fold :
f:(key:'a -> data:Fold_table.Fold_map.out_value -> 'b -> 'b) ->
'a Fold_table.Fold_map.t -> init:'b -> 'b
val filter :
f:(key:'a -> data:Fold_table.Fold_map.out_value -> bool) ->
'a Fold_table.Fold_map.t -> 'a Fold_table.Fold_map.t
val keys : 'a Fold_table.Fold_map.t -> 'a list
val data :
'a Fold_table.Fold_map.t -> Fold_table.Fold_map.out_value list
val to_alist :
'a Fold_table.Fold_map.t -> ('a * Fold_table.Fold_map.out_value) list
val for_all :
f:(Fold_table.Fold_map.out_value -> bool) ->
'a Fold_table.Fold_map.t -> bool
val exists :
f:(Fold_table.Fold_map.out_value -> bool) ->
'a Fold_table.Fold_map.t -> bool
end
module Make :
functor (Fold : Fold) ->
sig
type in_value = Fold.data
type out_value = Fold.t
type 'a t
val empty : 'a t
val singleton : 'a -> in_value -> 'a t
val is_empty : 'a t -> bool
val cardinal : 'a t -> int
val add : key:'a -> data:in_value -> 'a t -> 'a t
val find : 'a t -> 'a -> out_value
val remove : 'a t -> 'a -> 'a t
val set : key:'a -> data:out_value -> 'a t -> 'a t
val mem : 'a t -> 'a -> bool
val iter : f:(key:'a -> data:out_value -> unit) -> 'a t -> unit
val fold :
f:(key:'a -> data:out_value -> 'b -> 'b) -> 'a t -> init:'b -> 'b
val filter : f:(key:'a -> data:out_value -> bool) -> 'a t -> 'a t
val keys : 'a t -> 'a list
val data : 'a t -> out_value list
val to_alist : 'a t -> ('a * out_value) list
val for_all : f:(out_value -> bool) -> 'a t -> bool
val exists : f:(out_value -> bool) -> 'a t -> bool
end
end