type-natural-0.4.2.0: Type-level natural and proofs of their properties. (Index - P)

type-natural-0.4.2.0: 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