package containers-data

  1. Overview
  2. Docs
On This Page
  1. Iterators
A set of advanced datatypes for containers

Install 

dune-project
 Dependency

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

Authors

  1. C
    c-cube

Maintainers

  1. C
    c-cube

Sources

containers-3.17.tbz
sha256=0f70824867269c02bf01ae12206aa47a6f669d69f1954c19e68ece9f444f1cba
sha512=11de2d7b7173659e6b83c487ac116a93d4b780b86da07386e7604f8fd45f6841e93cba59dba59ed7dbf6e1bc26561202ae1d2e7238a12f588dfd557d4f2da589

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

Module type CCMixmap.SSource

Sourcetype key
Sourcetype t

A map containing values of different types, indexed by key.

Sourceval empty : t

Empty map.

Sourceval get : inj:'a injection -> key -> t -> 'a option

Get the value corresponding to this key, if it exists and belongs to the same key.

Sourceval add : inj:'a injection -> key -> 'a -> t -> t

Bind the key to the value, using inj.

Sourceval find : inj:'a injection -> key -> t -> 'a

Find the value for the given key, which must be of the right type.

  • raises Not_found

    if either the key is not found, or if its value doesn't belong to the right type.

Sourceval cardinal : t -> int

Number of bindings.

Sourceval remove : key -> t -> t

Remove the binding for this key.

Sourceval mem : inj:_ injection -> key -> t -> bool

Is the given key in the map, with the right type?

Sourceval iter_keys : f:(key -> unit) -> t -> unit

Iterate on the keys of this map.

Sourceval fold_keys : f:('a -> key -> 'a) -> x:'a -> t -> 'a

Fold over the keys.

Iterators

Sourcetype 'a iter = ('a -> unit) -> unit
Sourceval keys_iter : t -> key iter

All the keys.

Sourceval bindings_of : inj:'a injection -> t -> (key * 'a) iter

All the bindings that come from the corresponding injection.

Sourcetype value =
  1. | Value : ('a injection -> 'a option) -> value
Sourceval bindings : t -> (key * value) iter

Iterate on all bindings.