dependent-sum
Dependent sum type
https://github.com/mokus0/dependent-sum
Version on this page: | 0.3.2.2@rev:2 |
LTS Haskell 23.19: | 0.7.2.0@rev:2 |
Stackage Nightly 2025-04-30: | 0.7.2.0@rev:2 |
Latest on Hackage: | 0.7.2.0@rev:2 |
This version can be pinned in stack with:
dependent-sum-0.3.2.2@sha256:82b965aeefb6835bdc6d5ba867f8db1b6fb7bbebdf12dec49cbe36fcf60c1b67,1983
Module documentation for 0.3.2.2
- Data
- Data.Dependent
- Data.GADT
- Data.Some
Depends on 1 package(full list with versions):
Used by 2 packages in lts-6.35(full list with versions):