ScalaCheck 1.2
org.scalacheck

object Shrink
[source: org/scalacheck/Shrink.scala]
object Shrink
extends AnyRef
Value Summary
implicit lazy val shrinkInt : Shrink[Int]
Method Summary
def apply [T](s : (T) => scala.Stream[T]) : Shrink[T]
def shrink [T](x : T)(implicit s : Shrink[T]) : scala.Stream[T]
implicit def shrinkAny [T] : Shrink[T]
Default shrink instance
implicit def shrinkList [T](implicit s : Shrink[T]) : Shrink[scala.List[T]]
Shrink instance of list
implicit def shrinkOption [T](implicit s : Shrink[T]) : Shrink[scala.Option[T]]
Shrink instance of Option
implicit def shrinkTuple2 [T1, T2](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2]) : Shrink[(T1, T2)]
Shrink instance of 2-tuple
implicit def shrinkTuple3 [T1, T2, T3](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3]) : Shrink[(T1, T2, T3)]
Shrink instance of 3-tuple
implicit def shrinkTuple4 [T1, T2, T3, T4, T5, T6, T7](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4], implicit s5 : Shrink[T5], implicit s6 : Shrink[T6], implicit s7 : Shrink[T7]) : Shrink[(T1, T2, T3, T4, T5, T6, T7)]
Shrink instance of 7-tuple
implicit def shrinkTuple4 [T1, T2, T3, T4, T5, T6](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4], implicit s5 : Shrink[T5], implicit s6 : Shrink[T6]) : Shrink[(T1, T2, T3, T4, T5, T6)]
Shrink instance of 6-tuple
implicit def shrinkTuple4 [T1, T2, T3, T4](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4]) : Shrink[(T1, T2, T3, T4)]
Shrink instance of 4-tuple
implicit def shrinkTuple4 [T1, T2, T3, T4, T5, T6, T7, T8, T9](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4], implicit s5 : Shrink[T5], implicit s6 : Shrink[T6], implicit s7 : Shrink[T7], implicit s8 : Shrink[T8], implicit s9 : Shrink[T9]) : Shrink[(T1, T2, T3, T4, T5, T6, T7, T8, T9)]
Shrink instance of 9-tuple
implicit def shrinkTuple4 [T1, T2, T3, T4, T5, T6, T7, T8](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4], implicit s5 : Shrink[T5], implicit s6 : Shrink[T6], implicit s7 : Shrink[T7], implicit s8 : Shrink[T8]) : Shrink[(T1, T2, T3, T4, T5, T6, T7, T8)]
Shrink instance of 8-tuple
implicit def shrinkTuple4 [T1, T2, T3, T4, T5](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4], implicit s5 : Shrink[T5]) : Shrink[(T1, T2, T3, T4, T5)]
Shrink instance of 5-tuple
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
implicit lazy val shrinkInt : Shrink[Int]
Method Details
def apply[T](s : (T) => scala.Stream[T]) : Shrink[T]
def shrink[T](x : T)(implicit s : Shrink[T]) : scala.Stream[T]
implicit def shrinkAny[T] : Shrink[T]
Default shrink instance
implicit def shrinkOption[T](implicit s : Shrink[T]) : Shrink[scala.Option[T]]
Shrink instance of Option
implicit def shrinkList[T](implicit s : Shrink[T]) : Shrink[scala.List[T]]
Shrink instance of list
implicit def shrinkTuple2[T1, T2](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2]) : Shrink[(T1, T2)]
Shrink instance of 2-tuple
implicit def shrinkTuple3[T1, T2, T3](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3]) : Shrink[(T1, T2, T3)]
Shrink instance of 3-tuple
implicit def shrinkTuple4[T1, T2, T3, T4](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4]) : Shrink[(T1, T2, T3, T4)]
Shrink instance of 4-tuple
implicit def shrinkTuple4[T1, T2, T3, T4, T5](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4], implicit s5 : Shrink[T5]) : Shrink[(T1, T2, T3, T4, T5)]
Shrink instance of 5-tuple
implicit def shrinkTuple4[T1, T2, T3, T4, T5, T6](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4], implicit s5 : Shrink[T5], implicit s6 : Shrink[T6]) : Shrink[(T1, T2, T3, T4, T5, T6)]
Shrink instance of 6-tuple
implicit def shrinkTuple4[T1, T2, T3, T4, T5, T6, T7](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4], implicit s5 : Shrink[T5], implicit s6 : Shrink[T6], implicit s7 : Shrink[T7]) : Shrink[(T1, T2, T3, T4, T5, T6, T7)]
Shrink instance of 7-tuple
implicit def shrinkTuple4[T1, T2, T3, T4, T5, T6, T7, T8](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4], implicit s5 : Shrink[T5], implicit s6 : Shrink[T6], implicit s7 : Shrink[T7], implicit s8 : Shrink[T8]) : Shrink[(T1, T2, T3, T4, T5, T6, T7, T8)]
Shrink instance of 8-tuple
implicit def shrinkTuple4[T1, T2, T3, T4, T5, T6, T7, T8, T9](implicit s1 : Shrink[T1], implicit s2 : Shrink[T2], implicit s3 : Shrink[T3], implicit s4 : Shrink[T4], implicit s5 : Shrink[T5], implicit s6 : Shrink[T6], implicit s7 : Shrink[T7], implicit s8 : Shrink[T8], implicit s9 : Shrink[T9]) : Shrink[(T1, T2, T3, T4, T5, T6, T7, T8, T9)]
Shrink instance of 9-tuple
ScalaCheck 1.2