package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct