scalacheck

Derives an Arbitrary[T], ignoring any given Arbitrary[T] that is already in scope.

This can be used to explicitly create given instances:

 case class Point(x: Double, y: Double)
 given Arbitrary[Point] = deriveArbitrary

Resolves an Arbitrary[T], using existing given instances or falling back to derivation.

Existing given instances (that are in scope) will be preferred over derivation.

Importing this will add derivation as fallback to implicit resolution of Arbitrary- instances.

Note that the following will not work and result in an "Infinite loop in function body":

 case class Point(x: Double, y: Double)
 given Arbitrary[Point] = anyGivenArbitrary

If you intend to derive Arbitrary-instances in that way, use deriveArbitrary instead.