SignedName
A name together with a signature. Used in Tasty trees.
Attributes
- Graph
- Supertypes
- Self type
- SignedName.type
Members list
Type members
Classlikes
Inherited classlikes
A simple info type; some subclasses of Kind define more refined versions
A simple info type; some subclasses of Kind define more refined versions
Attributes
- Inherited from:
- NameKind
- Graph
- Supertypes
- Known subtypes
Types
The info class defined by this kind
The info class defined by this kind
Attributes
Value members
Concrete methods
A string used for displaying the structure of a name
A string used for displaying the structure of a name
Attributes
Turn a name of this kind consisting of an underlying prefix
and the given info into a string. Used to turn structured into
simple name.
Turn a name of this kind consisting of an underlying prefix
and the given info into a string. Used to turn structured into
simple name.
Attributes
Inherited methods
Does this kind define logically a new name (respectively qualified name)?
Tested by the replace and collect combinators of class Name.
Does this kind define logically a new name (respectively qualified name)?
Tested by the replace and collect combinators of class Name.
Attributes
- Inherited from:
- NameKind
Attributes
- Inherited from:
- NameKind
Unmangle simple name name into a name of this kind, or return
original name if this is not possible.
Unmangle simple name name into a name of this kind, or return
original name if this is not possible.
Attributes
- Inherited from:
- NameKind