scala.reflect.internal.Types

DeBruijnBinder

case class DeBruijnBinder(pnames: List[Name], ptypes: List[Type], restpe: Type) extends Type with Product with Serializable

A binder defining data associated with De Bruijn indices. Only used as a serialization format.

Source
Types.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. DeBruijnBinder
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Type
  7. Annotatable
  8. TypeApiImpl
  9. TypeApi
  10. TypeBase
  11. AnyRef
  12. Any
Implicitly
  1. by any2stringadd
  2. by any2stringfmt
  3. by any2ArrowAssoc
  4. by any2Ensuring
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DeBruijnBinder(pnames: List[Name], ptypes: List[Type], restpe: Type)

Type Members

  1. class FilterMapForeach extends FilterTypeCollector

    Definition Classes
    Type

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Test two objects for inequality.

    Test two objects for inequality.

    returns

    true if !(this == that), false otherwise.

    Definition Classes
    Any
  3. final def ##(): Int

    Equivalent to x.hashCode except for boxed numeric types and null.

    Equivalent to x.hashCode except for boxed numeric types and null. For numerics, it returns a hash value which is consistent with value equality: if two value type instances compare as true, then ## will produce the same hash value for each of them. For null returns a hashcode where null.hashCode throws a NullPointerException.

    returns

    a hash value consistent with ==

    Definition Classes
    AnyRef → Any
  4. def +(other: String): String

    Implicit information
    This member is added by an implicit conversion from DeBruijnBinder to StringAdd performed by method any2stringadd in scala.Predef.
    Definition Classes
    StringAdd
  5. def ->[B](y: B): (DeBruijnBinder, B)

    Implicit information
    This member is added by an implicit conversion from DeBruijnBinder to ArrowAssoc[DeBruijnBinder] performed by method any2ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  6. def <:<(that: Type): Boolean

    Is this type a subtype of that type?

    Is this type a subtype of that type?

    Definition Classes
    TypeTypeApi
  7. def =:=(that: Type): Boolean

    Is this type equivalent to that type?

    Is this type equivalent to that type?

    Definition Classes
    TypeTypeApi
  8. final def ==(arg0: AnyRef): Boolean

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

    Test two objects for equality.

    Test two objects for equality. The expression x == that is equivalent to if (x eq null) that eq null else x.equals(that).

    returns

    true if the receiver object is equivalent to the argument; false otherwise.

    Definition Classes
    Any
  10. def annotations: List[AnnotationInfo]

    The annotations on this type.

    The annotations on this type.

    Definition Classes
    TypeAnnotatable
  11. final def asInstanceOf[T0]: T0

    Cast the receiver object to be of type T0.

    Cast the receiver object to be of type T0.

    Note that the success of a cast at runtime is modulo Scala's erasure semantics. Therefore the expression 1.asInstanceOf[String] will throw a ClassCastException at runtime, while the expression List(1).asInstanceOf[List[String]] will not. In the latter example, because the type argument is erased as part of compilation it is not possible to check whether the contents of the list are of the requested type.

    returns

    the receiver object.

    Definition Classes
    Any
    Exceptions thrown
    ClassCastException

    if the receiver object is not an instance of the erasure of type T0.

  12. def asSeenFrom(pre: Type, clazz: Symbol): Type

    This type as seen from prefix pre and class clazz.

    This type as seen from prefix pre and class clazz. This means: Replace all thistypes of clazz or one of its subclasses by pre and instantiate all parameters by arguments of pre. Proceed analogously for thistypes referring to outer classes.

    Example: class D[T] { def m: T } class C extends p.D[Int] T.asSeenFrom(ThisType(C), D) (where D is owner of m)

    Int

    Definition Classes
    TypeTypeApi
  13. def atOwner(owner: Symbol): Type

    Make sure this type is correct as the info of given owner; clone it if not.

    Make sure this type is correct as the info of given owner; clone it if not.

    Definition Classes
    Type
  14. def baseClasses: List[Symbol]

    The list of all baseclasses of this type (including its own typeSymbol) in reverse linearization order, starting with the class itself and ending in class Any.

    The list of all baseclasses of this type (including its own typeSymbol) in reverse linearization order, starting with the class itself and ending in class Any.

    Definition Classes
    TypeTypeApi
  15. def baseType(clazz: Symbol): Type

    The least type instance of given class which is a supertype of this type.

    The least type instance of given class which is a supertype of this type. Example: class D[T] class C extends p.D[Int] ThisType(C).baseType(D) = p.D[Int]

    Definition Classes
    TypeTypeApi
  16. def baseTypeIndex(sym: Symbol): Int

    sym

    the class symbol

    returns

    the index of given class symbol in the BaseTypeSeq of this type, or -1 if no base type with given class symbol exists.

    Definition Classes
    Type
  17. def baseTypeSeq: BaseTypeSeq

    The shortest sorted upwards closed array of types that contains this type as first element.

    The shortest sorted upwards closed array of types that contains this type as first element.

    A list or array of types ts is upwards closed if

    for all t in ts: for all typerefs p.s[args] such that t <: p.s[args] there exists a typeref p'.s[args'] in ts such that t <: p'.s['args] <: p.s[args],

    and

    for all singleton types p.s such that t <: p.s there exists a singleton type p'.s in ts such that t <: p'.s <: p.s

    Sorting is with respect to Symbol.isLess() on type symbols.

    Definition Classes
    Type
  18. def baseTypeSeqDepth: Int

    The maximum depth (@see typeDepth) of each type in the BaseTypeSeq of this type except the first.

    The maximum depth (@see typeDepth) of each type in the BaseTypeSeq of this type except the first.

    Definition Classes
    Type
  19. def betaReduce: Type

    Performs a single step of beta-reduction on types.

    Performs a single step of beta-reduction on types. Given:

    type C[T] = B[T] type B[T] = A class A

    The following will happen after betaReduce is invoked: TypeRef(pre, <C>, List(Int)) is replaced by TypeRef(pre, <B>, List(Int))

    Unlike dealias, which recursively applies beta reduction, until it's stuck, betaReduce performs exactly one step and then returns.

    Definition Classes
    Type
  20. def boundSyms: Set[Symbol]

    For a (potentially wrapped) poly or existential type, its bound symbols, the empty list for all other types

    For a (potentially wrapped) poly or existential type, its bound symbols, the empty list for all other types

    Definition Classes
    Type
  21. def bounds: TypeBounds

    For a TypeBounds type, itself; for a reference denoting an abstract type, its bounds, for all other types, a TypeBounds type all of whose bounds are this type.

    For a TypeBounds type, itself; for a reference denoting an abstract type, its bounds, for all other types, a TypeBounds type all of whose bounds are this type.

    Definition Classes
    Type
  22. def clone(): AnyRef

    Create a copy of the receiver object.

    Create a copy of the receiver object.

    The default implementation of the clone method is platform dependent.

    returns

    a copy of the receiver object.

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
    Note

    not specified by SLS as a member of AnyRef

  23. def cloneInfo(owner: Symbol): Type

    If this is a poly- or methodtype, a copy with cloned type / value parameters owned by owner.

    If this is a poly- or methodtype, a copy with cloned type / value parameters owned by owner. Identity for all other types.

    Definition Classes
    Type
  24. def collect[T](pf: PartialFunction[Type, T]): List[T]

    Apply pf' to each part of this type on which the function is defined

    Apply pf' to each part of this type on which the function is defined

    Definition Classes
    Type
  25. def complete(sym: Symbol): Unit

    If this is a lazy type, assign a new type to sym.

    If this is a lazy type, assign a new type to sym.

    Definition Classes
    Type
  26. def computeMemberType(sym: Symbol): Type

    Definition Classes
    Type
  27. def contains(sym: Symbol): Boolean

    Does this type contain a reference to this symbol?

    Does this type contain a reference to this symbol?

    Definition Classes
    TypeTypeApi
  28. def containsTp(tp: Type): Boolean

    Does this type contain a reference to this type

    Does this type contain a reference to this type

    Definition Classes
    Type
  29. def dealias: Type

    Expands type aliases.

    Expands type aliases.

    Definition Classes
    Type
  30. def decl(name: Name): Symbol

    The defined or declared members with name name in this type; an OverloadedSymbol if several exist, NoSymbol if none exist.

    The defined or declared members with name name in this type; an OverloadedSymbol if several exist, NoSymbol if none exist. Alternatives of overloaded symbol appear in the order they are declared.

    Definition Classes
    Type
  31. def declaration(name: Name): Symbol

    The defined or declared members with name name in this type; an OverloadedSymbol if several exist, NoSymbol if none exist.

    The defined or declared members with name name in this type; an OverloadedSymbol if several exist, NoSymbol if none exist. Alternatives of overloaded symbol appear in the order they are declared.

    Definition Classes
    TypeApiImplTypeApi
  32. def declarations: Scope

    The collection of declarations in this type [Eugene++] why not List?

    The collection of declarations in this type [Eugene++] why not List?

    Definition Classes
    TypeApiImplTypeApi
  33. def decls: Scope

    For a classtype or refined type, its defined or declared members; inherited by subtypes and typerefs.

    For a classtype or refined type, its defined or declared members; inherited by subtypes and typerefs. The empty scope for all other types.

    Definition Classes
    Type
  34. def deconst: Type

    Map a constant type or not-null-type to its underlying base type, identity for all other types.

    Map a constant type or not-null-type to its underlying base type, identity for all other types.

    Definition Classes
    Type
  35. def deferredMembers: List[Symbol]

    A list of all deferred symbols of this type (defined or inherited)

    A list of all deferred symbols of this type (defined or inherited)

    Definition Classes
    Type
  36. def directObjectString: String

    The string representation of this type when the direct object in a sentence.

    The string representation of this type when the direct object in a sentence. Normally this is no different from the regular representation, but modules read better as "object Foo" here and "Foo.type" the rest of the time.

    Definition Classes
    Type
  37. def dummyArgs: List[Type]

    A list of placeholder types derived from the type parameters.

    A list of placeholder types derived from the type parameters. Used by RefinedType and TypeRef.

    Attributes
    protected
    Definition Classes
    Type
  38. def ensuring(cond: (DeBruijnBinder) ⇒ Boolean, msg: ⇒ Any): DeBruijnBinder

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

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

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

    Implicit information
    This member is added by an implicit conversion from DeBruijnBinder to Ensuring[DeBruijnBinder] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  42. final def eq(arg0: AnyRef): Boolean

    Tests whether the argument (arg0) is a reference to the receiver object (this).

    Tests whether the argument (arg0) is a reference to the receiver object (this).

    The eq method implements an equivalence relation on non-null instances of AnyRef, and has three additional properties:

    • It is consistent: for any non-null instances x and y of type AnyRef, multiple invocations of x.eq(y) consistently returns true or consistently returns false.
    • For any non-null instance x of type AnyRef, x.eq(null) and null.eq(x) returns false.
    • null.eq(null) returns true.

    When overriding the equals or hashCode methods, it is important to ensure that their behavior is consistent with reference equality. Therefore, if two objects are references to each other (o1 eq o2), they should be equal to each other (o1 == o2) and they should hash to the same value (o1.hashCode == o2.hashCode).

    returns

    true if the argument is a reference to the receiver object; false otherwise.

    Definition Classes
    AnyRef
  43. def erasure: Type

    The erased type corresponding to this type after all transformations from Scala to Java have been performed.

    The erased type corresponding to this type after all transformations from Scala to Java have been performed.

    Definition Classes
    TypeApiImplTypeApi
  44. def etaExpand: Type

    Definition Classes
    Type
  45. def exists(p: (Type) ⇒ Boolean): Boolean

    Is there part of this type which satisfies predicate p?

    Is there part of this type which satisfies predicate p?

    Definition Classes
    TypeTypeApi
  46. def filter(p: (Type) ⇒ Boolean): List[Type]

    Returns all parts of this type which satisfy predicate p

    Returns all parts of this type which satisfy predicate p

    Definition Classes
    Type
  47. def filterAnnotations(p: (AnnotationInfo) ⇒ Boolean): Type

    Definition Classes
    TypeAnnotatable
  48. def finalResultType: Type

    For a curried/nullary method or poly type its non-method result type, the type itself for all other types

    For a curried/nullary method or poly type its non-method result type, the type itself for all other types

    Definition Classes
    Type
  49. def finalize(): Unit

    Called by the garbage collector on the receiver object when there are no more references to the object.

    Called by the garbage collector on the receiver object when there are no more references to the object.

    The details of when and if the finalize method is invoked, as well as the interaction between finalize and non-local returns and exceptions, are all platform dependent.

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
    Note

    not specified by SLS as a member of AnyRef

  50. def find(p: (Type) ⇒ Boolean): Option[Type]

    Returns optionally first type (in a preorder traversal) which satisfies predicate p, or None if none exists.

    Returns optionally first type (in a preorder traversal) which satisfies predicate p, or None if none exists.

    Definition Classes
    TypeTypeApi
  51. def findMember(name: Name, excludedFlags: Long, requiredFlags: Long, stableOnly: Boolean): Symbol

    Find member(s) in this type.

    Find member(s) in this type. If several members matching criteria are found, they are returned in an OverloadedSymbol

    name

    The member's name, where nme.ANYNAME means unspecified

    excludedFlags

    Returned members do not have these flags

    requiredFlags

    Returned members do have these flags

    stableOnly

    If set, return only members that are types or stable values

    Definition Classes
    Type
  52. def firstParent: Type

    For a class with nonEmpty parents, the first parent.

    For a class with nonEmpty parents, the first parent. Otherwise some specific fixed top type.

    Definition Classes
    Type
  53. def foreach(f: (Type) ⇒ Unit): Unit

    Apply f to each part of this type

    Apply f to each part of this type

    Definition Classes
    TypeTypeApi
  54. def formatted(fmtstr: String): String

    Returns string formatted according to given format string.

    Returns string formatted according to given format string. Format strings are as for String.format (@see java.lang.String.format).

    Implicit information
    This member is added by an implicit conversion from DeBruijnBinder to StringFormat performed by method any2stringfmt in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  55. def getAnnotation(cls: Symbol): Option[AnnotationInfo]

    Definition Classes
    Annotatable
  56. final def getClass(): Class[_]

    A representation that corresponds to the dynamic class of the receiver object.

    A representation that corresponds to the dynamic class of the receiver object.

    The nature of the representation is platform dependent.

    returns

    a representation that corresponds to the dynamic class of the receiver object.

    Definition Classes
    AnyRef → Any
    Note

    not specified by SLS as a member of AnyRef

  57. def hasAnnotation(cls: Symbol): Boolean

    Test for, get, or remove an annotation

    Test for, get, or remove an annotation

    Definition Classes
    Annotatable
  58. def implicitMembers: List[Symbol]

    A list of all implicit symbols of this type (defined or inherited)

    A list of all implicit symbols of this type (defined or inherited)

    Definition Classes
    Type
  59. def instantiateTypeParams(formals: List[Symbol], actuals: List[Type]): Type

    Replace formal type parameter symbols with actual type arguments.

    Replace formal type parameter symbols with actual type arguments.

    Amounts to substitution except for higher-kinded types. (See overridden method in TypeRef) -- @M

    Definition Classes
    Type
  60. def isComplete: Boolean

    Is this type completed (i.

    Is this type completed (i.e. not a lazy type)?

    Definition Classes
    Type
  61. def isConcrete: Boolean

    Does this type refer to spliceable types or is a spliceable type?

    Does this type refer to spliceable types or is a spliceable type?

    Definition Classes
    TypeApiImplTypeApi
  62. def isDependent: Boolean

    Does this depend on an enclosing method parameter?

    Does this depend on an enclosing method parameter?

    Definition Classes
    Type
  63. def isErroneous: Boolean

    Is this type produced as a repair for an error?

    Is this type produced as a repair for an error?

    Definition Classes
    Type
  64. def isError: Boolean

    Is this type produced as a repair for an error?

    Is this type produced as a repair for an error?

    Definition Classes
    Type
  65. def isFinalType: Boolean

    Can this type only be subtyped by bottom types? This is assessed to be the case if the class is final, and all type parameters (if any) are invariant.

    Can this type only be subtyped by bottom types? This is assessed to be the case if the class is final, and all type parameters (if any) are invariant.

    Definition Classes
    Type
  66. def isGround: Boolean

    A test whether a type contains any unification type variables.

    A test whether a type contains any unification type variables. Overridden with custom logic except where trivially true.

    Definition Classes
    Type
  67. def isHigherKinded: Boolean

    Is this type higher-kinded, i.

    Is this type higher-kinded, i.e., is it a type constructor @M

    Definition Classes
    TypeTypeApi
  68. def isImmediatelyDependent: Boolean

    Does this type depend immediately on an enclosing method parameter? I.

    Does this type depend immediately on an enclosing method parameter? I.e., is it a singleton type whose termSymbol refers to an argument of the symbol's owner (which is a method)?

    Definition Classes
    Type
  69. final def isInstanceOf[T0]: Boolean

    Test whether the dynamic type of the receiver object is T0.

    Test whether the dynamic type of the receiver object is T0.

    Note that the result of the test is modulo Scala's erasure semantics. Therefore the expression 1.isInstanceOf[String] will return false, while the expression List(1).isInstanceOf[List[String]] will return true. In the latter example, because the type argument is erased as part of compilation it is not possible to check whether the contents of the list are of the specified type.

    returns

    true if the receiver object is an instance of erasure of type T0; false otherwise.

    Definition Classes
    Any
  70. def isNotNull: Boolean

    Is this type guaranteed not to have null as a value?

    Is this type guaranteed not to have null as a value?

    Definition Classes
    Type
  71. def isSpliceable: Boolean

    Is this type an abstract type that needs to be resolved?

    Is this type an abstract type that needs to be resolved?

    Definition Classes
    TypeApiImplTypeApi
  72. def isStable: Boolean

    Does this type denote a stable reference (i.

    Does this type denote a stable reference (i.e. singleton type)?

    Definition Classes
    Type
  73. def isStructuralRefinement: Boolean

    Is this type a structural refinement type (it refines members that have not been inherited)

    Is this type a structural refinement type (it refines members that have not been inherited)

    Definition Classes
    Type
  74. def isTrivial: Boolean

    Types for which asSeenFrom always is the identity, no matter what prefix or owner.

    Types for which asSeenFrom always is the identity, no matter what prefix or owner.

    Definition Classes
    Type
  75. def isVolatile: Boolean

    Is this type dangerous (i.

    Is this type dangerous (i.e. it might contain conflicting type information when empty, so that it can be constructed so that type unsoundness results.) A dangerous type has an underlying type of the form T_1 with T_n { decls }, where one of the T_i (i > 1) is an abstract type.

    Definition Classes
    Type
  76. def isWildcard: Boolean

    True for WildcardType or BoundedWildcardType.

    True for WildcardType or BoundedWildcardType.

    Definition Classes
    Type
  77. def kind: String

    The kind of this type; used for debugging

    The kind of this type; used for debugging

    Definition Classes
    TypeTypeApi
  78. def load(sym: Symbol): Unit

    If this is a symbol loader type, load and assign a new type to sym.

    If this is a symbol loader type, load and assign a new type to sym.

    Definition Classes
    Type
  79. def looselyMatches(that: Type): Boolean

    Same as matches, except that non-method types are always assumed to match.

    Same as matches, except that non-method types are always assumed to match.

    Definition Classes
    Type
  80. def map(f: (Type) ⇒ Type): Type

    Apply f to each part of this type; children get mapped before their parents

    Apply f to each part of this type; children get mapped before their parents

    Definition Classes
    TypeTypeApi
  81. def matches(that: Type): Boolean

    Is this type close enough to that type so that members with the two type would override each other? This means:

    Is this type close enough to that type so that members with the two type would override each other? This means:

    • Either both types are polytypes with the same number of type parameters and their result types match after renaming corresponding type parameters
    • Or both types are (nullary) method types with equivalent type parameter types and matching result types
    • Or both types are equivalent
    • Or phase.erasedTypes is false and both types are neither method nor poly types.
    Definition Classes
    Type
  82. def matchesPattern(that: Type): Boolean

    Is this type a subtype of that type in a pattern context? Any type arguments on the right hand side are replaced with fresh existentials, except for Arrays.

    Is this type a subtype of that type in a pattern context? Any type arguments on the right hand side are replaced with fresh existentials, except for Arrays.

    See bug1434.scala for an example of code which would fail if only a <:< test were applied.

    Definition Classes
    Type
  83. def member(name: Name): Symbol

    The member with given name, an OverloadedSymbol if several exist, NoSymbol if none exist

    The member with given name, an OverloadedSymbol if several exist, NoSymbol if none exist

    Definition Classes
    TypeTypeApi
  84. def memberBasedOnName(name: Name, excludedFlags: Long): Symbol

    Definition Classes
    Type
  85. def memberInfo(sym: Symbol): Type

    The info of sym, seen as a member of this type.

    The info of sym, seen as a member of this type.

    Example:

    class D[T] { def m: T }
    class C extends p.D[Int]
    ThisType(C).memberType(m) = Int
    Definition Classes
    Type
  86. def memberType(sym: Symbol): Type

    The type of sym, seen as a member of this type.

    The type of sym, seen as a member of this type.

    Definition Classes
    Type
  87. def members: List[Symbol]

    A list of all members of this type (defined or inherited) Members appear in linearization order of their owners.

    A list of all members of this type (defined or inherited) Members appear in linearization order of their owners. Members with the same owner appear in reverse order of their declarations.

    Definition Classes
    TypeTypeApi
  88. def membersBasedOnFlags(excludedFlags: Long, requiredFlags: Long): List[Symbol]

    Members excluding and requiring the given flags.

    Members excluding and requiring the given flags. Note: unfortunately it doesn't work to exclude DEFERRED this way.

    Definition Classes
    Type
  89. def membersWithFlags(requiredFlags: Long): List[Symbol]

    All members with the given flags, excluding bridges.

    All members with the given flags, excluding bridges.

    Definition Classes
    Type
  90. def narrow: Type

    Map to a singleton type which is a subtype of this type.

    Map to a singleton type which is a subtype of this type. The fallback implemented here gives:

    T.narrow  =  (T {}).this.type

    Overridden where we know more about where types come from.

    Definition Classes
    TypeTypeApi
  91. final def ne(arg0: AnyRef): Boolean

    Equivalent to !(this eq that).

    Equivalent to !(this eq that).

    returns

    true if the argument is not a reference to the receiver object; false otherwise.

    Definition Classes
    AnyRef
  92. def nonLocalMember(name: Name): Symbol

    The non-local member with given name, an OverloadedSymbol if several exist, NoSymbol if none exist

    The non-local member with given name, an OverloadedSymbol if several exist, NoSymbol if none exist

    Definition Classes
    Type
  93. def nonPrivateDecl(name: Name): Symbol

    The non-private defined or declared members with name name in this type; an OverloadedSymbol if several exist, NoSymbol if none exist.

    The non-private defined or declared members with name name in this type; an OverloadedSymbol if several exist, NoSymbol if none exist. Alternatives of overloaded symbol appear in the order they are declared.

    Definition Classes
    Type
  94. def nonPrivateDeclaration(name: Name): Symbol

    Definition Classes
    TypeApiImpl
  95. def nonPrivateDecls: List[Symbol]

    A list of all non-private members defined or declared in this type.

    A list of all non-private members defined or declared in this type.

    Definition Classes
    Type
  96. def nonPrivateMember(name: Name): Symbol

    The non-private member with given name, an OverloadedSymbol if several exist, NoSymbol if none exist.

    The non-private member with given name, an OverloadedSymbol if several exist, NoSymbol if none exist. Bridges are excluded from the result

    Definition Classes
    TypeTypeApi
  97. def nonPrivateMemberAdmitting(name: Name, admit: Long): Symbol

    The non-private member with given name, admitting members with given flags admit.

    The non-private member with given name, admitting members with given flags admit. "Admitting" refers to the fact that members with a PRIVATE, BRIDGE, or VBRIDGE flag are usually excluded from findMember results, but supplying any of those flags to this method disables that exclusion.

    An OverloadedSymbol if several exist, NoSymbol if none exists.

    Definition Classes
    Type
  98. def nonPrivateMembers: List[Symbol]

    A list of all non-private members of this type (defined or inherited)

    A list of all non-private members of this type (defined or inherited)

    Definition Classes
    TypeTypeApi
  99. def nonPrivateMembersAdmitting(admit: Long): List[Symbol]

    A list of all non-private members of this type (defined or inherited), admitting members with given flags admit

    A list of all non-private members of this type (defined or inherited), admitting members with given flags admit

    Definition Classes
    Type
  100. def nonPrivateMembersWithFlags(requiredFlags: Long): List[Symbol]

    All non-private members with the given flags, excluding bridges.

    All non-private members with the given flags, excluding bridges.

    Definition Classes
    Type
  101. def normalize: Type

    Reduce to beta eta-long normal form.

    Reduce to beta eta-long normal form. Expands type aliases and converts higher-kinded TypeRefs to PolyTypes. Functions on types are also implemented as PolyTypes.

    Example: (in the below, <List> is the type constructor of List) TypeRef(pre, <List>, List()) is replaced by PolyType(X, TypeRef(pre, <List>, List(X)))

    Definition Classes
    TypeTypeApi
  102. def notNull: Type

    Mixin a NotNull trait unless type already has one .

    Mixin a NotNull trait unless type already has one ...if the option is given, since it is causing typing bugs.

    Definition Classes
    Type
  103. final def notify(): Unit

    Wakes up a single thread that is waiting on the receiver object's monitor.

    Wakes up a single thread that is waiting on the receiver object's monitor.

    Definition Classes
    AnyRef
    Note

    not specified by SLS as a member of AnyRef

  104. final def notifyAll(): Unit

    Wakes up all threads that are waiting on the receiver object's monitor.

    Wakes up all threads that are waiting on the receiver object's monitor.

    Definition Classes
    AnyRef
    Note

    not specified by SLS as a member of AnyRef

  105. def objectPrefix: String

    Attributes
    protected
    Definition Classes
    Type
  106. def packagePrefix: String

    Attributes
    protected
    Definition Classes
    Type
  107. def paramSectionCount: Int

    For a method type, the number of its value parameter sections, 0 for all other types

    For a method type, the number of its value parameter sections, 0 for all other types

    Definition Classes
    Type
  108. def paramTypes: List[Type]

    For a method or poly type, the types of its first value parameter section, the empty list for all other types

    For a method or poly type, the types of its first value parameter section, the empty list for all other types

    Definition Classes
    Type
  109. def params: List[Symbol]

    For a method or poly type, its first value parameter section, the empty list for all other types

    For a method or poly type, its first value parameter section, the empty list for all other types

    Definition Classes
    Type
  110. def paramss: List[List[Symbol]]

    For a method or poly type, a list of its value parameter sections, the empty list for all other types

    For a method or poly type, a list of its value parameter sections, the empty list for all other types

    Definition Classes
    Type
  111. def parents: List[Type]

    For a class or intersection type, its parents.

    For a class or intersection type, its parents. For a TypeBounds type, the parents of its hi bound. inherited by typerefs, singleton types, and refinement types, The empty list for all other types

    Definition Classes
    TypeTypeApi
  112. val pnames: List[Name]

  113. def prefix: Type

    For a typeref or single-type, the prefix of the normalized type (@see normalize).

    For a typeref or single-type, the prefix of the normalized type (@see normalize). NoType for all other types.

    Definition Classes
    Type
  114. def prefixChain: List[Type]

    A chain of all typeref or singletype prefixes of this type, longest first.

    A chain of all typeref or singletype prefixes of this type, longest first. (Only used from safeToString.)

    Definition Classes
    Type
  115. def prefixString: String

    The string representation of this type used as a prefix

    The string representation of this type used as a prefix

    Definition Classes
    Type
  116. val ptypes: List[Type]

  117. def remove(clazz: Symbol): Type

    If this is a TypeRef clazz[T], return the argument T otherwise return this type

    If this is a TypeRef clazz[T], return the argument T otherwise return this type

    Definition Classes
    Type
  118. def removeAnnotation(cls: Symbol): Type

    Definition Classes
    Annotatable
  119. val restpe: Type

  120. def resultApprox: Type

    Only used for dependent method types.

    Only used for dependent method types.

    Definition Classes
    Type
  121. def resultType(actuals: List[Type]): Type

    Definition Classes
    Type
  122. def resultType: Type

    For a (nullary) method or poly type, its direct result type, the type itself for all other types.

    For a (nullary) method or poly type, its direct result type, the type itself for all other types.

    Definition Classes
    TypeTypeApi
  123. def safeToString: String

    Method to be implemented in subclasses.

    Method to be implemented in subclasses. Converts this type to a string in calling toString for its parts.

    Definition Classes
    DeBruijnBinderType
  124. def selfsym: Symbol

    The selfsym of an annotated type, or NoSymbol of anything else

    The selfsym of an annotated type, or NoSymbol of anything else

    Definition Classes
    Type
  125. def setAnnotations(annots: List[AnnotationInfo]): Type

    Definition Classes
    TypeAnnotatable
  126. def skolemizeExistential: Type

    A simple version of skolemizeExistential for situations where owner or unpack location do not matter (typically used in subtype tests)

    A simple version of skolemizeExistential for situations where owner or unpack location do not matter (typically used in subtype tests)

    Definition Classes
    Type
  127. def skolemizeExistential(owner: Symbol, origin: AnyRef): Type

    If this type is an existential, turn all existentially bound variables to type skolems.

    If this type is an existential, turn all existentially bound variables to type skolems.

    owner

    The owner of the created type skolems

    origin

    The tree whose type was an existential for which the skolem was created.

    Definition Classes
    Type
  128. def skolemsExceptMethodTypeParams: List[Symbol]

    The (existential or otherwise) skolems and existentially quantified variables which are free in this type

    The (existential or otherwise) skolems and existentially quantified variables which are free in this type

    Definition Classes
    Type
  129. def specializes(sym: Symbol): Boolean

    Does this type implement symbol sym with same or stronger type?

    Does this type implement symbol sym with same or stronger type?

    Definition Classes
    Type
  130. def stat_<:<(that: Type): Boolean

    Definition Classes
    Type
  131. def stripAnnotations: Type

    Remove any annotations from this type and from any types embedded in this type.

    Remove any annotations from this type and from any types embedded in this type.

    Definition Classes
    Type
  132. def subst(from: List[Symbol], to: List[Type]): Type

    Substitute types to for occurrences of references to symbols from in this type.

    Substitute types to for occurrences of references to symbols from in this type.

    Definition Classes
    Type
  133. def substSym(from: List[Symbol], to: List[Symbol]): Type

    Substitute symbols to for occurrences of symbols from in this type.

    Substitute symbols to for occurrences of symbols from in this type.

    !!! NOTE !!!: If you need to do a substThis and a substSym, the substThis has to come first, as otherwise symbols will immediately get rebound in typeRef to the old symbol.

    Definition Classes
    Type
  134. def substThis(from: Symbol, to: Symbol): Type

    Definition Classes
    Type
  135. def substThis(from: Symbol, to: Type): Type

    Substitute all occurrences of ThisType(from) in this type by to.

    Substitute all occurrences of ThisType(from) in this type by to.

    !!! NOTE !!!: If you need to do a substThis and a substSym, the substThis has to come first, as otherwise symbols will immediately get rebound in typeRef to the old symbol.

    Definition Classes
    Type
  136. def substThisAndSym(from: Symbol, to: Type, symsFrom: List[Symbol], symsTo: List[Symbol]): Type

    Performs both substThis and substSym, in that order.

    Performs both substThis and substSym, in that order.

    [JZ] Reverted SubstThisAndSymMap from 334872, which was not the same as substThis(from, to).substSym(symsFrom, symsTo).

    SubstThisAndSymMap performs a breadth-first map over this type, which meant that symbol substitution occured before ThisType substitution. Consequently, in substitution of a SingleType(ThisType(from), sym), symbols were rebound to from rather than to.

    Definition Classes
    Type
  137. def substituteSymbols(from: List[Symbol], to: List[Symbol]): Type

    Substitute symbols in to for corresponding occurrences of references to symbols from in this type.

    Substitute symbols in to for corresponding occurrences of references to symbols from in this type.

    Definition Classes
    TypeApiImplTypeApi
  138. def substituteTypes(from: List[Symbol], to: List[Type]): Type

    Substitute types in to for corresponding occurrences of references to symbols from in this type.

    Substitute types in to for corresponding occurrences of references to symbols from in this type.

    Definition Classes
    TypeApiImplTypeApi
  139. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  140. def termSymbol: Symbol

    The term symbol associated with the type Note that the symbol of the normalized type is returned (@see normalize)

    The term symbol associated with the type Note that the symbol of the normalized type is returned (@see normalize)

    Definition Classes
    TypeTypeBase
  141. def termSymbolDirect: Symbol

    The term symbol directly associated with the type.

    The term symbol directly associated with the type.

    Definition Classes
    Type
  142. def throwsAnnotations(): List[Symbol]

    Symbols of any @throws annotations on this symbol.

    Symbols of any @throws annotations on this symbol.

    Definition Classes
    Annotatable
  143. def toLongString: String

    The string representation of this type, with singletypes explained.

    The string representation of this type, with singletypes explained.

    Definition Classes
    Type
  144. def toString(): String

    Convert toString avoiding infinite recursions by cutting off after maxTostringRecursions recursion levels.

    Convert toString avoiding infinite recursions by cutting off after maxTostringRecursions recursion levels. Uses safeToString to produce a string on each level.

    returns

    a String representation of the object.

    Definition Classes
    Type → AnyRef → Any
  145. def trimPrefix(str: String): String

    Definition Classes
    Type
  146. def typeArgs: List[Type]

    For a typeref, its arguments.

    For a typeref, its arguments. The empty list for all other types

    Definition Classes
    Type
  147. def typeArguments: List[Type]

    If this is a parameterized types, the type arguments.

    If this is a parameterized types, the type arguments. Otherwise the empty list

    Definition Classes
    TypeApiImplTypeApi
  148. def typeConstructor: Type

    This type, without its type arguments @M

    This type, without its type arguments @M

    Definition Classes
    TypeTypeApi
  149. def typeOfThis: Type

    The type of this of a class type or reference type.

    The type of this of a class type or reference type.

    Definition Classes
    Type
  150. def typeParams: List[Symbol]

    For a (potentially wrapped) poly type, its type parameters, the empty list for all other types

    For a (potentially wrapped) poly type, its type parameters, the empty list for all other types

    Definition Classes
    TypeTypeApi
  151. def typeSymbol: Symbol

    The type symbol associated with the type Note that the symbol of the normalized type is returned (@see normalize) A type's typeSymbol should if possible not be inspected directly, due to the likelihood that what is true for tp.

    The type symbol associated with the type Note that the symbol of the normalized type is returned (@see normalize) A type's typeSymbol should if possible not be inspected directly, due to the likelihood that what is true for tp.typeSymbol is not true for tp.sym, due to normalization.

    Definition Classes
    TypeTypeBase
  152. def typeSymbolDirect: Symbol

    The type symbol directly associated with the type.

    The type symbol directly associated with the type. In other words, no normalization is performed: if this is an alias type, the symbol returned is that of the alias, not the underlying type.

    Definition Classes
    Type
  153. def underlying: Type

    The base type underlying a type proxy, identity on all other types

    The base type underlying a type proxy, identity on all other types

    Definition Classes
    TypeTypeApi
  154. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  155. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  156. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  157. def weak_<:<(that: Type): Boolean

    Is this type a weak subtype of that type? True also for numeric types, i.

    Is this type a weak subtype of that type? True also for numeric types, i.e. Int weak_<:< Long.

    Definition Classes
    Type
  158. def widen: Type

    Widen from singleton type to its underlying non-singleton base type by applying one or more underlying dereferences, identity for all other types.

    Widen from singleton type to its underlying non-singleton base type by applying one or more underlying dereferences, identity for all other types.

    class Outer { class C ; val x: C } val o: Outer <o.x.type>.widen = o.C

    Definition Classes
    TypeTypeApi
  159. final def withAnnotation(annot: AnnotationInfo): Type

    Definition Classes
    Annotatable
  160. def withAnnotations(annots: List[AnnotationInfo]): Type

    Definition Classes
    TypeAnnotatable
  161. def withFilter(p: (Type) ⇒ Boolean): FilterMapForeach

    Definition Classes
    Type
  162. def withSelfsym(sym: Symbol): Type

    Set the self symbol of an annotated type, or do nothing otherwise.

    Set the self symbol of an annotated type, or do nothing otherwise.

    Definition Classes
    Type
  163. def withoutAnnotations: Type

    Definition Classes
    TypeAnnotatable
  164. def [B](y: B): (DeBruijnBinder, B)

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

Shadowed Implict Value Members

  1. val self: Any

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

    Implicit information
    This member is added by an implicit conversion from DeBruijnBinder 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:
    (deBruijnBinder: StringFormat).self
    Definition Classes
    StringFormat

Deprecated Value Members

  1. def x: DeBruijnBinder

    Implicit information
    This member is added by an implicit conversion from DeBruijnBinder to ArrowAssoc[DeBruijnBinder] 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:
    (deBruijnBinder: ArrowAssoc[DeBruijnBinder]).x
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use leftOfArrow instead

  2. def x: DeBruijnBinder

    Implicit information
    This member is added by an implicit conversion from DeBruijnBinder to Ensuring[DeBruijnBinder] 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:
    (deBruijnBinder: Ensuring[DeBruijnBinder]).x
    Definition Classes
    Ensuring
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use resultOfEnsuring instead

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Type

Inherited from Annotatable[Type]

Inherited from TypeApiImpl

Inherited from TypeApi

Inherited from TypeBase

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from DeBruijnBinder to StringAdd

Inherited by implicit conversion any2stringfmt from DeBruijnBinder to StringFormat

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

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