API reference
python:irx:irx.analysis.contract
module contract
irx.analysis.contract
Source: packages/irx/src/irx/analysis/contract.py:1
Public semantic contract for hosts and lowering.
Encode the stable semantic-analysis phases, required metadata, host input constraints, and phase error boundaries that IRx guarantees before backend lowering begins.
Classes
-
PhaseErrorBoundary — One compiler-phase error boundary.
-
SemanticContract — Stable semantic contract exposed by IRx.
-
SemanticPhase — One stable semantic phase.
Functions
- get_semantic_contract — Return the stable public semantic contract.