concat-known-0.1.0.0: Entailments for KnownNat
Safe HaskellSafe-Inferred
LanguageHaskell2010

ConCat.Known

Description

Entailments for KnownNat. To eliminate when plugins no longer cause spurious recompilation.

Documentation

knownAdd :: (KnownNat m, KnownNat n) :- KnownNat (m + n) Source #

knownMul :: (KnownNat m, KnownNat n) :- KnownNat (m * n) Source #