ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Arbitrary

6 classes
37 values

PackageQuickCheck-2.19.0.0
Exports43
LicenceBSD-3-Clause

value(><) :: (Gen a -> Gen a) -> (Gen a -> Gen a) -> Gen a -> Gen a

Deprecated. Use ordinary function composition instead

valueapplyArbitrary2 :: (Arbitrary a, Arbitrary b) => (a -> b -> r) -> Gen r

valueapplyArbitrary3

:: (Arbitrary a, Arbitrary b, Arbitrary c)
=> a -> b -> c -> r
-> Gen r

valueapplyArbitrary4

:: (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d)
=> a -> b -> c -> d -> r
-> Gen r

valuearbitrary1 :: (Arbitrary1 f, Arbitrary a) => Gen (f a)

valuearbitrary2 :: (Arbitrary2 f, Arbitrary a, Arbitrary b) => Gen (f a b)

valuearbitraryASCIIChar :: Gen Char

valuearbitraryBoundedEnum :: (Bounded a, Enum a) => Gen a

valuearbitraryBoundedIntegral :: (Bounded a, Integral a) => Gen a

valuearbitraryBoundedRandom :: (Bounded a, Random a) => Gen a

valuearbitraryPrintableChar :: Gen Char

valuearbitrarySizedBoundedIntegral :: (Bounded a, Integral a) => Gen a

valuearbitrarySizedFractional :: Fractional a => Gen a

valuearbitrarySizedIntegral :: Integral a => Gen a

valuearbitrarySizedNatural :: Integral a => Gen a

valuearbitraryUnicodeChar :: Gen Char

valuecoarbitraryEnum :: Enum a => a -> Gen b -> Gen b

valuecoarbitraryIntegral :: Integral a => a -> Gen b -> Gen b

valuecoarbitraryReal :: Real a => a -> Gen b -> Gen b

valuecoarbitraryShow :: Show a => a -> Gen b -> Gen b

valuegenericCoarbitrary

:: (Generic a, GCoArbitrary (Rep a))
=> a
-> Gen b
-> Gen b

valuegenericShrink

:: (Generic a, RecursivelyShrink (Rep a), GSubterms (Rep a) a)
=> a
-> [a]

valueinfiniteList :: Arbitrary a => Gen [a]

valueorderedList :: (Ord a, Arbitrary a) => Gen [a]

valuerecursivelyShrink :: (Generic a, RecursivelyShrink (Rep a)) => a -> [a]

valueshrink1 :: (Arbitrary1 f, Arbitrary a) => f a -> [f a]

valueshrink2 :: (Arbitrary2 f, Arbitrary a, Arbitrary b) => f a b -> [f a b]

valueshrinkBoundedEnum :: (Bounded a, Enum a, Eq a) => a -> [a]

valueshrinkDecimal :: RealFrac a => a -> [a]

valueshrinkIntegral :: Integral a => a -> [a]

valueshrinkList :: (a -> [a]) -> [a] -> [[a]]

valueshrinkMap :: Arbitrary a => (a -> b) -> (b -> a) -> b -> [b]

valueshrinkMapBy :: (a -> b) -> (b -> a) -> (a -> [a]) -> b -> [b]

valueshrinkNothing :: a -> [a]

valueshrinkRealFrac :: RealFrac a => a -> [a]

valuesubterms :: (Generic a, GSubterms (Rep a) a) => a -> [a]

valuevector :: Arbitrary a => Int -> Gen [a]

classclass Arbitrary a where

Methods

arbitrary :: Gen a
shrink :: a -> [a]

Instances146Arbitrary, …

Arbitrary ASCIIStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary PrintableStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary UnicodeStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary ADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
Arbitrary BDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
Arbitrary CDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
Arbitrary OrdADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
Arbitrary OrdBDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
Arbitrary OrdCDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
Arbitrary QCGenDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary ByteArrayDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary FieldFormatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary FormatAdjustmentDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary FormatParseDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary FormatSignDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary IntSetDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary IntegerDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary NaturalDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary AllDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary AnyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary VersionDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CCharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CClockDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CDoubleDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CFloatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CIntDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CIntMaxDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CIntPtrDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CLLongDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CLongDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CPtrdiffDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CSCharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CSUSecondsDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CShortDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CSigAtomicDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CSizeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CTimeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CUCharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CUIntDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CUIntMaxDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CUIntPtrDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CULLongDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CULongDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CUSecondsDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CUShortDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CWcharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary SeekModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary TextEncodingDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary ExitCodeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary BufferModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary NewlineDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary NewlineModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary IOModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary Int16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary Int32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary Int64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary Int8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary BoolDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary CharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary DoubleDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary FloatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary IntDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary OrderingDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary WordDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary GeneralCategoryDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary Word16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary Word32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary Word64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary Word8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary ()Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Blind a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary a => Arbitrary (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary a => Arbitrary (InfiniteList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary a => Arbitrary (InfiniteListInternalData a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary a => Arbitrary (NoShrink a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary a => Arbitrary (NonEmptyList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary a => Arbitrary (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary a => Arbitrary (Smart a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary a => Arbitrary (Complex a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Max a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Min a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (WrappedMonoid a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (ArgDescr a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (ArgOrder a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (OptDescr a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (IntMap a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Seq a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Tree a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (NonEmpty a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (And a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Iff a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Ior a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Xor a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Identity a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Down a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Dual a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Product a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Sum a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (ZipList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Maybe a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary [a]Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => Arbitrary (Comparison a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => Arbitrary (Equivalence a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => Arbitrary (Predicate a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Integral a => Arbitrary (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Integral a => Arbitrary (Ratio a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, CoArbitrary a) => Arbitrary (Endo a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Ord a) => Arbitrary (SortedList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
(Ord a, Arbitrary a) => Arbitrary (OrderedList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
(Ord a, Arbitrary a) => Arbitrary (Set a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Num a, Eq a, Arbitrary a) => Arbitrary (NonZero a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
(Num a, Ord a, Arbitrary a) => Arbitrary (Negative a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
(Num a, Ord a, Arbitrary a) => Arbitrary (NonNegative a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
(Num a, Ord a, Arbitrary a) => Arbitrary (NonPositive a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
(Num a, Ord a, Arbitrary a) => Arbitrary (Positive a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
(Integral a, Bounded a) => Arbitrary (Large a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary (m a) => Arbitrary (WrappedMonad m a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
HasResolution a => Arbitrary (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b) => Arbitrary (Arg a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b) => Arbitrary (Either a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b) => Arbitrary (a, b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, CoArbitrary b) => Arbitrary (Op a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, ShrinkState s a) => Arbitrary (Shrinking s a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
(CoArbitrary a, Arbitrary b) => Arbitrary (a -> b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Function a, CoArbitrary a, Arbitrary b) => Arbitrary (Fun a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, CoArbitrary a, Arbitrary b) => Arbitrary (a :-> b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Ord k, Arbitrary k, Arbitrary v) => Arbitrary (Map k v)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary (a b c) => Arbitrary (WrappedArrow a b c)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary (f a) => Arbitrary (Alt f a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Const a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary (Constant a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (a, b, c)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (a, b, c, d)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (Product f g a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) => Arbitrary (a, b, c, d, e)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (Compose f g a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => Arbitrary (a, b, c, d, e, f)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g) => Arbitrary (a, b, c, d, e, f, g)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h) => Arbitrary (a, b, c, d, e, f, g, h)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i) => Arbitrary (a, b, c, d, e, f, g, h, i)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j) => Arbitrary (a, b, c, d, e, f, g, h, i, j)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary

classclass Arbitrary1 (f :: Type -> Type) where

Methods

liftArbitrary :: Gen a -> Gen (f a)
liftShrink :: (a -> [a]) -> f a -> [f a]

Instances22Arbitrary1, …

Arbitrary1 BlindDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary1 FixedDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary1 NoShrinkDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary1 NonEmptyListDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary1 Shrink2Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary1 SmartDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Arbitrary1 IntMapDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary1 SeqDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary1 TreeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary1 NonEmptyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary1 IdentityDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary1 ZipListDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary1 MaybeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary1 []Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary1 (Either a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary1 (Tuple2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Ord k, Arbitrary k) => Arbitrary1 (Map k)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary1 (Const a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => Arbitrary1 (Constant a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => Arbitrary1 ((->) a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (Product f g)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (Compose f g)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary

classclass Arbitrary2 (f :: Type -> Type -> Type) where

Methods

liftArbitrary2 :: Gen a -> Gen b -> Gen (f a b)
liftShrink2 :: (a -> [a]) -> (b -> [b]) -> f a b -> [f a b]

Instances4Arbitrary2

Arbitrary2 EitherDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary2 Tuple2Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary2 ConstDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary2 ConstantDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary

classclass CoArbitrary a where

Methods

coarbitrary :: a -> Gen b -> Gen b

Instances81CoArbitrary, …

CoArbitrary ADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
CoArbitrary BDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
CoArbitrary CDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
CoArbitrary OrdADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
CoArbitrary OrdBDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
CoArbitrary OrdCDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Poly
CoArbitrary ByteArrayDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary FieldFormatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary FormatAdjustmentDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary FormatParseDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary FormatSignDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary IntSetDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary IntegerDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary NaturalDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary AllDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary AnyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary VersionDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary SeekModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary TextEncodingDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary ExitCodeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary BufferModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary NewlineDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary NewlineModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary IOModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary Int16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary Int32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary Int64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary Int8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary BoolDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary CharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary DoubleDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary FloatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary IntDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary OrderingDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary WordDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary GeneralCategoryDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary Word16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary Word32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary Word64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary Word8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary ()Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Complex a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Max a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Min a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (WrappedMonoid a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (IntMap a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Seq a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Set a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Tree a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (NonEmpty a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (And a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Iff a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Ior a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Xor a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Identity a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Down a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Dual a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Product a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Sum a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (ZipList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Maybe a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary [a]Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, CoArbitrary a) => CoArbitrary (Endo a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Integral a, CoArbitrary a) => CoArbitrary (Ratio a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
HasResolution a => CoArbitrary (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(Arbitrary a, CoArbitrary b) => CoArbitrary (a -> b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(CoArbitrary a, CoArbitrary b) => CoArbitrary (Arg a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(CoArbitrary a, CoArbitrary b) => CoArbitrary (Either a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(CoArbitrary a, CoArbitrary b) => CoArbitrary (a, b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(CoArbitrary k, CoArbitrary v) => CoArbitrary (Map k v)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary (f a) => CoArbitrary (Alt f a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Const a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Constant a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(CoArbitrary a, CoArbitrary b, CoArbitrary c) => CoArbitrary (a, b, c)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(CoArbitrary a, CoArbitrary b, CoArbitrary c, CoArbitrary d) => CoArbitrary (a, b, c, d)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(CoArbitrary a, CoArbitrary b, CoArbitrary c, CoArbitrary d, CoArbitrary e) => CoArbitrary (a, b, c, d, e)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary

classclass GSubterms (f :: Type -> Type) a where

Instances6GSubterms

GSubterms U1 aDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
GSubterms V1 aDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
GSubterms (K1 i a) bDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(GSubtermsIncl f a, GSubtermsIncl g a) => GSubterms (f :*: g) aDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(GSubtermsIncl f a, GSubtermsIncl g a) => GSubterms (f :+: g) aDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
GSubterms f a => GSubterms (M1 i c f) aDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary

classclass RecursivelyShrink (f :: k -> Type) where

Instances6RecursivelyShrink

RecursivelyShrink U1Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
RecursivelyShrink V1Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Arbitrary a => RecursivelyShrink (K1 i a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(RecursivelyShrink f, RecursivelyShrink g) => RecursivelyShrink (f :*: g)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
(RecursivelyShrink f, RecursivelyShrink g) => RecursivelyShrink (f :+: g)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
RecursivelyShrink f => RecursivelyShrink (M1 i c f)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary