Hoogle Search
Within LTS Haskell 24.10 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT No documentation available.
genericArbitrary :: (Generic a, GArbitrary (Rep a)) => Gen aquickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT Create a arbitrary generator for a specified a type in a naive way. Please be careful when using this function, particularly for recursive types.
toADTArbitrary :: ToADTArbitrary a => Proxy a -> Gen (ADTArbitrary a)quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT produce an arbitrary instance for each constructor in type a.
toADTArbitrarySingleton :: ToADTArbitrary a => Proxy a -> Gen (ADTArbitrarySingleton a)quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT produce an arbitrary instance of one random constructor
class Applicative gen =>
CoArbitrary (gen :: Type -> Type) aquickcheck-higherorder Test.QuickCheck.HigherOrder Implicit, default cogenerator.
coarbitrary :: CoArbitrary gen a => Co gen a rquickcheck-higherorder Test.QuickCheck.HigherOrder No documentation available.
coarbitraryGeneric :: forall a r gen . (Generic a, GCoArbitrary gen a) => Co gen a rquickcheck-higherorder Test.QuickCheck.HigherOrder Generic implementation of coarbitrary.
-- Assuming MyData is a data type whose fields are all instances of CoArbitrary. instance CoArbitrary MyData where coarbitrary = coarbitraryGeneric
class Applicative gen =>
CoArbitrary (gen :: Type -> Type) atest-fun Test.Fun Implicit, default cogenerator.
class (GCoGen a, Applicative gen, GSumCoArb gen Rep a) =>
GCoArbitrary (gen :: Type -> Type) atest-fun Test.Fun Constraint for coarbitraryGeneric.
coarbitrary :: CoArbitrary gen a => Co gen a rtest-fun Test.Fun No documentation available.