Re-exports§
pub use typechecker::block_definitely_exits;pub use typechecker::format_type;pub use typechecker::stmt_definitely_exits;pub use typechecker::DiagnosticSeverity;pub use typechecker::InlayHintInfo;pub use typechecker::TypeChecker;pub use typechecker::TypeDiagnostic;
Modules§
Structs§
- Dict
Entry - Dict
Pattern Field - A field in a dict destructuring pattern.
- Enum
Variant - An enum variant declaration.
- Interface
Method - An interface method signature.
- List
Pattern Element - An element in a list destructuring pattern.
- Match
Arm - Parser
- Recursive descent parser for Harn.
- Select
Case - Shape
Field - A field in a dict shape type.
- Spanned
- A node wrapped with source location information.
- Struct
Field - A struct field declaration.
- Type
Param - A generic type parameter on a function or pipeline declaration.
- Typed
Param - A parameter with an optional type annotation and optional default value.
- Where
Clause - A where-clause constraint on a generic type parameter.
Enums§
- Binding
Pattern - A binding pattern for destructuring in let/var/for-in.
- Node
- AST nodes for the Harn language.
- Parser
Error - Parser errors.
- Type
Expr - A type annotation (optional, for runtime checking).
Functions§
- is_
known_ builtin - Returns
trueifnameis a builtin recognized by the parser’s static analyzer. Exposed for cross-crate drift tests (seecrates/harn-vm/tests/builtin_registry_alignment.rs) and any future tooling that needs to validate builtin references without running the VM. - known_
builtin_ metadata - known_
builtin_ names - Iterator over every builtin name known to the parser, in alphabetical order. Enables bidirectional drift checks against the VM’s runtime registry — a parser entry with no runtime counterpart means a stale signature that should be removed.
- spanned
- Helper to wrap a node with a span.
Type Aliases§
- SNode
- A spanned AST node — the primary unit throughout the compiler.