numtype-dk
Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.
https://github.com/bjornbm/numtype-dk
LTS Haskell 22.37: | 0.5.0.3 |
Stackage Nightly 2024-10-11: | 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.3@sha256:d87bb75788bca15fc743e2267a27e6a525e3d58d028bfd65af49daac1cdfe5ca,1357
Module documentation for 0.5.0.3
- Numeric
- Numeric.NumType
- Numeric.NumType.DK
- Numeric.NumType
Depends on 1 package(full list with versions):
Used by 2 packages in lts-22.6(full list with versions):