kind-integer-0.6.0: Type-level integers. Like KnownNat, but for integers. (Index)

kind-integer-0.6.0: Type-level integers. Like KnownNat, but for integers.

Index

%^	KindInteger
Abs	KindInteger
cmpInteger	KindInteger
Div	KindInteger
div	KindInteger
DivRem	KindInteger
divRem	KindInteger
DivRemSym0	KindInteger
DivRemSym1	KindInteger
DivRemSym2	KindInteger
DivRemSym3	KindInteger
DivSym0	KindInteger
DivSym1	KindInteger
DivSym2	KindInteger
DivSym3	KindInteger
Even	KindInteger
EvenSym0	KindInteger
EvenSym1	KindInteger
Fold	KindInteger
FoldSym0	KindInteger
FoldSym1	KindInteger
FoldSym2	KindInteger
FoldSym3	KindInteger
FoldSym4	KindInteger
FromNatural	KindInteger
FromNaturalSym0	KindInteger
FromNaturalSym1	KindInteger
fromSInteger	KindInteger
GCD	KindInteger
GCDSym0	KindInteger
GCDSym1	KindInteger
Integer	KindInteger
integerSing	KindInteger
integerVal	KindInteger
KnownInteger	KindInteger
KnownIntegerSym0	KindInteger
KnownIntegerSym1	KindInteger
LCM	KindInteger
LCMSym0	KindInteger
LCMSym1	KindInteger
Log2	KindInteger
Log2Sym0	KindInteger
Log2Sym1	KindInteger
N	KindInteger
Normalized	KindInteger
NormalizedSym0	KindInteger
NormalizedSym1	KindInteger
NSym0	KindInteger
NSym1	KindInteger
Odd	KindInteger
OddSym0	KindInteger
OddSym1	KindInteger
P	KindInteger
PSym0	KindInteger
PSym1	KindInteger
readPrecLit	KindInteger
Rem	KindInteger
rem	KindInteger
RemSym0	KindInteger
RemSym1	KindInteger
RemSym2	KindInteger
RemSym3	KindInteger
Round	KindInteger
RoundAway	KindInteger
RoundAwaySym0	KindInteger
RoundDown	KindInteger
RoundDownSym0	KindInteger
RoundHalfAway	KindInteger
RoundHalfAwaySym0	KindInteger
RoundHalfDown	KindInteger
RoundHalfDownSym0	KindInteger
RoundHalfEven	KindInteger
RoundHalfEvenSym0	KindInteger
RoundHalfOdd	KindInteger
RoundHalfOddSym0	KindInteger
RoundHalfUp	KindInteger
RoundHalfUpSym0	KindInteger
RoundHalfZero	KindInteger
RoundHalfZeroSym0	KindInteger
RoundUp	KindInteger
RoundUpSym0	KindInteger
RoundZero	KindInteger
RoundZeroSym0	KindInteger
sAbs	KindInteger
sameInteger	KindInteger
sDiv	KindInteger
sDivRem	KindInteger
sEven	KindInteger
sFold	KindInteger
sFromNatural	KindInteger
sGCD	KindInteger
ShowLit	KindInteger
showLit	KindInteger
ShowLitSym0	KindInteger
ShowLitSym1	KindInteger
ShowsLit	KindInteger
showsLit	KindInteger
ShowsLitSym0	KindInteger
ShowsLitSym1	KindInteger
ShowsLitSym2	KindInteger
ShowsPrecLit	KindInteger
showsPrecLit	KindInteger
ShowsPrecLitSym0	KindInteger
ShowsPrecLitSym1	KindInteger
ShowsPrecLitSym2	KindInteger
ShowsPrecLitSym3	KindInteger
SInteger
1 (Type/Class)	KindInteger
2 (Data Constructor)	KindInteger
sLCM	KindInteger
sLog2	KindInteger
SN	KindInteger
sNegateRefl	KindInteger
sOdd	KindInteger
SomeInteger
1 (Type/Class)	KindInteger
2 (Data Constructor)	KindInteger
someIntegerVal	KindInteger
SP	KindInteger
sRem	KindInteger
SRound	KindInteger
SRoundAway	KindInteger
SRoundDown	KindInteger
SRoundHalfAway	KindInteger
SRoundHalfDown	KindInteger
SRoundHalfEven	KindInteger
SRoundHalfOdd	KindInteger
SRoundHalfUp	KindInteger
SRoundHalfZero	KindInteger
SRoundUp	KindInteger
SRoundZero	KindInteger
sShowLit	KindInteger
sShowsLit	KindInteger
sShowsPrecLit	KindInteger
SZ	KindInteger
sZagZig	KindInteger
sZagZigRefl	KindInteger
sZigZag	KindInteger
sZigZagRefl	KindInteger
withKnownInteger	KindInteger
withSomeSInteger	KindInteger
Z	KindInteger
ZagZig	KindInteger
ZigZag	KindInteger
ZSym0	KindInteger
^	KindInteger
^@#@$	KindInteger
^@#@$$	KindInteger
^@#@$$$	KindInteger