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 - P
plugin
Data.Type.Natural.Presburger.MinMaxSolver
plusAssoc
Data.Type.Natural.Lemma.Arithmetic
plusCancelLeqL
Data.Type.Natural.Lemma.Order
plusCancelLeqR
Data.Type.Natural.Lemma.Order
plusComm
Data.Type.Natural.Lemma.Arithmetic
plusCong
Data.Type.Natural.Lemma.Arithmetic
plusCongL
Data.Type.Natural.Lemma.Arithmetic
plusCongR
Data.Type.Natural.Lemma.Arithmetic
plusEqCancelL
Data.Type.Natural.Lemma.Arithmetic
plusEqCancelR
Data.Type.Natural.Lemma.Arithmetic
plusEqZeroL
Data.Type.Natural.Lemma.Arithmetic
plusEqZeroR
Data.Type.Natural.Lemma.Arithmetic
plusLeqL
Data.Type.Natural.Lemma.Order
plusLeqR
Data.Type.Natural.Lemma.Order
plusMinus
Data.Type.Natural.Lemma.Arithmetic
plusMinus'
Data.Type.Natural.Lemma.Arithmetic
plusMonotone
Data.Type.Natural.Lemma.Order
plusMonotoneL
Data.Type.Natural.Lemma.Order
plusMonotoneR
Data.Type.Natural.Lemma.Order
plusMultDistrib
Data.Type.Natural.Lemma.Arithmetic
plusStrictMonotone
Data.Type.Natural.Lemma.Order
plusSuccL
Data.Type.Natural.Lemma.Arithmetic
plusSuccR
Data.Type.Natural.Lemma.Arithmetic
plusZeroL
Data.Type.Natural.Lemma.Arithmetic
plusZeroR
Data.Type.Natural.Lemma.Arithmetic
Pred
Data.Type.Natural.Lemma.Arithmetic
,
Data.Type.Natural
, Data.Type.Natural.Builtin
predCong
Data.Type.Natural.Lemma.Arithmetic
predSucc
Data.Type.Natural.Lemma.Arithmetic
predUnique
Data.Type.Natural.Lemma.Arithmetic
propToBoolLeq
Data.Type.Natural.Lemma.Order
propToBoolLt
Data.Type.Natural.Lemma.Order