Attributes
Members list
Type members
Classlikes
The precedence of bindings which determines which of several bindings will be accessed by an Ident.
The precedence of bindings which determines which of several bindings will be accessed by an Ident.
Attributes
- Supertypes
-
trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Value members
Concrete methods
Assert tree has a position, unless it is empty or a typed splice
Assert tree has a position, unless it is empty or a typed splice
Attributes
Add fail to the list of search failures attached to tree
Add fail to the list of search failures attached to tree
Attributes
Try op1, if there are errors, try op2, if op2 also causes errors, fall back to errors and result of op1.
Try op1, if there are errors, try op2, if op2 also causes errors, fall back to errors and result of op1.
Attributes
Concrete fields
An attachment for GADT constraints that were inferred for a pattern.
An attachment for GADT constraints that were inferred for a pattern.
Attributes
Indicates that a definition was copied over from the parent refinements
Indicates that a definition was copied over from the parent refinements