ScalacheckShapeless

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

implicit def arbitraryEnumerationValue[E <: Enumeration](implicit w: Aux[E]): Arbitrary[derive.EnumerationInstances.arbitraryEnumerationValue.E.Value]

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

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

final def asInstanceOf[T0]: T0

def clone(): AnyRef

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

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.

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

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

implicit def coproductShrink0[C <: Coproduct](implicit arb: MkCoproductShrink0[C]): Shrink[C]

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

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

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

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

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

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

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

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

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