MatchMatrix

Instance Constructors

new MatchMatrix(context: MatrixContext)

Type Members

case class FinalState(bx: Int, params: List[Symbol], body: Tree) extends State with Product with Serializable
case class LiteralState(bx: Int, params: List[Symbol], body: Tree) extends State with Product with Serializable
class MixEquals extends RuleApplication
class MixLiteralInts extends RuleApplication
sealed class MixSequence extends RuleApplication

Handle Sequence patterns (including Star patterns.
class MixTypes extends RuleApplication

Mixture rule for type tests.
class MixUnapply extends RuleApplication

mixture rule for unapply pattern
case class PatternMatch(scrut: Scrutinee, ps: List[Pattern]) extends Product with Serializable
class PatternSwitch extends PatternMatch
case class Rep(tvars: PatternVarGroup, rows: List[Row]) extends Product with Serializable
case class Row(pats: List[Pattern], subst: Bindings, guard: Tree, bx: Int) extends Product with Serializable

* States, Rows, Etc.
sealed abstract class RuleApplication extends AnyRef

*** Rule Applications ****
class Scrutinee extends AnyRef

Encapsulates a symbol being matched on.
abstract class State extends AnyRef
case class VariableRule(subst: Bindings, guard: Tree, guardedRest: Rep, bx: Int) extends RuleApplication with Product with Serializable

VariableRule: The top-most rows has only variable (non-constructor) patterns.

Abstract Value Members

abstract def data: MatrixInit

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

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

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from MatchMatrix to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (MatchMatrix, B)

Implicit information
This member is added by an implicit conversion from MatchMatrix to ArrowAssoc[MatchMatrix] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: AnyRef): Boolean

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

Definition Classes
Any
final def addOuterCondition(cond: Tree, tpe2test: Type, scrut: Tree): Tree

adds a test comparing the dynamic outer to the static outer
final def asInstanceOf[T0]: T0

Definition Classes
Any
lazy val cases: List[CaseDef]
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
final def condition(tpe: Type, scrutTree: Tree, isBound: Boolean): Tree
final def condition(tpe: Type, scrut: Scrutinee, isBound: Boolean): Tree

returns the condition in "if (cond) k1 else k2"
val context: MatrixContext
def createLabelDef(namePrefix: String, body: Tree, params: List[Symbol] = Nil, restpe: Type = matchResultType): LabelDef
final def createShortCut(theLabel: Symbol): Int
def ensuring(cond: (MatchMatrix) ⇒ Boolean, msg: ⇒ Any): MatchMatrix

Implicit information
This member is added by an implicit conversion from MatchMatrix to Ensuring[MatchMatrix] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (MatchMatrix) ⇒ Boolean): MatchMatrix

Implicit information
This member is added by an implicit conversion from MatchMatrix to Ensuring[MatchMatrix] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): MatchMatrix

Implicit information
This member is added by an implicit conversion from MatchMatrix to Ensuring[MatchMatrix] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): MatchMatrix

Implicit information
This member is added by an implicit conversion from MatchMatrix to Ensuring[MatchMatrix] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
final def expand(roots: List[PatternVar], cases: List[CaseDef]): List[(Row, Product with Serializable with State)]

Expands the patterns recursively.
lazy val expansion: Rep
lazy val failTree: Tree
def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from MatchMatrix to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
def isPatternSwitch(scrut: Scrutinee, ps: List[Pattern]): Option[PatternSwitch]
final def make(roots1: PatternVarGroup, rows1: List[Row]): Rep

This is the recursively focal point for translating the current list of pattern variables and a list of pattern match rows into a tree suitable for entering erasure.
This is the recursively focal point for translating the current list of pattern variables and a list of pattern match rows into a tree suitable for entering erasure.
The first time it is called, the variables are (copies of) the original pattern matcher roots, and the rows correspond to the original casedefs.
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 optimize(tree: Tree): Tree

Definition Classes
MatchMatrixOptimizer
lazy val roots: List[PatternVar]
lazy val rows: List[Row]
val self: Any

Implicit information
This member is added by an implicit conversion from MatchMatrix to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
val self: Any

Implicit information
This member is added by an implicit conversion from MatchMatrix to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
lazy val targets: List[Product with Serializable with State]
def toString(): String

Definition Classes
MatchMatrix → 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()
def →[B](y: B): (MatchMatrix, B)

Implicit information
This member is added by an implicit conversion from MatchMatrix to ArrowAssoc[MatchMatrix] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Deprecated Value Members

def x: MatchMatrix

Implicit information
This member is added by an implicit conversion from MatchMatrix to ArrowAssoc[MatchMatrix] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use leftOfArrow instead
def x: MatchMatrix

Implicit information
This member is added by an implicit conversion from MatchMatrix to Ensuring[MatchMatrix] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

abstract class MatchMatrix extends MatchMatrixOptimizer with MatrixExhaustiveness

Instance Constructors

new MatchMatrix(context: MatrixContext)

Type Members

case class FinalState(bx: Int, params: List[Symbol], body: Tree) extends State with Product with Serializable

case class LiteralState(bx: Int, params: List[Symbol], body: Tree) extends State with Product with Serializable

class MixEquals extends RuleApplication

class MixLiteralInts extends RuleApplication

sealed class MixSequence extends RuleApplication

class MixTypes extends RuleApplication

class MixUnapply extends RuleApplication

case class PatternMatch(scrut: Scrutinee, ps: List[Pattern]) extends Product with Serializable

class PatternSwitch extends PatternMatch

case class Rep(tvars: PatternVarGroup, rows: List[Row]) extends Product with Serializable

case class Row(pats: List[Pattern], subst: Bindings, guard: Tree, bx: Int) extends Product with Serializable

sealed abstract class RuleApplication extends AnyRef

class Scrutinee extends AnyRef

abstract class State extends AnyRef

case class VariableRule(subst: Bindings, guard: Tree, guardedRest: Rep, bx: Int) extends RuleApplication with Product with Serializable

Abstract Value Members

abstract def data: MatrixInit

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (MatchMatrix, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def addOuterCondition(cond: Tree, tpe2test: Type, scrut: Tree): Tree

final def asInstanceOf[T0]: T0

lazy val cases: List[CaseDef]

def clone(): AnyRef

final def condition(tpe: Type, scrutTree: Tree, isBound: Boolean): Tree

final def condition(tpe: Type, scrut: Scrutinee, isBound: Boolean): Tree

val context: MatrixContext

def createLabelDef(namePrefix: String, body: Tree, params: List[Symbol] = Nil, restpe: Type = matchResultType): LabelDef

final def createShortCut(theLabel: Symbol): Int

def ensuring(cond: (MatchMatrix) ⇒ Boolean, msg: ⇒ Any): MatchMatrix

def ensuring(cond: (MatchMatrix) ⇒ Boolean): MatchMatrix

def ensuring(cond: Boolean, msg: ⇒ Any): MatchMatrix

def ensuring(cond: Boolean): MatchMatrix

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def expand(roots: List[PatternVar], cases: List[CaseDef]): List[(Row, Product with Serializable with State)]

lazy val expansion: Rep

lazy val failTree: Tree

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def isPatternSwitch(scrut: Scrutinee, ps: List[Pattern]): Option[PatternSwitch]

final def make(roots1: PatternVarGroup, rows1: List[Row]): Rep

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def optimize(tree: Tree): Tree

lazy val roots: List[PatternVar]

lazy val rows: List[Row]

val self: Any

val self: Any

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

lazy val targets: List[Product with Serializable with State]

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def →[B](y: B): (MatchMatrix, B)

Deprecated Value Members

def x: MatchMatrix

def x: MatchMatrix

Inherited from MatrixExhaustiveness

Inherited from MatchMatrixOptimizer

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringfmt from MatchMatrix to StringFormat

Inherited by implicit conversion any2stringadd from MatchMatrix to StringAdd

Inherited by implicit conversion any2ArrowAssoc from MatchMatrix to ArrowAssoc[MatchMatrix]