We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9eef016 commit b7f47a6Copy full SHA for b7f47a6
src/Test/QuickCheck/Arbitrary.purs
@@ -240,8 +240,8 @@ genericArbitrary :: forall a rep. Generic a rep => Arbitrary rep => Gen a
240
genericArbitrary = to <$> (arbitrary :: Gen rep)
241
242
-- | A `Generic` implementation of the `coarbitrary` member from the `Coarbitrary` type class.
243
-genericCoarbitrary :: forall a rep. Generic a rep => Coarbitrary rep => a -> Gen a -> Gen a
244
-genericCoarbitrary x g = to <$> coarbitrary (from x) (from <$> g)
+genericCoarbitrary :: forall a rep t. Generic a rep => Coarbitrary rep => a -> Gen t -> Gen t
+genericCoarbitrary x = coarbitrary (from x)
245
246
-- | A helper typeclass to implement `Arbitrary` for records.
247
class ArbitraryRowList :: RL.RowList Type -> Row Type -> Constraint
0 commit comments