Prop

Type Members

case class Arg[+T](label: String, arg: T, shrinks: Int, origArg: T, prettyArg: Pretty, prettyOrigArg: Pretty) extends Product with Serializable

A property argument
sealed case class Exception(e: Throwable) extends Status with Product with Serializable

Evaluating the property raised an exception
case class Result(status: Status, args: List[Arg[Any]] = Nil, collected: Set[Any] = Set.empty, labels: Set[String] = Set.empty) extends Product with Serializable

The result of evaluating a property
sealed trait Status extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object False extends Status with Product with Serializable
object Proof extends Status with Product with Serializable
object True extends Status with Product with Serializable
object Undecided extends Status with Product with Serializable
def all(ps: Prop*): Prop
def apply(b: Boolean): Prop
def apply(r: Result): Prop
def apply(f: (Parameters) ⇒ Result): Prop
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def exception(e: Throwable): Prop
lazy val exception: Prop
lazy val falsified: Prop
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
lazy val passed: Prop
implicit def propBoolean(b: Boolean): Prop
lazy val proved: Prop
def secure[P](p: ⇒ P)(implicit ev: (P) ⇒ Prop): Prop
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
lazy val undecided: Prop
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: trait Prop | package speclite

object Prop

Type Members

case class Arg[+T](label: String, arg: T, shrinks: Int, origArg: T, prettyArg: Pretty, prettyOrigArg: Pretty) extends Product with Serializable

sealed case class Exception(e: Throwable) extends Status with Product with Serializable

case class Result(status: Status, args: List[Arg[Any]] = Nil, collected: Set[Any] = Set.empty, labels: Set[String] = Set.empty) extends Product with Serializable

sealed trait Status extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object False extends Status with Product with Serializable

object Proof extends Status with Product with Serializable

object True extends Status with Product with Serializable

object Undecided extends Status with Product with Serializable

def all(ps: Prop*): Prop

def apply(b: Boolean): Prop

def apply(r: Result): Prop

def apply(f: (Parameters) ⇒ Result): Prop

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def exception(e: Throwable): Prop

lazy val exception: Prop

lazy val falsified: Prop

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

lazy val passed: Prop

implicit def propBoolean(b: Boolean): Prop

lazy val proved: Prop

def secure[P](p: ⇒ P)(implicit ev: (P) ⇒ Prop): Prop

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

def toString(): String

lazy val undecided: Prop

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped