Struct TypeChecker 

pub struct TypeChecker<'a> { /* private fields */ }

Implementations

impl<'a> TypeChecker<'a>

pub fn new(program: &'a Program) -> TypeChecker<'a>

pub fn with_manifest( program: &'a Program, manifest: &'a Manifest, ) -> TypeChecker<'a>

§Fase 38.x.d (D2) — construct a TypeChecker that consults the supplied manifest when an axonstore declares its schema via form (b) manifest_ref or form (c) env_var. Form (a) inline is unaffected (populated identically with or without manifest).

Adopters using axon check --schemas-dir <path> reach this constructor via axon-rs/src/main.rs::cmd_check. Adopters embedding the type-checker programmatically pass their own Manifest (e.g. constructed from load_and_merge_manifests).

When manifest is None, behavior is byte-identical to Self::new (D5 backwards-compat absolute).

pub fn check(self) -> Vec<TypeError>

pub fn check_with_warnings(self) -> (Vec<TypeError>, Vec<TypeError>)

§λ-L-E Fase 13 D4 — return both errors and warnings. Callers preferring strict mode promote warnings → errors at the rendering layer (CLI --strict flag). Mirrors the Python (TypeChecker.check(), .warnings) pair.