An (unreified) path that refers to definition with given fully qualified name
An (unreified) path that refers to definition with given fully qualified name
Creator for last portion of name (either TermName or TypeName)
Keeps track of whether this reification contains abstract type parameters
Keeps track of whether this reification contains abstract type parameters
Reifies any supported value.
Reifies any supported value.
For internal use only, use reified instead.
Reify a case object defined in Mirror
Reify a case object defined in Mirror
Reify a reference to a symbol
Reify a reference to a symbol
Reify a tree.
Reify a tree.
For internal use only, use reified instead.
Reify a type.
Reify a type.
For internal use only, use reified instead.
Symbol table of the reifee.
Symbol table of the reifee.
Keeps track of auxiliary symbols that are necessary for this reification session. These include: 1) Free vars (terms, types and existentials), 2) Non-locatable symbols (sometimes, e.g. for RefinedTypes, we need to reify these; to do that we create their local copies in the reificode) 3) Non-locatable symbols that are referred by #1, #2 and #3
Exposes three main methods:
1) syms
that lists symbols belonging to the table,
2) symXXX
family of methods that provide information about the symbols in the table,
3) encode
that renders the table into a list of trees (recursively populating #3 and setting up initialization code for #1, #2 and #3)
An (unreified) path that refers to term definition with given fully qualified name
An (unreified) path that refers to term definition with given fully qualified name
An (unreified) path that refers to type definition with given fully qualified name
An (unreified) path that refers to type definition with given fully qualified name
(reify: StringAdd).self
(reify: StringFormat).self
(reify: ArrowAssoc[Reify]).x
(Since version 2.10.0) Use leftOfArrow
instead
(reify: Ensuring[Reify]).x
(Since version 2.10.0) Use resultOfEnsuring
instead