Hash_set.Poly
A hash set that uses polymorphic comparison
type nonrec 'a t = 'a t
include Sexplib0.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
val t_sexp_grammar : 'a Sexplib0.Sexp_grammar.t -> 'a t Sexplib0.Sexp_grammar.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
include Container.Generic
with type ('a, _) t := 'a t
with type 'a elt := 'a elt
val length : _ t -> int
val is_empty : _ t -> bool
val fold_until :
'a t ->
init:'acc ->
f:('acc -> 'a elt -> ('acc, 'final) Container.Continue_or_stop.t) ->
finish:('acc -> 'final) ->
'final
val sum :
(module Container.Summable with type t = 'sum) ->
'a t ->
f:('a elt -> 'sum) ->
'sum
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.