úÎ!6•1wQ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPSafe>HVg‚quickcheck-higherorder  wrapper with Q and RD 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.eThe 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 >@AHUVX@SafeXk˜#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#$%#$%None1M! *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-higherorderKThe 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@2B5Noneg0ƒ #$%*+,<=>?@ABCDEFG CD#$AB?@><=*+,EFG% ]      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abc^de^df^dgabhaij^kl^km[no^dpq5quickcheck-higherorder-0.1.0.0-G0FCAegf9ng5nYpYQBvQvDTest.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-CSMkZrvhnxD5vpKqHtYuhZTest.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.13.2-1FftnVviu6BCWJanU0jy5VTest.QuickCheck.Arbitrary Arbitraryghc-prim GHC.TypesIOTest.QuickCheck.PropertyTestablePropertypropertyTrue GHC.ClassesEqTest.QuickCheck.Test quickCheckquickCheckWithGHC.BaseString==>