Module decl_engine

The DeclEngine allows the compiler to add a layer of separation between AST nodes and declarations.

As an interface, you can think of the DeclEngine as a mapping from DeclId to DeclWrapper. When a DeclWrapper is inserted into the DeclEngine, a DeclId is generated, which is then used to refer to the declaration.

Modules

associated_item_decl_id

id

parsed_id

Structs

DeclEngine

Used inside of type inference to store declarations.

DeclRef

Represents the use of / syntactic reference to a declaration. A smart-wrapper around a DeclId, containing additional information about a declaration.

ParsedDeclEngine

Used inside of type inference to store declarations.

Enums

InterfaceDeclId

ParsedInterfaceDeclId

Traits

DeclEngineGet

DeclEngineGetParsedDecl

DeclEngineGetParsedDeclId

DeclEngineIndex

DeclEngineInsert

DeclEngineInsertArc

DeclEngineReplace

ParsedDeclEngineGet

ParsedDeclEngineIndex

ParsedDeclEngineInsert

ParsedDeclEngineReplace

Type Aliases

DeclRefAbi

DeclRefConstant

DeclRefEnum

DeclRefFunction

DeclRefImplTrait

DeclRefMixedFunctional

DeclRefMixedInterface

DeclRefStorage

DeclRefStruct

DeclRefTrait

DeclRefTraitFn

DeclRefTraitType