dotty.tools.dotc.core.Types

LambdaParam

Related Doc: package Types

case class LambdaParam(tl: TypeLambda, n: Int) extends TypeParamInfo with Product with Serializable

The parameter of a type lambda

Linear Supertypes
Serializable, Serializable, Product, Equals, TypeParamInfo, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. LambdaParam
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. TypeParamInfo
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new LambdaParam(tl: TypeLambda, n: Int)

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 finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  8. final def getClass(): Class[_]

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

    Definition Classes
    Any
  10. def isTypeParam(implicit ctx: Context): Boolean

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

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

    Definition Classes
    LambdaParamTypeParamInfo
  11. val n: Int

  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. def paramBounds(implicit ctx: Context): TypeBounds

    The info of the type parameter

    The info of the type parameter

    Definition Classes
    LambdaParamTypeParamInfo
  16. 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.

    Definition Classes
    LambdaParamTypeParamInfo
  17. def paramBoundsOrCompleter(implicit ctx: Context): Type

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

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

    Definition Classes
    LambdaParamTypeParamInfo
  18. def paramName(implicit ctx: Context): TypeName

    The name of the type parameter

    The name of the type parameter

    Definition Classes
    LambdaParamTypeParamInfo
  19. def paramRef(implicit ctx: Context): Type

    A type that refers to the parameter

    A type that refers to the parameter

    Definition Classes
    LambdaParamTypeParamInfo
  20. def paramVariance(implicit ctx: Context): Int

    The variance of the type parameter

    The variance of the type parameter

    Definition Classes
    LambdaParamTypeParamInfo
  21. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  22. val tl: TypeLambda

  23. def toArg: Type

  24. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from TypeParamInfo

Inherited from AnyRef

Inherited from Any

Ungrouped