dotty.tools.dotc.core

TypeParamInfo

Related Doc: package core

trait TypeParamInfo extends AnyRef

A common super trait of Symbol and LambdaParam. Used to capture the attributes of type parameters which can be implemented as either.

Linear Supertypes
AnyRef, Any
Known Subclasses
ClassSymbol, ErrorSymbol, LambdaParam, NoSymbol, Symbol
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. TypeParamInfo
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def isTypeParam(implicit ctx: Context): Boolean

    Is this the info of a type parameter? Will return false for symbols that are not type parameters.

  2. abstract def paramBounds(implicit ctx: Context): TypeBounds

    The info of the type parameter

  3. abstract def paramBoundsAsSeenFrom(pre: Type)(implicit ctx: Context): TypeBounds

    The info of the type parameter as seen from a prefix type.

    The info of the type parameter as seen from a prefix type. For type parameter symbols, this is the memberInfo as seen from prefix. For type lambda parameters, it's the same as paramBounds as asSeenFrom has already been applied to the whole type lambda.

  4. abstract def paramBoundsOrCompleter(implicit ctx: Context): Type

    The parameter bounds, or the completer if the type parameter is an as-yet uncompleted symbol.

  5. abstract def paramName(implicit ctx: Context): TypeName

    The name of the type parameter

  6. abstract def paramRef(implicit ctx: Context): Type

    A type that refers to the parameter

  7. abstract def paramVariance(implicit ctx: Context): Int

    The variance of the type parameter

Concrete Value Members

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

    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  5. def clone(): AnyRef

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

  6. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  7. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  8. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  9. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  10. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  11. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  12. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  13. final def notify(): Unit

    Definition Classes
    AnyRef

  14. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  15. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  16. def toString(): String

    Definition Classes
    AnyRef → Any

  17. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  18. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  19. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped