Contents
Index
type-natural-0.4.1.1: Type-level natural and proofs of their properties.
A
B
C
D
E
F
I
K
L
M
N
O
P
S
T
U
V
W
Z
:
%
@
~
All
Index - P
Peano
Data.Type.Natural.Builtin
plusAssoc
1 (Function)
Data.Type.Natural
2 (Function)
Data.Type.Natural.Builtin
plusAssociative
Data.Type.Natural
plusComm
1 (Function)
Data.Type.Natural
2 (Function)
Data.Type.Natural.Builtin
plusCommutative
Data.Type.Natural
plusCongL
Data.Type.Natural
plusCongR
Data.Type.Natural
plusInjectiveL
Data.Type.Natural
plusInjectiveR
Data.Type.Natural
plusLeqL
Data.Type.Natural
plusLeqR
Data.Type.Natural
plusMinusEqL
Data.Type.Natural
plusMinusEqR
Data.Type.Natural
plusMonotone
Data.Type.Natural
plusMultDistr
1 (Function)
Data.Type.Natural
2 (Function)
Data.Type.Natural.Builtin
plusMultDistrib
Data.Type.Natural
plusNeutralL
Data.Type.Natural
plusNeutralR
Data.Type.Natural
plusSR
Data.Type.Natural
plusSuccL
1 (Function)
Data.Type.Natural
2 (Function)
Data.Type.Natural.Builtin
plusSuccR
1 (Function)
Data.Type.Natural
2 (Function)
Data.Type.Natural.Builtin
plusZL
1 (Function)
Data.Type.Natural
2 (Function)
Data.Type.Natural.Builtin
plusZR
1 (Function)
Data.Type.Natural
2 (Function)
Data.Type.Natural.Builtin
propToBoolLeq
Data.Type.Natural
propToClassLeq
Data.Type.Natural
Proxy
1 (Data Constructor)
Data.Type.Natural
2 (Type/Class)
Data.Type.Natural