org.scalacheck

derive

package derive

Visibility
  1. Public
  2. All

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

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

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

  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.

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

    Annotations
    @deprecated
    Deprecated

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

Ungrouped