ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
Version on this page: | 0.1 |
LTS Haskell 22.18: | 0.7.10 |
Stackage Nightly 2024-04-25: | 0.7.10 |
Latest on Hackage: | 0.7.10 |
Maintained by [email protected]
This version can be pinned in stack with:
ghc-typelits-knownnat-0.1@sha256:ba8083702e3aaa66439ca72e69d3156099807bc33d6b9f1d692f32d837b61bfc,3234
Module documentation for 0.1
- GHC
- GHC.TypeLits
Depends on 3 packages(full list with versions):