quickspec-0.9.6: Equational laws for free!

Index - M

mapConstantTest.QuickSpec.Term
mapConstsTest.QuickSpec.Term
mapSomeTest.QuickSpec.Utils.Typed
mapSome2Test.QuickSpec.Utils.Typed
mapSomeMTest.QuickSpec.Utils.Typed
mapValues 
1 (Function)Test.QuickSpec.Utils.TypeMap
2 (Function)Test.QuickSpec.Utils.TypeRel
mapValues2Test.QuickSpec.Utils.TypeMap
mapVariableTest.QuickSpec.Term
mapVarsTest.QuickSpec.Term
maxDepth 
1 (Function)Test.QuickSpec.Signature
2 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning
maxDepth_Test.QuickSpec.Signature
maxQuickCheckSizeTest.QuickSpec.Signature
maxQuickCheckSize_Test.QuickSpec.Signature
maxSizeTest.QuickSpec.Signature
maxSize_Test.QuickSpec.Signature
mergeTest.QuickSpec.Utils
minTestsTest.QuickSpec.Signature
minTests_Test.QuickSpec.Signature
mkFunTyTest.QuickSpec.Utils.Typeable
mkTyConAppTest.QuickSpec.Utils.Typeable