dependent-map
Dependent finite maps (partial dependent products) https://github.com/mokus0/dependent-map
Version on this page: | 0.2.4.0 |
LTS Haskell 11.6: | 0.2.4.0 |
Stackage Nightly 2018-04-26: | 0.2.4.0 |
Latest on Hackage: | 0.2.4.0 |
Module documentation for 0.2.4.0
- Data
- Data.Dependent
Depends on 4 packages:
Used by 8 packages:
comments powered byDisqus