All children of this Type.
All children of this Type.
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
(baseTypedType: StringAdd).self
(baseTypedType: StringFormat).self
(baseTypedType: ArrowAssoc[BaseTypedType[T]]).x
(Since version 2.10.0) Use leftOfArrow
instead
(baseTypedType: Ensuring[BaseTypedType[T]]).x
(Since version 2.10.0) Use resultOfEnsuring
instead