package containers-data

  1. Overview
  2. Docs

Module CCMultiMap.MakeBidirSource

Parameters

module L : OrderedType
module R : OrderedType

Signature

Sourcetype t
Sourcetype left = L.t
Sourcetype right = R.t
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval add : t -> left -> right -> t

Add a binding (left,right).

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

Remove a specific binding.

Sourceval cardinal_left : t -> int

Number of distinct left keys.

Sourceval cardinal_right : t -> int

Number of distinct right keys.

Sourceval remove_left : t -> left -> t

Remove all bindings for the left key.

Sourceval remove_right : t -> right -> t

Remove all bindings for the right key.

Sourceval mem_left : t -> left -> bool

Is the left key present in at least one pair?

Sourceval mem_right : t -> right -> bool

Is the right key present in at least one pair?

Sourceval find_left : t -> left -> right iter

Find all bindings for this given left-key.

Sourceval find_right : t -> right -> left iter

Find all bindings for this given right-key.

Sourceval find1_left : t -> left -> right option

Like find_left but returns at most one value.

Sourceval find1_right : t -> right -> left option

Like find_right but returns at most one value.

Sourceval fold : ('a -> left -> right -> 'a) -> 'a -> t -> 'a

Fold on pairs.

Sourceval pairs : t -> (left * right) iter

Iterate on pairs.

Sourceval add_pairs : t -> (left * right) iter -> t

Add pairs.

Sourceval iter_left : t -> left iter
Sourceval iter_right : t -> right iter