dependent-map

Dependent finite maps (partial dependent products) https://github.com/mokus0/dependent-map

Version on this page:	0.2.4.0
LTS Haskell 12.18:	0.2.4.0
Stackage Nightly 2018-11-17:	0.2.4.0
Latest on Hackage:	0.2.4.0

See all snapshots dependent-map appears in

OtherLicense licensed and maintained by James Cook

Module documentation for 0.2.4.0

Data
- Data.Dependent
  - Data.Dependent.Map

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

Depends on 4 packages:

base, containers, dependent-sum, semigroups

Used by 10 packages:

beam-migrate, dependent-monoidal-map, dependent-sum-aeson-orphans, fraxl, lambdabot-core, reflex, reflex-dom, smtlib2, smtlib2-debug, smtlib2-quickcheck

comments powered byDisqus