Hash_set.Poly
A hash set that uses polymorphic comparison
type nonrec 'a t = 'a t
include Sexpable.S1 with type 'a t := 'a t
val t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a t
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t
include Creators_generic with type 'a t := 'a t with type 'a elt = 'a with type ('key, 'z) create_options
:= ('key, 'z) create_options_without_first_class_module
val create : ('a, unit -> 'a t) create_options_without_first_class_module
val of_list : ('a, 'a elt list -> 'a t) create_options_without_first_class_module
include Accessors with type 'a t := 'a t with type 'a elt := 'a elt
val mem : 'a t -> 'a -> bool
override Container.Generic.mem
val add : 'a t -> 'a -> unit
val strict_add : 'a t -> 'a -> unit Or_error.t
strict_add t x
returns Ok ()
if the x
was not in t
, or an Error
if it was.
val strict_add_exn : 'a t -> 'a -> unit
val remove : 'a t -> 'a -> unit
val strict_remove : 'a t -> 'a -> unit Or_error.t
strict_remove t x
returns Ok ()
if the x
was in t
, or an Error
if it was not.
val strict_remove_exn : 'a t -> 'a -> unit
val clear : 'a t -> unit
val filter_inplace : 'a t -> f:('a -> bool) -> unit
inter t1 t2
computes the set intersection of t1
and t2
. Runs in O(min(length t1, length t2)). Behavior is undefined if t1
and t2
don't have the same equality function.