package containers

  1. Overview
  2. Docs
package containers
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type CCMultiSet.SSource

Sourcetype elt
Sourcetype t
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval mem : t -> elt -> bool
Sourceval count : t -> elt -> int
Sourceval singleton : elt -> t
Sourceval add : t -> elt -> t
Sourceval remove : t -> elt -> t
Sourceval add_mult : t -> elt -> int -> t

add_mult set x n adds n occurrences of x to set.

  • since 0.6
Sourceval remove_mult : t -> elt -> int -> t

remove_mult set x n removes at most n occurrences of x from set.

  • since 0.6
Sourceval remove_all : t -> elt -> t

remove_all set x removes all occurrences of x from set.

  • since 0.22
Sourceval update : t -> elt -> (int -> int) -> t

update set x f calls f n where n is the current multiplicity of x in set (0 to indicate its absence); the result of f n is the new multiplicity of x.

  • since 0.6
Sourceval min : t -> elt

Minimal element w.r.t the total ordering on elements.

Sourceval max : t -> elt

Maximal element w.r.t the total ordering on elements.

Sourceval union : t -> t -> t

union a b contains as many occurrences of an element x as count a x + count b x.

Sourceval meet : t -> t -> t

meet a b is a multiset such that count (meet a b) x = max (count a x) (count b x).

Sourceval intersection : t -> t -> t

intersection a b is a multiset such that count (intersection a b) x = min (count a x) (count b x).

Sourceval diff : t -> t -> t

MultiSet difference. count (diff a b) x = max (count a x - count b x) 0.

Sourceval contains : t -> t -> bool

contains a x = (count m x > 0).

Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval cardinal : t -> int

Number of distinct elements.

Sourceval iter : t -> (int -> elt -> unit) -> unit
Sourceval fold : t -> 'b -> ('b -> int -> elt -> 'b) -> 'b
Sourceval of_list : elt list -> t
Sourceval to_list : t -> elt list
Sourceval to_seq : t -> elt sequence
Sourceval of_seq : elt sequence -> t
Sourceval of_list_mult : (elt * int) list -> t
  • since 0.19
Sourceval to_list_mult : t -> (elt * int) list
  • since 0.19
Sourceval to_seq_mult : t -> (elt * int) sequence
  • since 0.19
Sourceval of_seq_mult : (elt * int) sequence -> t
  • since 0.19
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct