RecursiveTypeModule

scala.quoted.Quotes.reflectModule.RecursiveTypeModule

Methods of the module object val RecursiveType

Attributes

Source:
Quotes.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Abstract methods

Create a RecType, normalizing its contents. This means:

Create a RecType, normalizing its contents. This means:

  1. Nested Rec types on the type's spine are merged with the outer one.
  2. Any refinement of the form type T = z.T on the spine of the type where z refers to the created rec-type is replaced by type T. This avoids infinite recursions later when we try to follow these references.

Attributes

Source:
Quotes.scala

Attributes

Source:
Quotes.scala