catalysts.speclite

Prop

object Prop

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Prop
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

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

    A property argument

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

    Evaluating the property raised an exception

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

    The result of evaluating a property

  4. sealed trait Status extends AnyRef

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object False extends Status with Product with Serializable

  7. object Proof extends Status with Product with Serializable

  8. object True extends Status with Product with Serializable

  9. object Undecided extends Status with Product with Serializable

  10. def all(ps: Prop*): Prop

  11. def apply(b: Boolean): Prop

  12. def apply(r: Result): Prop

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

  14. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  15. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  16. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  17. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  18. def exception(e: Throwable): Prop

  19. lazy val exception: Prop

  20. lazy val falsified: Prop

  21. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  22. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  23. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  24. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  25. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  26. final def notify(): Unit

    Definition Classes
    AnyRef

  27. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  28. lazy val passed: Prop

  29. implicit def propBoolean(b: Boolean): Prop

  30. lazy val proved: Prop

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

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

    Definition Classes
    AnyRef

  33. def toString(): String

    Definition Classes
    AnyRef → Any

  34. lazy val undecided: Prop

  35. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  37. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped