Derives Shrink[T] instances for T an HList, a Coproduct,
a case class or an ADT (or more generally, a type represented
Generically as an HList or a Coproduct).
The instances derived here are more specific than the default ones
derived for any type by Shrink.shrinkAny.
Use like
val arbitrary: Arbitrary[T] = MkArbitrary[T].arbitrary
or look up for an implicit MkArbitrary[T].
Derives
Shrink[T]
instances forT
anHList
, aCoproduct
, a case class or an ADT (or more generally, a type representedGeneric
ally as anHList
or aCoproduct
).The instances derived here are more specific than the default ones derived for any type by
Shrink.shrinkAny
.Use like val arbitrary: Arbitrary[T] = MkArbitrary[T].arbitrary or look up for an implicit
MkArbitrary[T]
.