IncludeFailure
Failure indicating that elem cannot be included in cs
Attributes
- Graph
-
- Supertypes
Members list
Value members
Concrete methods
The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.
The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.
Attributes
- Definition Classes
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
Attributes
- Inherited from:
- Showable
A disciminating kind. An error note is not added if it has the same kind as an already existing error note.
A disciminating kind. An error note is not added if it has the same kind as an already existing error note.
Attributes
- Inherited from:
- ErrorNote
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
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