Name
A name if either a term name or a type name. Term names can be simple or derived. A simple term name is essentially an interned string stored in a name table. A derived term name adds a tag, and possibly a number or a further simple name to some other name.
Type members
Value members
Abstract methods
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
.
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.
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.
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.
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
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.
This name without any info of the given kind
. Excepted, as always,
is the underlying name part of a qualified name.
Does this name contain an info of the given kind? Excepted, as always, is the underlying name part of a qualified name.
Does this name contain an info of the given kind? Excepted, as always, is the underlying name part of a qualified name.
A name in the same (term or type) namespace as this name and
with same characters as given 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.
This name converted to a simple term name and in addition with all symbolic operator characters expanded.
Apply f
to last simple term name making up this name
Apply f
to last simple term name making up this name
Apply f
to all simple term names 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.
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.
Concrete methods
A derived name consisting of this name and the info of kind
A derived name consisting of this name and the info of kind
Replace all occurrences of from
to to
in this name
Replace all occurrences of from
to to
in this name
Inherited methods
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
- Inherited from:
- Showable
The string representation of this showable element.
The string representation of this showable element.
- Inherited from:
- Showable
The string representation with each line after the first one indented by the given given margin (in spaces).
The string representation with each line after the first one indented by the given given margin (in spaces).
- Inherited from:
- Showable
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.
- Inherited from:
- Showable