patmat

Type Members

trait CNF extends PropositionalLogic

Definition Classes
Solving
trait CheckableTreeAndTypeAnalysis extends AnyRef

Definition Classes
TreeAndTypeAnalysis
trait CodegenCore extends MatchMonadInterface

Definition Classes
MatchCodeGen
trait CommonSubconditionElimination extends OptimizedCodegen with MatchApproximator

Definition Classes
MatchOptimization
trait MatchAnalyzer extends MatchApproximator

Definition Classes
MatchAnalysis
trait MatchApproximator extends TreeMakers with TreesAndTypesDomain

Represent a match as a formula in propositional logic that encodes whether the match matches (abstractly: we only consider types)
trait MatchMonadInterface extends AnyRef

Interface with user-defined match monad? if there's a __match in scope, we use this as the match strategy, assuming it conforms to MatchStrategy as defined below:
trait MatchOptimizer extends OptimizedCodegen with SwitchEmission with CommonSubconditionElimination

Definition Classes
MatchOptimization
class MatchTransformer extends TypingTransformer

Definition Classes
PatternMatching
trait MatchTranslator extends PatternMatching.TreeMakers with PatternMatching.TreeMakerWarnings

Definition Classes
MatchTranslation
trait OptimizedCodegen extends CodegenCore with TypedSubstitution with MatchMonadInterface

Definition Classes
MatchCodeGen
class OptimizingMatchTranslator extends MatchTranslator with MatchOptimizer with MatchAnalyzer with Solver

Definition Classes
PatternMatching
class Phase extends StdPhase

The phase defined by this transform
trait PropositionalLogic extends AnyRef

Definition Classes
Logic
trait PureCodegen extends CodegenCore with PureMatchMonadInterface

Definition Classes
MatchCodeGen
trait PureMatchMonadInterface extends MatchMonadInterface

Definition Classes
MatchCodeGen
class PureMatchTranslator extends MatchTranslator with PureCodegen

Definition Classes
PatternMatching
trait Solver extends CNF

Definition Classes
Solving
abstract class StdPhase extends GlobalPhase

A standard phase template
final case class Suppression(exhaustive: Boolean, unreachable: Boolean) extends Product with Serializable

Definition Classes
MatchTreeMaking
trait SwitchEmission extends TreeMakers with MatchMonadInterface

Definition Classes
MatchOptimization
trait TreeMakerWarnings extends AnyRef

Definition Classes
MatchWarnings
trait TreeMakers extends TypedSubstitution with CodegenCore

Definition Classes
MatchTreeMaking
trait TreesAndTypesDomain extends PropositionalLogic with CheckableTreeAndTypeAnalysis

Definition Classes
ScalaLogic
trait TypedSubstitution extends MatchMonadInterface

Definition Classes
Interface
abstract class TypingTransformer extends Global.Transformer

Definition Classes
TypingTransformers

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
final def ==(arg0: AnyRef): Boolean

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

Definition Classes
Any
object CODE

Definition Classes
TreeDSL
object Suppression extends Serializable

Definition Classes
MatchTreeMaking
final def afterOwnPhase[T](op: ⇒ T): T

Definition Classes
SubComponent
Annotations
@inline()
def alignAcrossRows(xss: List[List[AnyRef]], sep: String, lineSep: String = "\n"): String

Definition Classes
Logic
final def asInstanceOf[T0]: T0

Definition Classes
Any
final def beforeOwnPhase[T](op: ⇒ T): T

Definition Classes
SubComponent
Annotations
@inline()
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def dealiasWiden(tp: Global.Type): Global.Type

Attributes
protected
Definition Classes
Interface
object debug

Definition Classes
Debugging
def enabled: Boolean

Is this component enabled? Default is true.
Is this component enabled? Default is true.

Definition Classes
SubComponent
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
val global: Global.this.type

The global environment; overridden by instantiation in Global.
The global environment; overridden by instantiation in Global.

Definition Classes
patmat → TreeDSL → Debugging → TypingTransformers → SubComponent
final def hasStableSymbol(p: Global.Tree): Boolean

Attributes
protected
Definition Classes
Interface
def hashCode(): Int

SubComponent are added to a HashSet and two phases are the same if they have the same name
SubComponent are added to a HashSet and two phases are the same if they have the same name

Definition Classes
SubComponent → AnyRef → Any
val initial: Boolean

True if this phase runs before all other phases.
True if this phase runs before all other phases. Usually, parser.

Definition Classes
SubComponent
def instanceOfTpImplies(tp: Global.Type, tpImplied: Global.Type): Boolean

Definition Classes
TreeAndTypeAnalysis
val internal: Boolean

True if this phase is not provided by a plug-in.
True if this phase is not provided by a plug-in.

Definition Classes
SubComponent
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def mkFALSE: Global.Literal

Attributes
protected
Definition Classes
Interface
final def mkTRUE: Global.Literal

Attributes
protected
Definition Classes
Interface
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def newPhase(prev: nsc.Phase): StdPhase

Create a new phase which applies transformer
Create a new phase which applies transformer

Definition Classes
Transform → SubComponent
def newTransformer(unit: Global.CompilationUnit): Global.Transformer

The transformer factory
The transformer factory

Definition Classes
PatternMatching → Transform
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def ownPhase: nsc.Phase

The phase corresponding to this subcomponent in the current compiler run
The phase corresponding to this subcomponent in the current compiler run

Definition Classes
SubComponent
val phaseName: String

The name of the phase
The name of the phase

Definition Classes
PatternMatching → SubComponent
def phaseNewFlags: Long

New flags defined by the phase which are not valid before
New flags defined by the phase which are not valid before

Definition Classes
SubComponent
def phaseNextFlags: Long

New flags defined by the phase which are not valid until immediately after it
New flags defined by the phase which are not valid until immediately after it

Definition Classes
SubComponent
def removeCPSFromPt(pt: Global.Type): Global.Type

Definition Classes
MatchCps
val requires: List[String]

Names of phases required by this component.
Names of phases required by this component. Default is Nil.

Definition Classes
SubComponent
val runsAfter: collection.immutable.List[String]

Names of phases that must run before this phase.
Names of phases that must run before this phase.

Definition Classes
patmat → SubComponent
val runsBefore: List[String]

Names of phases that must run after this phase.
Names of phases that must run after this phase. Default is Nil.

Definition Classes
SubComponent
val runsRightAfter: None.type

Name of the phase that this phase must follow immediately.
Name of the phase that this phase must follow immediately.

Definition Classes
patmat → SubComponent
def sameValue(a: Global.Tree, b: Global.Tree): Boolean

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

Definition Classes
AnyRef
val terminal: Boolean

True if this phase runs after all other phases.
True if this phase runs after all other phases. Usually, terminal.

Definition Classes
SubComponent
def toString(): String

Definition Classes
AnyRef → Any
object vpmName

Definition Classes
Interface
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( ... )

object patmat extends SubComponent with PatternMatching

Type Members

trait CNF extends PropositionalLogic

trait CheckableTreeAndTypeAnalysis extends AnyRef

trait CodegenCore extends MatchMonadInterface

trait CommonSubconditionElimination extends OptimizedCodegen with MatchApproximator

trait MatchAnalyzer extends MatchApproximator

trait MatchApproximator extends TreeMakers with TreesAndTypesDomain

trait MatchMonadInterface extends AnyRef

trait MatchOptimizer extends OptimizedCodegen with SwitchEmission with CommonSubconditionElimination

class MatchTransformer extends TypingTransformer

trait MatchTranslator extends PatternMatching.TreeMakers with PatternMatching.TreeMakerWarnings

trait OptimizedCodegen extends CodegenCore with TypedSubstitution with MatchMonadInterface

class OptimizingMatchTranslator extends MatchTranslator with MatchOptimizer with MatchAnalyzer with Solver

class Phase extends StdPhase

trait PropositionalLogic extends AnyRef

trait PureCodegen extends CodegenCore with PureMatchMonadInterface

trait PureMatchMonadInterface extends MatchMonadInterface

class PureMatchTranslator extends MatchTranslator with PureCodegen

trait Solver extends CNF

abstract class StdPhase extends GlobalPhase

final case class Suppression(exhaustive: Boolean, unreachable: Boolean) extends Product with Serializable

trait SwitchEmission extends TreeMakers with MatchMonadInterface

trait TreeMakerWarnings extends AnyRef

trait TreeMakers extends TypedSubstitution with CodegenCore

trait TreesAndTypesDomain extends PropositionalLogic with CheckableTreeAndTypeAnalysis

trait TypedSubstitution extends MatchMonadInterface

abstract class TypingTransformer extends Global.Transformer

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

object CODE

object Suppression extends Serializable

final def afterOwnPhase[T](op: ⇒ T): T

def alignAcrossRows(xss: List[List[AnyRef]], sep: String, lineSep: String = "\n"): String

final def asInstanceOf[T0]: T0

final def beforeOwnPhase[T](op: ⇒ T): T

def clone(): AnyRef

final def dealiasWiden(tp: Global.Type): Global.Type

object debug

def enabled: Boolean

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

val global: Global.this.type

final def hasStableSymbol(p: Global.Tree): Boolean

def hashCode(): Int

val initial: Boolean

def instanceOfTpImplies(tp: Global.Type, tpImplied: Global.Type): Boolean

val internal: Boolean

final def isInstanceOf[T0]: Boolean

final def mkFALSE: Global.Literal

final def mkTRUE: Global.Literal

final def ne(arg0: AnyRef): Boolean

def newPhase(prev: nsc.Phase): StdPhase

def newTransformer(unit: Global.CompilationUnit): Global.Transformer

final def notify(): Unit

final def notifyAll(): Unit

def ownPhase: nsc.Phase

val phaseName: String

def phaseNewFlags: Long

def phaseNextFlags: Long

def removeCPSFromPt(pt: Global.Type): Global.Type

val requires: List[String]

val runsAfter: collection.immutable.List[String]

val runsBefore: List[String]

val runsRightAfter: None.type

def sameValue(a: Global.Tree, b: Global.Tree): Boolean

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

val terminal: Boolean

def toString(): String

object vpmName

final def wait(): Unit

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

final def wait(arg0: Long): Unit