Claim

Type Members

case class And(lhs: Claim, rhs: Claim) extends Claim with Product with Serializable
case class Not(c: Claim) extends Claim with Product with Serializable
case class Or(lhs: Claim, rhs: Claim) extends Claim with Product with Serializable
case class Simple(b: Boolean, msg: String) extends Claim with Product with Serializable

ADT members follow.
ADT members follow. Other than Simple, these are all recursively-defined.
case class Xor(lhs: Claim, rhs: Claim) extends Claim with Product with Serializable

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
def apply(res: Boolean, msg: String): Claim

Factory constructor to build a claim.
Factory constructor to build a claim.
Unlike its one-argument cousin (the macro), this method does _not_ do any fancy analysis. It simply pairs a Boolean value with a String describing that expression.
Claims returns by this method are always Simple claims.
macro def apply(cond: Boolean): Prop

Transform a Boolean expression into a labeled Prop.
Transform a Boolean expression into a labeled Prop.
The contents of the expression will be analyzed, to provide more informative messages if the expression fails.
Currently this macro may evaluate sub-expressions multiple times. This means that this macro is NOT SAFE to use with impure code, since it may change evaluation order or cause multiple evaluations.
While claimant.Claim(...) is not directly configurable in any meaningful sense, it's relatively easy to define a new claimant.System and implement your own macro.
This method is Claimant's raison d'etre.
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def decompose(c: Context)(cond: scala.reflect.macros.blackbox.Context.Expr[Boolean]): scala.reflect.macros.blackbox.Context.Expr[Prop]

This method is called by the apply macro.
This method is called by the apply macro.
In turn, it calls sys.deconstruct, and then converts the result of that (a Claim) into a Prop.
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
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
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val sys: System

This System describes how we label expressions.
def toString(): String

Definition Classes
AnyRef → Any
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: class Claim | package claimant

object Claim

Type Members

case class And(lhs: Claim, rhs: Claim) extends Claim with Product with Serializable

case class Not(c: Claim) extends Claim with Product with Serializable

case class Or(lhs: Claim, rhs: Claim) extends Claim with Product with Serializable

case class Simple(b: Boolean, msg: String) extends Claim with Product with Serializable

case class Xor(lhs: Claim, rhs: Claim) extends Claim with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def apply(res: Boolean, msg: String): Claim

macro def apply(cond: Boolean): Prop

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def decompose(c: Context)(cond: scala.reflect.macros.blackbox.Context.Expr[Boolean]): scala.reflect.macros.blackbox.Context.Expr[Prop]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

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

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

val sys: System

def toString(): String

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