Package0.4.0.1DataDependent Types
dependent-map
Dependent finite maps (partial dependent products)
- Version0.4.0.1
- CategoryData, Dependent Types
- LicenceBSD-3-Clause
- AuthorJames Cook <mokus@deepbondi.net>
- MaintainerObsidian Systems, LLC <maintainer@obsidian.systems>
- Homepagegithub.com/obsidiansystems/dependent-map
- Pinned byhackage dependent-map 0.4.0.1
- Sourcehackage.haskell.org/package/dependent-map-0.4.0.1
Modules
- Data.Dependent.Map
- Data.Dependent.Map.LensSome functions for using lenses with DMap.
Internal modules · 1
Description
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-4.23.0.0with GHC
- constraints-extras-0.4.0.2in this set
- containers-0.8with GHC
- dependent-sum-0.7.2.0in this set
Used by in this set · 0
Nothing in this set depends on it.