O object

RecursiveType

extends Object

Supertypes

Object

Members

def 

apply

( parentExp: RecursiveType => Type ) ( implicit  ctx: Context ) : RecursiveType

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.

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

extension_recThis

( self: RecursiveType ) ( implicit  ctx: Context ) : RecursiveThis

def 

extension_underlying

( self: RecursiveType ) ( implicit  ctx: Context ) : Type

def 

unapply

( x: RecursiveType ) ( implicit  ctx: Context ) : Option[Type]