dependent-sum
Dependent sum type
https://github.com/mokus0/dependent-sum
Version on this page: | 0.4 |
LTS Haskell 22.38: | 0.7.2.0@rev:2 |
Stackage Nightly 2024-10-11: | 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.4@sha256:40c705604f52374fb72616e10234635104a626ede737ddde899777b719df120b,1907
Module documentation for 0.4
- Data
- Data.Dependent
- Data.GADT
- Data.Some
Depends on 1 package(full list with versions):
Used by 3 packages in lts-13.19(full list with versions):