kind-rational-0.2: Type-level rationals. Like KnownNat, but for rationals. (Index)

kind-rational-0.2: Type-level rationals. Like KnownNat, but for rationals.

Index

%	KindRational
*	KindRational
+	KindRational
-	KindRational
/	KindRational
/=	KindRational
/=?	KindRational
==	KindRational
==?	KindRational
Abs	KindRational
CmpRational	KindRational
cmpRational	KindRational
Den	KindRational
Div	KindRational
div	KindRational
DivRem	KindRational
divRem	KindRational
fromPrelude	KindRational
fromSRational	KindRational
KnownRational	KindRational
Negate	KindRational
Normalize	KindRational
Num	KindRational
Rational	KindRational
rational	KindRational
rationalSing	KindRational
rationalVal	KindRational
Recip	KindRational
Rem	KindRational
rem	KindRational
Round	KindRational
RoundAway	KindRational
RoundDown	KindRational
RoundHalfAway	KindRational
RoundHalfDown	KindRational
RoundHalfEven	KindRational
RoundHalfOdd	KindRational
RoundHalfUp	KindRational
RoundHalfZero	KindRational
RoundUp	KindRational
RoundZero	KindRational
sameRational	KindRational
showsPrecTypeLit	KindRational
Sign	KindRational
SomeRational
1 (Type/Class)	KindRational
2 (Data Constructor)	KindRational
someRationalVal	KindRational
SRational
1 (Type/Class)	KindRational
2 (Data Constructor)	KindRational
Terminates	KindRational
terminates	KindRational
Terminating	KindRational
toPrelude	KindRational
withKnownRational	KindRational
withSomeSRational	KindRational
withTerminating	KindRational