type-natural-0.7.1.2: Type-level natural and proofs of their properties. (Index - L)

type-natural-0.7.1.2: Type-level natural and proofs of their properties.

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
Z
:
%
@
~
All

Index - L

Leq	Data.Type.Natural
leqAntisymm	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
LeqInstance	Data.Type.Natural
leqNeqToLT	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqNeqToSuccLeq	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqRefl	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqReflexive	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqReversed	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqStep	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
LeqSucc	Data.Type.Natural.Class.Order, Data.Type.Natural.Class
leqSucc	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqSucc'	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqSuccStepL	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqSuccStepR	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqToCmp	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqToGT	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqToLT	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqToMax	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqToMin	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqTrans	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
LeqView	Data.Type.Natural.Class.Order, Data.Type.Natural.Class
leqViewRefl	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqWitness	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
LeqZero	Data.Type.Natural.Class.Order, Data.Type.Natural.Class
leqZero	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
leqZeroElim	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
lneqReversed	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
lneqRightPredSucc	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
lneqSucc	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
lneqSuccLeq	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
lneqSuccStepL	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
lneqSuccStepR	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
lneqToLT	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
lneqZero	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
lneqZeroAbsurd	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
ltRightPredSucc	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
ltSucc	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
ltSuccLToLT	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
ltToLeq	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
ltToLneq	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
ltToNeq	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
ltToSuccLeq	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural