type-natural-1.0.0.0: Type-level natural and proofs of their properties.
Contents
Index
A
B
C
D
E
F
G
I
K
L
M
N
O
P
R
S
T
U
V
W
Z
:
%
*
+
<
=
>
@
^
-
All
Index - M
Max
Data.Type.Natural.Lemma.Order
,
Data.Type.Natural
, Data.Type.Natural.Builtin
maxComm
Data.Type.Natural.Lemma.Order
maxLeast
Data.Type.Natural.Lemma.Order
maxLeqL
Data.Type.Natural.Lemma.Order
maxLeqR
Data.Type.Natural.Lemma.Order
maxZeroL
Data.Type.Natural.Lemma.Order
maxZeroR
Data.Type.Natural.Lemma.Order
Min
Data.Type.Natural.Lemma.Order
,
Data.Type.Natural
, Data.Type.Natural.Builtin
minComm
Data.Type.Natural.Lemma.Order
minLargest
Data.Type.Natural.Lemma.Order
minLeqL
Data.Type.Natural.Lemma.Order
minLeqR
Data.Type.Natural.Lemma.Order
minPlusTruncMinus
Data.Type.Natural.Lemma.Order
minusCong
Data.Type.Natural.Lemma.Arithmetic
minusCongL
Data.Type.Natural.Lemma.Arithmetic
minusCongR
Data.Type.Natural.Lemma.Arithmetic
minusNilpotent
Data.Type.Natural.Lemma.Arithmetic
minusPlus
Data.Type.Natural.Lemma.Order
minusSucc
Data.Type.Natural.Lemma.Order
minusZero
Data.Type.Natural.Lemma.Arithmetic
minZeroL
Data.Type.Natural.Lemma.Order
minZeroR
Data.Type.Natural.Lemma.Order
Mod
Data.Type.Natural
, Data.Type.Natural.Builtin
multAssoc
Data.Type.Natural.Lemma.Arithmetic
multComm
Data.Type.Natural.Lemma.Arithmetic
multCong
Data.Type.Natural.Lemma.Arithmetic
multCongL
Data.Type.Natural.Lemma.Arithmetic
multCongR
Data.Type.Natural.Lemma.Arithmetic
multEqCancelL
Data.Type.Natural.Lemma.Arithmetic
multEqCancelR
Data.Type.Natural.Lemma.Arithmetic
multEqSuccElimL
Data.Type.Natural.Lemma.Arithmetic
multEqSuccElimR
Data.Type.Natural.Lemma.Arithmetic
multOneL
Data.Type.Natural.Lemma.Arithmetic
multOneR
Data.Type.Natural.Lemma.Arithmetic
multPlusDistrib
Data.Type.Natural.Lemma.Arithmetic
multSuccL
Data.Type.Natural.Lemma.Arithmetic
multSuccL'
Data.Type.Natural.Lemma.Arithmetic
multSuccR
Data.Type.Natural.Lemma.Arithmetic
multZeroL
Data.Type.Natural.Lemma.Arithmetic
multZeroR
Data.Type.Natural.Lemma.Arithmetic