Package0.4.0.0DataDependent Types
dependent-map
Dependent finite maps (partial dependent products)
- Version0.4.0.0
- CategoryData, Dependent Types
- LicenceLicenseRef-OtherLicense
- AuthorJames Cook <mokus@deepbondi.net>
- MaintainerObsidian Systems, LLC <maintainer@obsidian.systems>
- Homepagegithub.com/obsidiansystems/dependent-map
- Pinned byhackage dependent-map 0.4.0.0
- Sourcehackage.haskell.org/package/dependent-map-0.4.0.0
Modules
3 modules- Data.Dependent.Map92
- Data.Dependent.Map.Lens2Some 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.20.2.0with GHC
- constraints-extras-0.4.0.2in this set
- containers-0.7with GHC
- dependent-sum-0.7.2.0in this set
Used by in this set · 0
Nothing in this set depends on it.