ghc-typelits-knownnat-0.7.13: Derive KnownNat constraints from other KnownNat constraints

Index

boolNatSing2 | GHC.TypeLits.KnownNat
boolSing | GHC.TypeLits.KnownNat
boolVal | GHC.TypeLits.KnownNat
KnownBool | GHC.TypeLits.KnownNat
KnownBoolNat2 | GHC.TypeLits.KnownNat
KnownNat1 | GHC.TypeLits.KnownNat
KnownNat2 | GHC.TypeLits.KnownNat
KnownNat2Bool | GHC.TypeLits.KnownNat
KnownNat3 | GHC.TypeLits.KnownNat
nameToSymbol | GHC.TypeLits.KnownNat
natBoolSing3 | GHC.TypeLits.KnownNat
natSing1 | GHC.TypeLits.KnownNat
natSing2 | GHC.TypeLits.KnownNat
natSing3 | GHC.TypeLits.KnownNat
plugin | GHC.TypeLits.KnownNat.Solver
SBool | GHC.TypeLits.KnownNat
SBoolKb |
1 (Type/Class) | GHC.TypeLits.KnownNat
2 (Data Constructor) | GHC.TypeLits.KnownNat
SFalse | GHC.TypeLits.KnownNat
SNatKn |
1 (Type/Class) | GHC.TypeLits.KnownNat
2 (Data Constructor) | GHC.TypeLits.KnownNat
STrue | GHC.TypeLits.KnownNat