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.
ADTArbitrarySingleton :: String -> String -> ConstructorArbitraryPair a -> ADTArbitrarySingleton aquickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT No documentation available.
data
ConstructorArbitraryPair aquickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT ConstructorArbitraryPair holds the construct name as a string and an arbitrary instance of that constructor.
ConstructorArbitraryPair :: String -> a -> ConstructorArbitraryPair aquickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT No documentation available.
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.