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@rev:1 |
LTS Haskell 22.43: | 0.5.0.3 |
Stackage Nightly 2024-12-04: | 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:c4df6a4de406c6d66b99efaefac7b7e1355f32fad16ef2e80b747bbf51ed2221,1346
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-12.26(full list with versions):