The latest version of dependent-map is 0.4.0.0-2.
dependent-map
Version 0.2.4.0 revision 1 uploaded by phadej.
Package meta
- Synopsis
- Dependent finite maps (partial dependent products)
- Description
Provides a type called
DMapwhich generalizesData.Map.Map, allowing keys to specify the type of value that can be associated with them.- Author
- James Cook <mokus@deepbondi.net>
- Bug reports
- n/a
- Category
- Data, Dependent Types
- Copyright
- n/a
- Homepage
- https://github.com/mokus0/dependent-map
- Maintainer
- James Cook <mokus@deepbondi.net>
- Package URL
- n/a
- Stability
- provisional