Derives Arbitrary[T]
instances for T
an HList
, a Coproduct
,
a case class or an ADT (or more generally, a type represented
Generic
ally as an HList
or a Coproduct
).
Derives Cogen[T]
instances for T
an HList
, a Coproduct
,
a case class or an ADT (or more generally, a type represented
Generic
ally as an HList
or a Coproduct
).
Derives Shrink[T]
instances for T
an HList
, a Coproduct
,
a case class or an ADT (or more generally, a type represented
Generic
ally as an HList
or a Coproduct
).
Type class providing the instances of T
that can be built out of
singletons only.
(Since version 1.1.7) See MkCoproductShrink0 instead, which has no quadratic implicit lookups