org.scalacheck

Shrink

Related Docs: class Shrink | package scalacheck

object Shrink extends ShrinkLowPriority

Source
Shrink.scala
Linear Supertypes
ShrinkLowPriority, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Shrink
  2. ShrinkLowPriority
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

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. def apply[T](s: (T) ⇒ Stream[T]): Shrink[T]

    Shrink instance factory

  5. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  6. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  11. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  12. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  13. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  14. final def notify(): Unit

    Definition Classes
    AnyRef
  15. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  16. def shrink[T](x: T)(implicit s: Shrink[T]): Stream[T]

    Shrink a value

  17. implicit def shrinkAny[T]: Shrink[T]

    Default shrink instance

    Default shrink instance

    Definition Classes
    ShrinkLowPriority
  18. implicit def shrinkContainer[C[_], T](implicit v: (C[T]) ⇒ Traversable[T], s: Shrink[T], b: Buildable[T, C[T]]): Shrink[C[T]]

    Shrink instance of container

  19. implicit def shrinkContainer2[C[_, _], T, U](implicit v: (C[T, U]) ⇒ Traversable[(T, U)], s: Shrink[(T, U)], b: Buildable[(T, U), C[T, U]]): Shrink[C[T, U]]

    Shrink instance of container2

  20. implicit def shrinkEither[T1, T2](implicit arg0: Shrink[T1], arg1: Shrink[T2]): Shrink[Either[T1, T2]]

  21. implicit def shrinkFractional[T](implicit num: Fractional[T]): Shrink[T]

    Shrink instances of any numeric data type

  22. implicit def shrinkIntegral[T](implicit num: Integral[T]): Shrink[T]

  23. implicit def shrinkOption[T](implicit arg0: Shrink[T]): Shrink[Option[T]]

    Shrink instance of Option

  24. implicit lazy val shrinkString: Shrink[String]

    Shrink instance of String

  25. implicit def shrinkTuple2[T1, T2](implicit arg0: Shrink[T1], arg1: Shrink[T2]): Shrink[(T1, T2)]

    Shrink instance of 2-tuple

  26. implicit def shrinkTuple3[T1, T2, T3](implicit arg0: Shrink[T1], arg1: Shrink[T2], arg2: Shrink[T3]): Shrink[(T1, T2, T3)]

    Shrink instance of 3-tuple

  27. implicit def shrinkTuple4[T1, T2, T3, T4](implicit arg0: Shrink[T1], arg1: Shrink[T2], arg2: Shrink[T3], arg3: Shrink[T4]): Shrink[(T1, T2, T3, T4)]

    Shrink instance of 4-tuple

  28. implicit def shrinkTuple5[T1, T2, T3, T4, T5](implicit arg0: Shrink[T1], arg1: Shrink[T2], arg2: Shrink[T3], arg3: Shrink[T4], arg4: Shrink[T5]): Shrink[(T1, T2, T3, T4, T5)]

    Shrink instance of 5-tuple

  29. implicit def shrinkTuple6[T1, T2, T3, T4, T5, T6](implicit arg0: Shrink[T1], arg1: Shrink[T2], arg2: Shrink[T3], arg3: Shrink[T4], arg4: Shrink[T5], arg5: Shrink[T6]): Shrink[(T1, T2, T3, T4, T5, T6)]

    Shrink instance of 6-tuple

  30. implicit def shrinkTuple7[T1, T2, T3, T4, T5, T6, T7](implicit arg0: Shrink[T1], arg1: Shrink[T2], arg2: Shrink[T3], arg3: Shrink[T4], arg4: Shrink[T5], arg5: Shrink[T6], arg6: Shrink[T7]): Shrink[(T1, T2, T3, T4, T5, T6, T7)]

    Shrink instance of 7-tuple

  31. implicit def shrinkTuple8[T1, T2, T3, T4, T5, T6, T7, T8](implicit arg0: Shrink[T1], arg1: Shrink[T2], arg2: Shrink[T3], arg3: Shrink[T4], arg4: Shrink[T5], arg5: Shrink[T6], arg6: Shrink[T7], arg7: Shrink[T8]): Shrink[(T1, T2, T3, T4, T5, T6, T7, T8)]

    Shrink instance of 8-tuple

  32. implicit def shrinkTuple9[T1, T2, T3, T4, T5, T6, T7, T8, T9](implicit arg0: Shrink[T1], arg1: Shrink[T2], arg2: Shrink[T3], arg3: Shrink[T4], arg4: Shrink[T5], arg5: Shrink[T6], arg6: Shrink[T7], arg7: Shrink[T8], arg8: Shrink[T9]): Shrink[(T1, T2, T3, T4, T5, T6, T7, T8, T9)]

    Shrink instance of 9-tuple

  33. def shrinkWithOrig[T](x: T)(implicit s: Shrink[T]): Stream[T]

    Shrink a value, but also return the original value as the first element in the resulting stream

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

    Definition Classes
    AnyRef
  35. def toString(): String

    Definition Classes
    AnyRef → Any
  36. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. def xmap[T, U](from: (T) ⇒ U, to: (U) ⇒ T)(implicit st: Shrink[T]): Shrink[U]

    Transform a Shrink[T] to a Shrink[U] where T and U are two isomorphic types whose relationship is described by the provided transformation functions.

    Transform a Shrink[T] to a Shrink[U] where T and U are two isomorphic types whose relationship is described by the provided transformation functions. (exponential functor map)

Inherited from ShrinkLowPriority

Inherited from AnyRef

Inherited from Any

Ungrouped