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.1.tar.gz

md5=d84e09c5d0abc501aa17cd502e31a038

sha512=8b832f4ada6035e80d81be0cfb7bdffb695ec67d465ed6097a144019e2b8a8f909095e78019c3da2d8181cc3cd730cd48f7519e87d3162442562103b7f36aabb

doc/containers.data/CCMixmap/index.html

Module `CCMixmap`Source

Maps with Heterogeneous Values

status: experimental

  module M = CCMixmap.Make(CCInt)

  let inj_int = CCMixmap.create_inj()
  let inj_str = CCMixmap.create_inj()
  let inj_list_int = CCMixmap.create_inj()

  let m =
    M.empty
    |> M.add ~inj:inj_int 1 1
    |> M.add ~inj:inj_str 2 "2"
    |> M.add ~inj:inj_list_int 3 [3;3;3]

      assert (M.get ~inj:inj_int 1 m = Some 1)
      assert (M.get ~inj:inj_str 1 m = None)
      assert (M.get ~inj:inj_str 2 m = Some "2")
      assert (M.get ~inj:inj_int 2 m = None)
      assert (M.get ~inj:inj_list_int 3 m = Some [3;3;3])
      assert (M.get ~inj:inj_str 3 m = None)

change of API, the map is last argument to make piping with |> easier since 0.16.

since 0.9

Sourcetype 'a injection

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

Sourceval create_inj : unit -> 'a 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 maps (although not in a thread-safe way).

Sourcemodule type S = sig ... end

Sourcemodule type ORD = sig ... end

Sourcemodule Make (X : ORD) : S with type key = X.t

On This Page

Maps with Heterogeneous Values