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

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

Index

%
1 (Type/Class)	KindRational
2 (Function)	KindRational
%%	KindRational
%@#@$	KindRational
%@#@$$	KindRational
%@#@$$$	KindRational
:%	KindRational
:%@#@$	KindRational
:%@#@$$	KindRational
:%@#@$$$	KindRational
cmpRational	KindRational
Den	KindRational
DenSym0	KindRational
DenSym1	KindRational
Div	KindRational
div	KindRational
DivRem	KindRational
divRem	KindRational
DivRemSym0	KindRational
DivRemSym1	KindRational
DivRemSym2	KindRational
DivSym0	KindRational
DivSym1	KindRational
DivSym2	KindRational
FromInteger	KindRational
fromInteger	KindRational
FromIntegerSym0	KindRational
FromIntegerSym1	KindRational
FromNatural	KindRational
fromNatural	KindRational
FromNaturalSym0	KindRational
FromNaturalSym1	KindRational
fromSRational	KindRational
IsTerminating	KindRational
isTerminating	KindRational
IsTerminatingSym0	KindRational
IsTerminatingSym1	KindRational
KnownRational	KindRational
mkRational	KindRational
NonTerminating	KindRational
NonTerminatingSym0	KindRational
NonTerminatingSym1	KindRational
Num	KindRational
NumSym0	KindRational
NumSym1	KindRational
Rational	KindRational
rationalSing	KindRational
rationalVal	KindRational
readPrecLit	KindRational
Recip	KindRational
RecipSym0	KindRational
RecipSym1	KindRational
Reduced	KindRational
ReducedSym0	KindRational
ReducedSym1	KindRational
Rem	KindRational
rem	KindRational
RemSym0	KindRational
RemSym1	KindRational
RemSym2	KindRational
Round	KindRational
RoundAway	KindRational
RoundAwaySym0	KindRational
RoundDown	KindRational
RoundDownSym0	KindRational
RoundHalfAway	KindRational
RoundHalfAwaySym0	KindRational
RoundHalfDown	KindRational
RoundHalfDownSym0	KindRational
RoundHalfEven	KindRational
RoundHalfEvenSym0	KindRational
RoundHalfOdd	KindRational
RoundHalfOddSym0	KindRational
RoundHalfUp	KindRational
RoundHalfUpSym0	KindRational
RoundHalfZero	KindRational
RoundHalfZeroSym0	KindRational
RoundUp	KindRational
RoundUpSym0	KindRational
RoundZero	KindRational
RoundZeroSym0	KindRational
sameRational	KindRational
sDen	KindRational
sDiv	KindRational
sDivRem	KindRational
sFromInteger	KindRational
sFromNatural	KindRational
ShowLit	KindRational
showLit	KindRational
ShowLitSym0	KindRational
ShowLitSym1	KindRational
ShowsLit	KindRational
showsLit	KindRational
ShowsLitSym0	KindRational
ShowsLitSym1	KindRational
ShowsLitSym2	KindRational
ShowsPrecLit	KindRational
showsPrecLit	KindRational
ShowsPrecLitSym0	KindRational
ShowsPrecLitSym1	KindRational
ShowsPrecLitSym2	KindRational
ShowsPrecLitSym3	KindRational
Signum	KindRational
SignumSym0	KindRational
SignumSym1	KindRational
sMkRational	KindRational
sNegateRefl	KindRational
sNum	KindRational
SomeRational
1 (Type/Class)	KindRational
2 (Data Constructor)	KindRational
someRationalVal	KindRational
SRational
1 (Type/Class)	KindRational
2 (Data Constructor)	KindRational
SRationalNonTerminating	KindRational
SRationalTerminating	KindRational
sRecip	KindRational
sRecip'	KindRational
sRem	KindRational
SRound	KindRational
SRoundAway	KindRational
SRoundDown	KindRational
SRoundHalfAway	KindRational
SRoundHalfDown	KindRational
SRoundHalfEven	KindRational
SRoundHalfOdd	KindRational
SRoundHalfUp	KindRational
SRoundHalfZero	KindRational
SRoundUp	KindRational
SRoundZero	KindRational
sShowLit	KindRational
sShowsLit	KindRational
sShowsPrecLit	KindRational
sSignum	KindRational
sSignumRefl	KindRational
Terminating	KindRational
TerminatingSym0	KindRational
TerminatingSym1	KindRational
termination	KindRational
ToRational	KindRational
ToRationalSym0	KindRational
ToRationalSym1	KindRational
ToRationalSym2	KindRational
withKnownRational	KindRational
withSomeSRational	KindRational