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. lensGettingProducesValidOnArbitrary :: (Show s, Arbitrary s, Show b, Validity b) => Lens s s b b -> Property

   genvalidity-hspec-optics	Test.Validity.Optics

   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)
   

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

   genvalidity-hspec-optics	Test.Validity.Optics

   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)
   

3. 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-hspec-optics	Test.Validity.Optics

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

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

4. package quickcheck-arbitrary-adt

   Generic typeclasses for generating arbitrary ADTs Improve arbitrary value generation for ADTs

5. data ADTArbitrary a

   quickcheck-arbitrary-adt	Test.QuickCheck.Arbitrary.ADT

   ADTArbitrary holds the type name and a ConstructorArbitraryPair for each constructor.

6. ADTArbitrary :: String -> String -> [ConstructorArbitraryPair a] -> ADTArbitrary a

   quickcheck-arbitrary-adt	Test.QuickCheck.Arbitrary.ADT

   No documentation available.

7. data ADTArbitrarySingleton a

   quickcheck-arbitrary-adt	Test.QuickCheck.Arbitrary.ADT

   ADTArbitrarySingleton holds the type name and one ConstructorArbitraryPair.

8. ADTArbitrarySingleton :: String -> String -> ConstructorArbitraryPair a -> ADTArbitrarySingleton a

   quickcheck-arbitrary-adt	Test.QuickCheck.Arbitrary.ADT

   No documentation available.

9. data ConstructorArbitraryPair a

   quickcheck-arbitrary-adt	Test.QuickCheck.Arbitrary.ADT

   ConstructorArbitraryPair holds the construct name as a string and an arbitrary instance of that constructor.

10. ConstructorArbitraryPair :: String -> a -> ConstructorArbitraryPair a

    quickcheck-arbitrary-adt	Test.QuickCheck.Arbitrary.ADT

    No documentation available.

Page 61 of many | Previous | Next