Re-exports§
pub use typechecker::format_type;pub use typechecker::DiagnosticSeverity;pub use typechecker::TypeChecker;pub use typechecker::TypeDiagnostic;
Modules§
Structs§
- Dict
Entry - Enum
Variant - An enum variant declaration.
- Interface
Method - An interface method signature.
- 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§
- 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.