Bytezap.Common.TypeNats
Description
Handy typenat utils.
natVal'' :: forall (n :: Nat). KnownNat n => Natural Source #
natValInt :: forall (n :: Nat). KnownNat n => Int Source #