Type Members

1.  abstract class AbsTypeImpl extends Forest.AbsType
2.  case class AnnotatedType (annotations: List[Forest.AnnotationInfo], underlying: Forest.Type, selfsym: Forest.Symbol) extends Forest.Type with Product with Serializable

   A type carrying some annotations.

   A type carrying some annotations. Created by the typechecker when eliminating Annotated trees (see typedAnnotated).

   annotations

   the list of annotations on the type

   underlying

   the type without the annotation

   selfsym

   a "self" symbol with type underlying; only available if -Yself-in-annots is turned on. Can be NoSymbol if it is not used.

3.  case class ClassInfoType (parents: List[Forest.Type], decls: List[Forest.Tree], typeSymbol: Forest.Symbol) extends Forest.CompoundType with Product with Serializable

   A class representing a class info

4.  abstract class CompoundType extends Forest.Type

   A common base class for intersection types and class types

5.  abstract case class ConstantType (value: Forest.Constant) extends Forest.SingletonType with Product with Serializable

   A class representing a constant type.

   A class representing a constant type.

   value

   ...

6.  case class ExistentialType (quantified: List[Forest.Tree], underlying: Forest.Type) extends Forest.Type with Product with Serializable
7.  class JavaMethodType extends Forest.MethodType
8.  case class MethodType (params: List[Forest.Symbol], resultType: Forest.Type) extends Forest.Type with Product with Serializable

   A class representing a method type with parameters.

   A class representing a method type with parameters. Note that a parameterless method is represented by a NullaryMethodType:

   def m(): Int MethodType(Nil, Int) def m: Int NullaryMethodType(Int)

9.  case class NamedType (name: Forest.Name, tp: Forest.Type) extends Forest.Type with Product with Serializable

   A class representing types with a name.

   A class representing types with a name. When an application uses named arguments, the named argument types for calling isApplicable are represented as NamedType.

10.  case class NotNullType (underlying: Forest.Type) extends Forest.SubType with Product with Serializable
11.  case class NullaryMethodType (resultType: Forest.Type) extends Forest.Type with Forest.SimpleTypeProxy with Product with Serializable
12.  case class OverloadedType (pre: Forest.Type, alternatives: List[Forest.Symbol]) extends Forest.Type with Product with Serializable

    A class containing the alternatives and type prefix of an overloaded symbol.

    A class containing the alternatives and type prefix of an overloaded symbol. Not used after phase typer.

13.  class PackageClassInfoType extends Forest.ClassInfoType
14.  case class PathType (tree: Forest.Tree) extends Forest.Type with Product with Serializable

    A class representing a path dependent type

15.  final class PathType0 extends Forest.PathType
16.  case class PolyType (typeParams: List[Forest.Symbol], resultType: Forest.Type) extends Forest.Type with Product with Serializable

    A type function or the type of a polymorphic value (and thus of kind *).

    A type function or the type of a polymorphic value (and thus of kind *).

    Before the introduction of NullaryMethodType, a polymorphic nullary method (e.g, def isInstanceOf[T]: Boolean) used to be typed as PolyType(tps, restpe), and a monomorphic one as PolyType(Nil, restpe) This is now: PolyType(tps, NullaryMethodType(restpe)) and NullaryMethodType(restpe) by symmetry to MethodTypes: PolyType(tps, MethodType(params, restpe)) and MethodType(params, restpe)

    Thus, a PolyType(tps, TypeRef(...)) unambiguously indicates a type function (which results from eta-expanding a type constructor alias). Similarly, PolyType(tps, ClassInfoType(...)) is a type constructor.

    A polytype is of kind * iff its resultType is a (nullary) method type.

17.  case class RefinedType (parents: List[Forest.Type], decls: List[Forest.Tree]) extends Forest.CompoundType with Product with Serializable

    A class representing intersection types with refinements of the form <parents_0> with ... with <parents_n> { decls } Cannot be created directly; one should always use refinedType for creation.

18.  final class RefinedType0 extends Forest.RefinedType
19.  trait SimpleTypeProxy extends Forest.Type

    A proxy for a type (identified by field underlying) that forwards most operations to it (for exceptions, see WrappingProxy, which forwards even more operations).

    A proxy for a type (identified by field underlying) that forwards most operations to it (for exceptions, see WrappingProxy, which forwards even more operations). every operation that is overridden for some kind of types should be forwarded.

20.  abstract case class SingleType (pre: Forest.Type, sym: Forest.Symbol) extends Forest.SingletonType with Product with Serializable

    A class for singleton types of the form <prefix>.<sym.name>.type.

    A class for singleton types of the form <prefix>.<sym.name>.type. Cannot be created directly; one should always use singleType for creation.

21.  abstract class SingletonType extends Forest.SubType with Forest.SimpleTypeProxy with Forest.AbsSingletonType
22.  abstract class SubType extends Forest.Type

    A base class for types that defer some operations to their immediate supertype.

23.  abstract case class SuperType (thistpe: Forest.Type, supertpe: Forest.Type) extends Forest.SingletonType with Product with Serializable
24.  abstract case class ThisType (sym: Forest.Symbol) extends Forest.SingletonType with Product with Serializable

    A class for this-types of the form <sym>.this.type

25.  abstract class Type extends Forest.AbsTypeImpl

    The base class for all types

26.  abstract case class TypeBounds (lo: Forest.Type, hi: Forest.Type, view: Forest.Type, context: Forest.Type) extends Forest.SubType with Product with Serializable

    A class for the bounds of abstract types and type parameters

27.  class TypeConstraint extends AnyRef

    A class expressing upper and lower bounds constraints of type variables, as well as their instantiations.

28.  abstract case class TypeRef (pre: Forest.Type, sym: Forest.Symbol, args: List[Forest.Type]) extends Forest.Type with Product with Serializable

    A class for named types of the form <prefix>.<sym.name>[args] Cannot be created directly; one should always use typeRef for creation.

    A class for named types of the form <prefix>.<sym.name>[args] Cannot be created directly; one should always use typeRef for creation.

    pre

    ...

    sym

    ...

    args

    ...

29.  class TypeVar extends Forest.Type

    A class representing a type variable: not used after phase typer.

    A class representing a type variable: not used after phase typer.

    A higher-kinded TypeVar has params (Symbols) and typeArgs (Types). A TypeVar with nonEmpty typeArgs can only be instantiated by a higher-kinded type that can be applied to those args. A TypeVar is much like a TypeRef, except it has special logic for equality and subtyping.

30.  final class UniqueConstantType extends Forest.ConstantType with Forest.UniqueType
31.  final class UniqueSingleType extends Forest.SingleType with Forest.UniqueType
32.  final class UniqueSuperType extends Forest.SuperType with Forest.UniqueType
33.  final class UniqueThisType extends Forest.ThisType with Forest.UniqueType
34.  trait UniqueType extends Product
35.  final class UniqueTypeBounds extends Forest.TypeBounds with Forest.UniqueType
36.  final class UniqueTypeRef extends Forest.TypeRef with Forest.UniqueType
37.  trait AbsCompoundType extends Universe.AbsType

    This class declares methods that are visible in a CompoundType (i.e.

    This class declares methods that are visible in a CompoundType (i.e. a class/trait/object template or refined type of the form

    P_1 with ... with P_m { D_1; ...; D_n }

    P_n

    Definition Classes

    Types

38.  trait AbsSingletonType extends Universe.AbsType

    This class declares methods that are visible in a SingleType.

    This class declares methods that are visible in a SingleType.

    Definition Classes

    Types

39.  abstract class AbsType extends AnyRef

    This class declares operations that are visible in a Type.

    This class declares operations that are visible in a Type.

    Definition Classes

    Types

40.  abstract class AnnotatedTypeExtractor extends AnyRef

    Definition Classes

    Types

41.  abstract class ClassInfoTypeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax ClassInfo(parents, decls, clazz) Here, parents is the list of parent types of the class, decls is the scope containing all declarations in the class, and clazz is the symbol of the class itself.

    An extractor class to create and pattern match with syntax ClassInfo(parents, decls, clazz) Here, parents is the list of parent types of the class, decls is the scope containing all declarations in the class, and clazz is the symbol of the class itself.

    Definition Classes

    Types

42.  abstract class ConstantTypeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax ConstantType(constant) Here, constant is the constant value represented by the type.

    An extractor class to create and pattern match with syntax ConstantType(constant) Here, constant is the constant value represented by the type.

    Definition Classes

    Types

43.  abstract class ExistentialTypeExtractor extends AnyRef

    Definition Classes

    Types

44.  abstract class MethodTypeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax MethodType(params, respte) Here, params is a potentially empty list of parameter symbols of the method, and restpe is the result type of the method.

    An extractor class to create and pattern match with syntax MethodType(params, respte) Here, params is a potentially empty list of parameter symbols of the method, and restpe is the result type of the method. If the method is curried, restpe would be another MethodType. Note: MethodType(Nil, Int) would be the type of a method defined with an empty parameter list.

    def f(): Int

    If the method is completely parameterless, as in

    def f: Int

    its type is a NullaryMethodType.

    Definition Classes

    Types

45.  abstract class NullaryMethodTypeExtractor extends AnyRef

    Definition Classes

    Types

46.  abstract class PolyTypeExtractor extends AnyRef

    Definition Classes

    Types

47.  abstract class RefinedTypeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax RefinedType(parents, decls) Here, parents is the list of parent types of the class, and decls is the scope containing all declarations in the class.

    An extractor class to create and pattern match with syntax RefinedType(parents, decls) Here, parents is the list of parent types of the class, and decls is the scope containing all declarations in the class.

    Definition Classes

    Types

48.  abstract class SingleTypeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax SingleType(pre, sym) Here, pre is the prefix of the single-type, and sym is the stable value symbol referred to by the single-type.

    An extractor class to create and pattern match with syntax SingleType(pre, sym) Here, pre is the prefix of the single-type, and sym is the stable value symbol referred to by the single-type.

    Definition Classes

    Types

49.  abstract class SuperTypeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax SingleType(thistpe, supertpe)

    An extractor class to create and pattern match with syntax SingleType(thistpe, supertpe)

    Definition Classes

    Types

50.  abstract class ThisTypeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax ThisType(sym) where sym is the class prefix of the this type.

    An extractor class to create and pattern match with syntax ThisType(sym) where sym is the class prefix of the this type.

    Definition Classes

    Types

51.  abstract class TypeBoundsExtractor extends AnyRef

    An extractor class to create and pattern match with syntax TypeBound(lower, upper) Here, lower is the lower bound of the TypeBounds pair, and upper is the upper bound.

    An extractor class to create and pattern match with syntax TypeBound(lower, upper) Here, lower is the lower bound of the TypeBounds pair, and upper is the upper bound.

    Definition Classes

    Types

52.  abstract class TypeRefExtractor extends AnyRef

    An extractor class to create and pattern match with syntax TypeRef(pre, sym, args) Here, pre is the prefix of the type reference, sym is the symbol referred to by the type reference, and args is a possible empty list of type argumenrts.

    An extractor class to create and pattern match with syntax TypeRef(pre, sym, args) Here, pre is the prefix of the type reference, sym is the symbol referred to by the type reference, and args is a possible empty list of type argumenrts.

    Definition Classes

    Types