generic-data-functions-0.5.1: Familiar functions lifted to generic data types
Safe HaskellSafe-Inferred
LanguageGHC2021

Generic.Data.Function.Common.TypeNats

Description

Handy typenat utils.

Documentation

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

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