Infer

Type Members

class Inferencer extends InferencerContextErrors

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 performed by method any2stringadd 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 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
def actualArgs(pos: Position, actuals: List[Tree], nformals: Int): List[Tree]
def actualTypes(actuals: List[Type], nformals: Int): List[Type]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[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 any2Ensuring 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 any2Ensuring 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 any2Ensuring 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 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()
def formalTypes(formals: List[Type], nargs: Int, removeByName: Boolean = true, removeRepeated: Boolean = true): List[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 (nargs - params.length + 1) copies of its type is returned. 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 performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
def freshVar(tparam: Symbol): TypeVar

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

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
object instantiate extends 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: Type): 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 skipImplicit(tp: Type): Type
def solvedTypes(tvars: List[TypeVar], tparams: List[Symbol], variances: List[Int], upper: Boolean, depth: Int): List[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 any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Shadowed Implict Value Members

val self: Any
Implicit information
This member is added by an implicit conversion from Infer 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:
(infer: StringAdd).self
Definition Classes
StringAdd
val self: Any
Implicit information
This member is added by an implicit conversion from Infer 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:
(infer: StringFormat).self
Definition Classes
StringFormat

Deprecated Value Members

def x: Infer
Implicit information
This member is added by an implicit conversion from Infer to ArrowAssoc[Infer] 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:
(infer: ArrowAssoc[Infer]).x
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use leftOfArrow instead
def x: Infer
Implicit information
This member is added by an implicit conversion from Infer to Ensuring[Infer] 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:
(infer: Ensuring[Infer]).x
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

trait Infer extends AnyRef

Type Members

class Inferencer extends InferencerContextErrors

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

def actualArgs(pos: Position, actuals: List[Tree], nformals: Int): List[Tree]

def actualTypes(actuals: List[Type], nformals: Int): List[Type]

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

def finalize(): Unit

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

def formatted(fmtstr: String): String

def freshVar(tparam: Symbol): TypeVar

final def getClass(): Class[_]

def hashCode(): Int

object instantiate extends TypeMap

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def normalize(tp: Type): Type

final def notify(): Unit

final def notifyAll(): Unit

def skipImplicit(tp: Type): Type

def solvedTypes(tvars: List[TypeVar], tparams: List[Symbol], variances: List[Int], upper: Boolean, depth: Int): List[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)

Shadowed Implict Value Members

val self: Any

val self: Any

Deprecated Value Members

def x: Infer

def x: Infer

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Infer to StringAdd

Inherited by implicit conversion any2stringfmt from Infer to StringFormat

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

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