MatchE

Match a disjunction term of type A1 + A2 + ... + An against a list of n functions. The type of the result of each function must be the same, and will be the type of this term. This represents code of the form

term match {
  case a1: A1 ⇒ ...
  case a2: A2 ⇒ ...
  ...
  case an: An ⇒ ...
}

term: Term to be matched. Must be of disjunction type.
cases: List of "case functions" of types A1 ⇒ Z, ..., An ⇒ Z. Each "case function" must be a function of the form CurriedE(PropE(_) :: _, _), that is, with at least one argument.

Linear Supertypes

Serializable, Serializable, Product, Equals, TermExpr, AnyRef, Any

Instance Constructors

new MatchE(term: TermExpr, cases: List[TermExpr])

term
Term to be matched. Must be of disjunction type.
cases
List of "case functions" of types A1 ⇒ Z, ..., An ⇒ Z. Each "case function" must be a function of the form CurriedE(PropE(_) :: _, _), that is, with at least one argument.

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 accessor(index: Int): String

Definition Classes
TermExpr
def apply(y: TermExpr): TermExpr

Definition Classes
TermExpr
final def asInstanceOf[T0]: T0

Definition Classes
Any
val cases: List[TermExpr]

List of "case functions" of types A1 ⇒ Z, ..., An ⇒ Z.
List of "case functions" of types A1 ⇒ Z, ..., An ⇒ Z. Each "case function" must be a function of the form CurriedE(PropE(_) :: _, _), that is, with at least one argument.
def clone(): AnyRef

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

Definition Classes
AnyRef
def equiv(y: TermExpr): Boolean

Definition Classes
TermExpr
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
lazy val freeVars: Seq[String]

Definition Classes
TermExpr
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def informationLossScore: (Unit, Int, Double, Double, Int, Int)

Definition Classes
TermExpr
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
def prettyPrint: String

Definition Classes
TermExpr
def prettyRename: TermExpr

Definition Classes
TermExpr
def renameAllVars(oldAndNewNames: Map[String, String]): TermExpr

Definition Classes
TermExpr
def renameAllVars(oldNames: Seq[String], newNames: Seq[String]): TermExpr

Definition Classes
TermExpr
def simplify: TermExpr

Definition Classes
TermExpr
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def tExpr: TypeExpr

Definition Classes
MatchE → TermExpr
val term: TermExpr

Term to be matched.
Term to be matched. Must be of disjunction type.
lazy val toString: String

Definition Classes
TermExpr → AnyRef → Any
lazy val usedVars: Seq[String]

Definition Classes
TermExpr
def varCount(varName: String): Int

Definition Classes
TermExpr
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 Doc: package ch

final case class MatchE(term: TermExpr, cases: List[TermExpr]) extends TermExpr with Product with Serializable

Instance Constructors

new MatchE(term: TermExpr, cases: List[TermExpr])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def accessor(index: Int): String

def apply(y: TermExpr): TermExpr

final def asInstanceOf[T0]: T0

val cases: List[TermExpr]

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equiv(y: TermExpr): Boolean

def finalize(): Unit

lazy val freeVars: Seq[String]

final def getClass(): Class[_]

def informationLossScore: (Unit, Int, Double, Double, Int, Int)

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def prettyPrint: String

def prettyRename: TermExpr

def renameAllVars(oldAndNewNames: Map[String, String]): TermExpr

def renameAllVars(oldNames: Seq[String], newNames: Seq[String]): TermExpr

def simplify: TermExpr

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

def tExpr: TypeExpr

val term: TermExpr

lazy val toString: String

lazy val usedVars: Seq[String]

def varCount(varName: String): Int

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from TermExpr

Inherited from AnyRef

Inherited from Any

Ungrouped