SearchRoot
The state corresponding to the outermost context of an implicit searcch.
Value members
Concrete methods
Define a pending dictionary entry if any.
Define a pending dictionary entry if any.
If the provided type corresponds to an under-construction by name implicit, then use the tree contained in the provided SearchSuccess as its definition, returning an updated result referring to dictionary entry. Otherwise return the SearchSuccess unchanged.
- Value parameters:
- result
The SearchSuccess corresponding to tpe
- tpe
The type for which the entry is to be defined
- Definition Classes
Emit the implicit dictionary at the completion of an implicit search.
Emit the implicit dictionary at the completion of an implicit search.
- Value parameters:
- result
The result of the search prior to substitution of recursive references.
- span
The position at which the search is elaborated.
- Definition Classes
Link a reference to an under-construction implicit for the provided type to its defining occurrence via the implicit dictionary, creating a dictionary entry for this type if one does not yet exist.
Link a reference to an under-construction implicit for the provided type to its defining occurrence via the implicit dictionary, creating a dictionary entry for this type if one does not yet exist.
- Value parameters:
- tpe
The type to link.
- Definition Classes
Inherited methods
Create the state for a nested implicit search.
Create the state for a nested implicit search.
- Value parameters:
- cand
The candidate implicit to be explored.
- pt
The target type for the above candidate.
- Inherited from:
- SearchHistory
Concrete fields
The dictionary of recursive implicit types and corresponding terms for this search.
The dictionary of recursive implicit types and corresponding terms for this search.