Merely traverses the reifiee and records symbols local to the reifee along with their metalevels.
Splits list into a list of groups where subsequent elements are considered similar by the corresponding function.
Makes sense of cross-stage bindings.
Map that stores freshly generated names linked to the corresponding names in the reified tree.
An (unreified) path that refers to definition with given fully qualified name
Creator for last portion of name (either TermName or TypeName)
reifee and other reification parameters, generate a tree of the form
Keeps track of whether this reification contains abstract type parameters
Reifies any supported value.
Reifies list filling all the valid holeMap.
Reifies arbitrary list filling ..$x and ...$y holeMap when they are put in the correct position.
Reify a case object defined in Mirror
Reify a reference to a symbol
Reify a tree.
Reify a type.
Rolls back certain changes that were introduced during typechecking of the reifee.
Encapsulates reifier state
Symbol table of the reifee.
An (unreified) path that refers to term definition with given fully qualified name
Wraps expressions into: a block which starts with a sequence of vals that correspond to fresh names that has to be created at evaluation of the quasiquote and ends with reified tree: