Module `Using_comparator.Tree`Source

Sourcetype ('a, 'cmp) t

A Tree.t contains just the tree data structure that a set is based on, without including the comparator. Accordingly, any operation on a Tree.t must also take as an argument the corresponding comparator.

Source

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('cmp -> Sexplib0.Sexp.t) ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  Sexplib0.Sexp.t

Source

val t_of_sexp_direct : 
  comparator:('elt, 'cmp) Base.Comparator.t ->
  (Base.Sexp.t -> 'elt) ->
  Base.Sexp.t ->
  ('elt, 'cmp) Base.Set.Using_comparator.Tree.t

include Base.Container.Generic
  with type ('a, 'cmp, _) t := ('a, 'cmp) Base.Set.Using_comparator.Tree.t
  with type 'a elt := 'a

Sourceval length : (_, _) Base.Set.Using_comparator.Tree.t -> int

Sourceval is_empty : (_, _) Base.Set.Using_comparator.Tree.t -> bool

Sourceval iter : ('a, _) Base.Set.Using_comparator.Tree.t -> f:('a -> unit) -> unit

Source

val fold : 
  ('a, _) Base.Set.Using_comparator.Tree.t ->
  init:'acc ->
  f:('acc -> 'a -> 'acc) ->
  'acc

Source

val fold_result : 
  ('a, _) Base.Set.Using_comparator.Tree.t ->
  init:'acc ->
  f:('acc -> 'a -> ('acc, 'e) Base.Result.t) ->
  ('acc, 'e) Base.Result.t

Sourceval exists : ('a, _) Base.Set.Using_comparator.Tree.t -> f:('a -> bool) -> bool

Source

val for_all : 
  ('a, _) Base.Set.Using_comparator.Tree.t ->
  f:('a -> bool) ->
  bool

Sourceval count : ('a, _) Base.Set.Using_comparator.Tree.t -> f:('a -> bool) -> int

Source

val sum : 
  (module Container.Summable with type t = 'sum) ->
  ('a, _) Base.Set.Using_comparator.Tree.t ->
  f:('a -> 'sum) ->
  'sum

Source

val find : 
  ('a, _) Base.Set.Using_comparator.Tree.t ->
  f:('a -> bool) ->
  'a option

Source

val find_map : 
  ('a, _) Base.Set.Using_comparator.Tree.t ->
  f:('a -> 'b option) ->
  'b option

Sourceval to_list : ('a, _) Base.Set.Using_comparator.Tree.t -> 'a list

Sourceval to_array : ('a, _) Base.Set.Using_comparator.Tree.t -> 'a array

Source

val invariants : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  bool

Source

val mem : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  'a ->
  bool

override Container's mem

Source

val add : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  'a ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val remove : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  'a ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val union : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val inter : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val diff : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val symmetric_diff : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'a) Base.Either.t Base.Sequence.t

Source

val compare_direct : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  int

Source

val equal : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  bool

Source

val is_subset : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  of_:('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  bool

Source

val are_disjoint : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  bool

Sourcemodule Named : sig ... end

Source

val fold_until : 
  ('a, _) Base.Set.Using_comparator.Tree.t ->
  init:'acc ->
  f:('acc -> 'a -> ('acc, 'final) Container.Continue_or_stop.t) ->
  finish:('acc -> 'final) ->
  'final

Source

val fold_right : 
  ('a, _) Base.Set.Using_comparator.Tree.t ->
  init:'acc ->
  f:('a -> 'acc -> 'acc) ->
  'acc

Source

val iter2 : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  f:([ `Left of 'a | `Right of 'a | `Both of 'a * 'a ] -> unit) ->
  unit

Source

val filter : 
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  f:('a -> bool) ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val partition_tf : 
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  f:('a -> bool) ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t
  * ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Sourceval elements : ('a, _) Base.Set.Using_comparator.Tree.t -> 'a list

Sourceval min_elt : ('a, _) Base.Set.Using_comparator.Tree.t -> 'a option

Sourceval min_elt_exn : ('a, _) Base.Set.Using_comparator.Tree.t -> 'a

Sourceval max_elt : ('a, _) Base.Set.Using_comparator.Tree.t -> 'a option

Sourceval max_elt_exn : ('a, _) Base.Set.Using_comparator.Tree.t -> 'a

Sourceval choose : ('a, _) Base.Set.Using_comparator.Tree.t -> 'a option

Sourceval choose_exn : ('a, _) Base.Set.Using_comparator.Tree.t -> 'a

Source

val split : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  'a ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t
  * 'a option
  * ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val split_le_gt : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  'a ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t
  * ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val split_lt_ge : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  'a ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t
  * ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val group_by : 
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  equiv:('a -> 'a -> bool) ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t list

Sourceval find_exn : ('a, _) Base.Set.Using_comparator.Tree.t -> f:('a -> bool) -> 'a

Sourceval nth : ('a, _) Base.Set.Using_comparator.Tree.t -> int -> 'a option

Source

val remove_index : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  int ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val to_tree : 
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val to_sequence : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ?order:[ `Increasing | `Decreasing ] ->
  ?greater_or_equal_to:'a ->
  ?less_or_equal_to:'a ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  'a Base.Sequence.t

Source

val binary_search : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  compare:('a -> 'key -> int) ->
  Base.Binary_searchable.Which_target_by_key.t ->
  'key ->
  'a option

Source

val binary_search_segmented : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  segment_of:('a -> [ `Left | `Right ]) ->
  Base.Binary_searchable.Which_target_by_segment.t ->
  'a option

Source

val merge_to_sequence : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ?order:[ `Increasing | `Decreasing ] ->
  ?greater_or_equal_to:'a ->
  ?less_or_equal_to:'a ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'a) Base.Sequence.Merge_with_duplicates_element.t Base.Sequence.t

Source

val empty : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val singleton : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  'a ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val union_list : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t list ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val of_list : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  'a list ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val of_sequence : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  'a Base.Sequence.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val of_array : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  'a array ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val of_sorted_array : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  'a array ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t Base.Or_error.t

Source

val of_sorted_array_unchecked : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  'a array ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val of_increasing_iterator_unchecked : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  len:int ->
  f:(int -> 'a) ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val stable_dedup_list : 
  comparator:('a, _) Base.Comparator.t ->
  'a list ->
  'a list

deprecated [since 2023-04] Use [List.stable_dedup] instead.

Source

val map : 
  comparator:('b, 'cmp) Base.Comparator.t ->
  ('a, _) Base.Set.Using_comparator.Tree.t ->
  f:('a -> 'b) ->
  ('b, 'cmp) Base.Set.Using_comparator.Tree.t

The types of map and filter_map are subtle. The input set, ('a, _) set, reflects the fact that these functions take a set of *any* type, with any comparator, while the output set, ('b, 'cmp) t, reflects that the output set has the particular 'cmp of the creation function. The comparator can come in one of three ways, depending on which set module is used

Set.map -- comparator comes as an argument
Set.Poly.map -- comparator is polymorphic comparison
Foo.Set.map -- comparator is Foo.comparator

Source

val filter_map : 
  comparator:('b, 'cmp) Base.Comparator.t ->
  ('a, _) Base.Set.Using_comparator.Tree.t ->
  f:('a -> 'b option) ->
  ('b, 'cmp) Base.Set.Using_comparator.Tree.t

Source

val of_tree : 
  comparator:('a, 'cmp) Base.Comparator.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t ->
  ('a, 'cmp) Base.Set.Using_comparator.Tree.t

Sourceval empty_without_value_restriction : (_, _) Base.Set.Using_comparator.Tree.t

Module Using_comparator.TreeSource

Module `Using_comparator.Tree`Source