Hoogle Search
Within LTS Haskell 24.26 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
coarbitraryGeneric :: forall a r gen . (Generic a, GCoArbitrary gen a) => Co gen a rtest-fun Test.Fun 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.Internal.Generic Implicit, default cogenerator.
class (GCoGen a, Applicative gen, GSumCoArb gen Rep a) =>
GCoArbitrary (gen :: Type -> Type) atest-fun Test.Fun.Internal.Generic Constraint for coarbitraryGeneric.