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.
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
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
(optionType: StringAdd).self
(optionType: StringFormat).self
(optionType: ArrowAssoc[OptionType]).x
(Since version 2.10.0) Use leftOfArrow
instead
(optionType: Ensuring[OptionType]).x
(Since version 2.10.0) Use resultOfEnsuring
instead