Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  implicit def arbitraryFieldType[K, H](implicit underlying: Arbitrary[H]): Arbitrary[FieldType[K, H]]

   Definition Classes

   FieldTypeInstances

5.  implicit def arbitrarySingletonType[S](implicit w: Aux[S]): Arbitrary[S]

   Definition Classes

   SingletonInstances

6.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8.  implicit def cogenFieldType[K, H](implicit underlying: Cogen[H]): Cogen[FieldType[K, H]]

   Definition Classes

   FieldTypeInstances

9.  implicit def cogenSingletonType[S](implicit w: Aux[S]): Cogen[S]

   Derives Cogen[T] instances for T a singleton type, like Witness."str".T or Witness.true.T for example.

   Derives Cogen[T] instances for T a singleton type, like Witness."str".T or Witness.true.T for example.

   The generated Cogen[T] behaves like Cogen[Unit], as like Unit, singleton types only have one instance.

   Definition Classes

   SingletonInstances

10.  implicit def coproductArbitrary[C <: Coproduct](implicit arb: MkCoproductArbitrary[C]): Arbitrary[C]

    Definition Classes

    CoproductInstances

11.  implicit def coproductCogen[C <: Coproduct](implicit arb: MkCoproductCogen[C]): Cogen[C]

    Definition Classes

    CoproductInstances

12.  implicit def coproductShrink[C <: Coproduct](implicit arb: MkCoproductShrink[C]): Shrink[C]

    Definition Classes

    CoproductInstances

13.  implicit def derivedArbitrary[T](implicit ev: LowPriority, underlying: Strict[MkArbitrary[T]]): Arbitrary[T]

    Definition Classes

    DerivedInstances

14.  implicit def derivedCogen[T](implicit ev: LowPriority, underlying: Strict[MkCogen[T]]): Cogen[T]

    Definition Classes

    DerivedInstances

15.  implicit def derivedShrink[T](implicit ev: Ignoring[String("shrinkAny")], underlying: Strict[MkShrink[T]]): Shrink[T]

    Definition Classes

    DerivedInstances

16.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

17.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

18.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

19.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

20.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

21.  implicit def hlistArbitrary[L <: HList](implicit arb: MkHListArbitrary[L]): Arbitrary[L]

    Definition Classes

    HListInstances

22.  implicit def hlistCogen[L <: HList](implicit arb: MkHListCogen[L]): Cogen[L]

    Definition Classes

    HListInstances

23.  implicit def hlistShrink[L <: HList](implicit arb: MkHListShrink[L]): Shrink[L]

    Definition Classes

    HListInstances

24.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

25.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

26.  final def notify(): Unit

    Definition Classes

    AnyRef

27.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

28.  implicit def shrinkFieldType[K, H](implicit underlying: Shrink[H]): Shrink[FieldType[K, H]]

    Definition Classes

    FieldTypeInstances

29.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

30.  def toString(): String

    Definition Classes

    AnyRef → Any

31.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )