Names
Type members
Classlikes
A term name that's derived from an underlying
name and that
adds info
to it.
A term name that's derived from an underlying
name and that
adds info
to it.
A common superclass of Name and Symbol. After bootstrap, this should be just the type alias Name | Symbol
A common superclass of Name and Symbol. After bootstrap, this should be just the type alias Name | Symbol
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.
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.
Value members
Concrete methods
Create a term name from the characters in cs[offset..offset+len-1]. Assume they are already encoded.
Create a term name from the characters in cs[offset..offset+len-1]. Assume they are already encoded.
Create a term name from the UTF8 encoded bytes in bs[offset..offset+len-1]. Assume they are already encoded.
Create a term name from the UTF8 encoded bytes in bs[offset..offset+len-1]. Assume they are already encoded.
Create a term name from a string.
See sliceToTermName
in Decorators
for a more efficient version
which however requires a Context for its operation.
Create a term name from a string.
See sliceToTermName
in Decorators
for a more efficient version
which however requires a Context for its operation.
Create a type name from the characters in cs[offset..offset+len-1]. Assume they are already encoded.
Create a type name from the characters in cs[offset..offset+len-1]. Assume they are already encoded.