Module Containers.MapExtPolySource

Maps with polymorphic keys and values

Sourcetype ('k, 'a) map =
  1. | Empty
  2. | Node of ('k, 'a) map * 'k * 'a * ('k, 'a) map * int
Sourcetype 'k compare = 'k -> 'k -> int
Sourcetype ('k, 'a) t = {
  1. map : ('k, 'a) map;
  2. compare : 'k compare;
}

Internal functions with compare parameter

*********************************************

Sourceval height_ : ('a, 'b) map -> int
Sourceval create_ : ('a, 'b) map -> 'a -> 'b -> ('a, 'b) map -> ('a, 'b) map
Sourceval singleton_ : 'a -> 'b -> ('a, 'b) map
Sourceval bal_ : ('a, 'b) map -> 'a -> 'b -> ('a, 'b) map -> ('a, 'b) map
Sourceval empty_ : ('a, 'b) map
Sourceval is_empty_ : ('a, 'b) map -> bool
Sourceval is_singleton_ : ('a, 'b) map -> bool
Sourceval add_ : ('a -> 'a -> int) -> 'a -> 'b -> ('a, 'b) map -> ('a, 'b) map
Sourceval find_ : ('a -> 'b -> int) -> 'a -> ('b, 'c) map -> 'c
Sourceval find_opt_ : ('a -> 'b -> int) -> 'a -> ('b, 'c) map -> 'c option
Sourceval mem_ : ('a -> 'b -> int) -> 'a -> ('b, 'c) map -> bool
Sourceval min_binding_ : ('a, 'b) map -> 'a * 'b
Sourceval max_binding_ : ('a, 'b) map -> 'a * 'b
Sourceval remove_min_binding_ : ('a, 'b) map -> ('a, 'b) map
Sourceval remove_ : ('a -> 'b -> int) -> 'a -> ('b, 'c) map -> ('b, 'c) map
Sourceval map_ : ('a -> 'b) -> ('c, 'a) map -> ('c, 'b) map
Sourceval mapi_ : ('a -> 'b -> 'c) -> ('a, 'b) map -> ('a, 'c) map
Sourceval fold_ : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) map -> 'c -> 'c
Sourceval for_all_ : ('a -> 'b -> bool) -> ('a, 'b) map -> bool
Sourceval exists_ : ('a -> 'b -> bool) -> ('a, 'b) map -> bool
Sourceval filter_ : ('a -> 'a -> int) -> ('a -> 'b -> bool) -> ('a, 'b) map -> ('a, 'b) map
Sourceval partition_ : ('a -> 'a -> int) -> ('a -> 'b -> bool) -> ('a, 'b) map -> ('a, 'b) map * ('a, 'b) map
Sourceval join_ : ('a -> 'a -> int) -> ('a, 'b) map -> 'a -> 'b -> ('a, 'b) map -> ('a, 'b) map
Sourceval concat_ : ('a -> 'a -> int) -> ('a, 'b) map -> ('a, 'b) map -> ('a, 'b) map
Sourceval concat_or_join_ : ('a -> 'a -> int) -> ('a, 'b) map -> 'a -> 'b option -> ('a, 'b) map -> ('a, 'b) map
Sourceval of_list_ : ('a -> 'a -> int) -> ('a * 'b) list -> ('a, 'b) map
Sourceval cut_ : ('a -> 'b -> int) -> 'a -> ('b, 'c) map -> ('b, 'c) map * 'c option * ('b, 'c) map
Sourceval for_all2zo_ : ('a -> 'a -> int) -> ('a -> 'b -> bool) -> ('a -> 'b -> bool) -> ('a -> 'b -> 'b -> bool) -> ('a, 'b) map -> ('a, 'b) map -> bool
Sourceval map2zo_ : ('a -> 'a -> int) -> ('a -> 'b -> 'b) -> ('a -> 'b -> 'b) -> ('a -> 'b -> 'b -> 'b) -> ('a, 'b) map -> ('a, 'b) map -> ('a, 'b) map
Sourceval split_ : ('a -> 'a -> int) -> 'a -> ('a, 'b) map -> ('a, 'b) map * 'b option * ('a, 'b) map
Sourceval merge_ : ('a -> 'a -> int) -> ('a -> 'b option -> 'c option -> 'd option) -> ('a, 'b) map -> ('a, 'c) map -> ('a, 'd) map
Sourceval bindings_aux_ : ('a * 'b) list -> ('a, 'b) map -> ('a * 'b) list
Sourceval bindings_ : ('a, 'b) map -> ('a * 'b) list
Sourceval cardinal_ : ('a, 'b) map -> int
Sourceval fold2zo_ : ('a -> 'a -> int) -> ('a -> 'b -> 'c -> 'c) -> ('a -> 'b -> 'c -> 'c) -> ('a -> 'b -> 'b -> 'c -> 'c) -> ('a, 'b) map -> ('a, 'b) map -> 'c -> 'c
Sourceval fold2o_ : ('a -> 'b -> int) -> ('a -> 'c -> 'd -> 'd) -> ('b -> 'e -> 'd -> 'd) -> ('a -> 'c -> 'e -> 'd -> 'd) -> ('a, 'c) map -> ('b, 'e) map -> 'd -> 'd
Sourceval iter_ : ('a -> 'b -> 'c) -> ('a, 'b) map -> unit
Sourceval iter2zo_ : ('a -> 'a -> int) -> ('a -> 'b -> unit) -> ('a -> 'b -> 'c) -> ('a -> 'b -> 'b -> unit) -> ('a, 'b) map -> ('a, 'b) map -> unit
Sourceval compare_ : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('a, 'b) map -> ('a, 'b) map -> int

Exported functions

**********************

Sourceval singleton : compare:'a compare -> 'a -> 'b -> ('a, 'b) t
Sourceval empty : compare:'a compare -> ('a, 'b) t
Sourceval is_empty : ('a, 'b) t -> bool
Sourceval is_singleton : ('a, 'b) t -> bool
Sourceval add : 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t
Sourceval find : 'a -> ('a, 'b) t -> 'b
Sourceval find_opt : 'a -> ('a, 'b) t -> 'b option
Sourceval mem : 'a -> ('a, 'b) t -> bool
Sourceval min_binding : ('a, 'b) t -> 'a * 'b
Sourceval remove_min_binding : ('a, 'b) t -> ('a, 'b) t
Sourceval remove : 'a -> ('a, 'b) t -> ('a, 'b) t
Sourceval max_binding : ('a, 'b) t -> 'a * 'b
Sourceval iter : ('a -> 'b -> 'c) -> ('a, 'b) t -> unit
Sourceval map : ('a -> 'b) -> ('c, 'a) t -> ('c, 'b) t
Sourceval mapi : ('a -> 'b -> 'c) -> ('a, 'b) t -> ('a, 'c) t
Sourceval fold : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c
Sourceval for_all : ('a -> 'b -> bool) -> ('a, 'b) t -> bool
Sourceval exists : ('a -> 'b -> bool) -> ('a, 'b) t -> bool
Sourceval filter : ('a -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t
Sourceval partition : ('a -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t * ('a, 'b) t
Sourceval for_all2zo : ('a -> 'b -> bool) -> ('a -> 'b -> bool) -> ('a -> 'b -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool
Sourceval map2zo : ('a -> 'b -> 'b) -> ('a -> 'b -> 'b) -> ('a -> 'b -> 'b -> 'b) -> ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
Sourceval merge : ('a -> 'b option -> 'c option -> 'd option) -> ('a, 'b) t -> ('a, 'c) t -> ('a, 'd) t
Sourceval bindings : ('a, 'b) t -> ('a * 'b) list
Sourceval cardinal : ('a, 'b) t -> int
Sourceval fold2zo : ('a -> 'b -> 'c -> 'c) -> ('a -> 'b -> 'c -> 'c) -> ('a -> 'b -> 'b -> 'c -> 'c) -> ('a, 'b) t -> ('a, 'b) t -> 'c -> 'c
Sourceval fold2o : ('a -> 'b -> 'c -> 'c) -> ('a -> 'd -> 'c -> 'c) -> ('a -> 'b -> 'd -> 'c -> 'c) -> ('a, 'b) t -> ('a, 'd) t -> 'c -> 'c
Sourceval compare : ('a -> 'a -> int) -> ('b, 'a) t -> ('b, 'a) t -> int
Sourceval of_list : 'a compare -> ('a * 'b) list -> ('a, 'b) t
Sourceval choose : ('a, 'b) t -> 'a * 'b