A type for names of the same kind as this name
This name downcasted to a term name
This name downcasted to a type name
Create a new name of same kind as this one, in the given
basis, with len
characters taken from cs
starting at offset
.
Is this name a term name?
Is this name a type name?
The length of the names
The length of the names
The start index in the character array
This name converted to a term name
This name converted to a type name
A more efficient version of concatenation
Write to UTF8 representation of this name to given character array.
Write to UTF8 representation of this name to given character array.
Start copying to index to
. Return index of next free byte in array.
Array must have enough remaining space for all bytes
(i.e. maximally 3*length bytes).
Replace $op_name's by corresponding operator symbols.
Replace operator symbols by corresponding $op_name's.
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
Create new name of same kind as this name and with same
characters as given name
.
Create new name of same kind as this name with characters from the given string
(Changed in version 2.9.0) The behavior of scanRight
has changed. The previous behavior can be reproduced with scanRight.reverse.
The string representation of this showable element.
The string representation of this showable element.
The summarized string representation of this showable element.
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.
The text representation of this showable element.
(Changed in version 2.9.0) transpose
throws an IllegalArgumentException
if collections are not uniformly sized.
Throws an UnsupportedOperationException
with the given method name.
Throws an UnsupportedOperationException
with the given method name.
A name is essentially a string, with three differences