kind-rational-0.5.0: Type-level rationals. Like KnownNat, but for rationals.
Quick Jump
Contents
Index
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