Module hir 

Normalized high-level constructs lowered from the parser AST. High-level IR lowered from the parser AST.

HIR is the first compiler-substrate layer above raw parser nodes. It keeps stable language constructs, parser anchors, source ranges, and scope graph proof data without changing LSP provider behavior.

Structs

AstAnchor

Parser AST location that produced a HIR item.

BarewordExpr

Bareword expression shell payload.

BarewordFact

One source-backed syntactic bareword classification.

BarewordTable

Source-backed bareword facts lowered from parsed identifiers.

Binding

Compiler binding produced from a HIR declaration.

BindingReference

Variable reference and its lexical binding resolution.

BlockShell

Block shell payload.

CallExpr

Function-like call shell payload.

CompileDirective

One compile-time directive.

CompileEffect

One Rust-modeled Perl compile-time effect.

CompileEnvironment

HIR-local compile environment for compiler-substrate proof.

CompileEnvironmentBoundary

Dynamic compile-environment boundary.

CompilePhaseBlock

Compile-time phase block.

DynamicBoundary

Dynamic-boundary shell payload.

ExportDeclaration

Static Exporter-style declaration observed in a package stash.

FrameworkAdapterRegistry

Registry for compiler-substrate framework adapters.

FrameworkDynamicBoundaryFact

Dynamic or unsupported framework-adapter boundary.

FrameworkExportedSymbolFact

One framework-exported symbol fact.

FrameworkFactGraph

Facts emitted by framework adapters.

GlobSlot

One slot inside a Perl typeglob.

HirBindingId

Stable identifier for a HIR binding within one lowered file.

HirFile

HIR for one parsed file.

HirId

Stable identifier for a HIR item within one lowered file.

HirItem

One lowered HIR item with common metadata required by compiler layers.

HirScopeId

Stable identifier for a HIR scope frame within one lowered file.

IncRootFact

Include-root effect.

IndirectCallExpr

Indirect-object call shell payload.

LiteralExpr

Literal expression shell payload.

MethodCallExpr

Method-call shell payload.

MethodDecl

Method declaration HIR payload.

ModuleRequest

Module load request.

ModuleResolutionCacheInvalidation

Cache invalidation inputs for a module-resolution candidate.

ModuleResolutionCacheKey

Cache key for a static module-resolution candidate.

ModuleResolutionCacheRootKey

Root identity included in module-resolution cache keys.

ModuleResolutionCandidate

Derived module-resolution candidate fact keyed to a HIR module request.

ModuleResolutionCandidatePathState

Candidate path state used to invalidate module-resolution cache entries.

ModuleResolutionCandidateRoot

A single candidate root/path pair for a static module request.

ModuleResolutionRoot

Caller-supplied include root for module-resolution candidate facts.

PackageDecl

Package declaration HIR payload.

PackageInheritanceEdge

Inheritance edge established by @ISA, use parent, or use base.

PackageStash

One Perl package stash.

PragmaEffect

Pragma or feature state change.

PragmaStateFact

Effective strict/warnings/feature state after a compile-time transition.

PrototypeFact

One source-backed prototype fact for a named subroutine declaration.

PrototypeTable

Source-backed subroutine prototype facts lowered from parsed declarations.

RequireDecl

Require declaration HIR payload.

ScopeFrame

One lexical/package scope frame.

ScopeGraph

HIR-local scope graph for compiler-substrate proof.

StashDynamicBoundary

Dynamic stash mutation boundary.

StashGraph

HIR-local package stash graph for compiler-substrate proof.

SubDecl

Subroutine declaration HIR payload.

UseDecl

Use declaration HIR payload.

VariableBinding

One variable binding named by a declaration.

VariableDecl

Variable declaration HIR payload.

Enums

BarewordRole

Syntactic roles for parsed barewords.

CallForm

Parser-observed call shape.

CompileConfidence

Confidence for HIR-local compile-environment facts.

CompileDirectiveAction

Compile-time directive action.

CompileDirectiveKind

Compile-time directive classification.

CompileEffectFactKind

Semantic fact category emitted by a compile effect.

CompileEffectKind

Compiler state mutation represented by an effect.

CompileEffectSourceKind

Source construct that produced a compile effect.

CompileEnvironmentBoundaryKind

Dynamic compile-environment boundary category.

CompilePhase

Perl compile/runtime phase.

CompileProvenance

Provenance for HIR-local compile-environment facts.

DynamicBoundaryKind

Dynamic-boundary category.

ExportDeclarationKind

Export declaration category.

FrameworkAdapterKind

Framework adapter kind.

FrameworkExportedSymbolKind

Export relationship represented by a framework fact.

GlobSlotKind

Perl typeglob slot category.

GlobSlotSource

Source shape that populated a glob slot.

HirKind

First-slice HIR constructs.

IncRootAction

Include-root action.

IncRootKind

Include-root source.

InheritanceSource

Source shape that established an inheritance edge.

LiteralKind

Literal category.

ModuleRequestKind

Source shape for a module load request.

ModuleResolutionCandidateStatus

Static resolution state for a module candidate packet.

ModuleResolutionStatus

Static module-resolution status.

PragmaArgumentKind

Static pragma argument shape.

RecoveryConfidence

Recovery quality for a lowered HIR item.

ScopeKind

Scope frame category.

StashConfidence

Confidence for HIR-local stash facts.

StashDynamicBoundaryKind

Dynamic stash boundary category.

StashProvenance

Provenance for HIR-local stash facts.

StorageClass

Storage class represented by a binding.

Constants

COMPILE_EFFECT_MODEL_VERSION

Current HIR compile-effect model version.

Functions

lower_ast

Lower a parser AST into first-slice HIR items.