Re-exports§
pub use typechecker::format_type;pub use typechecker::DiagnosticSeverity;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.
- Shape
Field - A field in a dict shape type.
- Spanned
- A node wrapped with source location information.
- Struct
Field - A struct field declaration.
- Typed
Param - A parameter with an optional type annotation.
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§
- spanned
- Helper to wrap a node with a span.
Type Aliases§
- SNode
- A spanned AST node — the primary unit throughout the compiler.