Dotty Documentation

0.14.0-bin-SNAPSHOT

abstract case class AppliedType
extends CachedProxyType with ValueType with Product with Serializable

A type application C[T_1, ..., T_n]

[-] Constructors

AppliedType ( tycon: Type , args: List [ Type ] )

[-] Members

[+] val args : List [ Type ]
[+] private var cachedSuper : Type
[+] private var isGroundCache : Boolean
[+] private var isGroundKnown : Boolean
[+] private var myStableHash : Byte
[+] val tycon : Type
[+] private var validSuper : Period
[+] override def computeHash ( bs: Binders ) : Int

Compute hashcode relative to enclosing binders bs

[+] def derivedAppliedType ( tycon: Type , args: List [ Type ] ) ( implicit ctx: Context ) : Type
[+] override def eql ( that: Type ) : Boolean

Equality used for hash-consing; uses eq on all recursive invocations, except where a BindingType is involved. The latter demand a deep isomorphism check.

[+] def hasWildcardArg ( implicit ctx: Context ) : Boolean
[+] def isGround ( acc: TypeAccumulator [ Boolean ] ) ( implicit ctx: Context ) : Boolean
[+] override final def iso ( that: Any , bs: BinderPairs ) : Boolean

Is this isomorphic to that, assuming pairs of matching binders bs? It is assumed that this.ne(that).

[+] def lowerBound ( implicit ctx: Context ) : Type
[+] override def stableHash : Boolean

Is the hash of this type the same for all possible sequences of enclosing binders?

[+] override def superType ( implicit ctx: Context ) : Type

The closest supertype of this type. This is the same as underlying, except that - instead of a TyperBounds type it returns its upper bound, and - for applied types it returns the upper bound of the constructor re-applied to the arguments.

[+] override def translucentSuperType ( implicit ctx: Context ) : Type

Same as superType, except that opaque types are treated as transparent aliases

[+] override def tryNormalize ( implicit ctx: Context ) : Type

If this type can be normalized at the top-level by rewriting match types of S[n] types, the result after applying all toplevel normalizations, otherwise NoType

[+] def typeParams ( implicit ctx: Context ) : List [ ParamInfo ]
[+] override def underlying ( implicit ctx: Context ) : Type

The type to which this proxy forwards operations.