package fmlib_std

You can search for identifiers within the package.

in-package search v0.2.0

Standard datatypes of Fmlib

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (14)

Authors

H

Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

H

Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.5.6.tar.gz

sha256=ceeef0fc034eaf510ef2d8decda4ea500d4855202e39f03132385153d3c0adf7

md5=b1c666fde2efc94be7a17d3fa986251e

doc/fmlib_std/Fmlib_std/Btree/Set/index.html

Module `Btree.Set`

A finite set implemented by a B tree.

Parameters

module Key : Interfaces.SORTABLE

Signature

Set API

include Interfaces.SET with type item = Key.t

type item = Key.t

Type of elements of the set.

type t

Type of the set of elements of type item.

val is_empty : t -> bool

Is the set empty?

val cardinal : t -> int

The cardinality of the set i.e. the number of its elements.

val mem : item -> t -> bool

mem element set Is element a member of the set set?

val fold_left : ('accu -> item -> 'accu) -> 'accu -> t -> 'accu

fold_left f start set

Fold the elements of the set set from left to right i.e. lexically ascending using the start value start for the accumulator and the folding function f where f is applied f accu element yielding a new accumulator value by consuming one element.

val fold_right : ('accu -> item -> 'accu) -> 'accu -> t -> 'accu

fold_left f start set

Fold the elements of the set set from right to left i.e. lexically descending using the start value start for the accumulator and the folding function f where f is applied f accu element yielding a new accumulator value by consuming one element.

val elements : t -> item list

The elements of the set in ascending order returned as a list.

val empty : t

The empty set.

val add : item -> t -> t

add element set Add the element element to the set set. If the element is already in the set, then do nothing.

val remove : item -> t -> t

remove element set Remove the element element from the set set. If the element is not in the set, then do nothing.

Stream of elements

module Source : sig ... end

On This Page

Parameters
Signature
Set API
Stream of elements