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.

Exact lookup

1. coarbitrary :: CoArbitrary gen a => Co gen a r

   test-fun	Test.Fun.Internal.Generic

   No documentation available.

2. coarbitraryGeneric :: forall a r gen . (Generic a, GCoArbitrary gen a) => Co gen a r

   test-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
   

3. binarySpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, Binary a) => Spec

   genvalidity-hspec-binary	Test.Validity.Binary

   Standard test spec for properties of Binary-related functions for arbitrary values Example usage:

   binarySpecOnArbitrary @Int
   

4. serializeSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, Serialize a) => Spec

   genvalidity-hspec-cereal	Test.Validity.Cereal

   Standard test spec for properties of Serialize-related functions for arbitrary values Example usage:

   serializeSpecOnArbitrary @Int
   

5. hashableSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, Hashable a) => Spec

   genvalidity-hspec-hashable	Test.Validity.Hashable

   Standard test spec for properties of Hashable instances for arbitrary values Example usage:

   hashableSpecOnArbitrary @Int
   

6. persistSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, PersistField a) => Spec

   genvalidity-hspec-persistent	Test.Validity.Persist

   Standard test spec for properties of persistent-related functions for arbitrary values Example usage:

   persistSpecOnArbitrary @Int
   

7. hashableSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, Hashable a) => Spec

   genvalidity-sydtest-hashable	Test.Syd.Validity.Hashable

   Standard test spec for properties of Hashable instances for arbitrary values Example usage:

   hashableSpecOnArbitrary @Int
   

8. lensGettingProducesValidOnArbitrary :: (Show s, Arbitrary s, Show b, Validity b) => Lens s s b b -> Property

   genvalidity-sydtest-lens	Test.Syd.Validity.Lens

   A property combinator to test whether getting values via a lens on arbitrary values produces valid values. Example Usage:

   lensGettingProducesValidOnArbitrary ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational)
   

9. lensSettingProducesValidOnArbitrary :: (Show s, Arbitrary s, Show b, Arbitrary b, Show t, Validity t) => Lens s t a b -> Property

   genvalidity-sydtest-lens	Test.Syd.Validity.Lens

   A property combinator to test whether setting arbitrary values via a lens on arbitrary values produces valid values. Example usage:

   lensSettingProducesValidOnArbitrary ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational)
   

10. lensSpecOnArbitrary :: forall s b . (Show b, Eq b, Arbitrary b, Validity b, Show s, Eq s, Arbitrary s, Validity s) => Lens s s b b -> Spec

    genvalidity-sydtest-lens	Test.Syd.Validity.Lens

    Standard test spec for properties lenses for arbitrary values Example usage:

    lensSpecOnArbitrary ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational)
    

Page 64 of many | Previous | Next