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 |
LTS Haskell 22.39: | 0.5.0.3 |
Stackage Nightly 2024-10-31: | 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@sha256:ad541ea8aa93d79ac96702c1f1fb6f903b26e1e86a306d2c55869144ef9d3436,1319
Module documentation for 0.5
- Numeric
- Numeric.NumType
- Numeric.NumType.DK
- Numeric.NumType
Depends on 1 package(full list with versions):
Used by 2 packages in nightly-2016-02-13(full list with versions):