Scala Compiler 2.13.16 - scala.tools.nsc.typechecker.StructuredTypeStrings.intoNodes
Keywords: Scala Compiler 2.13.16 scala.tools.nsc.typechecker.StructuredTypeStrings.intoNodes

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 typechecker
  Definition Classes
    nsc
-  trait StructuredTypeStrings extends DestructureTypes

  A more principled system for turning types into strings.

  A more principled system for turning types into strings.

  Definition Classes
    typechecker
- DestructureType
- Grouping
- LabelAndType
- MonoFunction
- NullaryFunction
- PolyFunction
- TypeAtom
- TypeEmpty
- TypeList
- TypeNode
- TypeProduct
- intoNodes

o

scala.tools.nsc.typechecker.StructuredTypeStrings

# intoNodes

###

#### object intoNodes extends DestructureType[TypeNode]

Source
  TypeStrings.scala

Linear Supertypes
StructuredTypeStrings.DestructureType[TypeNode], (Global.Type) => TypeNode, AnyRef, Any

Ordering

1. Alphabetic
2. By Inheritance

Inherited

1. intoNodes
2. DestructureType
3. Function1
4. AnyRef
5. 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 andThen[A](g: (TypeNode) => A): (Global.Type) => A
   Definition Classes
     Function1
   Annotations
     @unspecialized()
5.  def annotatedType(annotations: List[Global.AnnotationInfo], underlying: Global.Type): TypeNode
   Definition Classes
     DestructureType
6.  def annotation(ann: Global.AnnotationInfo): TypeNode
   Definition Classes
     DestructureType
7.  def apply(tp: Global.Type): TypeNode
   Definition Classes
     DestructureType → Function1
8.  def apply(label: String, tp: Global.Type): TypeNode
   Definition Classes
     DestructureType
9.  final def asInstanceOf[T0]: T0
   Definition Classes
     Any
10.  def atom[U](label: String, value: U): TypeNode
    Definition Classes
      DestructureType
11.  def clone(): AnyRef
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.CloneNotSupportedException]) @native()
12.  def compose[A](g: (A) => Global.Type): (A) => TypeNode
    Definition Classes
      Function1
    Annotations
      @unspecialized()
13.  def constant(label: String, const: Global.Constant): TypeNode
    Definition Classes
      DestructureType
14.  final def eq(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
15.  def equals(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef → Any
16.  def finalize(): Unit
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.Throwable])
17.  final def getClass(): Class[_ <: AnyRef]
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
18.  def hashCode(): Int
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
19.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
20.  def list(nodes: List[TypeNode]): TypeNode
    Definition Classes
      DestructureType
21.  def monoFunction(params: List[Global.Symbol], restpe: Global.Type): TypeNode
    Definition Classes
      DestructureType
22.  final def ne(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
23.  def node(label: String, node: TypeNode): TypeNode
    Definition Classes
      DestructureType
24.  final def notify(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
25.  final def notifyAll(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
26.  def nullaryFunction(restpe: Global.Type): TypeNode
    Definition Classes
      DestructureType
27.  def parentList(tps: List[Global.Type]): TypeNode
    Definition Classes
      DestructureType
28.  def polyFunction(tparams: List[Global.Symbol], restpe: Global.Type): TypeNode
    Definition Classes
      DestructureType
29.  def prefix(pre: Global.Type): TypeNode
    Definition Classes
      DestructureType
30.  def product(typeName: String, nodes: TypeNode*): TypeNode
    Definition Classes
      DestructureType
31.  def product(tp: Global.Type, nodes: TypeNode*): TypeNode
    Definition Classes
      DestructureType
32.  def resultType(restpe: Global.Type): TypeNode
    Definition Classes
      DestructureType
33.  def scope(decls: Global.Scope): TypeNode
    Definition Classes
      DestructureType
34.  def symbolType(sym: Global.Symbol): String
    Definition Classes
      DestructureType
35.  final def synchronized[T0](arg0: => T0): T0
    Definition Classes
      AnyRef
36.  def toString(): String
    Definition Classes
      Function1 → AnyRef → Any
37.  def typeArgs(tps: List[Global.Type]): TypeNode
    Definition Classes
      DestructureType
38.  def typeBounds(lo0: Global.Type, hi0: Global.Type): TypeNode
    Definition Classes
      DestructureType
39.  def typeConstraint(constr: Global.TypeConstraint): TypeNode
    Definition Classes
      DestructureType
40.  def typeParams(tps: List[Global.Symbol]): TypeNode
    Definition Classes
      DestructureType
41.  def typeRef(tp: Global.TypeRef): TypeNode

    This imposes additional structure beyond that which is visible in the case class hierarchy.

    This imposes additional structure beyond that which is visible in the case class hierarchy. In particular, (too) many different constructs are encoded in TypeRefs; here they are partitioned somewhat before being dispatched.

    For example, a typical type parameter is encoded as TypeRef(NoPrefix, sym, Nil) with its upper and lower bounds stored in the info of the symbol. Viewing the TypeRef naively we are treated to both too much information (useless prefix, usually empty args) and too little (bounds hidden behind indirection.) So drop the prefix and promote the bounds.

    Definition Classes
      DestructureType
42.  def typeRefType(sym: Global.Symbol): String
    Definition Classes
      DestructureType
43.  def valueParams(params: List[Global.Symbol]): TypeNode
    Definition Classes
      DestructureType
44.  final def wait(): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
45.  final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
46.  final def wait(arg0: Long): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException]) @native()
47.  def withLabel(node: TypeNode, label: String): TypeNode
    Definition Classes
      intoNodes → DestructureType
48.  def withType(node: TypeNode, typeName: String): TypeNode
    Definition Classes
      intoNodes → DestructureType
49.  def wrapAtom[U](value: U): TypeAtom[U]
    Definition Classes
      intoNodes → DestructureType
50.  def wrapEmpty: TypeEmpty
    Definition Classes
      intoNodes → DestructureType
51.  def wrapMono(in: TypeNode, out: TypeNode): TypeNode
    Definition Classes
      intoNodes → DestructureType
52.  def wrapPoly(in: TypeNode, out: TypeNode): PolyFunction
    Definition Classes
      intoNodes → DestructureType
53.  def wrapProduct(nodes: List[TypeNode]): TypeProduct
    Definition Classes
      intoNodes → DestructureType
54.  def wrapSequence(nodes: List[TypeNode]): TypeList
    Definition Classes
      intoNodes → DestructureType
55.  def wrapSymbolInfo(sym: Global.Symbol): TypeNode
    Definition Classes
      DestructureType
56.  def wrapTree(tree: Global.Tree): TypeNode
    Definition Classes
      DestructureType

### Inherited from StructuredTypeStrings.DestructureType[TypeNode]

### Inherited from (Global.Type) => TypeNode

### Inherited from AnyRef

### Inherited from Any

### Ungrouped