ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Arbitrary

Synopsis

value ><
value applyArbitrary2
value applyArbitrary3
value applyArbitrary4
value arbitrary1
value arbitrary2
value arbitraryASCIIChar
value arbitraryBoundedEnum
value arbitraryBoundedIntegral
value arbitraryBoundedRandom
value arbitraryPrintableChar
value arbitrarySizedBoundedIntegral
value arbitrarySizedFractional
value arbitrarySizedIntegral
value arbitrarySizedNatural
value arbitraryUnicodeChar
value coarbitraryEnum
value coarbitraryIntegral
value coarbitraryReal
value coarbitraryShow
value genericCoarbitrary
value genericShrink
value infiniteList
value orderedList
value recursivelyShrink
value shrink1
value shrink2
value shrinkBoundedEnum
value shrinkDecimal
value shrinkIntegral
value shrinkList
value shrinkMap
value shrinkMapBy
value shrinkNothing
value shrinkRealFrac
value subterms
value vector
class Arbitrary
class Arbitrary1
class Arbitrary2
class CoArbitrary
class GSubterms
class RecursivelyShrink

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