Shrink

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val StreamOrLazyList: Stream.type

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def consNub[A](x: A, ys0: List[A]): List[A]

Cons an element on to the front of a list unless it is already there.

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def halves[A](a: A)(implicit I: Integral[A]): List[A]

Produce a list containing the progressive halving of an integral.

scala> halves(15)
List(15, 7, 3, 1)

scala> halves(100)
List(100, 50, 25, 12, 6, 3, 1)

scala> halves(-26)
List(-26, -13, -6, -3, -1)

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def list[A](xs: List[A]): List[List[A]]

Shrink a list by edging towards the empty list.

scala> list(List(1, 2, 3))
List(List(), List(2, 3), List(1, 3), List(1, 2))

>>> list("abcd".toList)
List("", "cd", "ab", "bcd", "acd", "abd", "abc")

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def removes[A](k0: Int, xs0: List[A]): List[List[A]]

Produce all permutations of removing 'k' elements from a list.

scala> removes(2, "abcdef".toList)
List("cdef", "abef", "abcd")

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

def toString(): String

def towards[A](destination: A, x: A)(implicit I: Integral[A]): List[A]

Shrink an integral number by edging towards a destination.

scala> towards(0, 100)
List(0, 50, 75, 88, 94, 97, 99)

scala> towards(500, 1000)
List(500, 750, 875, 938, 969, 985, 993, 997, 999)

scala> towards(-50,  -26)
List(-50, -38, -32, -29, -27)

def towardsFloat[A](destination: Double, x: Double): List[Double]

Shrink a floating-point number by edging towards a destination.

scala> towards(0.0, 100)
List(0.0, 50.0, 75.0, 87.5, 93.75, 96.875, 98.4375...)

scala> towards(1.0, 0.5)
List(1.0, 0.75, 0.625, 0.5625, 0.53125, 0.515625, 0.5078125...)

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

final def wait(arg0: Long): Unit

final def wait(): Unit

def finalize(): Unit