type-level-0.2.4: Type-level programming library

Portabilitynon-portable (TypeOperators)
Stabilityexperimental
Maintaineralfonso.acosta@gmail.com

Data.TypeLevel.Num.Reps

Contents

Description

Type-level numerical representations. Currently, only decimals are supported.

Synopsis

Decimal representation

data D0 Source

Decimal digit zero

data D1 Source

Decimal digit one

data D2 Source

Decimal digit two

data D3 Source

Decimal digit three

data D4 Source

Decimal digit four

data D5 Source

Decimal digit five

data D6 Source

Decimal digit six

data D7 Source

Decimal digit seven

data D8 Source

Decimal digit eight

data D9 Source

Decimal digit nine

data a :* b Source

Connective to glue digits together. For example, D1 :* D0 :* D0 represents the decimal number 100

Constructors

a :* b