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.

  1. jsonSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, FromJSON a, ToJSON a) => Spec

    genvalidity-hspec-aeson Test.Validity.Aeson

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

    jsonSpecOnArbitrary @Int

  2. jsonSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, FromJSON a, ToJSON a) => Spec

    genvalidity-sydtest-aeson Test.Syd.Validity.Aeson

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

    jsonSpecOnArbitrary @Int

  3. beamArbitraryDeserializers :: BeamDeserializers be -> DMap BeamDeserializerLabel BeamDeserializer

    beam-migrate Database.Beam.Migrate.Serialization

    No documentation available.

  4. 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)

  5. 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)

  6. 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)

  7. package quickcheck-arbitrary-adt

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

  8. data ADTArbitrary a

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

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

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

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

    No documentation available.

  10. data ADTArbitrarySingleton a

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

    ADTArbitrarySingleton holds the type name and one ConstructorArbitraryPair.

Page 62 of many | Previous | Next