Type Members

1.  trait CoproductInstances extends AnyRef
2.  trait CoproductInstances0 extends CoproductInstances
3.  trait CoproductSingletons[C <: Coproduct] extends AnyRef
4.  trait DerivedInstances extends AnyRef
5.  trait EnumerationInstances extends AnyRef
6.  trait FieldTypeInstances extends AnyRef
7.  trait HListInstances extends AnyRef
8.  trait HListSingletons[L <: HList] extends AnyRef
9.  trait LowPrioritySingletons extends AnyRef
10.  trait MkArbitrary[T] extends AnyRef

    Derives Arbitrary[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).

    Derives Arbitrary[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).

    Use like val arbitrary: Arbitrary[T] = MkArbitrary[T].arbitrary or look up for an implicit MkArbitrary[T].

11.  abstract class MkArbitraryLowPriority extends AnyRef
12.  trait MkCogen[T] extends AnyRef

    Derives Cogen[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).

    Derives Cogen[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).

    Use like val cogen: Cogen[T] = MkCogen[T].cogen or look up for an implicit MkCogen[T].

13.  trait MkCoproductArbitrary[C <: Coproduct] extends AnyRef
14.  trait MkCoproductCogen[C <: Coproduct] extends AnyRef
15.  abstract class MkCoproductShrink0[C <: Coproduct] extends AnyRef
16.  trait MkHListArbitrary[L <: HList] extends AnyRef
17.  trait MkHListCogen[L <: HList] extends AnyRef
18.  trait MkHListShrink[L <: HList] extends AnyRef
19.  trait MkRecursiveCoproductArbitrary[C <: Coproduct] extends AnyRef
20.  trait MkShrink[T] extends AnyRef

    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).

    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].

21.  sealed abstract class Recursive[T] extends AnyRef
22.  trait SingletonInstances extends AnyRef
23.  trait Singletons[T] extends AnyRef

    Type class providing the instances of T that can be built out of singletons only.

    Type class providing the instances of T that can be built out of singletons only.

    Used by the derived Shrink instances for ADTs in particular.

24.  trait MkCoproductShrink[C <: Coproduct] extends AnyRef

    Annotations

    @deprecated

    Deprecated

    (Since version 1.1.7) See MkCoproductShrink0 instead, which has no quadratic implicit lookups