package dmap

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

Install

Dune Dependency

gitlab.inria.fr Readme Changelog LGPL-2.1 License Edit opam file Versions (4)

Authors

  1. B
    Benoît Montagu <benoit.montagu@inria.fr>

Maintainers

  1. B
    Benoît Montagu <benoit.montagu@inria.fr>

Sources

dmap-0.4.tar.gz
md5=da60fe8b3bffa3c3512fcc5ec3a9b20c
sha512=ffa35862f7fe726513fc8e0a935495e134a13e422a964abdead7e719ad80b1bf1d7d1f9e292cdbfa53361fdbb2448c81f849a8f7fd29fb880e578b9620140fe5

CHANGES.md.html

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