package prom

You can search for identifiers within the package.

in-package search v0.2.0

package prom

prom
- Prom
  - FMap
  - FSet
  - KLL
  - LabelsMap
  - SMap

Legend:
Library
Module
Module type
Parameter
Class
Class type

include Stdlib.Set.S with type elt := float

type t

val empty : t

val is_empty : t -> bool

val mem : float -> t -> bool

val add : float -> t -> t

val singleton : float -> t

val remove : float -> t -> t

val union : t -> t -> t

val inter : t -> t -> t

val disjoint : t -> t -> bool

val diff : t -> t -> t

val compare : t -> t -> int

val equal : t -> t -> bool

val subset : t -> t -> bool

val iter : (float -> unit) -> t -> unit

val map : (float -> float) -> t -> t

val fold : (float -> 'a -> 'a) -> t -> 'a -> 'a

val for_all : (float -> bool) -> t -> bool

val exists : (float -> bool) -> t -> bool

val filter : (float -> bool) -> t -> t

val filter_map : (float -> float option) -> t -> t

val partition : (float -> bool) -> t -> t * t

val cardinal : t -> int

val elements : t -> float list

val min_elt : t -> float

val max_elt : t -> float

val choose : t -> float

val split : float -> t -> t * bool * t

val find : float -> t -> float

val to_seq_from : float -> t -> float Stdlib.Seq.t

val to_rev_seq : t -> float Stdlib.Seq.t

val min_elt_opt : t -> float option

Safe version of min_elt.

since 1.5

val max_elt_opt : t -> float option

Safe version of max_elt.

since 1.5

val choose_opt : t -> float option

Safe version of choose.

since 1.5

val find_opt : float -> t -> float option

Safe version of find.

since 1.5

val find_first : (float -> bool) -> t -> float

Find minimum element satisfying predicate.

since 1.5

val find_first_opt : (float -> bool) -> t -> float option

Safe version of find_first.

since 1.5

val find_last : (float -> bool) -> t -> float

Find maximum element satisfying predicate.

since 1.5

val find_last_opt : (float -> bool) -> t -> float option

Safe version of find_last.

since 1.5

val of_iter : float CCSet.iter -> t

Build a set from the given iter of elements.

since 2.8

val add_iter : t -> float CCSet.iter -> t

since 2.8

val to_iter : t -> float CCSet.iter

to_iter t converts the set t to a iter of the elements.

since 2.8

val of_seq : float CCSet.sequence -> t

deprecated use of_iter instead

val add_seq : t -> float CCSet.sequence -> t

deprecated use add_iter instead

val to_seq : t -> float CCSet.sequence

deprecated use to_iter instead

val of_list : float list -> t

Build a set from the given list of elements, added in order using add.

val add_list : t -> float list -> t

since 0.14

val to_list : t -> float list

to_list t converts the set t to a list of the elements.

val to_string : 
  ?start:string ->
  ?stop:string ->
  ?sep:string ->
  (float -> string) ->
  t ->
  string

Print the set in a string

since 2.7

val pp : 
  ?start:string ->
  ?stop:string ->
  ?sep:string ->
  float CCSet.printer ->
  t CCSet.printer

Print the set.