scalaprops-all/scalaprops/Shrink

Shrink

object Shrink
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[A](implicit A: Shrink[A]): Shrink[A]
def empty[A]: Shrink[A]
def shrink[A](f: A => Stream[A]): Shrink[A]

Implicits

Implicits

implicit
def array[A : Shrink](implicit evidence$2: Shrink[A], A: ClassTag[A]): Shrink[Array[A]]
implicit
val bigInt: Shrink[BigInt]
implicit
val bigInteger: Shrink[BigInteger]
implicit
val boolean: Shrink[Boolean]
implicit
val byte: Shrink[Byte]
implicit
def cogenShrink[A : Cogen]: Cogen[Shrink[A]]
implicit
def either[A, B](implicit A: Shrink[A], B: Shrink[B]): Shrink[Either[A, B]]
implicit
val int: Shrink[Int]
implicit
def list[A](implicit A: Shrink[A]): Shrink[List[A]]
implicit
val long: Shrink[Long]
implicit
def map[A, B](implicit A: Shrink[A], B: Shrink[B]): Shrink[Map[A, B]]
implicit
def option[A](implicit A: Shrink[A]): Shrink[Option[A]]
implicit
val short: Shrink[Short]
implicit
def shrinkGen[A : Gen]: Gen[Shrink[A]]
implicit
def stream[A : Shrink]: Shrink[Stream[A]]
implicit
def tuple2[A1, A2](implicit A1: Shrink[A1], A2: Shrink[A2]): Shrink[(A1, A2)]
implicit
def tuple3[A1, A2, A3](implicit A1: Shrink[A1], A2: Shrink[A2], A3: Shrink[A3]): Shrink[(A1, A2, A3)]
implicit
def tuple4[A1, A2, A3, A4](implicit A1: Shrink[A1], A2: Shrink[A2], A3: Shrink[A3], A4: Shrink[A4]): Shrink[(A1, A2, A3, A4)]