Util.TypeNats
Description
Handy typenat utils.
natVal'' :: forall n. KnownNat n => Natural Source #
natValInt :: forall n. KnownNat n => Int Source #
type family Length (a :: [k]) :: Natural where ... Source #
The length of a type-level list.
Equations