Name

A type for names of the same kind as this name

This name downcasted to a simple term name

This name downcasted to a term name

This name downcasted to a type name

If partial function f is defined for some part of this name, apply it in a Some, otherwise None. Stops at derived names whose kind has definesNewName = true.

A string showing the internal structure of this name. By contrast, toString shows the name after conversion to a simple name.

Replace operator expansions by corresponding operator symbols.

A derived name consisting of this name and the added info, unless it is already present in this name.

Replace operator symbols by corresponding operator expansions

This name without any info of the given kind. Excepted, as always, is the underlying name part of a qualified name.

The first part of this (possible qualified) name

Does this name contain an info of the given kind? Excepted, as always, is the underlying name part of a qualified name.

Is this name empty?

Is this name a term name?

Is this name a type name?

The last part of this (possible qualified) name

A name in the same (term or type) namespace as this name and with same characters as given name.

This name converted to a simple term name and in addition with all symbolic operator characters expanded.

Convert to string after mangling

Apply f to last simple term name making up this name

Apply f to all simple term names making up this name

Apply rewrite rule given by f to some part of this name, skipping and rewrapping other decorators. Stops at derived names whose kind has definesNewName = true. If f does not apply to any part, return name unchanged.

This name converted to a simple term name

This name converted to a term name

This name converted to a type name

Append other to the last part of this name

A derived name consisting of this name and the info of kind

Does (the last part of) this name end with str?

Replace all occurrences of from to to in this name

Does (the first part of) this name starting at index start starts with str?

Convert name to text via printer.

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

The string representation of this showable element.

The string representation with each line after the first one indented by the given given margin (in spaces).

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.