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

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

Index

*	KindInteger
+	KindInteger
-	KindInteger
/=	KindInteger
/=?	KindInteger
==	KindInteger
==?	KindInteger
Abs	KindInteger
CmpInteger	KindInteger
cmpInteger	KindInteger
Div	KindInteger
div	KindInteger
DivRem	KindInteger
divRem	KindInteger
Even	KindInteger
fromPrelude	KindInteger
fromSInteger	KindInteger
GCD	KindInteger
Integer	KindInteger
integerSing	KindInteger
integerVal	KindInteger
KnownInteger	KindInteger
LCM	KindInteger
Log2	KindInteger
N	KindInteger
Negate	KindInteger
Normalize	KindInteger
Odd	KindInteger
P	KindInteger
Rem	KindInteger
rem	KindInteger
Round	KindInteger
RoundAway	KindInteger
RoundDown	KindInteger
RoundHalfAway	KindInteger
RoundHalfDown	KindInteger
RoundHalfEven	KindInteger
RoundHalfOdd	KindInteger
RoundHalfUp	KindInteger
RoundHalfZero	KindInteger
RoundUp	KindInteger
RoundZero	KindInteger
sameInteger	KindInteger
showsPrecTypeLit	KindInteger
Sign	KindInteger
SInteger
1 (Type/Class)	KindInteger
2 (Data Constructor)	KindInteger
SomeInteger
1 (Type/Class)	KindInteger
2 (Data Constructor)	KindInteger
someIntegerVal	KindInteger
toPrelude	KindInteger
withKnownInteger	KindInteger
withSomeSInteger	KindInteger
^	KindInteger