A class for class symbols
The API of class symbols
The base API that all class symbols support
An exception for cyclic references of symbol definitions
The abstract type of free terms introduced by reification
The API of free term symbols
The base API that all free term symbols support
The abstract type of free types introduced by reification
The API of free term symbols
The base API that all free type symbols support
A class for method symbols
The API of method symbols
The API of method symbols
The base API that all method symbols support
A class for module class symbols Note: Not all module classes are of this type; when unpickled, we get plain class symbols!
A class for module symbols
The API of module symbols
The API of module symbols
The base API that all module symbols support
An object representing a missing symbol
The class for all symbols
The API of symbols
The base API that all symbols support
A class for term symbols
The API of term symbols
The base API that all term symbols support
A class for type parameters viewed from inside their scopes
A class of type symbols.
The API of type symbols
The base API that all type symbols support
A tag that preserves the identity of the ClassSymbol
abstract type from erasure.
A tag that preserves the identity of the FreeTermSymbol
abstract type from erasure.
A tag that preserves the identity of the FreeTypeSymbol
abstract type from erasure.
A tag that preserves the identity of the MethodSymbol
abstract type from erasure.
A tag that preserves the identity of the ModuleSymbol
abstract type from erasure.
A tag that preserves the identity of the Symbol
abstract type from erasure.
A tag that preserves the identity of the TermSymbol
abstract type from erasure.
A tag that preserves the identity of the TypeSymbol
abstract type from erasure.
Convenience functions which derive symbols by cloning.
Clone symbols and apply the given function to each new symbol's info.
Clone symbols and apply the given function to each new symbol's info.
the prototypical symbols
the function to apply to the infos
the newly created, info-adjusted symbols
Functions which perform the standard clone/substituting on the given symbols and type, then call the creator function with the new symbols and type as arguments.
Derives a new list of symbols from the given list by mapping the given list across the given function.
Derives a new list of symbols from the given list by mapping the given list across the given function. Then fixes the info of all the new symbols by substituting the new symbols for the original symbols.
the prototypical symbols
the function to create new symbols
the new list of info-adjusted symbols
Derives a new Type by first deriving new symbols as in deriveSymbols,
then performing the same oldSyms => newSyms substitution on tpe
as is
performed on the symbol infos in deriveSymbols.
Derives a new Type by first deriving new symbols as in deriveSymbols,
then performing the same oldSyms => newSyms substitution on tpe
as is
performed on the symbol infos in deriveSymbols.
the prototypical symbols
the function to create new symbols
the prototypical type
the new symbol-subsituted type
Derives a new Type by instantiating the given list of symbols as WildcardTypes.
Derives a new Type by instantiating the given list of symbols as WildcardTypes.
the symbols to replace
the new type with WildcardType replacing those syms
A deep map on a symbol's paramss.
Create a new free term.
Create a new free term. Its owner is NoSymbol.
Create a new free type.
Create a new free type. Its owner is NoSymbol.
The original owner of a class.
The original owner of a class. Used by the backend to generate EnclosingMethod attributes.