WithFilter

org.scalacheck.Gen.WithFilter
final class WithFilter(p: T => Boolean)

A class supporting filtered operations.

Attributes

Source
Gen.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def flatMap[U](f: T => Gen[U]): Gen[U]

Attributes

Source
Gen.scala
def map[U](f: T => U): Gen[U]

Attributes

Source
Gen.scala
def withFilter(q: T => Boolean): WithFilter

Attributes

Source
Gen.scala