type-level-show-0.1.1: Utilities for writing Show-like type families
Safe HaskellSafe-Inferred
LanguageGHC2021

TypeLevelShow.Natural

Synopsis

Documentation

type family ShowNatBase base showDigit n where ... Source #

Render a type-level Natural in the given base using the given digit printer.

Equations

ShowNatBase base showDigit 0 = "0" 
ShowNatBase base showDigit n = ShowNatBase' base showDigit "" n 

type family ShowNatBase' base showDigit acc n where ... Source #

Equations

ShowNatBase' base showDigit acc 0 = acc 
ShowNatBase' base showDigit acc n = ShowNatBase' base showDigit (ConsSymbol (showDigit @@ (n `Mod` base)) acc) (n `Div` base) 

type family ShowNatBinaryDigit (d :: Natural) :: Char where ... Source #

Equations

ShowNatBinaryDigit 0 = '0' 
ShowNatBinaryDigit 1 = '1' 

data ShowNatBinaryDigitSym d Source #

Instances

Instances details
type App ShowNatBinaryDigitSym (d :: Natural) Source # 
Instance details

Defined in TypeLevelShow.Natural

type family ShowNatOctalDigit (d :: Natural) :: Char where ... Source #

data ShowNatOctalDigitSym d Source #

Instances

Instances details
type App ShowNatOctalDigitSym (d :: Natural) Source # 
Instance details

Defined in TypeLevelShow.Natural

data ShowNatDecimalDigitSym d Source #

Instances

Instances details
type App ShowNatDecimalDigitSym (d :: Natural) Source # 
Instance details

Defined in TypeLevelShow.Natural

data ShowNatHexDigitLowerSym d Source #

Instances

Instances details
type App ShowNatHexDigitLowerSym (d :: Natural) Source # 
Instance details

Defined in TypeLevelShow.Natural

data ShowNatHexDigitUpperSym d Source #

Instances

Instances details
type App ShowNatHexDigitUpperSym (d :: Natural) Source # 
Instance details

Defined in TypeLevelShow.Natural