RecursiveTypeModule
scala.quoted.Quotes.reflectModule.RecursiveTypeModule
traitRecursiveTypeModule
Methods of the module objectval RecursiveType
Attributes
- Source
- Quotes.scala
- Graph
- Supertypes
- Self type
Members list
Value members
Abstract methods
defapply(parentExp:Quotes.this.reflectModule.this.RecursiveType=>Quotes.this.reflectModule.this.TypeRepr):Quotes.this.reflectModule.this.RecursiveType
Create a RecType, normalizing its contents. This means:
Create a RecType, normalizing its contents. This means:
- Nested Rec types on the type's spine are merged with the outer one.
- Any refinement of the form
type T = z.Ton the spine of the type wherezrefers to the created rec-type is replaced bytype T. This avoids infinite recursions later when we try to follow these references.
Attributes
- Source
- Quotes.scala
defunapply(x:Quotes.this.reflectModule.this.RecursiveType):Some[Quotes.this.reflectModule.this.TypeRepr]
Attributes
- Source
- Quotes.scala
In this article