SearchRoot
The state corresponding to the outermost context of an implicit searcch.
Attributes
- Graph
- Supertypes
Members list
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.
Attributes
- 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.
Attributes
- 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.
Attributes
- tpe
The type to link.
- Definition Classes
Look up an implicit dictionary entry by type.
Look up an implicit dictionary entry by type.
If present yield the TermRef corresponding to the eventual dictionary entry, otherwise NoType.
Attributes
- tpe
The type to look up.
- Definition Classes
Inherited methods
Create the state for a nested implicit search.
Create the state for a nested implicit search.
Attributes
- 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.
Attributes
- 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.
Attributes
The dictionary of recursive implicit types and corresponding terms for this search.
The dictionary of recursive implicit types and corresponding terms for this search.
Attributes
How many expressions were constructed so far in the current toplevel implicit search?
How many expressions were constructed so far in the current toplevel implicit search?