Scala Compiler 2.13.16 - scala.tools.nsc.tasty.bridge.TypeOps.defn
Keywords: Scala Compiler 2.13.16 scala.tools.nsc.tasty.bridge.TypeOps.defn

Scala Compiler2.13.16 < Back


# Packages

-  package root

  The Scala compiler and reflection APIs.

  The Scala compiler and reflection APIs.

  Definition Classes
    root
-  package scala
  Definition Classes
    root
-  package tools
  Definition Classes
    scala
-  package nsc
  Definition Classes
    tools
-  package tasty
  Definition Classes
    nsc
-  package bridge
  Definition Classes
    tasty
-  trait TypeOps extends AnyRef

  This layer adds factories that construct `scala.reflect` Types in the shapes that TASTy expects.

  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`.

  Definition Classes
    bridge
- AndTpe
- BaseTastyCompleter
- ContextFunctionType
- ErasedContextFunctionType
- ErasedFunctionType
- FunctionXXLType
- HKTypeLambda
- LambdaFactory
- LambdaPolyType
- MethodTermLambda
- PolyTypeLambda
- TastyCompleter
- TastyRepr
- TermLambdaFactory
- TypeLambdaFactory
- defn

o

scala.tools.nsc.tasty.bridge.TypeOps

# defn

###

#### object defn

Source
  TypeOps.scala

Linear Supertypes
AnyRef, Any

Ordering

1. Alphabetic
2. By Inheritance

Inherited

1. defn
2. AnyRef
3. Any

1. Hide All
2. Show All

Visibility

1. Public
2. Protected

### 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.  def AnnotatedType(tpe: TastyUniverse.Type, annot: TastyUniverse.Tree)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
5.  final val AnnotationDefaultClass: TastyUniverse.Symbol
6.  def AppliedType(tycon: TastyUniverse.Type, args: List[TastyUniverse.Type])(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
7.  def ByNameType(arg: TastyUniverse.Type): TastyUniverse.Type
8.  final val ChildAnnot: TastyUniverse.Symbol
9.  def ClassInfoType(parents: List[TastyUniverse.Type], decls: List[TastyUniverse.Symbol], clazz: TastyUniverse.Symbol): TastyUniverse.Type
10.  def ClassInfoType(parents: List[TastyUniverse.Type], clazz: TastyUniverse.Symbol): TastyUniverse.Type
11.  def ConstantType(c: TastyUniverse.Constant): TastyUniverse.Type
12.  def DefDefType(typeParams: List[TastyUniverse.Symbol], valueParamss: List[List[TastyUniverse.Symbol]], resultType: TastyUniverse.Type): TastyUniverse.Type

    The method type corresponding to given parameters and result type

13.  final val ExperimentalAnnotationClass: TastyUniverse.Symbol
14.  def ExprType(res: TastyUniverse.Type): TastyUniverse.Type
15.  def InitialTypeInfo: TastyUniverse.Type
16.  def InlineExprType(res: TastyUniverse.Type): TastyUniverse.Type
17.  def IntersectionType(tps: List[TastyUniverse.Type]): TastyUniverse.Type
18.  def IntersectionType(tps: TastyUniverse.Type*): TastyUniverse.Type
19.  final val JavaAnnotationClass: TastyUniverse.Symbol
20.  def LambdaFromParams(typeParams: List[TastyUniverse.Symbol], ret: TastyUniverse.Type): TastyUniverse.Type
21.  def NamedType(prefix: TastyUniverse.Type, sym: TastyUniverse.Symbol)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
22.  final val NoPrefix: TastyUniverse.Type
23.  final val NoType: TastyUniverse.Type
24.  def NormalisedBounds(tpe: TastyUniverse.Type, sym: TastyUniverse.Symbol)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
25.  final val ObjectTpe: TastyUniverse.Type
26.  final val ObjectTpeJava: TastyUniverse.Type
27.  def OpaqueTypeToBounds(tpe: TastyUniverse.Type): (TastyUniverse.Type, TastyUniverse.Type)
28.  def ParamRef(binder: TastyUniverse.Type, idx: Int): TastyUniverse.Type
29.  def PolyType(params: List[TastyUniverse.Symbol], res: TastyUniverse.Type): TastyUniverse.Type
30.  def RecThis(tpe: TastyUniverse.Type): TastyUniverse.Type
31.  def RecType(run: (TastyUniverse.RecType) => TastyUniverse.Type)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
32.  def RefinedType(parent: TastyUniverse.Type, name: TastyName, refinedCls: TastyUniverse.Symbol, tpe: TastyUniverse.Type)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
33.  final val RepeatedAnnot: TastyUniverse.Symbol
34.  def SingleType(pre: TastyUniverse.Type, sym: TastyUniverse.Symbol): TastyUniverse.Type
35.  final val StaticMethodAnnotationClass: TastyUniverse.Symbol
36.  def SuperType(thisTpe: TastyUniverse.Type, superTpe: TastyUniverse.Type): TastyUniverse.Type
37.  final val TargetNameAnnotationClass: TastyUniverse.Symbol
38.  def TermRef(prefix: TastyUniverse.Type, name: TastyName)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
39.  def TermRefIn(prefix: TastyUniverse.Type, space: TastyUniverse.Type, name: TastyName)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
40.  def ThisType(tpe: TastyUniverse.Type): TastyUniverse.Type
41.  def TypeBounds(lo: TastyUniverse.Type, hi: TastyUniverse.Type): TastyUniverse.Type
42.  def TypeRef(prefix: TastyUniverse.Type, name: TypeName)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
43.  def TypeRefIn(prefix: TastyUniverse.Type, space: TastyUniverse.Type, name: TypeName)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
44.  def adjustParent(tp: TastyUniverse.Type)(implicit ctx: TastyUniverse.Context): TastyUniverse.Type
45.  final def asInstanceOf[T0]: T0
    Definition Classes
      Any
46.  def clone(): AnyRef
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.CloneNotSupportedException]) @native()
47.  final def eq(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
48.  def equals(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef → Any
49.  def finalize(): Unit
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.Throwable])
50.  final def getClass(): Class[_ <: AnyRef]
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
51.  def hashCode(): Int
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
52.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
53.  final def ne(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
54.  final def notify(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
55.  final def notifyAll(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
56.  final def synchronized[T0](arg0: => T0): T0
    Definition Classes
      AnyRef
57.  def toString(): String
    Definition Classes
      AnyRef → Any
58.  final def wait(): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
59.  final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
60.  final def wait(arg0: Long): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException]) @native()
61.  object DefaultInfo extends TastyCore.SymbolTable.Type with TastyUniverse.TastyRepr

    Represents a symbol that has been initialised by TastyUnpickler, but can not be in a state of completion because its definition has not yet been seen.

62.  object PolyFunctionType

### Inherited from AnyRef

### Inherited from Any

### Ungrouped