Crate harn_parser 

Re-exports

pub use typechecker::block_definitely_exits;

pub use typechecker::format_type;

pub use typechecker::stmt_definitely_exits;

pub use typechecker::DiagnosticDetails;

pub use typechecker::DiagnosticSeverity;

pub use typechecker::InlayHintInfo;

pub use typechecker::TypeChecker;

pub use typechecker::TypeDiagnostic;

Modules

diagnostic

typechecker

Structs

Attribute

An attribute attached to a declaration: @deprecated(since: "0.8").

AttributeArg

A single argument to an attribute. Positional args have name = None; named args use name: Some("key"). Values are restricted to literal expressions by the parser (string/int/float/bool/nil/identifier).

DictEntry

DictPatternField

A field in a dict destructuring pattern.

EnumVariant

An enum variant declaration.

InterfaceMethod

An interface method signature.

ListPatternElement

An element in a list destructuring pattern.

MatchArm

Parser

Recursive descent parser for Harn.

SelectCase

ShapeField

A field in a dict shape type.

Spanned

A node wrapped with source location information.

StructField

A struct field declaration.

TypeParam

A generic type parameter on a function or pipeline declaration.

TypedParam

A parameter with an optional type annotation and optional default value.

WhereClause

A where-clause constraint on a generic type parameter.

Enums

BindingPattern

A binding pattern for destructuring in let/var/for-in.

Node

AST nodes for the Harn language.

ParallelMode

Parallel execution mode.

ParserError

Parser errors.

PipelineError

Error from a source processing pipeline stage. Wraps the inner error types so callers can dispatch on the failing stage.

TypeExpr

A type annotation (optional, for runtime checking).

Variance

Declared variance of a generic type parameter.

Functions

check_source

Lex, parse, and type-check source. Returns the AST and any type diagnostics (which may include warnings even on success).

check_source_strict

Lex, parse, and type-check, bailing on the first type error.

is_known_builtin

Returns true if name is a builtin recognized by the parser’s static analyzer.

known_builtin_metadata

known_builtin_names

Every builtin name known to the parser, alphabetically. Enables bidirectional drift checks against the VM’s runtime registry.

parse_source

Lex and parse source into an AST.

peel_attributes

If node is an AttributedDecl, returns (attrs, inner); otherwise returns an empty attribute slice and the node itself. Use at the top of any consumer that processes top-level statements so attributes flow through transparently.

spanned

Helper to wrap a node with a span.

Type Aliases

SNode

A spanned AST node — the primary unit throughout the compiler.