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 shrink: Shrink[T] = MkShrink[T].shrink
or look up for an implicit MkShrink[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 shrink: Shrink[T] = MkShrink[T].shrink or look up for an implicit
MkShrink[T]
.