@@ -30,8 +30,7 @@ The generated 'arbitrary' method is equivalent to
3030-}
3131
3232module Test.QuickCheck.Arbitrary.Generic
33− ( GenericArbitrary(..)
34− , Arbitrary(..)
33+ ( Arbitrary(..)
3534 , genericArbitrary
3635 , genericShrink
3736 ) where
@@ -43,19 +42,7 @@ import Data.Type.Bool
4342import GHC.Generics as G
4443import GHC.TypeLits
4544import Test.QuickCheck as QC
46−import Test.QuickCheck.Arbitrary (GSubterms, RecursivelyShrink)
47−
48−newtype GenericArbitrary a = GenericArbitrary { unGenericArbitrary :: a }
49− deriving (Show, Eq)
50−
51−instance
52− ( Generic a,
53− GArbitrary a (Rep a) 'True,
54− RecursivelyShrink (Rep a),
55− GSubterms (Rep a) a
56− ) => Arbitrary (GenericArbitrary a) where
57− arbitrary = coerce (genericArbitrary :: Gen a)
58− shrink = coerce (genericShrink :: a -> [a])
45+import Test.QuickCheck.Arbitrary
5946
6047type family AllFieldsFinal self (a :: * -> *) :: Bool where
6148 AllFieldsFinal self U1 = 'True