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
Returns a string representation of the object.
Returns a string representation of the object.
The default representation is platform dependent.
- Returns:
a string representation of the object.
- Definition Classes
- SearchHistory -> Any
- Inherited from:
- SearchHistory
Concrete fields
Does this search history contain any by name implicit arguments.
Does this search history contain any by name implicit arguments.
The dictionary of recursive implicit types and corresponding terms for this search.
The dictionary of recursive implicit types and corresponding terms for this search.