package core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Set_intf.Creators_generic with type ('a, 'b) set := ('a, 'b) t with type ('a, 'b) t := ('a, 'b) t with type ('a, 'b) tree := ('a, 'b) Tree.t with type 'a elt := 'a with type 'c cmp := 'c with type ('a, 'b, 'c) create_options := ('a, 'b, 'c) Core__.Set_intf.With_comparator.t
val empty : ('a, 'cmp, ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val singleton : ('a, 'cmp, 'a -> ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val union_list : ('a, 'cmp, ('a, 'cmp) t list -> ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val of_list : ('a, 'cmp, 'a list -> ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val of_sequence : ('a, 'cmp, 'a Base__.Sequence.t -> ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val of_array : ('a, 'cmp, 'a array -> ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val of_sorted_array : ('a, 'cmp, 'a array -> ('a, 'cmp) t Base__.Or_error.t) Core__.Set_intf.With_comparator.t
val of_sorted_array_unchecked : ('a, 'cmp, 'a array -> ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val of_increasing_iterator_unchecked : ('a, 'cmp, len:int -> f:(int -> 'a) -> ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val stable_dedup_list : ('a, 'b, 'a list -> 'a list) Core__.Set_intf.With_comparator.t
  • deprecated [since 2023-04] Use [List.stable_dedup] instead.
val map : ('b, 'cmp, ('a, 'c) t -> f:('a -> 'b) -> ('b, 'cmp) t) Core__.Set_intf.With_comparator.t
val filter_map : ('b, 'cmp, ('a, 'c) t -> f:('a -> 'b option) -> ('b, 'cmp) t) Core__.Set_intf.With_comparator.t
val of_tree : ('a, 'cmp, ('a, 'cmp) Tree.t -> ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val of_hash_set : ('a, 'cmp, 'a Hash_set.t -> ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val of_hashtbl_keys : ('a, 'cmp, ('a, _) Hashtbl.t -> ('a, 'cmp) t) Core__.Set_intf.With_comparator.t
val of_map_keys : ('a, _, 'cmp) Base.Map.t -> ('a, 'cmp) t

Never requires a comparator because it can get one from the input Map.t.

val quickcheck_generator : ('a, 'cmp, 'a Quickcheck.Generator.t -> ('a, 'cmp) t Quickcheck.Generator.t) Core__.Set_intf.With_comparator.t
OCaml

Innovation. Community. Security.