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.
class
GArbitrary (rep :: Type -> Type)quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT GArbitrary is a typeclass for generalizing the creation of single arbitrary product and sum types. It creates an arbitrary generating function of this style: TypeName <$> arbitrary <*> arbitrary.
class
GToADTArbitrary (rep :: Type -> Type)quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT GToADTArbitrary is a typeclass for generalizing the creation of a list of arbitrary values for each constructor of a type. It also returns the name of the constructor and the type name for reference and file creation.
class
GToADTArbitrarySingleton (rep :: Type -> Type)quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT GToADTArbitrarySingleton creates an arbitrary value and returns the name of the constructor that was used to create it and the type name.
-
quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT ToADTArbitrary generalizes the production of arbitrary values for Sum types. and Product types.
capArbitrary :: ConstructorArbitraryPair a -> aquickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT No documentation available.
gArbitrary :: GArbitrary rep => Gen (rep a)quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT No documentation available.
gToADTArbitrary :: GToADTArbitrary rep => Proxy rep -> Gen (ADTArbitrary (rep a))quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT No documentation available.
-
quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT No documentation available.
genericArbitrary :: (Generic a, GArbitrary (Rep a)) => Gen aquickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT Create a arbitrary generator for a specified a type in a naive way. Please be careful when using this function, particularly for recursive types.
toADTArbitrary :: ToADTArbitrary a => Proxy a -> Gen (ADTArbitrary a)quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT produce an arbitrary instance for each constructor in type a.