A mutable set of elements.
include sig ... end
val sexp_of_t : ('a ‑> Base.Sexp.t) ‑> 'a t ‑> Base.Sexp.t
We use [@@deriving sexp_of]
but not [@@deriving sexp]
because we want people to be
explicit about the hash and comparison functions used when creating hashtables. One
can use Hash_set.Poly.t
, which does have [@@deriving sexp]
, to use polymorphic
comparison and hashing.
include Core_kernel__.Hash_set_intf.Creators_generic with type a t := a t with type 'a elt = 'a with type (key, z) create_options := (key, z) Core_kernel__.Hash_set_intf.create_options
val create : ('a, unit ‑> 'a t) create_options
val of_list : ('a, 'a elt list ‑> 'a t) create_options
include Core_kernel__.Hash_set_intf.Accessors with type a t := a t with type a elt := a elt
include Base.Container.Generic
val length : _ t ‑> int
val is_empty : _ t ‑> bool
val fold_result : 'a t ‑> init:'accum ‑> f:('accum ‑> 'a elt ‑> ('accum, 'e) Base.Result.t) ‑> ('accum, 'e) Base.Result.t
val fold_until : 'a t ‑> init:'accum ‑> f:('accum ‑> 'a elt ‑> ('accum, 'final) Base__.Container_intf.Continue_or_stop.t) ‑> finish:('accum ‑> 'final) ‑> 'final
val sum : (module Base.Commutative_group.S with type t = 'sum) ‑> 'a t ‑> f:('a elt ‑> 'sum) ‑> 'sum
val add : 'a t ‑> 'a ‑> unit
val strict_add : 'a t ‑> 'a ‑> unit Base.Or_error.t
val strict_add_exn : 'a t ‑> 'a ‑> unit
val remove : 'a t ‑> 'a ‑> unit
val strict_remove : 'a t ‑> 'a ‑> unit Base.Or_error.t
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(max(length
t1, length t2)). Behavior is undefined if t1
and t2
don't have the same
equality function.
val of_hashtbl_keys : ('a, _) Base.Hashtbl.t ‑> 'a t
val to_hashtbl : 'key t ‑> f:('key ‑> 'data) ‑> ('key, 'data) Base.Hashtbl.t
val hashable : 'key t ‑> 'key Hashtbl.Hashable.t
module type Elt_plain = Hashtbl.Key_plain
module type Elt = Hashtbl.Key
module type Elt_binable = Hashtbl.Key_binable
module type S_plain : Core_kernel__.Hash_set_intf.S_plain with type a hash_set := a t
module type S : Core_kernel__.Hash_set_intf.S with type a hash_set := a t
module type S_binable : Core_kernel__.Hash_set_intf.S_binable with type a hash_set := a t
module Using_hashable : sig ... end
module Make_binable : functor (Elt : Elt_binable) -> S_binable with type elt = Elt.t
module M : functor (Elt : Core_kernel__.T.T) -> sig ... end