bytezap-1.3.0: Bytestring builder with zero intermediate allocation
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 #