dependent-map
Dependent finite maps (partial dependent products)
https://github.com/mokus0/dependent-map
Version on this page: | 0.2.0.1 |
LTS Haskell 22.18: | 0.4.0.0@rev:1 |
Stackage Nightly 2024-04-25: | 0.4.0.0@rev:1 |
Latest on Hackage: | 0.4.0.0@rev:1 |
This version can be pinned in stack with:
dependent-map-0.2.0.1@sha256:04ba76fd76f9bb7f0347e2399aa7fc2b5254621bee5e23fdf4b2ac3efdb86b5a,1616
Module documentation for 0.2.0.1
- Data
- Data.Dependent
Depends on 3 packages(full list with versions):