org.scalacheck

Shrink

object Shrink extends ShrinkLowPriority

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: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. def apply[T](s: (T) ⇒ Stream[T]): Shrink[T]

    Shrink instance factory

  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  8. def clone(): AnyRef

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

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

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

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

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

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

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

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

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

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

    Shrink a value

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

    Default shrink instance

    Default shrink instance

    Definition Classes
    ShrinkLowPriority
  20. 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

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

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

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

    Shrink instances of any numeric data type

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

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

    Shrink instance of Option

  26. implicit lazy val shrinkString: Shrink[String]

    Shrink instance of String

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

    Shrink instance of 2-tuple

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

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

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

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

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

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

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

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

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

    Definition Classes
    AnyRef
  37. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. 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