package containers

You can search for identifiers within the package.

in-package search v0.2.0

A modular, clean and powerful extension of the OCaml standard library

Install

Dune Dependency

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

Authors

S

Simon Cruanes

Maintainers

S

simon.cruanes.2007@m4x.org

Sources

v2.8.tar.gz

md5=03b80e963186e91ddac62ef645bf7fb2

sha512=c8f434808be540c16926bf03d89f394d33fc2d092f963a7b6d412481229e0a96290f1ad7c7d522415115d35426b7aa0b3fda4b991ddc321dad279d402c9a0c0b

doc/containers.data/CCBijection/module-type-S/index.html

Module type `CCBijection.S`Source

Sourcetype t

Sourcetype left

Sourcetype right

Sourceval empty : t

Sourceval is_empty : t -> bool

Sourceval equal : t -> t -> bool

Sourceval compare : t -> t -> int

Sourceval add : left -> right -> t -> t

Add left and right correspondence to bijection such that left and right are unique in their respective sets and only correspond to each other.

Sourceval cardinal : t -> int

Number of bindings. O(n) time.

Sourceval mem : left -> right -> t -> bool

Check both sides for key membership.

Sourceval mem_left : left -> t -> bool

Check for membership of correspondence using left key.

Sourceval mem_right : right -> t -> bool

Check for membership of correspondence using right key.

Sourceval find_left : left -> t -> right

raises Not_found
if left is not found.

Sourceval find_right : right -> t -> left

raises Not_found
if right is not found.

Sourceval remove : left -> right -> t -> t

Remove the left, right binding if it exists. Return the same bijection otherwise.

Sourceval remove_left : left -> t -> t

Remove the binding with left key if it exists. Return the same bijection otherwise.

Sourceval remove_right : right -> t -> t

Remove the binding with right key if it exists. Return the same bijection otherwise.

Sourceval list_left : t -> (left * right) list

Return the bindings as a list of (left, right) values.

Sourceval list_right : t -> (right * left) list

Return the bindings as a list of (right, left) values.

Sourceval add_seq : (left * right) sequence -> t -> t

Sourceval of_seq : (left * right) sequence -> t

Sourceval to_seq : t -> (left * right) sequence

Sourceval add_list : (left * right) list -> t -> t

Sourceval of_list : (left * right) list -> t

Sourceval to_list : t -> (left * right) list