type-level-0.2.4: Type-level programming librarySource codeContentsIndex
Data.TypeLevel.Num.Reps
Portabilitynon-portable (TypeOperators)
Stabilityexperimental
Maintaineralfonso.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