package dmap

  1. Overview
  2. Docs
A library that implements dependent (heterogeneous) maps

Install

Dune Dependency

Authors

Maintainers

Sources

dmap-0.5.tar.gz
md5=fe62cbaa5916073a175b6f3b32dc8b68
sha512=9bbb186dc6d94e3f7ba5f64e74cb66cd13d5a5ff10b1924367a6629b49c9943a1f65ff65d5fe49a8fcfd69f15ddf4a4c93e0bf654cef781296576deace554d9b

CHANGES.md.html

0.5

  • added a new, more generic functor, that is parametrized over a type of values, that can depend on the type indices of keys (backward compatibility is maintained)

  • added a more generic functor that extends the indices of a type with arbitrary metadata

  • ensure OCaml >= 4.12.0 is used, so that we can use injectivity annotations on type variables of abstract types

0.4

  • added functors to create a classic ordered type, and non-dependent maps and sets from a DORDERED type

  • added functors to extend the keys of a DORDERED type with additional data

0.3

  • changed interface of update (it was too general to be used in a useful way)

0.2

  • cosmetic changes to dune/opam description files

0.1

  • initial release

OCaml

Innovation. Community. Security.