binrep-0.8.0: Encode precise binary representations directly in types
Safe HaskellSafe-Inferred
LanguageGHC2021

Util.TypeNats

Description

Handy typenat utils.

Documentation

natVal'' :: forall n. KnownNat n => Natural Source #

natValInt :: forall n. KnownNat n => Int Source #