binrep-0.6.0: Encode precise binary representations directly in types

Safe Haskell	Safe-Inferred
Language	GHC2021

Util.TypeNats

Description

Handy typenat utils.

Synopsis

natVal'' :: forall n. KnownNat n => Natural
natValInt :: forall n. KnownNat n => Int
type family Length (a :: [k]) :: Natural where ...

Documentation

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

Length '[] = 0
Length (a ': as) = 1 + Length as