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.
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.
coarbitrary :: CoArbitrary gen a => Co gen a rtest-fun Test.Fun.Internal.Generic No documentation available.
coarbitraryGeneric :: forall a r gen . (Generic a, GCoArbitrary gen a) => Co gen a rtest-fun Test.Fun.Internal.Generic Generic implementation of coarbitrary.
-- Assuming MyData is a data type whose fields are all instances of CoArbitrary. instance CoArbitrary MyData where coarbitrary = coarbitraryGeneric
binarySpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, Binary a) => Specgenvalidity-hspec-binary Test.Validity.Binary Standard test spec for properties of Binary-related functions for arbitrary values Example usage:
binarySpecOnArbitrary @Int
serializeSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, Serialize a) => Specgenvalidity-hspec-cereal Test.Validity.Cereal Standard test spec for properties of Serialize-related functions for arbitrary values Example usage:
serializeSpecOnArbitrary @Int
hashableSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, Hashable a) => Specgenvalidity-hspec-hashable Test.Validity.Hashable Standard test spec for properties of Hashable instances for arbitrary values Example usage:
hashableSpecOnArbitrary @Int
persistSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, PersistField a) => Specgenvalidity-hspec-persistent Test.Validity.Persist Standard test spec for properties of persistent-related functions for arbitrary values Example usage:
persistSpecOnArbitrary @Int
hashableSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, Hashable a) => Specgenvalidity-sydtest-hashable Test.Syd.Validity.Hashable Standard test spec for properties of Hashable instances for arbitrary values Example usage:
hashableSpecOnArbitrary @Int