ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
Version on this page: | 0.1.1 |
LTS Haskell 22.26: | 0.7.12 |
Stackage Nightly 2024-06-22: | 0.7.12 |
Latest on Hackage: | 0.7.12 |
Maintained by [email protected]
This version can be pinned in stack with:
ghc-typelits-knownnat-0.1.1@sha256:62d4ae6fc19ad3f691c0b612dff7375d00d8ab6139ca2f90f85807938d79f799,3236
Module documentation for 0.1.1
- GHC
- GHC.TypeLits
Depends on 3 packages(full list with versions):