llvm-0.6.0.2: Bindings to the LLVM compiler toolkitSource codeContentsIndex
Data.TypeNumbers
Description
Type level decimal numbers.
Synopsis
class IsTypeNumber ds
typeNumber :: (IsTypeNumber ds, Num a) => ds -> a
data D0 a = D0 a
data D1 a = D1 a
data D2 a = D2 a
data D3 a = D3 a
data D4 a = D4 a
data D5 a = D5 a
data D6 a = D6 a
data D7 a = D7 a
data D8 a = D8 a
data D9 a = D9 a
data End = End
Documentation
class IsTypeNumber ds Source
A type level number, i.e., a sequence of type level digits.
show/hide Instances
typeNumber :: (IsTypeNumber ds, Num a) => ds -> aSource
Get the numeric value of a type level number. This function does not evaluate its argument.
data D0 a Source
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
D0 a
show/hide Instances
data D1 a Source
Constructors
D1 a
show/hide Instances
data D2 a Source
Constructors
D2 a
show/hide Instances
IsTypeNumber ds => IsTypeNumber (D2 ds)
IsPowerOf2 (D2 (D5 (D6 End)))
IsPowerOf2 (D2 End)
IsPrimitive a => MkVector ((,) a a) (D2 End) a
data D3 a Source
Constructors
D3 a
show/hide Instances
data D4 a Source
Constructors
D4 a
show/hide Instances
IsTypeNumber ds => IsTypeNumber (D4 ds)
IsPowerOf2 (D4 End)
IsPrimitive a => MkVector ((,,,) a a a a) (D4 End) a
data D5 a Source
Constructors
D5 a
show/hide Instances
data D6 a Source
Constructors
D6 a
show/hide Instances
data D7 a Source
Constructors
D7 a
show/hide Instances
data D8 a Source
Constructors
D8 a
show/hide Instances
IsTypeNumber ds => IsTypeNumber (D8 ds)
IsPowerOf2 (D8 End)
IsPrimitive a => MkVector ((,,,,,,,) a a a a a a a a) (D8 End) a
data D9 a Source
Constructors
D9 a
show/hide Instances
data End Source
Mark the end of a digit sequence.
Constructors
End
show/hide Instances
Produced by Haddock version 2.4.2