dev-haskell/ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
Runtime Dependencies
ghc-typelits-knownnat-0.8.2
>=dev-haskell/ghc-tcplugin-api-0.18.1.0:=[profile?
]
<dev-haskell/ghc-tcplugin-api-0.19:=[profile?
]
>=dev-haskell/ghc-typelits-natnormalise-0.9.0:=[profile?
]
<dev-haskell/ghc-typelits-natnormalise-0.10:=[profile?
]
>=dev-lang/ghc-8.0.1:=[profile?
]
<dev-lang/ghc-9.17:=[profile?
]
>=dev-lang/ghc-9.0.2:=
dev-lang/ghc:=[profile?
]


View
Download
Browse