QuickCheck 2.17.0.0 → 2.17.1.0
raw patch · 4 files changed
+18/−8 lines, 4 filesdep ~randomPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: random
API changes (from Hackage documentation)
- Test.QuickCheck.Arbitrary: instance (GHC.Internal.Real.Integral a, Test.QuickCheck.Arbitrary.CoArbitrary a) => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Real.Ratio a)
- Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.Arbitrary a, Test.QuickCheck.Arbitrary.Arbitrary b) => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Either.Either a b)
- Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.Arbitrary a, Test.QuickCheck.Arbitrary.CoArbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Semigroup.Internal.Endo a)
- Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.Arbitrary a, Test.QuickCheck.Arbitrary.CoArbitrary a) => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Data.Semigroup.Internal.Endo a)
- Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.CoArbitrary a, Test.QuickCheck.Arbitrary.CoArbitrary b) => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Data.Either.Either a b)
- Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.GSubtermsIncl f a, Test.QuickCheck.Arbitrary.GSubtermsIncl g a) => Test.QuickCheck.Arbitrary.GSubterms (f GHC.Internal.Generics.:*: g) a
- Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.GSubtermsIncl f a, Test.QuickCheck.Arbitrary.GSubtermsIncl g a) => Test.QuickCheck.Arbitrary.GSubterms (f GHC.Internal.Generics.:+: g) a
- Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.GSubtermsIncl f a, Test.QuickCheck.Arbitrary.GSubtermsIncl g a) => Test.QuickCheck.Arbitrary.GSubtermsIncl (f GHC.Internal.Generics.:*: g) a
- Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.GSubtermsIncl f a, Test.QuickCheck.Arbitrary.GSubtermsIncl g a) => Test.QuickCheck.Arbitrary.GSubtermsIncl (f GHC.Internal.Generics.:+: g) a
- Test.QuickCheck.Arbitrary: instance GHC.Internal.Real.Integral a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Real.Ratio a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Data.Semigroup.Internal.All
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Data.Semigroup.Internal.Any
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Data.Version.Version
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CChar
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CClock
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CDouble
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CFloat
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CInt
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CIntMax
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CIntPtr
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CLLong
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CLong
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CPtrdiff
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CSChar
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CSUSeconds
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CShort
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CSigAtomic
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CSize
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CTime
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CUChar
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CUInt
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CUIntMax
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CUIntPtr
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CULLong
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CULong
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CUSeconds
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CUShort
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Foreign.C.Types.CWchar
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.IO.Device.SeekMode
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.IO.Encoding.Types.TextEncoding
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.IO.Exception.ExitCode
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.IO.Handle.Types.BufferMode
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.IO.Handle.Types.Newline
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.IO.Handle.Types.NewlineMode
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.IO.IOMode.IOMode
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Int.Int16
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Int.Int32
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Int.Int64
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Int.Int8
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Unicode.GeneralCategory
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Word.Word16
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Word.Word32
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Word.Word64
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Internal.Word.Word8
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Base.NonEmpty a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Bits.And a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Bits.Iff a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Bits.Ior a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Bits.Xor a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Functor.Identity.Identity a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Monoid.First a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Monoid.Last a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Ord.Down a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Semigroup.Internal.Dual a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Semigroup.Internal.Product a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Semigroup.Internal.Sum a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Functor.ZipList.ZipList a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Maybe.Maybe a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Tuple.Solo a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary1 (GHC.Internal.Data.Either.Either a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary1 (GHC.Internal.Data.Functor.Const.Const a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.RecursivelyShrink (GHC.Internal.Generics.K1 i a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary1 GHC.Internal.Base.NonEmpty
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary1 GHC.Internal.Data.Functor.Identity.Identity
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary1 GHC.Internal.Functor.ZipList.ZipList
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary1 GHC.Internal.Maybe.Maybe
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary2 GHC.Internal.Data.Either.Either
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary2 GHC.Internal.Data.Functor.Const.Const
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Data.Semigroup.Internal.All
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Data.Semigroup.Internal.Any
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Data.Version.Version
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.IO.Handle.Types.Newline
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.IO.Handle.Types.NewlineMode
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Int.Int16
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Int.Int32
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Int.Int64
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Int.Int8
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Word.Word16
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Word.Word32
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Word.Word64
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Internal.Word.Word8
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Data.Functor.Identity.Identity a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Data.Monoid.First a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Data.Monoid.Last a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Data.Semigroup.Internal.Dual a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Data.Semigroup.Internal.Product a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Data.Semigroup.Internal.Sum a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Functor.ZipList.ZipList a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Maybe.Maybe a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.GCoArbitrary (GHC.Internal.Generics.K1 i a)
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GCoArbitrary GHC.Internal.Generics.U1
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubterms (GHC.Internal.Generics.K1 i a) b
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubterms GHC.Internal.Generics.U1 a
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubterms GHC.Internal.Generics.V1 a
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubterms f a => Test.QuickCheck.Arbitrary.GSubterms (GHC.Internal.Generics.M1 i c f) a
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubtermsIncl (GHC.Internal.Generics.K1 i a) a
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubtermsIncl (GHC.Internal.Generics.K1 i a) b
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubtermsIncl GHC.Internal.Generics.U1 a
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubtermsIncl GHC.Internal.Generics.V1 a
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubtermsIncl f a => Test.QuickCheck.Arbitrary.GSubtermsIncl (GHC.Internal.Generics.M1 i c f) a
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.RecursivelyShrink GHC.Internal.Generics.U1
- Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.RecursivelyShrink GHC.Internal.Generics.V1
- Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (a :: k). Test.QuickCheck.Arbitrary.Arbitrary (f a) => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Semigroup.Internal.Alt f a)
- Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (a :: k). Test.QuickCheck.Arbitrary.CoArbitrary (f a) => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Data.Semigroup.Internal.Alt f a)
- Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Arbitrary.GCoArbitrary f, Test.QuickCheck.Arbitrary.GCoArbitrary g) => Test.QuickCheck.Arbitrary.GCoArbitrary (f GHC.Internal.Generics.:*: g)
- Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Arbitrary.GCoArbitrary f, Test.QuickCheck.Arbitrary.GCoArbitrary g) => Test.QuickCheck.Arbitrary.GCoArbitrary (f GHC.Internal.Generics.:+: g)
- Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Arbitrary.RecursivelyShrink f, Test.QuickCheck.Arbitrary.RecursivelyShrink g) => Test.QuickCheck.Arbitrary.RecursivelyShrink (f GHC.Internal.Generics.:*: g)
- Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Arbitrary.RecursivelyShrink f, Test.QuickCheck.Arbitrary.RecursivelyShrink g) => Test.QuickCheck.Arbitrary.RecursivelyShrink (f GHC.Internal.Generics.:+: g)
- Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) i (c :: GHC.Internal.Generics.Meta). Test.QuickCheck.Arbitrary.GCoArbitrary f => Test.QuickCheck.Arbitrary.GCoArbitrary (GHC.Internal.Generics.M1 i c f)
- Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) i (c :: GHC.Internal.Generics.Meta). Test.QuickCheck.Arbitrary.RecursivelyShrink f => Test.QuickCheck.Arbitrary.RecursivelyShrink (GHC.Internal.Generics.M1 i c f)
- Test.QuickCheck.Arbitrary: instance forall k a (b :: k). Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Internal.Data.Functor.Const.Const a b)
- Test.QuickCheck.Arbitrary: instance forall k a (b :: k). Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Internal.Data.Functor.Const.Const a b)
- Test.QuickCheck.Function: instance (GHC.Internal.Float.RealFloat a, Test.QuickCheck.Function.Function a) => Test.QuickCheck.Function.Function (Data.Complex.Complex a)
- Test.QuickCheck.Function: instance (GHC.Internal.Real.Integral a, Test.QuickCheck.Function.Function a) => Test.QuickCheck.Function.Function (GHC.Internal.Real.Ratio a)
- Test.QuickCheck.Function: instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b) => GHC.Internal.Show.Show (Test.QuickCheck.Function.Fun a b)
- Test.QuickCheck.Function: instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b) => GHC.Internal.Show.Show (a Test.QuickCheck.Function.:-> b)
- Test.QuickCheck.Function: instance (Test.QuickCheck.Function.Function a, Test.QuickCheck.Function.Function b) => Test.QuickCheck.Function.Function (GHC.Internal.Data.Either.Either a b)
- Test.QuickCheck.Function: instance GHC.Internal.Base.Functor ((Test.QuickCheck.Function.:->) a)
- Test.QuickCheck.Function: instance GHC.Internal.Base.Functor (Test.QuickCheck.Function.Fun a)
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.Data.Semigroup.Internal.All
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.Data.Semigroup.Internal.Any
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.IO.Handle.Types.Newline
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.IO.Handle.Types.NewlineMode
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.Int.Int16
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.Int.Int32
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.Int.Int64
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.Int.Int8
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.Word.Word16
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.Word.Word32
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.Word.Word64
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Internal.Word.Word8
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (GHC.Internal.Data.Functor.Identity.Identity a)
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (GHC.Internal.Data.Monoid.First a)
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (GHC.Internal.Data.Monoid.Last a)
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (GHC.Internal.Data.Semigroup.Internal.Dual a)
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (GHC.Internal.Data.Semigroup.Internal.Product a)
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (GHC.Internal.Data.Semigroup.Internal.Sum a)
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (GHC.Internal.Maybe.Maybe a)
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.GFunction (GHC.Internal.Generics.K1 i a)
- Test.QuickCheck.Function: instance Test.QuickCheck.Function.GFunction GHC.Internal.Generics.U1
- Test.QuickCheck.Function: instance forall k (f :: k -> *) (a :: k). Test.QuickCheck.Function.Function (f a) => Test.QuickCheck.Function.Function (GHC.Internal.Data.Semigroup.Internal.Alt f a)
- Test.QuickCheck.Function: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Function.GFunction f, Test.QuickCheck.Function.GFunction g) => Test.QuickCheck.Function.GFunction (f GHC.Internal.Generics.:*: g)
- Test.QuickCheck.Function: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Function.GFunction f, Test.QuickCheck.Function.GFunction g) => Test.QuickCheck.Function.GFunction (f GHC.Internal.Generics.:+: g)
- Test.QuickCheck.Function: instance forall k (f :: k -> *) i (c :: GHC.Internal.Generics.Meta). Test.QuickCheck.Function.GFunction f => Test.QuickCheck.Function.GFunction (GHC.Internal.Generics.M1 i c f)
- Test.QuickCheck.Function: instance forall k a (b :: k). Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (GHC.Internal.Data.Functor.Const.Const a b)
- Test.QuickCheck.Gen: instance GHC.Internal.Base.Applicative Test.QuickCheck.Gen.Gen
- Test.QuickCheck.Gen: instance GHC.Internal.Base.Functor Test.QuickCheck.Gen.Gen
- Test.QuickCheck.Gen: instance GHC.Internal.Base.Monad Test.QuickCheck.Gen.Gen
- Test.QuickCheck.Gen: instance GHC.Internal.Control.Monad.Fix.MonadFix Test.QuickCheck.Gen.Gen
- Test.QuickCheck.Modifiers: instance (GHC.Internal.Num.Num a, GHC.Classes.Eq a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.NonZero a)
- Test.QuickCheck.Modifiers: instance (GHC.Internal.Num.Num a, GHC.Classes.Ord a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.Negative a)
- Test.QuickCheck.Modifiers: instance (GHC.Internal.Num.Num a, GHC.Classes.Ord a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.NonNegative a)
- Test.QuickCheck.Modifiers: instance (GHC.Internal.Num.Num a, GHC.Classes.Ord a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.NonPositive a)
- Test.QuickCheck.Modifiers: instance (GHC.Internal.Num.Num a, GHC.Classes.Ord a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.Positive a)
- Test.QuickCheck.Modifiers: instance (GHC.Internal.Real.Integral a, GHC.Internal.Enum.Bounded a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.Large a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor (Test.QuickCheck.Modifiers.Shrinking s)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.Blind
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.Fixed
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.Large
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.Negative
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.NoShrink
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.NonEmptyList
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.NonNegative
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.NonPositive
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.NonZero
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.OrderedList
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.Positive
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.Shrink2
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.Small
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.Smart
- Test.QuickCheck.Modifiers: instance GHC.Internal.Base.Functor Test.QuickCheck.Modifiers.SortedList
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.Blind a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.Fixed a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.Large a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.Negative a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.NoShrink a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.NonNegative a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.NonPositive a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.NonZero a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.Positive a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.Shrink2 a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Test.QuickCheck.Modifiers.Small a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Ix.Ix a => GHC.Internal.Ix.Ix (Test.QuickCheck.Modifiers.Large a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Ix.Ix a => GHC.Internal.Ix.Ix (Test.QuickCheck.Modifiers.NoShrink a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Ix.Ix a => GHC.Internal.Ix.Ix (Test.QuickCheck.Modifiers.Small a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Test.QuickCheck.Modifiers.Blind a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Test.QuickCheck.Modifiers.Fixed a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Test.QuickCheck.Modifiers.Large a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Test.QuickCheck.Modifiers.NoShrink a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Test.QuickCheck.Modifiers.Shrink2 a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Test.QuickCheck.Modifiers.Small a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read Test.QuickCheck.Modifiers.ASCIIString
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read Test.QuickCheck.Modifiers.PrintableString
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read Test.QuickCheck.Modifiers.UnicodeString
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.Fixed a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.Large a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.Negative a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.NoShrink a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.NonEmptyList a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.NonNegative a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.NonPositive a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.NonZero a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.OrderedList a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.Positive a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.Shrink2 a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.Small a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Test.QuickCheck.Modifiers.SortedList a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Integral a => GHC.Internal.Real.Integral (Test.QuickCheck.Modifiers.Blind a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Integral a => GHC.Internal.Real.Integral (Test.QuickCheck.Modifiers.Fixed a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Integral a => GHC.Internal.Real.Integral (Test.QuickCheck.Modifiers.Large a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Integral a => GHC.Internal.Real.Integral (Test.QuickCheck.Modifiers.NoShrink a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Integral a => GHC.Internal.Real.Integral (Test.QuickCheck.Modifiers.Shrink2 a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Integral a => GHC.Internal.Real.Integral (Test.QuickCheck.Modifiers.Small a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Integral a => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.Small a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Real a => GHC.Internal.Real.Real (Test.QuickCheck.Modifiers.Blind a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Real a => GHC.Internal.Real.Real (Test.QuickCheck.Modifiers.Fixed a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Real a => GHC.Internal.Real.Real (Test.QuickCheck.Modifiers.Large a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Real a => GHC.Internal.Real.Real (Test.QuickCheck.Modifiers.NoShrink a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Real a => GHC.Internal.Real.Real (Test.QuickCheck.Modifiers.Shrink2 a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Real.Real a => GHC.Internal.Real.Real (Test.QuickCheck.Modifiers.Small a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.Blind a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show Test.QuickCheck.Modifiers.ASCIIString
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show Test.QuickCheck.Modifiers.PrintableString
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show Test.QuickCheck.Modifiers.UnicodeString
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.Fixed a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.InfiniteList a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.Large a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.Negative a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.NoShrink a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.NonEmptyList a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.NonNegative a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.NonPositive a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.NonZero a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.OrderedList a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.Positive a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.Shrink2 a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.Shrinking s a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.Small a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.Smart a)
- Test.QuickCheck.Modifiers: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Test.QuickCheck.Modifiers.SortedList a)
- Test.QuickCheck.Monadic: instance GHC.Internal.Base.Applicative (Test.QuickCheck.Monadic.PropertyM m)
- Test.QuickCheck.Monadic: instance GHC.Internal.Base.Functor (Test.QuickCheck.Monadic.PropertyM m)
- Test.QuickCheck.Monadic: instance GHC.Internal.Base.Monad m => GHC.Internal.Base.Monad (Test.QuickCheck.Monadic.PropertyM m)
- Test.QuickCheck.Monadic: instance GHC.Internal.Base.Monad m => GHC.Internal.Control.Monad.Fail.MonadFail (Test.QuickCheck.Monadic.PropertyM m)
- Test.QuickCheck.Monadic: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Test.QuickCheck.Monadic.PropertyM m)
- Test.QuickCheck.Monoids: instance GHC.Internal.Base.Monoid Test.QuickCheck.Monoids.Every
- Test.QuickCheck.Monoids: instance GHC.Internal.Base.Monoid Test.QuickCheck.Monoids.Some
- Test.QuickCheck.Monoids: instance GHC.Internal.Base.Semigroup Test.QuickCheck.Monoids.Every
- Test.QuickCheck.Monoids: instance GHC.Internal.Base.Semigroup Test.QuickCheck.Monoids.Some
- Test.QuickCheck.Poly: instance GHC.Internal.Num.Num Test.QuickCheck.Poly.OrdA
- Test.QuickCheck.Poly: instance GHC.Internal.Num.Num Test.QuickCheck.Poly.OrdB
- Test.QuickCheck.Poly: instance GHC.Internal.Num.Num Test.QuickCheck.Poly.OrdC
- Test.QuickCheck.Poly: instance GHC.Internal.Show.Show Test.QuickCheck.Poly.A
- Test.QuickCheck.Poly: instance GHC.Internal.Show.Show Test.QuickCheck.Poly.B
- Test.QuickCheck.Poly: instance GHC.Internal.Show.Show Test.QuickCheck.Poly.C
- Test.QuickCheck.Poly: instance GHC.Internal.Show.Show Test.QuickCheck.Poly.OrdA
- Test.QuickCheck.Poly: instance GHC.Internal.Show.Show Test.QuickCheck.Poly.OrdB
- Test.QuickCheck.Poly: instance GHC.Internal.Show.Show Test.QuickCheck.Poly.OrdC
+ Test.QuickCheck.Arbitrary: instance (GHC.Real.Integral a, Test.QuickCheck.Arbitrary.CoArbitrary a) => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Real.Ratio a)
+ Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.Arbitrary a, Test.QuickCheck.Arbitrary.Arbitrary b) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Either.Either a b)
+ Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.Arbitrary a, Test.QuickCheck.Arbitrary.CoArbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Semigroup.Internal.Endo a)
+ Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.Arbitrary a, Test.QuickCheck.Arbitrary.CoArbitrary a) => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Semigroup.Internal.Endo a)
+ Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.CoArbitrary a, Test.QuickCheck.Arbitrary.CoArbitrary b) => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Either.Either a b)
+ Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.GSubtermsIncl f a, Test.QuickCheck.Arbitrary.GSubtermsIncl g a) => Test.QuickCheck.Arbitrary.GSubterms (f GHC.Generics.:*: g) a
+ Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.GSubtermsIncl f a, Test.QuickCheck.Arbitrary.GSubtermsIncl g a) => Test.QuickCheck.Arbitrary.GSubterms (f GHC.Generics.:+: g) a
+ Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.GSubtermsIncl f a, Test.QuickCheck.Arbitrary.GSubtermsIncl g a) => Test.QuickCheck.Arbitrary.GSubtermsIncl (f GHC.Generics.:*: g) a
+ Test.QuickCheck.Arbitrary: instance (Test.QuickCheck.Arbitrary.GSubtermsIncl f a, Test.QuickCheck.Arbitrary.GSubtermsIncl g a) => Test.QuickCheck.Arbitrary.GSubtermsIncl (f GHC.Generics.:+: g) a
+ Test.QuickCheck.Arbitrary: instance GHC.Real.Integral a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Real.Ratio a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Semigroup.Internal.All
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Semigroup.Internal.Any
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Version.Version
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CChar
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CClock
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CDouble
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CFloat
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CInt
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CIntMax
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CIntPtr
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CLLong
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CLong
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CPtrdiff
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CSChar
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CSUSeconds
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CShort
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CSigAtomic
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CSize
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CTime
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CUChar
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CUInt
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CUIntMax
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CUIntPtr
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CULLong
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CULong
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CUSeconds
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CUShort
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Foreign.C.Types.CWchar
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.IO.Device.SeekMode
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.IO.Encoding.Types.TextEncoding
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.IO.Exception.ExitCode
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.IO.Handle.Types.BufferMode
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.IO.Handle.Types.Newline
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.IO.Handle.Types.NewlineMode
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.IO.IOMode.IOMode
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Int.Int16
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Int.Int32
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Int.Int64
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Int.Int8
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Unicode.GeneralCategory
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Word.Word16
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Word.Word32
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Word.Word64
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Word.Word8
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Control.Applicative.ZipList a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Bits.And a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Bits.Iff a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Bits.Ior a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Bits.Xor a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Functor.Identity.Identity a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Monoid.First a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Monoid.Last a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Ord.Down a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Semigroup.Internal.Dual a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Semigroup.Internal.Product a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Semigroup.Internal.Sum a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Base.NonEmpty a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Maybe.Maybe a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Tuple.Prim.Solo a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary1 (Data.Either.Either a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary1 (Data.Functor.Const.Const a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.RecursivelyShrink (GHC.Generics.K1 i a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary1 Control.Applicative.ZipList
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary1 Data.Functor.Identity.Identity
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary1 GHC.Base.NonEmpty
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary1 GHC.Maybe.Maybe
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary2 Data.Either.Either
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary2 Data.Functor.Const.Const
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Semigroup.Internal.All
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Semigroup.Internal.Any
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Version.Version
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.IO.Handle.Types.Newline
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.IO.Handle.Types.NewlineMode
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Int.Int16
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Int.Int32
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Int.Int64
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Int.Int8
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Word.Word16
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Word.Word32
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Word.Word64
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Word.Word8
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Control.Applicative.ZipList a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Functor.Identity.Identity a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Monoid.First a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Monoid.Last a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Semigroup.Internal.Dual a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Semigroup.Internal.Product a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Semigroup.Internal.Sum a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Maybe.Maybe a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.GCoArbitrary (GHC.Generics.K1 i a)
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GCoArbitrary GHC.Generics.U1
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubterms (GHC.Generics.K1 i a) b
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubterms GHC.Generics.U1 a
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubterms GHC.Generics.V1 a
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubterms f a => Test.QuickCheck.Arbitrary.GSubterms (GHC.Generics.M1 i c f) a
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubtermsIncl (GHC.Generics.K1 i a) a
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubtermsIncl (GHC.Generics.K1 i a) b
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubtermsIncl GHC.Generics.U1 a
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubtermsIncl GHC.Generics.V1 a
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.GSubtermsIncl f a => Test.QuickCheck.Arbitrary.GSubtermsIncl (GHC.Generics.M1 i c f) a
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.RecursivelyShrink GHC.Generics.U1
+ Test.QuickCheck.Arbitrary: instance Test.QuickCheck.Arbitrary.RecursivelyShrink GHC.Generics.V1
+ Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (a :: k). Test.QuickCheck.Arbitrary.Arbitrary (f a) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Semigroup.Internal.Alt f a)
+ Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (a :: k). Test.QuickCheck.Arbitrary.CoArbitrary (f a) => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Semigroup.Internal.Alt f a)
+ Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Arbitrary.GCoArbitrary f, Test.QuickCheck.Arbitrary.GCoArbitrary g) => Test.QuickCheck.Arbitrary.GCoArbitrary (f GHC.Generics.:*: g)
+ Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Arbitrary.GCoArbitrary f, Test.QuickCheck.Arbitrary.GCoArbitrary g) => Test.QuickCheck.Arbitrary.GCoArbitrary (f GHC.Generics.:+: g)
+ Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Arbitrary.RecursivelyShrink f, Test.QuickCheck.Arbitrary.RecursivelyShrink g) => Test.QuickCheck.Arbitrary.RecursivelyShrink (f GHC.Generics.:*: g)
+ Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Arbitrary.RecursivelyShrink f, Test.QuickCheck.Arbitrary.RecursivelyShrink g) => Test.QuickCheck.Arbitrary.RecursivelyShrink (f GHC.Generics.:+: g)
+ Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) i (c :: GHC.Generics.Meta). Test.QuickCheck.Arbitrary.GCoArbitrary f => Test.QuickCheck.Arbitrary.GCoArbitrary (GHC.Generics.M1 i c f)
+ Test.QuickCheck.Arbitrary: instance forall k (f :: k -> *) i (c :: GHC.Generics.Meta). Test.QuickCheck.Arbitrary.RecursivelyShrink f => Test.QuickCheck.Arbitrary.RecursivelyShrink (GHC.Generics.M1 i c f)
+ Test.QuickCheck.Arbitrary: instance forall k a (b :: k). Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Functor.Const.Const a b)
+ Test.QuickCheck.Arbitrary: instance forall k a (b :: k). Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Functor.Const.Const a b)
+ Test.QuickCheck.Function: instance (GHC.Float.RealFloat a, Test.QuickCheck.Function.Function a) => Test.QuickCheck.Function.Function (Data.Complex.Complex a)
+ Test.QuickCheck.Function: instance (GHC.Real.Integral a, Test.QuickCheck.Function.Function a) => Test.QuickCheck.Function.Function (GHC.Real.Ratio a)
+ Test.QuickCheck.Function: instance (GHC.Show.Show a, GHC.Show.Show b) => GHC.Show.Show (Test.QuickCheck.Function.Fun a b)
+ Test.QuickCheck.Function: instance (GHC.Show.Show a, GHC.Show.Show b) => GHC.Show.Show (a Test.QuickCheck.Function.:-> b)
+ Test.QuickCheck.Function: instance (Test.QuickCheck.Function.Function a, Test.QuickCheck.Function.Function b) => Test.QuickCheck.Function.Function (Data.Either.Either a b)
+ Test.QuickCheck.Function: instance GHC.Base.Functor ((Test.QuickCheck.Function.:->) a)
+ Test.QuickCheck.Function: instance GHC.Base.Functor (Test.QuickCheck.Function.Fun a)
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function Data.Semigroup.Internal.All
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function Data.Semigroup.Internal.Any
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.IO.Handle.Types.Newline
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.IO.Handle.Types.NewlineMode
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Int.Int16
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Int.Int32
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Int.Int64
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Int.Int8
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Word.Word16
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Word.Word32
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Word.Word64
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function GHC.Word.Word8
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (Data.Functor.Identity.Identity a)
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (Data.Monoid.First a)
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (Data.Monoid.Last a)
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (Data.Semigroup.Internal.Dual a)
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (Data.Semigroup.Internal.Product a)
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (Data.Semigroup.Internal.Sum a)
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (GHC.Maybe.Maybe a)
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.GFunction (GHC.Generics.K1 i a)
+ Test.QuickCheck.Function: instance Test.QuickCheck.Function.GFunction GHC.Generics.U1
+ Test.QuickCheck.Function: instance forall k (f :: k -> *) (a :: k). Test.QuickCheck.Function.Function (f a) => Test.QuickCheck.Function.Function (Data.Semigroup.Internal.Alt f a)
+ Test.QuickCheck.Function: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Function.GFunction f, Test.QuickCheck.Function.GFunction g) => Test.QuickCheck.Function.GFunction (f GHC.Generics.:*: g)
+ Test.QuickCheck.Function: instance forall k (f :: k -> *) (g :: k -> *). (Test.QuickCheck.Function.GFunction f, Test.QuickCheck.Function.GFunction g) => Test.QuickCheck.Function.GFunction (f GHC.Generics.:+: g)
+ Test.QuickCheck.Function: instance forall k (f :: k -> *) i (c :: GHC.Generics.Meta). Test.QuickCheck.Function.GFunction f => Test.QuickCheck.Function.GFunction (GHC.Generics.M1 i c f)
+ Test.QuickCheck.Function: instance forall k a (b :: k). Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (Data.Functor.Const.Const a b)
+ Test.QuickCheck.Gen: instance Control.Monad.Fix.MonadFix Test.QuickCheck.Gen.Gen
+ Test.QuickCheck.Gen: instance GHC.Base.Applicative Test.QuickCheck.Gen.Gen
+ Test.QuickCheck.Gen: instance GHC.Base.Functor Test.QuickCheck.Gen.Gen
+ Test.QuickCheck.Gen: instance GHC.Base.Monad Test.QuickCheck.Gen.Gen
+ Test.QuickCheck.Modifiers: instance (GHC.Num.Num a, GHC.Classes.Eq a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.NonZero a)
+ Test.QuickCheck.Modifiers: instance (GHC.Num.Num a, GHC.Classes.Ord a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.Negative a)
+ Test.QuickCheck.Modifiers: instance (GHC.Num.Num a, GHC.Classes.Ord a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.NonNegative a)
+ Test.QuickCheck.Modifiers: instance (GHC.Num.Num a, GHC.Classes.Ord a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.NonPositive a)
+ Test.QuickCheck.Modifiers: instance (GHC.Num.Num a, GHC.Classes.Ord a, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.Positive a)
+ Test.QuickCheck.Modifiers: instance (GHC.Real.Integral a, GHC.Enum.Bounded a) => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.Large a)
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor (Test.QuickCheck.Modifiers.Shrinking s)
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.Blind
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.Fixed
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.Large
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.Negative
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.NoShrink
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.NonEmptyList
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.NonNegative
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.NonPositive
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.NonZero
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.OrderedList
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.Positive
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.Shrink2
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.Small
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.Smart
+ Test.QuickCheck.Modifiers: instance GHC.Base.Functor Test.QuickCheck.Modifiers.SortedList
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.Blind a)
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.Fixed a)
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.Large a)
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.Negative a)
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.NoShrink a)
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.NonNegative a)
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.NonPositive a)
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.NonZero a)
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.Positive a)
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.Shrink2 a)
+ Test.QuickCheck.Modifiers: instance GHC.Enum.Enum a => GHC.Enum.Enum (Test.QuickCheck.Modifiers.Small a)
+ Test.QuickCheck.Modifiers: instance GHC.Ix.Ix a => GHC.Ix.Ix (Test.QuickCheck.Modifiers.Large a)
+ Test.QuickCheck.Modifiers: instance GHC.Ix.Ix a => GHC.Ix.Ix (Test.QuickCheck.Modifiers.NoShrink a)
+ Test.QuickCheck.Modifiers: instance GHC.Ix.Ix a => GHC.Ix.Ix (Test.QuickCheck.Modifiers.Small a)
+ Test.QuickCheck.Modifiers: instance GHC.Num.Num a => GHC.Num.Num (Test.QuickCheck.Modifiers.Blind a)
+ Test.QuickCheck.Modifiers: instance GHC.Num.Num a => GHC.Num.Num (Test.QuickCheck.Modifiers.Fixed a)
+ Test.QuickCheck.Modifiers: instance GHC.Num.Num a => GHC.Num.Num (Test.QuickCheck.Modifiers.Large a)
+ Test.QuickCheck.Modifiers: instance GHC.Num.Num a => GHC.Num.Num (Test.QuickCheck.Modifiers.NoShrink a)
+ Test.QuickCheck.Modifiers: instance GHC.Num.Num a => GHC.Num.Num (Test.QuickCheck.Modifiers.Shrink2 a)
+ Test.QuickCheck.Modifiers: instance GHC.Num.Num a => GHC.Num.Num (Test.QuickCheck.Modifiers.Small a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read Test.QuickCheck.Modifiers.ASCIIString
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read Test.QuickCheck.Modifiers.PrintableString
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read Test.QuickCheck.Modifiers.UnicodeString
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.Fixed a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.Large a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.Negative a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.NoShrink a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.NonEmptyList a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.NonNegative a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.NonPositive a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.NonZero a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.OrderedList a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.Positive a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.Shrink2 a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.Small a)
+ Test.QuickCheck.Modifiers: instance GHC.Read.Read a => GHC.Read.Read (Test.QuickCheck.Modifiers.SortedList a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Integral a => GHC.Real.Integral (Test.QuickCheck.Modifiers.Blind a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Integral a => GHC.Real.Integral (Test.QuickCheck.Modifiers.Fixed a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Integral a => GHC.Real.Integral (Test.QuickCheck.Modifiers.Large a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Integral a => GHC.Real.Integral (Test.QuickCheck.Modifiers.NoShrink a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Integral a => GHC.Real.Integral (Test.QuickCheck.Modifiers.Shrink2 a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Integral a => GHC.Real.Integral (Test.QuickCheck.Modifiers.Small a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Integral a => Test.QuickCheck.Arbitrary.Arbitrary (Test.QuickCheck.Modifiers.Small a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Real a => GHC.Real.Real (Test.QuickCheck.Modifiers.Blind a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Real a => GHC.Real.Real (Test.QuickCheck.Modifiers.Fixed a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Real a => GHC.Real.Real (Test.QuickCheck.Modifiers.Large a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Real a => GHC.Real.Real (Test.QuickCheck.Modifiers.NoShrink a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Real a => GHC.Real.Real (Test.QuickCheck.Modifiers.Shrink2 a)
+ Test.QuickCheck.Modifiers: instance GHC.Real.Real a => GHC.Real.Real (Test.QuickCheck.Modifiers.Small a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show (Test.QuickCheck.Modifiers.Blind a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show Test.QuickCheck.Modifiers.ASCIIString
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show Test.QuickCheck.Modifiers.PrintableString
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show Test.QuickCheck.Modifiers.UnicodeString
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.Fixed a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.InfiniteList a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.Large a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.Negative a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.NoShrink a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.NonEmptyList a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.NonNegative a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.NonPositive a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.NonZero a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.OrderedList a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.Positive a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.Shrink2 a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.Shrinking s a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.Small a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.Smart a)
+ Test.QuickCheck.Modifiers: instance GHC.Show.Show a => GHC.Show.Show (Test.QuickCheck.Modifiers.SortedList a)
+ Test.QuickCheck.Monadic: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Test.QuickCheck.Monadic.PropertyM m)
+ Test.QuickCheck.Monadic: instance GHC.Base.Applicative (Test.QuickCheck.Monadic.PropertyM m)
+ Test.QuickCheck.Monadic: instance GHC.Base.Functor (Test.QuickCheck.Monadic.PropertyM m)
+ Test.QuickCheck.Monadic: instance GHC.Base.Monad m => Control.Monad.Fail.MonadFail (Test.QuickCheck.Monadic.PropertyM m)
+ Test.QuickCheck.Monadic: instance GHC.Base.Monad m => GHC.Base.Monad (Test.QuickCheck.Monadic.PropertyM m)
+ Test.QuickCheck.Monoids: instance GHC.Base.Monoid Test.QuickCheck.Monoids.Every
+ Test.QuickCheck.Monoids: instance GHC.Base.Monoid Test.QuickCheck.Monoids.Some
+ Test.QuickCheck.Monoids: instance GHC.Base.Semigroup Test.QuickCheck.Monoids.Every
+ Test.QuickCheck.Monoids: instance GHC.Base.Semigroup Test.QuickCheck.Monoids.Some
+ Test.QuickCheck.Poly: instance GHC.Num.Num Test.QuickCheck.Poly.OrdA
+ Test.QuickCheck.Poly: instance GHC.Num.Num Test.QuickCheck.Poly.OrdB
+ Test.QuickCheck.Poly: instance GHC.Num.Num Test.QuickCheck.Poly.OrdC
+ Test.QuickCheck.Poly: instance GHC.Show.Show Test.QuickCheck.Poly.A
+ Test.QuickCheck.Poly: instance GHC.Show.Show Test.QuickCheck.Poly.B
+ Test.QuickCheck.Poly: instance GHC.Show.Show Test.QuickCheck.Poly.C
+ Test.QuickCheck.Poly: instance GHC.Show.Show Test.QuickCheck.Poly.OrdA
+ Test.QuickCheck.Poly: instance GHC.Show.Show Test.QuickCheck.Poly.OrdB
+ Test.QuickCheck.Poly: instance GHC.Show.Show Test.QuickCheck.Poly.OrdC
Files
- QuickCheck.cabal +2/−2
- changelog +4/−0
- src/Test/QuickCheck/Arbitrary.hs +8/−4
- src/Test/QuickCheck/Random.hs +4/−2
QuickCheck.cabal view
@@ -1,5 +1,5 @@ Name: QuickCheck-Version: 2.17.0.0+Version: 2.17.1.0 Cabal-Version: >= 1.10 Build-type: Simple License: BSD3@@ -72,7 +72,7 @@ library Hs-source-dirs: src- Build-depends: base >=4.9 && <5, containers+ Build-depends: base >=4.14 && <5, containers Default-language: Haskell2010 -- New vs old random.
changelog view
@@ -1,3 +1,7 @@+QuickCheck 2.17.1+ * Fix random-1.2 support (thanks bodigrim)+ * Update docs (thanks effectfully)+ QuickCheck 2.17 * Lower the memory use of `arbitrary` for `Double` and `Float` (thanks ChickenProp)
src/Test/QuickCheck/Arbitrary.hs view
@@ -286,8 +286,8 @@ -- > shrink (Branch x l r) = -- > -- shrink Branch to Nil -- > [Nil] ++- -- > -- shrink to subterms- -- > [l, r] +++ -- > -- shrink to non-Nil subterms+ -- > [t | t@Branch{} <- [l, r]] ++ -- > -- recursively shrink subterms -- > [Branch x' l' r' | (x', l', r') <- shrink (x, l, r)] --@@ -1298,10 +1298,14 @@ arbitrary = elements [ latin1, utf8, utf8_bom, utf16, utf16le, utf16be, utf32, utf32le, utf32be, localeEncoding, char8 ] instance Arbitrary BufferMode where- arbitrary = oneof [ pure NoBuffering, pure LineBuffering, BlockBuffering <$> arbitrary ]+ arbitrary = oneof [ pure NoBuffering+ , pure LineBuffering+ , pure $ BlockBuffering Nothing+ , BlockBuffering . Just . (+1) . fromIntegral <$> (arbitrary :: Gen Natural)+ ] shrink NoBuffering = [] shrink LineBuffering = [ NoBuffering ]- shrink (BlockBuffering m) = [ NoBuffering, LineBuffering ] ++ map BlockBuffering (shrink m)+ shrink (BlockBuffering m) = [ NoBuffering, LineBuffering ] ++ map BlockBuffering (filter (maybe True (>0)) $ shrink m) instance Arbitrary IOMode where arbitrary = elements [ReadMode, WriteMode, AppendMode, ReadWriteMode]
src/Test/QuickCheck/Random.hs view
@@ -38,7 +38,7 @@ #endif instance RandomGen QCGen where-#ifdef OLD_RANDOM+#if !MIN_VERSION_random(1,3,0) split = splitImpl #endif #ifdef NO_SPLITMIX@@ -55,11 +55,13 @@ genWord64 = wrapQCGen genWord64 genWord32R r = wrapQCGen (genWord32R r) genWord64R r = wrapQCGen (genWord64R r)+#if MIN_VERSION_random(1,3,0) genShortByteString n = wrapQCGen (uniformShortByteString n) #endif #endif+#endif -#ifndef OLD_RANDOM+#if MIN_VERSION_random(1,3,0) instance SplitGen QCGen where splitGen = splitImpl #endif