Packages

trait TypeOps extends AnyRef

This layer adds factories that construct scala.reflect Types in the shapes that TASTy expects. Additionally provides operations to select a type from a type, or a type from a type with an additional prefix, using a TastyName.

Self Type
TastyUniverse
Source
TypeOps.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TypeOps
  2. AnyRef
  3. 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

Type Members

  1. case class ContextFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
  2. case class FunctionXXLType(arity: Int) extends TastyUniverse.Type with Product with Serializable
  3. final class LambdaPolyType extends TastyCore.SymbolTable.PolyType
  4. abstract class LambdaTypeCompanion[N <: TastyName] extends AnyRef
  5. final class MethodTypeCompanion extends TastyUniverse.TermLambdaCompanion
  6. abstract class TastyCompleter extends TastyCore.SymbolTable.LazyType with TastyUniverse.TastyRepr with TastyCore.SymbolTable.FlagAgnosticCompleter
  7. sealed trait TastyRepr extends TastyCore.SymbolTable.Type
  8. abstract class TermLambdaCompanion extends TastyUniverse.LambdaTypeCompanion[TastyName]
  9. abstract class TypeLambdaCompanion extends TastyUniverse.LambdaTypeCompanion[TypeName]

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def !==(u: TypeOps): Boolean
    Implicit
    This member is added by an implicit conversion from TypeOps toSafeEq[TypeOps] 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 TypeOps toany2stringadd[TypeOps] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  5. def ->[B](y: B): (TypeOps, B)
    Implicit
    This member is added by an implicit conversion from TypeOps toArrowAssoc[TypeOps] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. final def ===(u: TypeOps): Boolean
    Implicit
    This member is added by an implicit conversion from TypeOps toSafeEq[TypeOps] performed by method SafeEq in scala.tools.nsc.tasty.
    Definition Classes
    SafeEq
    Annotations
    @inline()
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. final def bigFnIsUnsupported[T](tpeStr: String)(implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  11. final def ctxFnIsUnsupported[T](tpeStr: String)(implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  12. def effectiveResultType(sym: TastyUniverse.Symbol, typeParams: List[TastyUniverse.Symbol], givenTp: TastyUniverse.Type): TastyUniverse.Type

    The given type, unless sym is a constructor, in which case the type of the constructed instance is returned

  13. def emptyTypeBounds: TastyUniverse.Type
  14. def ensuring(cond: (TypeOps) => Boolean, msg: => Any): TypeOps
    Implicit
    This member is added by an implicit conversion from TypeOps toEnsuring[TypeOps] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  15. def ensuring(cond: (TypeOps) => Boolean): TypeOps
    Implicit
    This member is added by an implicit conversion from TypeOps toEnsuring[TypeOps] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  16. def ensuring(cond: Boolean, msg: => Any): TypeOps
    Implicit
    This member is added by an implicit conversion from TypeOps toEnsuring[TypeOps] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  17. def ensuring(cond: Boolean): TypeOps
    Implicit
    This member is added by an implicit conversion from TypeOps toEnsuring[TypeOps] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  18. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  20. final def erasedRefinementIsUnsupported[T](implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  21. def fnResult(fn: TastyUniverse.Type): TastyUniverse.Type
  22. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from TypeOps toStringFormat[TypeOps] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  23. final def genTupleIsUnsupported[T](name: String)(implicit ctx: TastyUniverse.Context): T

    *: erases to either TupleXXL or Product

    *: erases to either TupleXXL or Product

    Annotations
    @inline()
  24. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  25. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  26. def intersectionParts(tpe: TastyUniverse.Type): List[TastyUniverse.Type]
  27. final def isConstantType(tpe: TastyUniverse.Type): Boolean
    Annotations
    @inline()
  28. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  29. final def isTypeType(tpe: TastyUniverse.Type): Boolean
    Annotations
    @inline()
  30. def lambdaResultType(resType: TastyUniverse.Type): TastyUniverse.Type
  31. def lzyShow(tpe: TastyUniverse.Type): String
  32. final def matchTypeIsUnsupported[T](implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  33. final def mergeableParams(t: TastyUniverse.Type, u: TastyUniverse.Type): Boolean
    Annotations
    @inline()
  34. def methodTypeCompanion(initialFlags: TastyFlagSet): TastyUniverse.MethodTypeCompanion
  35. def namedMemberOfPrefix(pre: TastyUniverse.Type, name: TastyName)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
  36. def namedMemberOfTypeWithPrefix(pre: TastyUniverse.Type, space: TastyUniverse.Type, tname: TastyName)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
  37. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  38. def normaliseConstructorRef(ctor: TastyUniverse.Symbol): TastyUniverse.Type
  39. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  40. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  41. final def polyFuncIsUnsupported[T](tpe: TastyUniverse.Type)(implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  42. def prefixedRef(prefix: TastyUniverse.Type, sym: TastyUniverse.Symbol): TastyUniverse.Type
  43. def recThis(tpe: TastyUniverse.Type): TastyUniverse.Type
  44. def safeClassType(tpe: TastyUniverse.Type): TastyUniverse.Type

    return a type that can be used as a class type, e.g.

    return a type that can be used as a class type, e.g. in parents of another class, or as the type of new

  45. def selectTerm(name: TastyName, prefix: TastyUniverse.Type, space: TastyUniverse.Type)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
  46. def selectTerm(name: TastyName, prefix: TastyUniverse.Type)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
  47. def selectType(name: TypeName, prefix: TastyUniverse.Type, space: TastyUniverse.Type)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
  48. def selectType(name: TypeName, prefix: TastyUniverse.Type)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
  49. def singletonLike(tpe: TastyUniverse.Type): TastyUniverse.Symbol
  50. def symOfTypeRef(tpe: TastyUniverse.Type): TastyUniverse.Symbol
  51. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  52. def toString(): String
    Definition Classes
    AnyRef → Any
  53. def tyconResult(tycon: TastyUniverse.Type, args: List[TastyUniverse.Type]): TastyUniverse.Type
  54. def typeRef(tpe: TastyUniverse.Type): TastyUniverse.Type
  55. final def unionIsUnsupported[T](implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  56. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  57. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  58. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  59. case object AndTpe extends TastyUniverse.Type with Product with Serializable

    A synthetic type scala.& which accepts two type arguments, representing an intersection type

    A synthetic type scala.& which accepts two type arguments, representing an intersection type

    See also

    https://github.com/lampepfl/dotty/issues/7688

  60. object HKTypeLambda extends TastyUniverse.TypeLambdaCompanion with java.io.Serializable
  61. object LambdaPolyType extends java.io.Serializable
  62. object PolyType extends TastyUniverse.TypeLambdaCompanion
  63. object defn

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated
  2. def [B](y: B): (TypeOps, B)
    Implicit
    This member is added by an implicit conversion from TypeOps toArrowAssoc[TypeOps] 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 AnyRef

Inherited from Any

Inherited by implicit conversion SafeEq fromTypeOps to SafeEq[TypeOps]

Inherited by implicit conversion any2stringadd fromTypeOps to any2stringadd[TypeOps]

Inherited by implicit conversion StringFormat fromTypeOps to StringFormat[TypeOps]

Inherited by implicit conversion Ensuring fromTypeOps to Ensuring[TypeOps]

Inherited by implicit conversion ArrowAssoc fromTypeOps to ArrowAssoc[TypeOps]

Ungrouped