type-level-0.2.4: Type-level programming library Source code Contents Index

Data.TypeLevel.Num.Reps Portability non-portable (TypeOperators) Stability experimental Maintainer alfonso.acosta@gmail.com

Contents Decimal representation

Description

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

Synopsis

data D0 data D1 data D2 data D3 data D4 data D5 data D6 data D7 data D8 data D9 data a :* b = a :* b

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

Produced by Haddock version 2.6.0