ScalaCheck 1.2
org.scalacheck

class Gen
[source: org/scalacheck/Gen.scala]
class Gen[+T](g : (Params) => scala.Option[T])
extends AnyRef
Class that represents a generator.
Direct Known Subclasses:
Prop
Value Summary
var label : java.lang.String
Method Summary
def != [U](g : Gen[U]) : Prop
def !== [U](g : Gen[U]) : Prop
def == [U](g : Gen[U]) : Prop
Returns a new property that holds if and only if both this and the given generator generates the same result.
def === [U](g : Gen[U]) : Prop
Returns a new property that holds if and only if both this and the given generator generates the same result, or both generators generate no result.
def ap [U](g : Gen[(T) => U]) : Gen[U]
def apply (prms : Params) : scala.Option[T]
def combine [U, V](g : Gen[U])(f : (scala.Option[T], scala.Option[U]) => scala.Option[V]) : Gen[V]
def combine3 [U, V, W](gu : Gen[U], gv : Gen[V])(f : (scala.Option[T], scala.Option[U], scala.Option[V]) => scala.Option[W]) : Gen[W]
def combine4 [U, V, W, X](gu : Gen[U], gv : Gen[V], gw : Gen[W])(f : (scala.Option[T], scala.Option[U], scala.Option[V], scala.Option[W]) => scala.Option[X]) : Gen[X]
def combine5 [U, V, W, X, Y](gu : Gen[U], gv : Gen[V], gw : Gen[W], gx : Gen[X])(f : (scala.Option[T], scala.Option[U], scala.Option[V], scala.Option[W], scala.Option[X]) => scala.Option[Y]) : Gen[Y]
def combine6 [U, V, W, X, Y, Z](gu : Gen[U], gv : Gen[V], gw : Gen[W], gx : Gen[X], gy : Gen[Y])(f : (scala.Option[T], scala.Option[U], scala.Option[V], scala.Option[W], scala.Option[X], scala.Option[Y]) => scala.Option[Z]) : Gen[Z]
def filter (p : (T) => Boolean) : Gen[T]
def flatMap [U](f : (T) => Gen[U]) : Gen[U]
def label (l : java.lang.String) : Gen[T]
def map [U](f : (T) => U) : Gen[U]
def map2 [U, V](g : Gen[U])(f : (T, U) => V) : Gen[V]
def map3 [U, V, W](gu : Gen[U], gv : Gen[V])(f : (T, U, V) => W) : Gen[W]
def map4 [U, V, W, X](gu : Gen[U], gv : Gen[V], gw : Gen[W])(f : (T, U, V, W) => X) : Gen[X]
def map5 [U, V, W, X, Y](gu : Gen[U], gv : Gen[V], gw : Gen[W], gx : Gen[X])(f : (T, U, V, W, X) => Y) : Gen[Y]
def map6 [U, V, W, X, Y, Z](gu : Gen[U], gv : Gen[V], gw : Gen[W], gx : Gen[X], gy : Gen[Y])(f : (T, U, V, W, X, Y) => Z) : Gen[Z]
def sample : scala.Option[T]
Generates a sample value by using default parameters
def suchThat (p : (T) => Boolean) : Gen[T]
override def toString : java.lang.String
Methods inherited from AnyRef
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
var label : java.lang.String
Method Details
def label(l : java.lang.String) : Gen[T]
def apply(prms : Params) : scala.Option[T]
def map[U](f : (T) => U) : Gen[U]
def map2[U, V](g : Gen[U])(f : (T, U) => V) : Gen[V]
def map3[U, V, W](gu : Gen[U], gv : Gen[V])(f : (T, U, V) => W) : Gen[W]
def map4[U, V, W, X](gu : Gen[U], gv : Gen[V], gw : Gen[W])(f : (T, U, V, W) => X) : Gen[X]
def map5[U, V, W, X, Y](gu : Gen[U], gv : Gen[V], gw : Gen[W], gx : Gen[X])(f : (T, U, V, W, X) => Y) : Gen[Y]
def map6[U, V, W, X, Y, Z](gu : Gen[U], gv : Gen[V], gw : Gen[W], gx : Gen[X], gy : Gen[Y])(f : (T, U, V, W, X, Y) => Z) : Gen[Z]
def flatMap[U](f : (T) => Gen[U]) : Gen[U]
def filter(p : (T) => Boolean) : Gen[T]
def suchThat(p : (T) => Boolean) : Gen[T]
def combine[U, V](g : Gen[U])(f : (scala.Option[T], scala.Option[U]) => scala.Option[V]) : Gen[V]
def combine3[U, V, W](gu : Gen[U], gv : Gen[V])(f : (scala.Option[T], scala.Option[U], scala.Option[V]) => scala.Option[W]) : Gen[W]
def combine4[U, V, W, X](gu : Gen[U], gv : Gen[V], gw : Gen[W])(f : (scala.Option[T], scala.Option[U], scala.Option[V], scala.Option[W]) => scala.Option[X]) : Gen[X]
def combine5[U, V, W, X, Y](gu : Gen[U], gv : Gen[V], gw : Gen[W], gx : Gen[X])(f : (scala.Option[T], scala.Option[U], scala.Option[V], scala.Option[W], scala.Option[X]) => scala.Option[Y]) : Gen[Y]
def combine6[U, V, W, X, Y, Z](gu : Gen[U], gv : Gen[V], gw : Gen[W], gx : Gen[X], gy : Gen[Y])(f : (scala.Option[T], scala.Option[U], scala.Option[V], scala.Option[W], scala.Option[X], scala.Option[Y]) => scala.Option[Z]) : Gen[Z]
def ap[U](g : Gen[(T) => U]) : Gen[U]
override def toString : java.lang.String
def ==[U](g : Gen[U]) : Prop
Returns a new property that holds if and only if both this and the given generator generates the same result.
def ===[U](g : Gen[U]) : Prop
Returns a new property that holds if and only if both this and the given generator generates the same result, or both generators generate no result.
def !=[U](g : Gen[U]) : Prop
def !==[U](g : Gen[U]) : Prop
def sample : scala.Option[T]
Generates a sample value by using default parameters
ScalaCheck 1.2