quickspec-2.1.4: Equational laws for free! (Index - M)

quickspec-2.1.4: Equational laws for free!

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
Z
:
$
<
=
All

Index - M

mapValue	QuickSpec.Internal.Type
mapVar	QuickSpec.Internal.Term
match	QuickSpec.Internal.Term
matchType	QuickSpec.Internal.Type
maybeBraces	QuickSpec.Internal.Term
maybeBrackets	QuickSpec.Internal.Term
maybeDoubleQuotes	QuickSpec.Internal.Term
maybeParens	QuickSpec.Internal.Term
maybeQuotes	QuickSpec.Internal.Term
Measure	QuickSpec.Internal.Term
measure	QuickSpec.Internal.Term
MeasureFuns
1 (Type/Class)	QuickSpec.Internal.Term
2 (Data Constructor)	QuickSpec.Internal.Term
Mode	QuickSpec.Internal.Term
mode	QuickSpec.Internal.Term
mono	QuickSpec.Internal, QuickSpec
monoObserve	QuickSpec.Internal, QuickSpec
monoObserveVars	QuickSpec.Internal, QuickSpec
monoType	QuickSpec.Internal, QuickSpec
monoTypeObserve	QuickSpec.Internal, QuickSpec
monoTypeObserveWithVars	QuickSpec.Internal, QuickSpec
monoTypeWithVars	QuickSpec.Internal, QuickSpec
monoVars	QuickSpec.Internal, QuickSpec