Packages

c

scala.tools.nsc.tasty.bridge.TypeOps

ContextFunctionType

case class ContextFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable

Source
TypeOps.scala
Linear Supertypes
java.io.Serializable, Product, Equals, TastyCore.SymbolTable.Type, TastyCore.SymbolTable.Annotatable[TastyCore.SymbolTable.Type], TastyCore.SymbolTable.TypeApiImpl, TastyCore.SymbolTable.TypeApi, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ContextFunctionType
  2. Serializable
  3. Product
  4. Equals
  5. Type
  6. Annotatable
  7. TypeApiImpl
  8. TypeApi
  9. AnyRef
  10. Any
Implicitly
  1. by SafeEq
  2. by any2stringadd
  3. by StringFormat
  4. by Ensuring
  5. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new ContextFunctionType(arity: Int)

Type Members

  1. class FilterMapForeach extends reflect.internal.SymbolTable.FilterTypeCollector
    Definition Classes
    Type

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def !==(u: TastyUniverse.ContextFunctionType): Boolean
    Implicit
    This member is added by an implicit conversion from TastyUniverse.ContextFunctionType toSafeEq[TastyUniverse.ContextFunctionType] performed by method SafeEq in scala.tools.nsc.tasty.
    Definition Classes
    SafeEq
    Annotations
    @inline()
  3. final def ##: Int
    Definition Classes
    AnyRef → Any
  4. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from TastyUniverse.ContextFunctionType toany2stringadd[TastyUniverse.ContextFunctionType] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  5. def ->[B](y: B): (TastyUniverse.ContextFunctionType, B)
    Implicit
    This member is added by an implicit conversion from TastyUniverse.ContextFunctionType toArrowAssoc[TastyUniverse.ContextFunctionType] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  6. def <:<(that: TastyCore.SymbolTable.Type): Boolean
    Definition Classes
    Type → TypeApi
  7. def =:=(that: TastyCore.SymbolTable.Type): Boolean
    Definition Classes
    Type → TypeApi
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. final def ===(u: TastyUniverse.ContextFunctionType): Boolean
    Implicit
    This member is added by an implicit conversion from TastyUniverse.ContextFunctionType toSafeEq[TastyUniverse.ContextFunctionType] performed by method SafeEq in scala.tools.nsc.tasty.
    Definition Classes
    SafeEq
    Annotations
    @inline()
  10. def addThrowsAnnotation(throwableSym: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
    Definition Classes
    Annotatable
  11. def annotations: List[TastyCore.SymbolTable.AnnotationInfo]
    Definition Classes
    Type → Annotatable
  12. val arity: Int
  13. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  14. def asSeenFrom(pre: TastyCore.SymbolTable.Type, clazz: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
  15. def atOwner(owner: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  16. def baseClasses: List[TastyCore.SymbolTable.Symbol]
    Definition Classes
    Type → TypeApi
  17. def baseType(clazz: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
  18. def baseTypeIndex(sym: TastyCore.SymbolTable.Symbol): Int
    Definition Classes
    Type
  19. def baseTypeSeq: TastyCore.SymbolTable.BaseTypeSeq
    Definition Classes
    Type
  20. def baseTypeSeqDepth: Depth
    Definition Classes
    Type
  21. def betaReduce: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  22. def bounds: TastyCore.SymbolTable.TypeBounds
    Definition Classes
    Type
  23. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  24. def cloneInfo(owner: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  25. def collect[T](pf: PartialFunction[TastyCore.SymbolTable.Type, T]): List[T]
    Definition Classes
    Type
  26. def companion: TastyCore.SymbolTable.Type
    Definition Classes
    TypeApiImpl → TypeApi
  27. def complete(sym: TastyCore.SymbolTable.Symbol): Unit
    Definition Classes
    Type
  28. def computeMemberType(sym: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  29. def contains(sym: TastyCore.SymbolTable.Symbol): Boolean
    Definition Classes
    Type → TypeApi
  30. def dealias: TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
  31. final def dealiasWiden: TastyCore.SymbolTable.Type
    Definition Classes
    Type
    Annotations
    @tailrec()
  32. def dealiasWidenChain: List[TastyCore.SymbolTable.Type]
    Definition Classes
    Type
  33. def decl(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
    Definition Classes
    Type → TypeApi
  34. def declaration(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
    Definition Classes
    TypeApiImpl → TypeApi
  35. def declarations: TastyCore.SymbolTable.Scope
    Definition Classes
    TypeApiImpl → TypeApi
  36. def decls: TastyCore.SymbolTable.Scope
    Definition Classes
    Type → TypeApi
  37. def deconst: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  38. def deferredMembers: TastyCore.SymbolTable.Scope
    Definition Classes
    Type
  39. def directObjectString: String
    Definition Classes
    Type
  40. def dummyArgs: List[TastyCore.SymbolTable.Type]
    Attributes
    protected
    Definition Classes
    Type
  41. def ensuring(cond: (TastyUniverse.ContextFunctionType) => Boolean, msg: => Any): TastyUniverse.ContextFunctionType
    Implicit
    This member is added by an implicit conversion from TastyUniverse.ContextFunctionType toEnsuring[TastyUniverse.ContextFunctionType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  42. def ensuring(cond: (TastyUniverse.ContextFunctionType) => Boolean): TastyUniverse.ContextFunctionType
    Implicit
    This member is added by an implicit conversion from TastyUniverse.ContextFunctionType toEnsuring[TastyUniverse.ContextFunctionType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  43. def ensuring(cond: Boolean, msg: => Any): TastyUniverse.ContextFunctionType
    Implicit
    This member is added by an implicit conversion from TastyUniverse.ContextFunctionType toEnsuring[TastyUniverse.ContextFunctionType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  44. def ensuring(cond: Boolean): TastyUniverse.ContextFunctionType
    Implicit
    This member is added by an implicit conversion from TastyUniverse.ContextFunctionType toEnsuring[TastyUniverse.ContextFunctionType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  45. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  46. def erasure: TastyCore.SymbolTable.Type
    Definition Classes
    TypeApiImpl → TypeApi
  47. def etaExpand: TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
  48. def exists(p: (TastyCore.SymbolTable.Type) => Boolean): Boolean
    Definition Classes
    Type → TypeApi
  49. def filterAnnotations(p: (TastyCore.SymbolTable.AnnotationInfo) => Boolean): TastyCore.SymbolTable.Type
    Definition Classes
    Type → Annotatable
  50. final def finalResultType: TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
  51. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  52. def find(p: (TastyCore.SymbolTable.Type) => Boolean): Option[TastyCore.SymbolTable.Type]
    Definition Classes
    Type → TypeApi
  53. def findMember(name: TastyCore.SymbolTable.Name, excludedFlags: Long, requiredFlags: Long, stableOnly: Boolean): TastyCore.SymbolTable.Symbol
    Definition Classes
    Type
  54. def findMembers(excludedFlags: Long, requiredFlags: Long): TastyCore.SymbolTable.Scope
    Definition Classes
    Type
  55. def firstParent: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  56. def foldOver(folder: TastyCore.SymbolTable.TypeFolder): Unit
    Definition Classes
    Type
  57. def forceDirectSuperclasses(): Unit
    Definition Classes
    Type
  58. def foreach(f: (TastyCore.SymbolTable.Type) => Unit): Unit
    Definition Classes
    Type → TypeApi
  59. def getAnnotation(cls: TastyCore.SymbolTable.Symbol): Option[TastyCore.SymbolTable.AnnotationInfo]
    Definition Classes
    Annotatable
  60. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  61. def hasAnnotation(cls: TastyCore.SymbolTable.Symbol): Boolean
    Definition Classes
    Annotatable
  62. def hasNonPrivateMember(name: TastyCore.SymbolTable.Name): Boolean
    Definition Classes
    Type
  63. def implicitMembers: TastyCore.SymbolTable.Scope
    Definition Classes
    Type
  64. def instantiateTypeParams(formals: List[TastyCore.SymbolTable.Symbol], actuals: List[TastyCore.SymbolTable.Type]): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  65. final def isAny: Boolean
    Definition Classes
    Type
  66. def isComplete: Boolean
    Definition Classes
    Type
  67. def isDependentMethodType: Boolean
    Definition Classes
    Type
  68. def isErroneous: Boolean
    Definition Classes
    Type
  69. def isError: Boolean
    Definition Classes
    Type
  70. def isFinalType: Boolean
    Definition Classes
    Type
  71. def isGround: Boolean
    Definition Classes
    Type
  72. def isHigherKinded: Boolean
    Definition Classes
    Type
  73. def isImmediatelyDependent: Boolean
    Definition Classes
    Type
  74. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  75. final def isNothing: Boolean
    Definition Classes
    Type
  76. def isShowAsInfixType: Boolean
    Definition Classes
    Type
  77. def isSpliceable: Boolean
    Definition Classes
    TypeApiImpl
  78. final def isStable: Boolean
    Definition Classes
    Type
  79. def isStructuralRefinement: Boolean
    Definition Classes
    Type
  80. def isTrivial: Boolean
    Definition Classes
    Type
  81. final def isVolatile: Boolean
    Definition Classes
    Type
  82. def isWildcard: Boolean
    Definition Classes
    Type
  83. def kind: String
    Definition Classes
    Type
  84. def load(sym: TastyCore.SymbolTable.Symbol): Unit
    Definition Classes
    Type
  85. def looselyMatches(that: TastyCore.SymbolTable.Type): Boolean
    Definition Classes
    Type
  86. def lowerBound: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  87. def map(f: (TastyCore.SymbolTable.Type) => TastyCore.SymbolTable.Type): TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
  88. def mapOver(map: TastyCore.SymbolTable.TypeMap): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  89. def matches(that: TastyCore.SymbolTable.Type): Boolean
    Definition Classes
    Type
  90. def matchesPattern(that: TastyCore.SymbolTable.Type): Boolean
    Definition Classes
    Type
  91. def member(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
    Definition Classes
    Type → TypeApi
  92. def memberBasedOnName(name: TastyCore.SymbolTable.Name, excludedFlags: Long): TastyCore.SymbolTable.Symbol
    Definition Classes
    Type
  93. def memberInfo(sym: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  94. def memberType(sym: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  95. def members: TastyCore.SymbolTable.Scope
    Definition Classes
    Type → TypeApi
  96. def membersBasedOnFlags(excludedFlags: Long, requiredFlags: Long): TastyCore.SymbolTable.Scope
    Definition Classes
    Type
  97. def nameAndArgsString: String
    Definition Classes
    Type
  98. def narrow: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  99. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  100. def nonLocalMember(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
    Definition Classes
    Type
  101. def nonPrivateDecl(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
    Definition Classes
    Type
  102. def nonPrivateDecls: List[TastyCore.SymbolTable.Symbol]
    Definition Classes
    Type
  103. def nonPrivateMember(name: TastyCore.SymbolTable.Name): TastyCore.SymbolTable.Symbol
    Definition Classes
    Type
  104. def nonPrivateMemberAdmitting(name: TastyCore.SymbolTable.Name, admit: Long): TastyCore.SymbolTable.Symbol
    Definition Classes
    Type
  105. def nonPrivateMembers: TastyCore.SymbolTable.Scope
    Definition Classes
    Type
  106. def nonPrivateMembersAdmitting(admit: Long): TastyCore.SymbolTable.Scope
    Definition Classes
    Type
  107. def normalize: TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
  108. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  109. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  110. def objectPrefix: String
    Attributes
    protected
    Definition Classes
    Type
  111. final def orElse(alt: => TastyCore.SymbolTable.Type): TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
    Annotations
    @inline()
  112. def packageObject: TastyCore.SymbolTable.Symbol
    Definition Classes
    Type
  113. def packagePrefix: String
    Attributes
    protected
    Definition Classes
    Type
  114. def paramLists: List[List[TastyCore.SymbolTable.Symbol]]
    Definition Classes
    TypeApiImpl → TypeApi
  115. def paramSectionCount: Int
    Definition Classes
    Type
  116. def paramTypes: List[TastyCore.SymbolTable.Type]
    Definition Classes
    Type
  117. def params: List[TastyCore.SymbolTable.Symbol]
    Definition Classes
    Type
  118. def paramss: List[List[TastyCore.SymbolTable.Symbol]]
    Definition Classes
    Type → TypeApi
  119. def parents: List[TastyCore.SymbolTable.Type]
    Definition Classes
    Type
  120. def prefix: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  121. def prefixChain: List[TastyCore.SymbolTable.Type]
    Definition Classes
    Type
  122. def prefixDirect: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  123. def prefixString: String
    Definition Classes
    Type
  124. def productElementNames: Iterator[String]
    Definition Classes
    Product
  125. def productIterator: Iterator[Any]
    Definition Classes
    Product
  126. def removeAnnotation(cls: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
    Definition Classes
    Annotatable
  127. def resultApprox: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  128. def resultType(actuals: List[TastyCore.SymbolTable.Type]): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  129. def resultType: TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
  130. def safeToString: String
    Definition Classes
    Type
  131. def setAnnotations(annots: List[TastyCore.SymbolTable.AnnotationInfo]): TastyCore.SymbolTable.Type
    Definition Classes
    Type → Annotatable
  132. def skolemizeExistential: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  133. def skolemizeExistential(owner: TastyCore.SymbolTable.Symbol, origin: AnyRef): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  134. def skolemsExceptMethodTypeParams: List[TastyCore.SymbolTable.Symbol]
    Definition Classes
    Type
  135. def stat_<:<(that: TastyCore.SymbolTable.Type): Boolean
    Definition Classes
    Type
  136. def staticAnnotations: collection.immutable.List[TastyCore.SymbolTable.AnnotationInfo]
    Definition Classes
    Annotatable
  137. def subst(from: List[TastyCore.SymbolTable.Symbol], to: List[TastyCore.SymbolTable.Type]): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  138. def substSym(from: List[TastyCore.SymbolTable.Symbol], to: List[TastyCore.SymbolTable.Symbol]): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  139. def substThis(from: TastyCore.SymbolTable.Symbol, to: TastyCore.SymbolTable.Symbol): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  140. def substThis(from: TastyCore.SymbolTable.Symbol, to: TastyCore.SymbolTable.Type): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  141. def substThisAndSym(from: TastyCore.SymbolTable.Symbol, to: TastyCore.SymbolTable.Type, symsFrom: List[TastyCore.SymbolTable.Symbol], symsTo: List[TastyCore.SymbolTable.Symbol]): TastyCore.SymbolTable.Type
    Definition Classes
    Type
  142. def substituteSymbols(from: List[TastyCore.SymbolTable.Symbol], to: List[TastyCore.SymbolTable.Symbol]): TastyCore.SymbolTable.Type
    Definition Classes
    TypeApiImpl → TypeApi
  143. def substituteTypes(from: List[TastyCore.SymbolTable.Symbol], to: List[TastyCore.SymbolTable.Type]): TastyCore.SymbolTable.Type
    Definition Classes
    TypeApiImpl → TypeApi
  144. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  145. def takesTypeArgs: Boolean
    Definition Classes
    Type → TypeApi
  146. def termSymbol: TastyCore.SymbolTable.Symbol
    Definition Classes
    Type → TypeApi
  147. def termSymbolDirect: TastyCore.SymbolTable.Symbol
    Definition Classes
    Type
  148. def toLongString: String
    Definition Classes
    Type
  149. final def toString(): String
    Definition Classes
    Type → AnyRef → Any
  150. def trimPrefix(str: String): String
    Definition Classes
    Type
  151. def typeArgs: List[TastyCore.SymbolTable.Type]
    Definition Classes
    Type → TypeApi
  152. def typeArguments: List[TastyCore.SymbolTable.Type]
    Definition Classes
    TypeApiImpl
  153. def typeConstructor: TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
  154. def typeOfThis: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  155. def typeParams: List[TastyCore.SymbolTable.Symbol]
    Definition Classes
    Type → TypeApi
  156. def typeSymbol: TastyCore.SymbolTable.Symbol
    Definition Classes
    Type → TypeApi
  157. def typeSymbolDirect: TastyCore.SymbolTable.Symbol
    Definition Classes
    Type
  158. def underlying: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  159. def upperBound: TastyCore.SymbolTable.Type
    Definition Classes
    Type
  160. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  161. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  162. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  163. def weak_<:<(that: TastyCore.SymbolTable.Type): Boolean
    Definition Classes
    Type → TypeApi
  164. def widen: TastyCore.SymbolTable.Type
    Definition Classes
    Type → TypeApi
  165. def withAnnotation(anno: TastyCore.SymbolTable.AnnotationInfo): TastyCore.SymbolTable.Type
    Definition Classes
    Type → Annotatable
  166. def withAnnotations(annots: List[TastyCore.SymbolTable.AnnotationInfo]): TastyCore.SymbolTable.Type
    Definition Classes
    Type → Annotatable
  167. def withFilter(p: (TastyCore.SymbolTable.Type) => Boolean): FilterMapForeach
    Definition Classes
    Type
  168. def withoutAnnotations: TastyCore.SymbolTable.Type
    Definition Classes
    Type → Annotatable

Deprecated Value Members

  1. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from TastyUniverse.ContextFunctionType toStringFormat[TastyUniverse.ContextFunctionType] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.12.16) Use formatString.format(value) instead of value.formatted(formatString), or use the f"" string interpolator. In Java 15 and later, formatted resolves to the new method in String which has reversed parameters.

  2. def →[B](y: B): (TastyUniverse.ContextFunctionType, B)
    Implicit
    This member is added by an implicit conversion from TastyUniverse.ContextFunctionType toArrowAssoc[TastyUniverse.ContextFunctionType] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use -> instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

Inherited from java.io.Serializable

Inherited from Product

Inherited from Equals

Inherited from TastyCore.SymbolTable.Type

Inherited from TastyCore.SymbolTable.Annotatable[TastyCore.SymbolTable.Type]

Inherited from TastyCore.SymbolTable.TypeApiImpl

Inherited from TastyCore.SymbolTable.TypeApi

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion SafeEq fromTastyUniverse.ContextFunctionType to SafeEq[TastyUniverse.ContextFunctionType]

Inherited by implicit conversion any2stringadd fromTastyUniverse.ContextFunctionType to any2stringadd[TastyUniverse.ContextFunctionType]

Inherited by implicit conversion StringFormat fromTastyUniverse.ContextFunctionType to StringFormat[TastyUniverse.ContextFunctionType]

Inherited by implicit conversion Ensuring fromTastyUniverse.ContextFunctionType to Ensuring[TastyUniverse.ContextFunctionType]

Inherited by implicit conversion ArrowAssoc fromTastyUniverse.ContextFunctionType to ArrowAssoc[TastyUniverse.ContextFunctionType]

Ungrouped