@hackage dependent-map0.2.4.0

Dependent finite maps (partial dependent products)

Categories
License
LicenseRef-OtherLicense
Maintainer
James Cook <mokus@deepbondi.net>
Links
Versions
- 0.4.0.0 Tue, 13 Dec 2022
- 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

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

Installation
In your cabal file:
Dependencies (4)
- base >=3 && <5
- containers
- dependent-sum >=0.3.2 && <0.6
- semigroups
Dependents (36)
@hackage/tinytools, @hackage/aeson-gadt-th, @hackage/parsley-core, @hackage/typerep-map, @hackage/fraxl, @hackage/reflex-dynamic-containers, Show all…