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
TastyUniverse, TastyUniverse
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. abstract class BaseTastyCompleter extends TastyCore.SymbolTable.LazyType with TastyUniverse.TastyRepr with TastyCore.SymbolTable.FlagAgnosticCompleter
  2. case class ContextFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
  3. case class ErasedContextFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
  4. case class ErasedFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
  5. case class FunctionXXLType(arity: Int) extends TastyUniverse.Type with Product with Serializable
  6. abstract class LambdaFactory[N <: TastyName] extends AnyRef
  7. final class LambdaPolyType extends TastyCore.SymbolTable.PolyType
  8. abstract class TastyCompleter extends TastyUniverse.BaseTastyCompleter
  9. sealed trait TastyRepr extends TastyCore.SymbolTable.Type
  10. abstract class TermLambdaFactory extends TastyUniverse.LambdaFactory[TastyName]
  11. abstract class TypeLambdaFactory extends TastyUniverse.LambdaFactory[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()
  11. final def ctxFnIsUnsupported[T](tpeStr: String)(implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  12. def effectiveResultType(sym: 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 erasedCtxFnIsUnsupported[T](tpeStr: String)(implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  21. final def erasedFnIsUnsupported[T](tpeStr: String)(implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  22. final def erasedRefinementIsUnsupported[T](implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  23. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  24. final def fnIsUnsupported[T](kind: (String) => String, tpeStr: String)(implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  25. def fnResult(fn: TastyUniverse.Type): TastyUniverse.Type
  26. 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()
  27. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  28. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  29. def intersectionParts(tpe: TastyUniverse.Type): List[TastyUniverse.Type]
  30. final def isConstantType(tpe: TastyUniverse.Type): Boolean
    Annotations
    @inline()
  31. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  32. final def isTypeType(tpe: TastyUniverse.Type): Boolean
    Annotations
    @inline()
  33. def lzyShow(tpe: TastyUniverse.Type): String
  34. final def matchTypeIsUnsupported[T](implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  35. final def mergeableParams(t: TastyUniverse.Type, u: TastyUniverse.Type): Boolean
    Annotations
    @inline()
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  38. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  39. final def polyFuncIsUnsupported[T](tpe: TastyUniverse.Type)(implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  40. 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

  41. def showType(tpe: TastyUniverse.Type, wrap: Boolean = true): String
  42. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  43. def toString(): String
    Definition Classes
    AnyRef → Any
  44. def tyconResult(tycon: TastyUniverse.Type, args: List[TastyUniverse.Type]): TastyUniverse.Type
  45. final def unionIsUnsupported[T](implicit ctx: TastyUniverse.Context): T
    Annotations
    @inline()
  46. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  47. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  48. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  49. 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

  50. object HKTypeLambda extends TastyUniverse.TypeLambdaFactory with java.io.Serializable
  51. object LambdaFactory
  52. object LambdaPolyType extends java.io.Serializable
  53. object MethodTermLambda extends TastyUniverse.TermLambdaFactory with java.io.Serializable
  54. object PolyTypeLambda extends TastyUniverse.TypeLambdaFactory with java.io.Serializable
  55. object defn

Deprecated Value Members

  1. 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
    @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): (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