All children of this Type.
All children of this Type.
A ClassTag for the erased type of this type's Scala values
A ClassTag for the erased type of this type's Scala values
Return the name, main info, attribute info and named children
Apply a transformation to all type children and reconstruct this type with the new children, or return the original object if no child is changed.
Apply a transformation to all type children and reconstruct this type with the new children, or return the original object if no child is changed.
The structural view of this type
The structural view of this type
Remove all NominalTypes recursively from this Type
Remove all NominalTypes recursively from this Type
(nominalType: StringAdd).self
(nominalType: StringFormat).self
(nominalType: ArrowAssoc[NominalType]).x
(Since version 2.10.0) Use leftOfArrow
instead
(nominalType: Ensuring[NominalType]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
A type with a name, as used by tables.
Compiler phases which change types may keep their own representation of the structural view but must update the AST at the end of the phase so that all NominalTypes with the same symbol have the same structural view.