Typers

Type Members

trait Adaptation extends AnyRef

Definition Classes
Adaptations
sealed abstract class SilentResult[+T] extends AnyRef
case class SilentResultValue[+T](value: T) extends Analyzer.SilentResult[T] with Product with Serializable
case class SilentTypeError(err: Analyzer.AbsTypeError) extends Analyzer.SilentResult[Nothing] with Product with Serializable
trait Tag extends AnyRef

Definition Classes
Tags
abstract class Typer extends Analyzer.TyperDiagnostics with Analyzer.Adaptation with Analyzer.Tag with Analyzer.TyperContextErrors

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
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
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 RETmode: Int(131072)

RETmode is set when we are typing a return expression.
RETmode is set when we are typing a return expression.

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
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 Global.Traverser
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.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[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def forArgMode(fun: Global.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 inExprModeOr(mode: Int, others: 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
var lastTreeToTyper: Global.Tree
def modeString(mode: Int): String

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

Definition Classes
AnyRef
def newTyper(context: Analyzer.Context): Analyzer.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
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[Global.Tree, Global.Tree]
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

Shadowed Implicit Value Members

val self: Any
Implicit information
This member is added by an implicit conversion from Typers to StringAdd performed by method any2stringadd in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(typers: StringAdd).self
Definition Classes
StringAdd
val self: Any
Implicit information
This member is added by an implicit conversion from Typers to StringFormat performed by method any2stringfmt in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(typers: StringFormat).self
Definition Classes
StringFormat

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.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(typers: ArrowAssoc[Typers]).x
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.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(typers: Ensuring[Typers]).x
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

Inherited from Tags

trait Typers extends Modes with Adaptations with Tags

Type Members

trait Adaptation extends AnyRef

sealed abstract class SilentResult[+T] extends AnyRef

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

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

trait Tag extends AnyRef

abstract class Typer extends Analyzer.TyperDiagnostics with Analyzer.Adaptation with Analyzer.Tag with Analyzer.TyperContextErrors

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)

final val EXPRmode: Int(1)

final val FUNmode: Int(16)

final val HKmode: Int(16384)

final val LHSmode: Int(1024)

final val NOmode: Int(0)

final val PATTERNmode: Int(2)

final val POLYmode: Int(32)

final val QUALmode: Int(64)

final val RETmode: Int(131072)

final val SCCmode: Int(8)

final val SNDTRYmode: Int(512)

final val STARmode: Int(4096)

final val SUPERCONSTRmode: Int(256)

final val TAPPmode: Int(128)

final val TYPEPATmode: Int(65536)

final val TYPEmode: Int(4)

object UnTyper extends Global.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: Global.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 inExprModeOr(mode: Int, others: 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

var lastTreeToTyper: Global.Tree

def modeString(mode: Int): String

final def ne(arg0: AnyRef): Boolean

def newTyper(context: Analyzer.Context): Analyzer.Typer

final def notify(): Unit

final def notifyAll(): Unit

final def onlyStickyModes(mode: Int): Int

def resetTyper(): Unit

final val shortenImports: Boolean(false)

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

def toString(): String

val transformed: HashMap[Global.Tree, Global.Tree]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

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

Shadowed Implicit Value Members

val self: Any

val self: Any