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 (23)

Authors

  1. C
    c-cube

Maintainers

  1. C
    c-cube

Sources

containers-3.15.tbz
sha256=92143ceb4785ae5f8a07f3ab4ab9f6f32d31ead0536e9be4fdb818dd3c677e58
sha512=5fa80189d0e177af2302b48e72b70299d51fc36ac2019e1cbf389ff6a7f4705b10089405b5a719b3e4845b0d1349a47a967f865dc2e4e3f0d5a0167ef6c31431

doc/containers-data/CCMixtbl/index.html

Module CCMixtblSource

Hash Table with Heterogeneous Keys

From https://github.com/mjambon/mixtbl (thanks to him). Example:

  let inj_int = CCMixtbl.create_inj () ;;

  let tbl = CCMixtbl.create 10 ;;

  assert_equal None (CCMixtbl.get ~inj:inj_int tbl "a");;

  CCMixtbl.set inj_int tbl "a" 1;;

  assert_equal (Some 1) (CCMixtbl.get ~inj:inj_int tbl "a");;

  let inj_string = CCMixtbl.create_inj () ;;

  CCMixtbl.set inj_string tbl "b" "Hello";

  assert_equal (Some "Hello") (CCMixtbl.get inj_string tbl "b");;
  assert_equal None (CCMixtbl.get inj_string tbl "a");;
  assert_equal (Some 1) (CCMixtbl.get inj_int tbl "a");;
  CCMixtbl.set inj_string tbl "a" "Bye";;

  assert_equal None (CCMixtbl.get inj_int tbl "a");;
  assert_equal (Some "Bye") (CCMixtbl.get inj_string tbl "a");;
  • since 0.6
Sourcetype 'a t

A hash table containing values of different types. The type parameter 'a represents the type of the keys.

Sourcetype 'b injection

An accessor for values of type 'b in any table. Values put in the table using a key can only be retrieved using this very same key.

Sourceval create : int -> 'a t

create n creates a hash table of initial size n.

Sourceval create_inj : unit -> 'b injection

Return a value that works for a given type of values. This function is normally called once for each type of value. Several keys may be created for the same type, but a value set with a given setter can only be retrieved with the matching getter. The same key can be reused across multiple tables (although not in a thread-safe way).

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

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

Sourceval set : inj:'b injection -> 'a t -> 'a -> 'b -> unit

Bind the key to the value, using inj.

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

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 length : 'a t -> int

Number of bindings.

Sourceval clear : 'a t -> unit

Clear content of the hashtable.

Sourceval remove : 'a t -> 'a -> unit

Remove the binding for this key.

Sourceval copy : 'a t -> 'a t

Copy of the table.

Sourceval mem : inj:_ injection -> 'a t -> 'a -> bool

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

Sourceval iter_keys : 'a t -> ('a -> unit) -> unit

Iterate on the keys of this table.

Sourceval fold_keys : 'a t -> 'b -> ('b -> 'a -> 'b) -> 'b

Fold over the keys.

Iterators

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

All the keys.

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

All the bindings that come from the corresponding injection.

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

Iterate on all bindings.