derive

Type Members

1. trait CoproductInstances extends AnyRef

   

2. trait CoproductSingletons[C <: Coproduct] extends AnyRef

   

3. trait DerivedInstances extends AnyRef

   

4. trait FieldTypeInstances extends AnyRef

   

5. trait HListInstances extends AnyRef

   

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

   

7. trait LowPrioritySingletons extends AnyRef

   

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

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

   

10. trait MkCoproductGen[C <: Coproduct] extends AnyRef

    

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

    

12. trait MkGen[T] extends AnyRef

    

    Derives Gen[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 Gen[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 gen: Gen[T] = MkGen[T].gen or look up for an implicit MkGen[T].

13. abstract class MkGenLowPriority extends AnyRef

    

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

    

15. trait MkHListGen[L <: HList] extends AnyRef

    

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

    

17. trait MkRecursiveCoproductGen[C <: Coproduct] extends AnyRef

    

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

    Use like val shrink: Shrink[T] = MkShrink[T].shrink or look up for an implicit MkShrink[T].

19. sealed abstract class Recursive[T] extends AnyRef

    

20. trait SingletonInstances extends AnyRef

    

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