package derive

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

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.

Deprecated Type Members

  1. trait MkCoproductShrink[C <: Coproduct] extends AnyRef
    Annotations
    @deprecated
    Deprecated

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

Value Members

  1. object CoproductSingletons
  2. object GenExtra
  3. object HListSingletons
  4. object MkArbitrary extends MkArbitraryLowPriority
  5. object MkCogen
  6. object MkCoproductArbitrary
  7. object MkCoproductCogen
  8. object MkCoproductShrink
  9. object MkCoproductShrink0
  10. object MkHListArbitrary
  11. object MkHListCogen
  12. object MkHListShrink
  13. object MkRecursiveCoproductArbitrary
  14. object MkShrink
  15. object Recursive
  16. object Singletons extends LowPrioritySingletons

Ungrouped