bytezap-1.6.0: Bytestring builder with zero intermediate allocation
Safe HaskellNone
LanguageGHC2021

Bytezap.Common.TypeNats

Description

Handy typenat utils.

Documentation

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

natValInt :: forall (n :: Nat). KnownNat n => Int Source #