ord-axiomata-0.1.0.0: Axiomata & lemmata for easier use of Data.Type.Ord (Index)

ord-axiomata-0.1.0.0: Axiomata & lemmata for easier use of Data.Type.Ord

Index

/=	Data.Type.Ord.Axiomata
<	Data.Type.Ord.Axiomata
<=	Data.Type.Ord.Axiomata
<\|=\|>	Data.Type.Ord.Axiomata
==	Data.Type.Ord.Axiomata
=?	Data.Type.Ord.Axiomata
>	Data.Type.Ord.Axiomata
>=	Data.Type.Ord.Axiomata
antiSym	Data.Type.Ord.Axiomata
BoundedAbove	Data.Type.Ord.Axiomata
BoundedBelow	Data.Type.Ord.Axiomata
defaultDecideEq	Data.Type.Ord.Axiomata
Equivalence	Data.Type.Ord.Axiomata
geqToLeq	Data.Type.Ord.Lemmata
greatest	Data.Type.Ord.Axiomata
least	Data.Type.Ord.Axiomata
leqToGeq	Data.Type.Ord.Lemmata
LowerBound	Data.Type.Ord.Axiomata
lowerBound	Data.Type.Ord.Axiomata
maxInfl1	Data.Type.Ord.Lemmata
maxInfl2	Data.Type.Ord.Lemmata
maxMono	Data.Type.Ord.Lemmata
maxSym	Data.Type.Ord.Lemmata
maxTO	Data.Type.Ord.Axiomata
minDefl1	Data.Type.Ord.Lemmata
minDefl2	Data.Type.Ord.Lemmata
minMono	Data.Type.Ord.Lemmata
minSym	Data.Type.Ord.Lemmata
minTO	Data.Type.Ord.Axiomata
Proof	Data.Type.Ord.Axiomata
refl	Data.Type.Ord.Axiomata
Reflect	Data.Type.Ord.Axiomata
Sing	Data.Type.Ord.Axiomata
sub	Data.Type.Ord.Axiomata
symEq	Data.Type.Ord.Lemmata
symNeq	Data.Type.Ord.Lemmata
TotalOrder	Data.Type.Ord.Axiomata
transEq	Data.Type.Ord.Lemmata
transGeq	Data.Type.Ord.Lemmata
transGt	Data.Type.Ord.Lemmata
transLeq	Data.Type.Ord.Axiomata
transLt	Data.Type.Ord.Lemmata
UpperBound	Data.Type.Ord.Axiomata
upperBound	Data.Type.Ord.Axiomata