|
|
|
Description |
Type level decimal numbers.
|
|
Synopsis |
|
|
|
Documentation |
|
|
A type level number, i.e., a sequence of type level digits.
| | Instances | |
|
|
|
Get the numeric value of a type level number.
This function does not evaluate its argument.
|
|
|
The D0 - D9 types represent type level digits that form
a number by, e.g, D1 (D0 (D5 End)).
On the value level a slightly more palatable form can be used,
D1$D0$D5$End.
| Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Mark the end of a digit sequence.
| Constructors | | Instances | |
|
|
Produced by Haddock version 2.4.2 |