Îõ³h$P}Ñ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP Safe-Inferred?É×èíquickcheck-higherorder  wrapper with Q and RÄ instances that operate on the representation of the argument type.Deconstruct with the   pattern.ÝThis is only useful for property combinators from vanilla QuickCheck, that use the original Testable class instead of  from this library. quickcheck-higherorderA  ¬ type is associated with a type of "finite descriptions" that can be generated, shown (e.g., as counterexamples in QuickCheck), and interpreted as values. This enhances R and Q used by vanilla QuickCheck.åThe main motivating example is the type of functions, which can be finitely represented by the type () (see also Test.Fun).It turns out we can define  ! for just about anything except S (for now...). quickcheck-higherorder)The observable representation of a value. quickcheck-higherorder&Interpret a representation as a value. quickcheck-higherorder(A unidirectional pattern to deconstruct  values. quickcheck-higherorder-A smart constructor for constructible values.    Safe-Inferred ?ÁÂÉÖ×Ù1 Safe-InferredÙìŽ#quickcheck-higherorder)Types that represent testable properties.This is a clone of the T* class with an improved function instance.%quickcheck-higherorderEquivalent to $4 specialized to functions: convert a function to a U.&quickcheck-higherorder8A function represents a universally quantified property.'quickcheck-higherorder9A generator represents a universally quantified property.)quickcheck-higherorderA U. is the canonical type of testable properties. -property' @Property = property @Property = id#$%#$%None2Î Ì*quickcheck-higherorderTestable equality+quickcheck-higherorderA property that probably' fails if the two values are not equal. (a + a) = V W ,quickcheck-higherorderDefault method to convert X (decidable equality) into *.*+,*+,+4None ú <quickcheck-higherorderDecidable property.=quickcheck-higherorderËThe definition of decidability: we can compute whether a property is true.>quickcheck-higherorder"Implication between two equations.?quickcheck-higherorder+Expressions denoting a logical implication.Aquickcheck-higherorder,Equation: an equals sign between two values.Cquickcheck-higherorder Variant of Y using the alternative #.Dquickcheck-higherorder Variant of Z using the alternative #.Equickcheck-higherorderA named property that should pass.Use E and F) to construct lists of named properties [([, U)], which can be run using G, or testProperties from tasty-quickcheck.Fquickcheck-higherorderA named property that should fail. See also E.Gquickcheck-higherorder#Execute a list of named properties.Kquickcheck-higherorder Just use (\).Lquickcheck-higherorder Just use (\). <=>?@ABCDEFG AB?@><=CDEFG@2B5Noneè= #$%*+,<=>?@ABCDEFG CD#$AB?@><=*+,EFG% Ý      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abc^de^df^dgabhaij^kl^km[no^dpñ5quickcheck-higherorder-0.1.0.1-Jx1Zl7uyviwH12gY00wHrHTest.QuickCheck.HigherOrder2Test.QuickCheck.HigherOrder.Internal.Constructible-Test.QuickCheck.HigherOrder.Internal.Function3Test.QuickCheck.HigherOrder.Internal.Testable.Class+Test.QuickCheck.HigherOrder.Internal.TestEq-Test.QuickCheck.HigherOrder.Internal.Testable Testable':->'test-fun-0.1.0.0-FWFU32cQ281DhMRKpLNjJPTest.Fun.Internal.GenericcoarbitraryGeneric coarbitrary CoArbitraryTest.Fun.Internal.CoGen cogenIntegral cogenEmbedTest.Fun.Internal.TypesapplyFun Constructed ConstructibleReprfromRepr Construct mkConstructed$fConstructibleSum$fConstructibleOrdering$fConstructibleBool$fConstructible()$fConstructibleChar$fConstructibleDouble$fConstructibleWord$fConstructibleInt$fConstructibleInteger$fConstructible[]$fConstructibleMaybe$fConstructibleEither$fConstructible(,)$fConstructibleIdentity$fConstructibleFun$fShowConstructed$fArbitraryConstructedconcrete$fConstructible->$fCoArbitraryGen->$fArbitrary:-> property'forAll_ $fTestable'->$fTestable'Gen$fTestable'Bool$fTestable'PropertyTestEq=?decEq$fTestEqOrdering $fTestEqBool $fTestEq() $fTestEqChar$fTestEqDouble $fTestEqWord $fTestEqInt$fTestEqInteger $fTestEq[] $fTestEqMaybe$fTestEqEither $fTestEq(,) $fTestEq-> $fTestEqSum$fTestEqIdentity DecidabledecideEqImpl Implication:==>Equation:=: quickCheck'quickCheckWith'okko quickChecks$fTestable'Equation$fTestableEquation$fDecidableBool$fTestable'Implication$fTestableImplication$fDecidableEquation $fEqEquation $fOrdEquation$fShowEquationbaseGHC.ShowShow'QuickCheck-2.14.2-6vGnep5JveBx6Bsl9Nf1tTest.QuickCheck.Arbitrary Arbitraryghc-prim GHC.TypesIOTest.QuickCheck.PropertyTestablePropertypropertyTrue GHC.ClassesEqTest.QuickCheck.Test quickCheckquickCheckWithGHC.BaseString==>