ProtoTypes

Type Members

trait ApplyingProto extends Type with ProtoType
class CachedSelectionProto extends SelectionProto
class CachedViewProto extends ViewProto
trait Compatibility extends AnyRef

A trait defining an isCompatible method.
case class FunProto(args: List[ast.untpd.Tree], resType: Type, typer: Typer)(implicit ctx: Context) extends UncachedGroundType with ApplyingProto with Product with Serializable

A prototype for expressions that appear in function position
A prototype for expressions that appear in function position
[](args): resultType
class FunProtoTyped extends FunProto

A prototype for expressions that appear in function position
A prototype for expressions that appear in function position
[](args): resultType, where args are known to be typed
case class IgnoredProto(ignored: Type) extends UncachedGroundType with MatchAlways with Product with Serializable

A class marking ignored prototypes that can be revealed by deepenProto
trait MatchAlways extends Type with ProtoType

A trait for prototypes that match all types
case class PolyProto(targs: List[Type], resType: Type) extends UncachedGroundType with ProtoType with Product with Serializable

A prototype for expressions [] that are type-parameterized:
A prototype for expressions [] that are type-parameterized:
[] [targs] resultType
abstract case class SelectionProto(name: Name, memberProto: Type, compat: Compatibility) extends CachedProxyType with ProtoType with ValueTypeOrProto with Product with Serializable

A prototype for expressions [] that are part of a selection operation:
A prototype for expressions [] that are part of a selection operation:
[ ].name: proto
class UnapplyFunProto extends FunProto
class UnapplySelectionProto extends SelectionProto

A prototype for selections in pattern constructors
abstract case class ViewProto(argType: Type, resType: Type) extends CachedGroundType with ApplyingProto with Product with Serializable

A prototype for implicitly inferred views:
A prototype for implicitly inferred views:
[]: argType => resultType

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

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

Definition Classes
AnyRef → Any
object AnyFunctionProto extends UncachedGroundType with MatchAlways

A prototype for expressions [] that are known to be functions:
A prototype for expressions [] that are known to be functions:
[] _

Annotations
@sharable()
object AnySelectionProto extends SelectionProto

A prototype for expressions [] that are in some unspecified selection operation
A prototype for expressions [] that are in some unspecified selection operation
[].?: ?
Used to indicate that expression is in a context where the only valid operation is further selection. In this case, the expression need not be a value.

Annotations
@sharable()
See also
checkValue
object AnyTypeConstructorProto extends UncachedGroundType with MatchAlways

A prototype for type constructors that are followed by a type application
A prototype for type constructors that are followed by a type application

Annotations
@sharable()
object AssignProto extends UncachedGroundType with MatchAlways

Annotations
@sharable()
object NoViewsAllowed extends Compatibility
object SelectionProto extends Serializable
object ViewProto extends Serializable
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def constrained(pt: PolyType)(implicit ctx: Context): PolyType

Same as constrained(pt, EmptyTree), but returns just the created polytype
def constrained(pt: PolyType, owningTree: ast.untpd.Tree)(implicit ctx: Context): (PolyType, List[TypeVar])

Add all parameters in given polytype pt to the constraint's domain.
Add all parameters in given polytype pt to the constraint's domain. If the constraint contains already some of these parameters in its domain, make a copy of the polytype and add the copy's type parameters instead. Return either the original polytype, or the copy, if one was made. Also, if owningTree is non-empty, add a type variable for each parameter.
returns
The added polytype, and the list of created type variables.
object dummyTreeOfType

Dummy tree to be used as an argument of a FunProto or ViewProto type
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
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

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

Definition Classes
AnyRef
def normalize(tp: Type, pt: Type)(implicit ctx: Context): Type

The normalized form of a type
The normalized form of a type
- unwraps polymorphic types, tracking their parameters in the current constraint
- skips implicit parameters; if result type depends on implicit parameter, replace with Wildcard.
- converts non-dependent method types to the corresponding function types
- dereferences parameterless method types
- dereferences nullary method types provided the corresponding function type is not a subtype of the expected type. Note: We need to take account of the possibility of inserting a () argument list in normalization. Otherwise, a type with a def toString(): String member would not count as a valid solution for ?{toString: String}. This would then lead to an implicit insertion, with a nice explosion of inference search because of course every implicit result has some sort of toString method. The problem is solved by dereferencing nullary method types if the corresponding function type is not compatible with the prototype.
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def selectionProto(name: Name, tp: Type, typer: Typer)(implicit ctx: Context): CachedType with TermType with Product with Serializable

Create a selection proto-type, but only one level deep; treat constructors specially
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( ... )
final def wildApprox(tp: Type, theMap: WildApproxMap = null)(implicit ctx: Context): Type

Approximate occurrences of parameter types and uninstantiated typevars by wildcard types.

Related Doc: package typer

object ProtoTypes

Type Members

trait ApplyingProto extends Type with ProtoType

class CachedSelectionProto extends SelectionProto

class CachedViewProto extends ViewProto

trait Compatibility extends AnyRef

case class FunProto(args: List[ast.untpd.Tree], resType: Type, typer: Typer)(implicit ctx: Context) extends UncachedGroundType with ApplyingProto with Product with Serializable

class FunProtoTyped extends FunProto

case class IgnoredProto(ignored: Type) extends UncachedGroundType with MatchAlways with Product with Serializable

trait MatchAlways extends Type with ProtoType

case class PolyProto(targs: List[Type], resType: Type) extends UncachedGroundType with ProtoType with Product with Serializable

abstract case class SelectionProto(name: Name, memberProto: Type, compat: Compatibility) extends CachedProxyType with ProtoType with ValueTypeOrProto with Product with Serializable

class UnapplyFunProto extends FunProto

class UnapplySelectionProto extends SelectionProto

abstract case class ViewProto(argType: Type, resType: Type) extends CachedGroundType with ApplyingProto with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object AnyFunctionProto extends UncachedGroundType with MatchAlways

object AnySelectionProto extends SelectionProto

object AnyTypeConstructorProto extends UncachedGroundType with MatchAlways

object AssignProto extends UncachedGroundType with MatchAlways

object NoViewsAllowed extends Compatibility

object SelectionProto extends Serializable

object ViewProto extends Serializable

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def constrained(pt: PolyType)(implicit ctx: Context): PolyType

def constrained(pt: PolyType, owningTree: ast.untpd.Tree)(implicit ctx: Context): (PolyType, List[TypeVar])

object dummyTreeOfType

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def normalize(tp: Type, pt: Type)(implicit ctx: Context): Type

final def notify(): Unit

final def notifyAll(): Unit

def selectionProto(name: Name, tp: Type, typer: Typer)(implicit ctx: Context): CachedType with TermType with Product with Serializable

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

final def wildApprox(tp: Type, theMap: WildApproxMap = null)(implicit ctx: Context): Type

Inherited from AnyRef

Inherited from Any

Ungrouped