package hashcons

  1. Overview
  2. Docs
package hashcons
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (+'a, !+'b) t
type 'a key = 'a hash_consed
val empty : ('a, 'b) t
val is_empty : ('a, 'b) t -> bool
val singleton : 'a key -> 'b -> ('a, 'b) t
val add : 'a key -> 'b -> ('a, 'b) t -> ('a, 'b) t
val find : 'a key -> ('a, 'b) t -> 'b
val find_opt : 'a key -> ('a, 'b) t -> 'b option
val update : 'a key -> ('b option -> 'b option) -> ('a, 'b) t -> ('a, 'b) t
val cardinal : ('a, 'b) t -> int
val remove : 'a key -> ('a, 'b) t -> ('a, 'b) t
val mem : 'a key -> ('a, 'b) t -> bool
val add_seq : ('a key * 'b) Seq.t -> ('a, 'b) t -> ('a, 'b) t
val of_seq : ('a key * 'b) Seq.t -> ('a, 'b) t
val partition : ('a key -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t * ('a, 'b) t
val choose : ('a, 'b) t -> 'a key * 'b
val choose_opt : ('a, 'b) t -> ('a key * 'b) option
val split : 'a key -> ('a, 'b) t -> ('a, 'b) t * 'b option * ('a, 'b) t
val equal : ('b -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool
val compare : ('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int
val merge : ('a key -> 'b option -> 'c option -> 'd option) -> ('a, 'b) t -> ('a, 'c) t -> ('a, 'd) t
val union : ('a key -> 'b -> 'b -> 'b option) -> ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
val iter : ('a key -> 'b -> unit) -> ('a, 'b) t -> unit
val map : ('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t
val mapi : ('a key -> 'b -> 'c) -> ('a, 'b) t -> ('a, 'c) t
val fold : ('a key -> 'b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c
val exists : ('a key -> 'b -> bool) -> ('a, 'b) t -> bool
val for_all : ('a key -> 'b -> bool) -> ('a, 'b) t -> bool
val filter : ('a key -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t
val filter_map : ('a key -> 'b -> 'c option) -> ('a, 'b) t -> ('a, 'c) t
val bindings : ('a, 'b) t -> ('a key * 'b) list
val to_seq : ('a, 'b) t -> ('a key * 'b) Seq.t
val min_binding_opt : ('a, 'b) t -> ('a key * 'b) option
val max_binding_opt : ('a, 'b) t -> ('a key * 'b) option
val min_binding : ('a, 'b) t -> 'a key * 'b
val max_binding : ('a, 'b) t -> 'a key * 'b
val find_first_opt : ('a key -> bool) -> ('a, 'b) t -> ('a key * 'b) option
val find_last_opt : ('a key -> bool) -> ('a, 'b) t -> ('a key * 'b) option
val find_first : ('a key -> bool) -> ('a, 'b) t -> 'a key * 'b
val find_last : ('a key -> bool) -> ('a, 'b) t -> 'a key * 'b
val find_any : ('a key -> 'b -> bool) -> ('a, 'b) t -> 'a key * 'b
val find_any_opt : ('a key -> 'b -> bool) -> ('a, 'b) t -> ('a key * 'b) option
val is_singleton : ('a, 'b) t -> ('a key * 'b) option

if the map is a singleton, return the unique binding, else return None