derive

Type Members

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

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

3. trait MkCoproductArbitrary[C <: Coproduct] extends AnyRef

   

4. trait MkCoproductCogen[C <: Coproduct] extends AnyRef

   

5. trait MkCoproductShrink[C <: Coproduct] extends AnyRef

   

6. trait MkHListArbitrary[L <: HList] extends AnyRef

   

7. trait MkHListCogen[L <: HList] extends AnyRef

   

8. trait MkHListShrink[L <: HList] extends AnyRef

   

9. 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 arbitrary: Arbitrary[T] = MkArbitrary[T].arbitrary or look up for an implicit MkArbitrary[T].