verify/verify/Properties

Properties

case class Properties[I](setup: () => I, tearDown: I => Void, setupSuite: () => Unit, tearDownSuite: () => Unit, properties: Seq[TestSpec[I, Unit]])(ec: ExecutionContext) extends Iterable[TestSpec[Unit, Unit]]
trait Serializable
trait Product
trait Equals
trait Iterable[TestSpec[Unit, Unit]]
trait IterableFactoryDefaults[TestSpec[Unit, Unit], [A] =>> Iterable[A]]
trait IterableOps[TestSpec[Unit, Unit], [A] =>> Iterable[A], Iterable[TestSpec[Unit, Unit]]]
trait IterableOnceOps[TestSpec[Unit, Unit], [A] =>> Iterable[A], Iterable[TestSpec[Unit, Unit]]]
trait IterableOnce[TestSpec[Unit, Unit]]
class Object
trait Matchable
class Any

Value members

Concrete methods

def iterator: Iterator[TestSpec[Unit, Unit]]

Inherited methods

@inline
final def ++[B >: TestSpec[Unit, Unit]](suffix: IterableOnce[B]): Iterable[B]
Inherited from
IterableOps
@inline
final def addString(b: StringBuilder): StringBuilder
Inherited from
IterableOnceOps
@inline
final def addString(b: StringBuilder, sep: String): StringBuilder
Inherited from
IterableOnceOps
def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
Inherited from
IterableOnceOps
def collect[B](pf: PartialFunction[TestSpec[Unit, Unit], B]): Iterable[B]
Inherited from
IterableOps
def collectFirst[B](pf: PartialFunction[TestSpec[Unit, Unit], B]): Option[B]
Inherited from
IterableOnceOps
def concat[B >: TestSpec[Unit, Unit]](suffix: IterableOnce[B]): Iterable[B]
Inherited from
IterableOps
def copyToArray[B >: TestSpec[Unit, Unit]](xs: Array[B], start: Int, len: Int): Int
Inherited from
IterableOnceOps
@deprecatedOverriding("This should always forward to the 3-arg version of this method", "2.13.4")
def copyToArray[B >: TestSpec[Unit, Unit]](xs: Array[B], start: Int): Int
Inherited from
IterableOnceOps
@deprecatedOverriding("This should always forward to the 3-arg version of this method", "2.13.4")
def copyToArray[B >: TestSpec[Unit, Unit]](xs: Array[B]): Int
Inherited from
IterableOnceOps
def corresponds[B](that: IterableOnce[B])(p: (TestSpec[Unit, Unit], B) => Boolean): Boolean
Inherited from
IterableOnceOps
def count(p: TestSpec[Unit, Unit] => Boolean): Int
Inherited from
IterableOnceOps
def drop(n: Int): Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def dropRight(n: Int): Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def dropWhile(p: TestSpec[Unit, Unit] => Boolean): Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
override def empty: Iterable[TestSpec[Unit, Unit]]
Definition Classes
IterableFactoryDefaults -> IterableOps
Inherited from
IterableFactoryDefaults
def exists(p: TestSpec[Unit, Unit] => Boolean): Boolean
Inherited from
IterableOnceOps
def filter(pred: TestSpec[Unit, Unit] => Boolean): Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def filterNot(pred: TestSpec[Unit, Unit] => Boolean): Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def find(p: TestSpec[Unit, Unit] => Boolean): Option[TestSpec[Unit, Unit]]
Inherited from
IterableOnceOps
def flatMap[B](f: TestSpec[Unit, Unit] => IterableOnce[B]): Iterable[B]
Inherited from
IterableOps
def flatten[B](asIterable: TestSpec[Unit, Unit] => IterableOnce[B]): Iterable[B]
Inherited from
IterableOps
def fold[A1 >: TestSpec[Unit, Unit]](z: A1)(op: (A1, A1) => A1): A1
Inherited from
IterableOnceOps
def foldLeft[B](z: B)(op: (B, TestSpec[Unit, Unit]) => B): B
Inherited from
IterableOnceOps
def foldRight[B](z: B)(op: (TestSpec[Unit, Unit], B) => B): B
Inherited from
IterableOnceOps
def forall(p: TestSpec[Unit, Unit] => Boolean): Boolean
Inherited from
IterableOnceOps
def foreach[U](f: TestSpec[Unit, Unit] => U): Unit
Inherited from
IterableOnceOps
protected def fromSpecific(coll: IterableOnce[TestSpec[Unit, Unit]]): Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableFactoryDefaults
def groupBy[K](f: TestSpec[Unit, Unit] => K): Map[K, Iterable[TestSpec[Unit, Unit]]]
Inherited from
IterableOps
def groupMap[K, B](key: TestSpec[Unit, Unit] => K)(f: TestSpec[Unit, Unit] => B): Map[K, Iterable[B]]
Inherited from
IterableOps
def groupMapReduce[K, B](key: TestSpec[Unit, Unit] => K)(f: TestSpec[Unit, Unit] => B)(reduce: (B, B) => B): Map[K, B]
Inherited from
IterableOps
def grouped(size: Int): Iterator[Iterable[TestSpec[Unit, Unit]]]
Inherited from
IterableOps
def head: TestSpec[Unit, Unit]
Inherited from
IterableOps
def headOption: Option[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def init: Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def inits: Iterator[Iterable[TestSpec[Unit, Unit]]]
Inherited from
IterableOps
def isEmpty: Boolean
Inherited from
IterableOnceOps
override def isTraversableAgain: Boolean
Definition Classes
IterableOps -> IterableOnceOps
Inherited from
IterableOps
def iterableFactory: IterableFactory[[A] =>> Iterable[A]]
Inherited from
Iterable
def knownSize: Int
Inherited from
IterableOnce
def last: TestSpec[Unit, Unit]
Inherited from
IterableOps
def lastOption: Option[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def lazyZip[B](that: Iterable[B]): LazyZip2[TestSpec[Unit, Unit], B, Properties[I]]
Inherited from
Iterable
def map[B](f: TestSpec[Unit, Unit] => B): Iterable[B]
Inherited from
IterableOps
def max[B >: TestSpec[Unit, Unit]](ord: Ordering[B]): TestSpec[Unit, Unit]
Inherited from
IterableOnceOps
def maxBy[B](f: TestSpec[Unit, Unit] => B)(cmp: Ordering[B]): TestSpec[Unit, Unit]
Inherited from
IterableOnceOps
def maxByOption[B](f: TestSpec[Unit, Unit] => B)(cmp: Ordering[B]): Option[TestSpec[Unit, Unit]]
Inherited from
IterableOnceOps
def maxOption[B >: TestSpec[Unit, Unit]](ord: Ordering[B]): Option[TestSpec[Unit, Unit]]
Inherited from
IterableOnceOps
def min[B >: TestSpec[Unit, Unit]](ord: Ordering[B]): TestSpec[Unit, Unit]
Inherited from
IterableOnceOps
def minBy[B](f: TestSpec[Unit, Unit] => B)(cmp: Ordering[B]): TestSpec[Unit, Unit]
Inherited from
IterableOnceOps
def minByOption[B](f: TestSpec[Unit, Unit] => B)(cmp: Ordering[B]): Option[TestSpec[Unit, Unit]]
Inherited from
IterableOnceOps
def minOption[B >: TestSpec[Unit, Unit]](ord: Ordering[B]): Option[TestSpec[Unit, Unit]]
Inherited from
IterableOnceOps
@inline
final def mkString: String
Inherited from
IterableOnceOps
@inline
final def mkString(sep: String): String
Inherited from
IterableOnceOps
final def mkString(start: String, sep: String, end: String): String
Inherited from
IterableOnceOps
protected def newSpecificBuilder: Builder[TestSpec[Unit, Unit], Iterable[TestSpec[Unit, Unit]]]
Inherited from
IterableFactoryDefaults
@deprecatedOverriding("nonEmpty is defined as !isEmpty; override isEmpty instead", "2.13.0")
def nonEmpty: Boolean
Inherited from
IterableOnceOps
def partition(p: TestSpec[Unit, Unit] => Boolean): (Iterable[TestSpec[Unit, Unit]], Iterable[TestSpec[Unit, Unit]])
Inherited from
IterableOps
def partitionMap[A1, A2](f: TestSpec[Unit, Unit] => Either[A1, A2]): (Iterable[A1], Iterable[A2])
Inherited from
IterableOps
def product[B >: TestSpec[Unit, Unit]](num: Numeric[B]): B
Inherited from
IterableOnceOps
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
def reduce[B >: TestSpec[Unit, Unit]](op: (B, B) => B): B
Inherited from
IterableOnceOps
def reduceLeft[B >: TestSpec[Unit, Unit]](op: (B, TestSpec[Unit, Unit]) => B): B
Inherited from
IterableOnceOps
def reduceLeftOption[B >: TestSpec[Unit, Unit]](op: (B, TestSpec[Unit, Unit]) => B): Option[B]
Inherited from
IterableOnceOps
def reduceOption[B >: TestSpec[Unit, Unit]](op: (B, B) => B): Option[B]
Inherited from
IterableOnceOps
def reduceRight[B >: TestSpec[Unit, Unit]](op: (TestSpec[Unit, Unit], B) => B): B
Inherited from
IterableOnceOps
def reduceRightOption[B >: TestSpec[Unit, Unit]](op: (TestSpec[Unit, Unit], B) => B): Option[B]
Inherited from
IterableOnceOps
protected def reversed: Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOnceOps
def scan[B >: TestSpec[Unit, Unit]](z: B)(op: (B, B) => B): Iterable[B]
Inherited from
IterableOps
def scanLeft[B](z: B)(op: (B, TestSpec[Unit, Unit]) => B): Iterable[B]
Inherited from
IterableOps
def scanRight[B](z: B)(op: (TestSpec[Unit, Unit], B) => B): Iterable[B]
Inherited from
IterableOps
def size: Int
Inherited from
IterableOnceOps
def sizeCompare(that: Iterable[_]): Int
Inherited from
IterableOps
def sizeCompare(otherSize: Int): Int
Inherited from
IterableOps
@inline
final def sizeIs: SizeCompareOps
Inherited from
IterableOps
def slice(from: Int, until: Int): Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def sliding(size: Int, step: Int): Iterator[Iterable[TestSpec[Unit, Unit]]]
Inherited from
IterableOps
def sliding(size: Int): Iterator[Iterable[TestSpec[Unit, Unit]]]
Inherited from
IterableOps
def span(p: TestSpec[Unit, Unit] => Boolean): (Iterable[TestSpec[Unit, Unit]], Iterable[TestSpec[Unit, Unit]])
Inherited from
IterableOps
override def splitAt(n: Int): (Iterable[TestSpec[Unit, Unit]], Iterable[TestSpec[Unit, Unit]])
Definition Classes
IterableOps -> IterableOnceOps
Inherited from
IterableOps
def stepper[S <: Stepper[_]](shape: StepperShape[TestSpec[Unit, Unit], S]): S
Inherited from
IterableOnce
def sum[B >: TestSpec[Unit, Unit]](num: Numeric[B]): B
Inherited from
IterableOnceOps
def tail: Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def tails: Iterator[Iterable[TestSpec[Unit, Unit]]]
Inherited from
IterableOps
def take(n: Int): Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def takeRight(n: Int): Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def takeWhile(p: TestSpec[Unit, Unit] => Boolean): Iterable[TestSpec[Unit, Unit]]
Inherited from
IterableOps
override def tapEach[U](f: TestSpec[Unit, Unit] => U): Iterable[TestSpec[Unit, Unit]]
Definition Classes
IterableOps -> IterableOnceOps
Inherited from
IterableOps
def to[C1](factory: Factory[TestSpec[Unit, Unit], C1]): C1
Inherited from
IterableOnceOps
def toArray[B >: TestSpec[Unit, Unit]](ClassTag[B]): Array[B]
Inherited from
IterableOnceOps
@inline
final def toBuffer[B >: TestSpec[Unit, Unit]]: Buffer[B]
Inherited from
IterableOnceOps
def toIndexedSeq: IndexedSeq[TestSpec[Unit, Unit]]
Inherited from
IterableOnceOps
final def toIterable: Properties[I]
Inherited from
Iterable
def toList: List[TestSpec[Unit, Unit]]
Inherited from
IterableOnceOps
def toMap[K, V](ev: TestSpec[Unit, Unit] <:< (K, V)): Map[K, V]
Inherited from
IterableOnceOps
def toSeq: Seq[TestSpec[Unit, Unit]]
Inherited from
IterableOnceOps
def toSet[B >: TestSpec[Unit, Unit]]: Set[B]
Inherited from
IterableOnceOps
override def toString(): String
Definition Classes
Iterable -> Any
Inherited from
Iterable
def toVector: Vector[TestSpec[Unit, Unit]]
Inherited from
IterableOnceOps
def transpose[B](asIterable: TestSpec[Unit, Unit] => Iterable[B]): Iterable[Iterable[B]]
Inherited from
IterableOps
def unzip[A1, A2](asPair: TestSpec[Unit, Unit] => (A1, A2)): (Iterable[A1], Iterable[A2])
Inherited from
IterableOps
def unzip3[A1, A2, A3](asTriple: TestSpec[Unit, Unit] => (A1, A2, A3)): (Iterable[A1], Iterable[A2], Iterable[A3])
Inherited from
IterableOps
def view: View[TestSpec[Unit, Unit]]
Inherited from
IterableOps
def withFilter(p: TestSpec[Unit, Unit] => Boolean): WithFilter[TestSpec[Unit, Unit], [A] =>> Iterable[A]]
Inherited from
IterableOps
def zip[B](that: IterableOnce[B]): Iterable[(TestSpec[Unit, Unit], B)]
Inherited from
IterableOps
def zipAll[A1 >: TestSpec[Unit, Unit], B](that: Iterable[B], thisElem: A1, thatElem: B): Iterable[(A1, B)]
Inherited from
IterableOps
def zipWithIndex: Iterable[(TestSpec[Unit, Unit], Int)]
Inherited from
IterableOps

Deprecated and Inherited methods

@deprecated("Use ++ instead of ++: for collections of type Iterable", "2.13.0")
def ++:[B >: TestSpec[Unit, Unit]](that: IterableOnce[B]): Iterable[B]
Deprecated
Inherited from
IterableOps
@inline @deprecated("Use foldLeft instead of /:", "2.13.0")
final def /:[B](z: B)(op: (B, TestSpec[Unit, Unit]) => B): B
Deprecated
Inherited from
IterableOnceOps
@inline @deprecated("Use foldRight instead of :\\", "2.13.0")
final def :\[B](z: B)(op: (TestSpec[Unit, Unit], B) => B): B
Deprecated
Inherited from
IterableOnceOps
@deprecated("`aggregate` is not relevant for sequential collections. Use `foldLeft(z)(seqop)` instead.", "2.13.0")
def aggregate[B](z: => B)(seqop: (B, TestSpec[Unit, Unit]) => B, combop: (B, B) => B): B
Deprecated
Inherited from
IterableOnceOps
@inline @deprecatedOverriding("Use iterableFactory instead", "2.13.0") @deprecated("Use iterableFactory instead", "2.13.0")
def companion: IterableFactory[[A] =>> Iterable[A]]
Deprecated
Inherited from
IterableOps
@inline @deprecated("Use `dest ++= coll` instead", "2.13.0")
final def copyToBuffer[B >: TestSpec[Unit, Unit]](dest: Buffer[B]): Unit
Deprecated
Inherited from
IterableOnceOps
@deprecated("Check .knownSize instead of .hasDefiniteSize for more actionable information (see scaladoc for details)", "2.13.0")
def hasDefiniteSize: Boolean
Deprecated
Inherited from
IterableOnceOps
@deprecated("Use coll instead of repr in a collection implementation, use the collection value itself from the outside", "2.13.0")
final def repr: Iterable[TestSpec[Unit, Unit]]
Deprecated
Inherited from
IterableOps
@deprecated("Iterable.seq always returns the iterable itself", "2.13.0")
def seq: Properties[I]
Deprecated
Inherited from
Iterable
@inline @deprecated("Use .iterator instead of .toIterator", "2.13.0")
final def toIterator: Iterator[TestSpec[Unit, Unit]]
Deprecated
Inherited from
IterableOnceOps
@inline @deprecated("Use .to(LazyList) instead of .toStream", "2.13.0")
final def toStream: Stream[TestSpec[Unit, Unit]]
Deprecated
Inherited from
IterableOnceOps
@deprecated("Use toIterable instead", "2.13.0")
final def toTraversable: Iterable[TestSpec[Unit, Unit]]
Deprecated
Inherited from
IterableOps
@deprecated("Use .view.slice(from, until) instead of .view(from, until)", "2.13.0")
def view(from: Int, until: Int): View[TestSpec[Unit, Unit]]
Deprecated
Inherited from
IterableOps