quickspec-0.9.6: Equational laws for free!

Index - G

gatherTest.QuickSpec.Utils.TypeRel
gcastTest.QuickSpec.Utils.Typeable
generateTest.QuickSpec.Generate
generateTermsSatisfyingTest.QuickSpec.Generate
genPartialTest.QuickSpec.Approximate
genSeedsTest.QuickSpec.Generate
get 
1 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning
2 (Function)Test.QuickSpec.Reasoning.PartialEquationalReasoning
GPTest.QuickSpec.Approximate
gvarsTest.QuickSpec.Signature, Test.QuickSpec
gvars'Test.QuickSpec.Signature
gvars0Test.QuickSpec.Signature
gvars1Test.QuickSpec.Signature
gvars2Test.QuickSpec.Signature