Fact

abstract def &&(rhs: ⇒ Fact): Fact

abstract val composite: Boolean

abstract val failureMessageArgs: IndexedSeq[Any]

abstract val midSentenceFailureMessageArgs: IndexedSeq[Any]

abstract val midSentenceNegatedFailureMessageArgs: IndexedSeq[Any]

abstract val negatedFailureMessageArgs: IndexedSeq[Any]

abstract val prettifier: Prettifier

abstract val rawFailureMessage: String

abstract val rawMidSentenceFailureMessage: String

abstract val rawMidSentenceNegatedFailureMessage: String

abstract val rawNegatedFailureMessage: String

abstract def unary_!(): Fact

Get a negated version of this Fact, sub type will be negated and all messages field will be substituted with its counter-part.

abstract def ||(rhs: ⇒ Fact): Fact

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def failureMessage: String

Construct failure message to report if a fact fails, using rawFailureMessage, failureMessageArgs and prettifier

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def midSentenceFailureMessage: String

Construct failure message suitable for appearing mid-sentence, using rawMidSentenceFailureMessage, midSentenceFailureMessageArgs and prettifier

def midSentenceNegatedFailureMessage: String

Construct negated failure message suitable for appearing mid-sentence, using rawMidSentenceNegatedFailureMessage, midSentenceNegatedFailureMessageArgs and prettifier

final def ne(arg0: AnyRef): Boolean

def negatedFailureMessage: String

Construct message with a meaning opposite to that of the failure message, using rawNegatedFailureMessage, negatedFailureMessageArgs and prettifier

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit