Annot
The annotation of a root instance
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Annotationtrait Showableclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
Attributes
- Definition Classes
Attributes
- Definition Classes
Operations for hash-consing, can be overridden
Special treatment of SubstBindingMaps
which can change the binder of a Result instances
Special treatment of SubstBindingMaps
which can change the binder of a Result instances
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Inherited methods
Attributes
- Inherited from:
- Annotation
Attributes
- Inherited from:
- Annotation
Attributes
- Inherited from:
- Annotation
All term arguments of this annotation in a single flat list
Attributes
- Inherited from:
- Annotation
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
Attributes
- Inherited from:
- Showable
Attributes
- Inherited from:
- Annotation
Attributes
- Inherited from:
- Annotation
The tree evaluation has finished.
The tree evaluation is in progress.
Attributes
- Inherited from:
- Annotation
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Does this annotation refer to a parameter of tl
?
Attributes
- Inherited from:
- Annotation
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 string representation with each line after the first one indented by the given given margin (in spaces).
Attributes
- 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.
Attributes
- Inherited from:
- Showable
A string representation of the annotation. Overridden in BodyAnnotation.
A string representation of the annotation. Overridden in BodyAnnotation.
Attributes
- Inherited from:
- Annotation