numtype-dk
Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.
https://github.com/bjornbm/numtype-dk
Version on this page: | 0.5.0.2 |
LTS Haskell 23.19: | 0.5.0.3 |
Stackage Nightly 2025-04-24: | 0.5.0.3 |
Latest on Hackage: | 0.5.0.3 |
Maintained by [email protected]
This version can be pinned in stack with:
numtype-dk-0.5.0.2@sha256:45e91980607d1b485aa20dbda7425951ca201ae23a95f4b66593b1cfc5e25b27,1323
Module documentation for 0.5.0.2
- Numeric
- Numeric.NumType
- Numeric.NumType.DK
- Numeric.NumType
Depends on 1 package(full list with versions):
Used by 2 packages in lts-11.22(full list with versions):