Infer

Type Members

trait InferCheckable extends AnyRef

Definition Classes
Checkable
class Inferencer extends Analyzer.InferencerContextErrors with Analyzer.InferCheckable

The context-dependent inferencer part
class NoInstance extends Throwable with ControlThrowable

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

Implicit information
This member is added by an implicit conversion from Infer to ArrowAssoc[Infer] performed by method ArrowAssoc 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 asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

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

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

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

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

Implicit information
This member is added by an implicit conversion from Infer to Ensuring[Infer] performed by method Ensuring 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 falseIfNoInstance(body: ⇒ Boolean): Boolean

Annotations
@inline()
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formalTypes(formals: List[Global.Type], numArgs: Int, removeByName: Boolean = true, removeRepeated: Boolean = true): List[Global.Type]

The formal parameter types corresponding to formals.
The formal parameter types corresponding to formals. If formals has a repeated last parameter, a list of (numArgs - numFormals + 1) copies of its type is appended to the other formals. By-name types are replaced with their underlying type.
removeByName
allows keeping ByName parameters. Used in NamesDefaults.
removeRepeated
allows keeping repeated parameter (if there's one argument). Used in NamesDefaults.
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from Infer to StringFormat[Infer] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
def freshVar(tparam: Global.Symbol): Global.TypeVar

A fresh type variable with given type parameter as origin.
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
object instantiate extends Global.TypeMap

Map every TypeVar to its constraint.
final def isInstanceOf[T0]: Boolean

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

Definition Classes
AnyRef
def normalize(tp: Global.Type): Global.Type

Automatically perform the following conversions on expression types: A method type becomes the corresponding function type.
Automatically perform the following conversions on expression types: A method type becomes the corresponding function type. A nullary method type becomes its result type. Implicit parameters are skipped. This method seems to be performance critical.
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def propagateKnownTypes(from: Global.Type, to: Global.Symbol): Global.Type

The applied type of class 'to' after inferring anything possible from the knowledge that 'to' must also be of the type given in 'from'.
The applied type of class 'to' after inferring anything possible from the knowledge that 'to' must also be of the type given in 'from'.

Definition Classes
Checkable
def skipImplicit(tp: Global.Type): Global.Type
def solvedTypes(tvars: List[Global.TypeVar], tparams: List[Global.Symbol], variances: List[Variance], upper: Boolean, depth: Depth): List[Global.Type]

Solve constraint collected in types tvars.
Solve constraint collected in types tvars.
tvars
All type variables to be instantiated.
tparams
The type parameters corresponding to tvars
variances
The variances of type parameters; need to reverse solution direction for all contravariant variables.
upper
When true search for max solution else min.

Exceptions thrown
NoInstance
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
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): (Infer, B)

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

trait Infer extends Checkable

Type Members

trait InferCheckable extends AnyRef

class Inferencer extends Analyzer.InferencerContextErrors with Analyzer.InferCheckable

class NoInstance extends Throwable with ControlThrowable

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

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

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

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

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

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

def ensuring(cond: Boolean): Infer

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def falseIfNoInstance(body: ⇒ Boolean): Boolean

def finalize(): Unit

def formalTypes(formals: List[Global.Type], numArgs: Int, removeByName: Boolean = true, removeRepeated: Boolean = true): List[Global.Type]

def formatted(fmtstr: String): String

def freshVar(tparam: Global.Symbol): Global.TypeVar

final def getClass(): Class[_]

def hashCode(): Int

object instantiate extends Global.TypeMap

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def normalize(tp: Global.Type): Global.Type

final def notify(): Unit

final def notifyAll(): Unit

def propagateKnownTypes(from: Global.Type, to: Global.Symbol): Global.Type

def skipImplicit(tp: Global.Type): Global.Type

def solvedTypes(tvars: List[Global.TypeVar], tparams: List[Global.Symbol], variances: List[Variance], upper: Boolean, depth: Depth): List[Global.Type]

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

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): (Infer, B)

Inherited from Checkable

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion StringAdd from Infer to StringAdd[Infer]

Inherited by implicit conversion StringFormat from Infer to StringFormat[Infer]

Inherited by implicit conversion Ensuring from Infer to Ensuring[Infer]

Inherited by implicit conversion ArrowAssoc from Infer to ArrowAssoc[Infer]

Ungrouped