type-natural-0.4.1.1: Type-level natural and proofs of their properties. (Index - M)

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 - M

Max	Data.Type.Natural
max	Data.Type.Natural
maxComm	Data.Type.Natural
maxLeqL	Data.Type.Natural
maxLeqR	Data.Type.Natural
MaxSym0	Data.Type.Natural
MaxSym1	Data.Type.Natural
MaxSym2	Data.Type.Natural
maxZL	Data.Type.Natural
maxZR	Data.Type.Natural
Min	Data.Type.Natural
min	Data.Type.Natural
minComm	Data.Type.Natural
minLeqL	Data.Type.Natural
minLeqR	Data.Type.Natural
MinSym0	Data.Type.Natural
MinSym1	Data.Type.Natural
MinSym2	Data.Type.Natural
minusCongEq	Data.Type.Natural
minusCongL	Data.Type.Natural
minusNilpotent	Data.Type.Natural
multAssoc
1 (Function)	Data.Type.Natural
2 (Function)	Data.Type.Natural.Builtin
multAssociative	Data.Type.Natural
multComm
1 (Function)	Data.Type.Natural
2 (Function)	Data.Type.Natural.Builtin
multCongL	Data.Type.Natural
multCongR	Data.Type.Natural
multOneL	Data.Type.Natural
multOneR	Data.Type.Natural
multPlusDistr
1 (Function)	Data.Type.Natural
2 (Function)	Data.Type.Natural.Builtin
multPlusDistrib	Data.Type.Natural
multSuccL	Data.Type.Natural.Builtin
multSuccR	Data.Type.Natural.Builtin
multZL
1 (Function)	Data.Type.Natural
2 (Function)	Data.Type.Natural.Builtin
multZR
1 (Function)	Data.Type.Natural
2 (Function)	Data.Type.Natural.Builtin