Module Utils.IntSetSource

Sourcemodule type S = SetSig.S0
include S with type element = int
Sourcetype element = int
Sourcetype t
include SetSig.S1 with type 'a element := element and type 'a t := t
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval is_not_empty : t -> bool
Sourceval singleton : element -> t
Sourceval is_singleton : t -> bool
Sourceval cardinal : t -> int
Sourceval choose : t -> element
Sourceval minimum : t -> element option
Sourceval maximum : t -> element option
Sourceval mem : element -> t -> bool
Sourceval add : element -> t -> t
Sourceval remove : element -> t -> t
Sourceval union : t -> t -> t
Sourceval inter : t -> t -> t
Sourceval disjoint : t -> t -> bool
Sourceval iter : (element -> unit) -> t -> unit
Sourceval rev_iter : (element -> unit) -> t -> unit
Sourceval fold : (element -> 'b -> 'b) -> t -> 'b -> 'b
Sourceval fold_right : ('a -> element -> 'a) -> 'a -> t -> 'a
Sourceval map : (element -> element) -> t -> t
Sourceval exists : (element -> bool) -> t -> bool
Sourceval elements : t -> element list
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval subset : t -> t -> bool
Sourceval quick_subset : t -> t -> bool
Sourceval diff : t -> t -> t

Decomposing sets

These functions implements the Refine.DECOMPOSABLE interface. We cannot reference it here as Refine is implemented using bitsets, that would create a reference cycle.

Sourceval compare_minimum : t -> t -> int
Sourceval extract_unique_prefix : t -> t -> t * t
Sourceval extract_shared_prefix : t -> t -> t * (t * t)
Sourceval sorted_union : t list -> t
Sourceval of_list : element list -> t
Sourceval init_interval : element -> element -> t
Sourceval init_subset : element -> element -> (element -> bool) -> t
Sourceval filter : (element -> bool) -> t -> t
Sourceval filter_map : (element -> element option) -> t -> t
Sourceval split : element -> t -> t * bool * t
Sourceval find : (element -> bool) -> t -> element
Sourceval find_map : (element -> 'b option) -> t -> 'b option
Sourceval to_seq : t -> element Stdlib.Seq.t
Sourceval bind : t -> (element -> t) -> t
Sourceval split_by_run : (element -> element) -> t -> (element * t) list

Split a set into consecutive “runs” of elements that share the same class.

Parameters

  • cls : 'a element → 'b element that assigns a class to each element.
  • xs : 'a t – the input set to be split.

Returns A list of pairs. Each pair is made of a class (the result of cls for the run) and the subset of the original elements that belong to that run (preserving the original order).

Sourceval fused_inter_union : t -> t -> acc:t -> t
Sourceval rev_map_elements : t -> (element -> 'b) -> 'b list
Sourceval allocate : t Stdlib.ref -> int