dev-haskell/ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
Runtime Dependencies
ghc-typelits-knownnat-0.7.10
>=dev-haskell/ghc-tcplugins-extra-0.3.1:=[profile?
]
>=dev-haskell/ghc-typelits-natnormalise-0.7.1:=[profile?
]
<dev-haskell/ghc-typelits-natnormalise-0.8:=[profile?
]
>=dev-lang/ghc-8.0.1:=[profile?
]
<dev-lang/ghc-9.10:=[profile?
]
>=dev-lang/ghc-8.8.1:=
dev-lang/ghc:=[profile?
]