ModuleQuickCheck-2.19.0.0
Test.QuickCheck
- 30 types
- 7 classes
- 148 values
- PackageQuickCheck-2.19.0.0
- Exports188
- LicenceBSD-3-Clause
Deprecated. Use ordinary function composition instead
Deprecated. Use counterexample instead
Deprecated. Use withNumTests instead
Instances146Arbitrary, …
Arbitrary ASCIIStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary PrintableStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary UnicodeStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary ADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyArbitrary BDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyArbitrary CDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyArbitrary OrdADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyArbitrary OrdBDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyArbitrary OrdCDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyArbitrary QCGenDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary ByteArrayDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary FieldFormatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary FormatAdjustmentDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary FormatParseDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary FormatSignDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary IntSetDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary IntegerDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary NaturalDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary AllDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary AnyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary VersionDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CCharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CClockDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CDoubleDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CFloatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CIntDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CIntMaxDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CIntPtrDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CLLongDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CLongDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CPtrdiffDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CSCharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CSUSecondsDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CShortDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CSigAtomicDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CSizeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CTimeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CUCharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CUIntDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CUIntMaxDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CUIntPtrDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CULLongDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CULongDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CUSecondsDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CUShortDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CWcharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary SeekModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary TextEncodingDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary ExitCodeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary BufferModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary NewlineDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary NewlineModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary IOModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary Int16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary Int32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary Int64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary Int8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary BoolDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary CharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary DoubleDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary FloatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary IntDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary OrderingDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary WordDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary GeneralCategoryDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary Word16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary Word32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary Word64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary Word8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary ()Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Blind a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (InfiniteList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (InfiniteListInternalData a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (NoShrink a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (NonEmptyList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (Smart a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (Complex a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Max a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Min a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (WrappedMonoid a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (ArgDescr a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (ArgOrder a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (OptDescr a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (IntMap a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Seq a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Tree a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (NonEmpty a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (And a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Iff a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Ior a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Xor a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Identity a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Down a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Dual a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Product a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Sum a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (ZipList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Maybe a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary [a]Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => Arbitrary (Comparison a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => Arbitrary (Equivalence a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => Arbitrary (Predicate a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryIntegral a => Arbitrary (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersIntegral 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.ModifiersArbitrary (m a) => Arbitrary (WrappedMonad m a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryHasResolution 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.ArbitraryArbitrary (a b c) => Arbitrary (WrappedArrow a b c)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary (f a) => Arbitrary (Alt f a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary (Const a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary 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
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.ModifiersArbitrary1 FixedDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary1 NoShrinkDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary1 NonEmptyListDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary1 Shrink2Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary1 SmartDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary1 IntMapDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary1 SeqDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary1 TreeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary1 NonEmptyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary1 IdentityDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary1 ZipListDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary1 MaybeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary1 []Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary1 (Either a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary 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.ArbitraryArbitrary a => Arbitrary1 (Const a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary a => Arbitrary1 (Constant a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary 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
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.ArbitraryArbitrary2 Tuple2Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary2 ConstDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryArbitrary2 ConstantDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Methods
coarbitrary :: a -> Gen b -> Gen b
Instances81CoArbitrary, …
CoArbitrary ADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyCoArbitrary BDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyCoArbitrary CDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyCoArbitrary OrdADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyCoArbitrary OrdBDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyCoArbitrary OrdCDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PolyCoArbitrary ByteArrayDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary FieldFormatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary FormatAdjustmentDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary FormatParseDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary FormatSignDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary IntSetDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary IntegerDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary NaturalDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary AllDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary AnyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary VersionDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary SeekModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary TextEncodingDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary ExitCodeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary BufferModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary NewlineDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary NewlineModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary IOModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary Int16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary Int32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary Int64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary Int8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary BoolDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary CharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary DoubleDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary FloatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary IntDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary OrderingDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary WordDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary GeneralCategoryDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary Word16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary Word32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary Word64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary Word8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary ()Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Complex a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Max a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Min a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (WrappedMonoid a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (IntMap a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Seq a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Set a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Tree a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (NonEmpty a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (And a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Iff a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Ior a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Xor a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Identity a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Down a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Dual a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Product a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Sum a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (ZipList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Maybe a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary 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.ArbitraryHasResolution 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.ArbitraryCoArbitrary (f a) => CoArbitrary (Alt f a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary a => CoArbitrary (Const a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ArbitraryCoArbitrary 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
Instances3Functor, Show, Arbitrary
Instances79Function, …
Function ADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction BDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction CDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction OrdADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction OrdBDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction OrdCDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction ByteArrayDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction FieldFormatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction FormatAdjustmentDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction FormatParseDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction FormatSignDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction IntSetDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction IntegerDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction NaturalDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction AllDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction AnyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction VersionDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction SeekModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction ExitCodeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction BufferModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction NewlineDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction NewlineModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction IOModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction Int16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction Int32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction Int64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction Int8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction BoolDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction CharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction DoubleDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction FloatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction IntDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction OrderingDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction WordDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction GeneralCategoryDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction Word16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction Word32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction Word64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction Word8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction ()Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Max a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Min a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (WrappedMonoid a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (IntMap a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Seq a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Tree a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (NonEmpty a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (And a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Iff a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Ior a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Xor a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Identity a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Down a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Dual a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Product a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Sum a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (ZipList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Maybe a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function [a]Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Ord a, Function a) => Function (Set a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(RealFloat a, Function a) => Function (Complex a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Integral a, Function a) => Function (Ratio a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionHasResolution a => Function (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Function a, Function b) => Function (Arg a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Function a, Function b) => Function (Either a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Function a, Function b) => Function (a, b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Ord a, Function a, Function b) => Function (Map a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction (f a) => Function (Alt f a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.FunctionFunction a => Function (Const a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Function a, Function b, Function c) => Function (a, b, c)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Function a, Function b, Function c, Function d) => Function (a, b, c, d)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Function a, Function b, Function c, Function d, Function e) => Function (a, b, c, d, e)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Function a, Function b, Function c, Function d, Function e, Function f) => Function (a, b, c, d, e, f)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function(Function a, Function b, Function c, Function d, Function e, Function f, Function g) => Function (a, b, c, d, e, f, g)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Instances5Monad, Functor, MonadFix, Applicative, Testable
Monad GenDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.GenFunctor GenDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.GenMonadFix GenDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.GenApplicative GenDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.GenTestable prop => Testable (Gen prop)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Constructors
Instances5Eq, Ord, Read, Show, Arbitrary
Eq ASCIIStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd ASCIIStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead ASCIIStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow ASCIIStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary ASCIIStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Instances10Functor, Arbitrary1, Enum, Eq, Integral, Num, …
Functor BlindDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary1 BlindDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEnum a => Enum (Blind a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (Blind a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersIntegral a => Integral (Blind a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersNum a => Num (Blind a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (Blind a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersReal a => Real (Blind a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow (Blind a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (Blind a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Instances11Functor, Arbitrary1, Enum, Eq, Integral, Num, …
Functor FixedDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary1 FixedDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEnum a => Enum (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersIntegral a => Integral (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersNum a => Num (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersReal a => Real (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Constructors
InfiniteListgetInfiniteList :: [a]infiniteListInternalData :: InfiniteListInternalData a
Instances2Show, Arbitrary
Show a => Show (InfiniteList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (InfiniteList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Instances11Functor, Enum, Eq, Integral, Num, Ord, …
Functor LargeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEnum a => Enum (Large a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (Large a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersIntegral a => Integral (Large a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersNum a => Num (Large a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (Large a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (Large a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersReal a => Real (Large a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (Large a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersIx a => Ix (Large 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
Constructors
NegativegetNegative :: a
Instances7Functor, Enum, Eq, Ord, Read, Show, …
Functor NegativeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEnum a => Enum (Negative a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (Negative a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (Negative a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (Negative a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (Negative 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
Constructors
NonEmptygetNonEmpty :: [a]
Instances7Functor, Arbitrary1, Eq, Ord, Read, Show, …
Functor NonEmptyListDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary1 NonEmptyListDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (NonEmptyList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (NonEmptyList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (NonEmptyList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (NonEmptyList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (NonEmptyList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Constructors
Instances7Functor, Enum, Eq, Ord, Read, Show, …
Functor NonNegativeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEnum a => Enum (NonNegative a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (NonNegative a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (NonNegative a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (NonNegative a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (NonNegative 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
Constructors
Instances7Functor, Enum, Eq, Ord, Read, Show, …
Functor NonPositiveDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEnum a => Enum (NonPositive a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (NonPositive a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (NonPositive a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (NonPositive a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (NonPositive 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
Constructors
NonZerogetNonZero :: a
Instances7Functor, Enum, Eq, Ord, Read, Show, …
Functor NonZeroDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEnum a => Enum (NonZero a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (NonZero a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (NonZero a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (NonZero a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (NonZero a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers(Num a, Eq a, Arbitrary a) => Arbitrary (NonZero a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Constructors
OrderedgetOrdered :: [a]
Instances6Functor, Eq, Ord, Read, Show, Arbitrary
Functor OrderedListDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (OrderedList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (OrderedList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (OrderedList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (OrderedList 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
Constructors
PositivegetPositive :: a
Instances7Functor, Enum, Eq, Ord, Read, Show, …
Functor PositiveDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEnum a => Enum (Positive a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (Positive a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (Positive a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (Positive a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (Positive 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
Constructors
Instances5Eq, Ord, Read, Show, Arbitrary
Eq PrintableStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd PrintableStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead PrintableStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow PrintableStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary PrintableStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Constructors
Shrink2getShrink2 :: a
Instances11Functor, Arbitrary1, Enum, Eq, Integral, Num, …
Functor Shrink2Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary1 Shrink2Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEnum a => Enum (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersIntegral a => Integral (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersNum a => Num (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersReal a => Real (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (Shrink2 a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Methods
shrinkInit :: a -> sshrinkState :: a -> s -> [(a, s)]
Constructors
Shrinking s a
Instances3Functor, Show, Arbitrary
Instances11Functor, Enum, Eq, Integral, Num, Ord, …
Functor SmallDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEnum a => Enum (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersIntegral a => Integral (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersNum a => Num (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersReal a => Real (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersIx a => Ix (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersIntegral a => Arbitrary (Small a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Instances4Functor, Arbitrary1, Show, Arbitrary
Functor SmartDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary1 SmartDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (Smart a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary a => Arbitrary (Smart a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Instances6Functor, Eq, Ord, Read, Show, Arbitrary
Functor SortedListDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersEq a => Eq (SortedList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd a => Ord (SortedList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead a => Read (SortedList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow a => Show (SortedList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers(Arbitrary a, Ord a) => Arbitrary (SortedList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Constructors
Instances5Eq, Ord, Read, Show, Arbitrary
Eq UnicodeStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersOrd UnicodeStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersRead UnicodeStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersShow UnicodeStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.ModifiersArbitrary UnicodeStringDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Modifiers
Instances11Testable, …
Testable EveryDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.MonoidsTestable SomeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.MonoidsTestable DiscardDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PropertyTestable PropDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PropertyTestable PropertyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PropertyTestable ResultDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PropertyTestable BoolDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.PropertyTestable ()Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.PropertyTestable prop => Testable (Gen prop)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.PropertyTestable prop => Testable (Maybe prop)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property(Arbitrary a, Show a, Testable prop) => Testable (a -> prop)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Constructors
Instances1Show
Show ConfidenceDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.State
Constructors
Instances1Show
Show TestProgressDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.State
Constructors
Argsreplay :: Maybe (QCGen, Int)maxSuccess :: IntmaxDiscardRatio :: IntmaxSize :: Intchatty :: BoolmaxShrinks :: Int
Constructors
SuccessGaveUpFailurenumTests :: IntnumDiscarded :: IntnumShrinks :: IntnumShrinkTries :: IntnumShrinkFinal :: IntusedSeed :: QCGenusedSize :: Intreason :: StringtheException :: Maybe AnExceptionoutput :: StringfailingTestCase :: [String]failingLabels :: [String]failingClasses :: Set Stringwitnesses :: [Witness]
NoExpectedFailure