dependent-map
Dependent finite maps (partial dependent products)
https://github.com/mokus0/dependent-map
Version on this page: | 0.2.4.0 |
LTS Haskell 22.37: | 0.4.0.0@rev:2 |
Stackage Nightly 2024-10-11: | 0.4.0.0@rev:2 |
Latest on Hackage: | 0.4.0.0@rev:2 |
This version can be pinned in stack with:
dependent-map-0.2.4.0@sha256:c12162b00168a9bc73efd6197322e88a1789becdae4da10d79901539bcbffc85,1716
Module documentation for 0.2.4.0
- Data
- Data.Dependent
Depends on 3 packages(full list with versions):