Typers

Type Members

trait Adaptation extends AnyRef
trait CodegenCore extends MatchMonadInterface
trait CommonSubconditionElimination extends TreeMakerApproximation
trait DeadCodeElimination extends TreeMakers
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 MatchOptimizations extends CommonSubconditionElimination with DeadCodeElimination with SwitchEmission with OptimizedCodegen
trait MatchTranslation extends MatchMonadInterface
trait OptimizedCodegen extends CodegenCore with TypedSubstitution with OptimizedMatchMonadInterface
trait OptimizedMatchMonadInterface extends MatchMonadInterface
class OptimizingMatchTranslator extends MatchTranslation with TreeMakers with MatchOptimizations
trait PureCodegen extends CodegenCore with PureMatchMonadInterface
trait PureMatchMonadInterface extends MatchMonadInterface
class PureMatchTranslator extends MatchTranslation with TreeMakers with PureCodegen
sealed abstract class SilentResult[+T] extends AnyRef
case class SilentResultValue[+T](value: T) extends SilentResult[T] with Product with Serializable
case class SilentTypeError(err: AbsTypeError) extends SilentResult[Nothing] with Product with Serializable
trait SwitchEmission extends TreeMakers with OptimizedMatchMonadInterface
trait Tagging extends AnyRef
trait TreeMakerApproximation extends TreeMakers
trait TreeMakers extends TypedSubstitution
trait TypedSubstitution extends MatchMonadInterface
abstract class Typer extends TyperDiagnostics with Adaptation with Tagging with TyperContextErrors

Abstract Value Members

abstract val global: Global

Definition Classes
TreeDSL

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 Typers to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (Typers, B)

Implicit information
This member is added by an implicit conversion from Typers to ArrowAssoc[Typers] 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 val ALTmode: Int(8192)

ALTmode is set when we are under a pattern alternative.
ALTmode is set when we are under a pattern alternative.

Definition Classes
Modes
final val BYVALmode: Int(32768)

BYVALmode is set when we are typing an expression that occurs in a by-value position.
BYVALmode is set when we are typing an expression that occurs in a by-value position. An expression e1 is in by-value position within expression e2 iff it will be reduced to a value at that position during the evaluation of e2. Examples are by-value function arguments or the conditional of an if-then-else clause. This mode has been added to support continuations.

Definition Classes
Modes
object CODE extends AnyRef
final val EXPRmode: Int(1)

Definition Classes
Modes
final val FUNmode: Int(16)

FUNmode is orthogonal to above.
FUNmode is orthogonal to above. When set we are looking for a method or constructor.

Definition Classes
Modes
final val HKmode: Int(16384)

HKmode is set when we are typing a higher-kinded type.
HKmode is set when we are typing a higher-kinded type. adapt should then check kind-arity based on the prototypical type's kind arity. Type arguments should not be inferred.

Definition Classes
Modes
final val LHSmode: Int(1024)

LHSmode is set for the left-hand side of an assignment.
LHSmode is set for the left-hand side of an assignment.

Definition Classes
Modes
object MatchTranslator extends AnyRef
final val NOmode: Int(0)

NOmode, EXPRmode and PATTERNmode are mutually exclusive.
NOmode, EXPRmode and PATTERNmode are mutually exclusive.

Definition Classes
Modes
final val PATTERNmode: Int(2)

Definition Classes
Modes
final val POLYmode: Int(32)

POLYmode is orthogonal to above.
POLYmode is orthogonal to above. When set expression types can be polymorphic.

Definition Classes
Modes
final val QUALmode: Int(64)

QUALmode is orthogonal to above.
QUALmode is orthogonal to above. When set expressions may be packages and Java statics modules.

Definition Classes
Modes
final val SCCmode: Int(8)

SCCmode is orthogonal to above.
SCCmode is orthogonal to above. When set we are in the this or super constructor call of a constructor.

Definition Classes
Modes
final val SNDTRYmode: Int(512)

SNDTRYmode indicates that an application is typed for the 2nd time.
SNDTRYmode indicates that an application is typed for the 2nd time. In that case functions may no longer be coerced with implicit views.

Definition Classes
Modes
final val STARmode: Int(4096)

STARmode is set when star patterns are allowed.
STARmode is set when star patterns are allowed. (This was formerly called REGPATmode.)

Definition Classes
Modes
final val SUPERCONSTRmode: Int(256)

SUPERCONSTRmode is set for the super in a superclass constructor call super.
SUPERCONSTRmode is set for the super in a superclass constructor call super.<init>.

Definition Classes
Modes
val SYNTH_CASE: Int

Definition Classes
PatMatVirtualiser
final val TAPPmode: Int(128)

TAPPmode is set for the function/type constructor part of a type application.
TAPPmode is set for the function/type constructor part of a type application. When set we do not decompose PolyTypes.

Definition Classes
Modes
final val TYPEPATmode: Int(65536)

TYPEPATmode is set when we are typing a type in a pattern.
TYPEPATmode is set when we are typing a type in a pattern.

Definition Classes
Modes
final val TYPEmode: Int(4)

TYPEmode needs a comment.
TYPEmode needs a comment. <-- XXX.

Definition Classes
Modes
object UnTyper extends Traverser
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def ensuring(cond: (Typers) ⇒ Boolean, msg: ⇒ Any): Typers

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

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

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

Implicit information
This member is added by an implicit conversion from Typers to Ensuring[Typers] 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
def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
final def forArgMode(fun: Tree, mode: Int): Int
final def forFunMode(mode: Int): Int

Definition Classes
Modes
final def forTypeMode(mode: Int): Int

Definition Classes
Modes
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from Typers 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 inAllModes(mode: Int, required: Int): Boolean

Definition Classes
Modes
final def inAnyMode(mode: Int, required: Int): Boolean

Definition Classes
Modes
final def inExprModeButNot(mode: Int, prohibited: Int): Boolean

Definition Classes
Modes
final def inFunMode(mode: Int): Boolean

Definition Classes
Modes
final def inHKMode(mode: Int): Boolean

Definition Classes
Modes
final def inNoModes(mode: Int, prohibited: Int): Boolean

Definition Classes
Modes
final def inPatternMode(mode: Int): Boolean

Definition Classes
Modes
final def inPolyMode(mode: Int): Boolean

Definition Classes
Modes
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def modeString(mode: Int): String

Definition Classes
Modes
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def newTyper(context: Context): Typer
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def onlyStickyModes(mode: Int): Int

Definition Classes
Modes
def resetTyper(): Unit
val self: Any

Implicit information
This member is added by an implicit conversion from Typers 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 Typers to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
final val shortenImports: Boolean(false)
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
val transformed: HashMap[Tree, Tree]
object vpmName extends AnyRef
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): (Typers, B)

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

Deprecated Value Members

def x: Typers

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

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

Inherited from PatMatVirtualiser

Inherited from TreeDSL

Inherited from Taggings

Inherited from Adaptations

Inherited from Modes

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringfmt from Typers to StringFormat

Inherited by implicit conversion any2stringadd from Typers to StringAdd

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

Inherited by implicit conversion any2Ensuring from Typers to Ensuring[Typers]

trait Typers extends Modes with Adaptations with Taggings with PatMatVirtualiser

Type Members

trait Adaptation extends AnyRef

trait CodegenCore extends MatchMonadInterface

trait CommonSubconditionElimination extends TreeMakerApproximation

trait DeadCodeElimination extends TreeMakers

trait MatchMonadInterface extends AnyRef

trait MatchOptimizations extends CommonSubconditionElimination with DeadCodeElimination with SwitchEmission with OptimizedCodegen

trait MatchTranslation extends MatchMonadInterface

trait OptimizedCodegen extends CodegenCore with TypedSubstitution with OptimizedMatchMonadInterface

trait OptimizedMatchMonadInterface extends MatchMonadInterface

class OptimizingMatchTranslator extends MatchTranslation with TreeMakers with MatchOptimizations

trait PureCodegen extends CodegenCore with PureMatchMonadInterface

trait PureMatchMonadInterface extends MatchMonadInterface

class PureMatchTranslator extends MatchTranslation with TreeMakers with PureCodegen

sealed abstract class SilentResult[+T] extends AnyRef

case class SilentResultValue[+T](value: T) extends SilentResult[T] with Product with Serializable

case class SilentTypeError(err: AbsTypeError) extends SilentResult[Nothing] with Product with Serializable

trait SwitchEmission extends TreeMakers with OptimizedMatchMonadInterface

trait Tagging extends AnyRef

trait TreeMakerApproximation extends TreeMakers

trait TreeMakers extends TypedSubstitution

trait TypedSubstitution extends MatchMonadInterface

abstract class Typer extends TyperDiagnostics with Adaptation with Tagging with TyperContextErrors

Abstract Value Members

abstract val global: Global

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

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

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final val ALTmode: Int(8192)

final val BYVALmode: Int(32768)

object CODE extends AnyRef

final val EXPRmode: Int(1)

final val FUNmode: Int(16)

final val HKmode: Int(16384)

final val LHSmode: Int(1024)

object MatchTranslator extends AnyRef

final val NOmode: Int(0)

final val PATTERNmode: Int(2)

final val POLYmode: Int(32)

final val QUALmode: Int(64)

final val SCCmode: Int(8)

final val SNDTRYmode: Int(512)

final val STARmode: Int(4096)

final val SUPERCONSTRmode: Int(256)

val SYNTH_CASE: Int

final val TAPPmode: Int(128)

final val TYPEPATmode: Int(65536)

final val TYPEmode: Int(4)

object UnTyper extends Traverser

final def asInstanceOf[T0]: T0

def clone(): AnyRef

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

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

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

def ensuring(cond: Boolean): Typers

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def forArgMode(fun: Tree, mode: Int): Int

final def forFunMode(mode: Int): Int

final def forTypeMode(mode: Int): Int

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def inAllModes(mode: Int, required: Int): Boolean

final def inAnyMode(mode: Int, required: Int): Boolean

final def inExprModeButNot(mode: Int, prohibited: Int): Boolean

final def inFunMode(mode: Int): Boolean

final def inHKMode(mode: Int): Boolean

final def inNoModes(mode: Int, prohibited: Int): Boolean

final def inPatternMode(mode: Int): Boolean

final def inPolyMode(mode: Int): Boolean

final def isInstanceOf[T0]: Boolean