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

Generic.Data.Function.Common.TypeLits

Description

Handy typelit utils.

Documentation

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

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

symbolVal'' :: forall sym. KnownSymbol sym => String Source #