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 - Sourcedependent-map-0.
4. 0. 1 on Hackage
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.22.0.0with GHC
- constraints-extras-0.3.2.1in this set
- containers-0.8with GHC
- dependent-sum-0.6.2.0in this set
Used by in this set · 0
Nothing in this set depends on it.