@hackage dependent-map0.4.0.0

Dependent finite maps (partial dependent products)

Categories
License
LicenseRef-OtherLicense
Maintainer
Obsidian Systems, LLC <maintainer@obsidian.systems>
Links
Versions
- 0.4.0.0 Mon, 27 May 2024
- 0.3.1.0 Thu, 26 Mar 2020
- 0.3 Sun, 4 Aug 2019
- 0.2.4.0 Sat, 28 Sep 2019
- 0.2.3.0 Sat, 28 Sep 2019
- 0.2.2.0 Sat, 14 May 2016

Installation
In your cabal file:
Tested Compilers
Dependencies (4)
- base >=4.9 && <5
- containers >=0.5.7.1 && <0.8
- constraints-extras >=0.2.3.0 && <0.5
- dependent-sum >=0.6.1 && <0.8
Dependents (43)
@hackage/tinytools, @hackage/aeson-gadt-th, @hackage/parsley-core, @hackage/typerep-map, @hackage/fraxl, @hackage/reflex-dynamic-containers, Show all…

Provides a type called DMap which generalizes Data.Map.Map, allowing keys to specify the type of value that can be associated with them.