Crate harn_parser 

Re-exports

pub use diagnostic_codes::Category as DiagnosticCodeCategory;

pub use diagnostic_codes::Code as DiagnosticCode;

pub use diagnostic_codes::ParseRepairSafetyError;

pub use diagnostic_codes::Repair;

pub use diagnostic_codes::RepairId;

pub use diagnostic_codes::RepairSafety;

pub use diagnostic_codes::RepairTemplate;

pub use diagnostic_codes::REPAIR_REGISTRY;

pub use stdlib_metadata::parse_for_span as parse_stdlib_metadata;

pub use stdlib_metadata::synthesize_example;

pub use stdlib_metadata::StdlibMetadata;

pub use typechecker::block_definitely_exits;

pub use typechecker::format_type;

pub use typechecker::stmt_definitely_exits;

pub use typechecker::substitute_type_expr;

pub use typechecker::DiagnosticDetails;

pub use typechecker::DiagnosticSeverity;

pub use typechecker::InlayHintInfo;

pub use typechecker::NamespaceImportBinding;

pub use typechecker::TypeChecker;

pub use typechecker::TypeDiagnostic;

Modules

acp_ambient_globals

Canonical registry of the ambient globals the ACP session executor binds into every session/prompt VM before running a pipeline (see harn-serve’s adapters/acp/execute.rs).

analysis

ast_json

Stable JSON projections for parser-facing tooling.

builtin_signatures

Single source of truth for builtin function signatures used by the parser and runtime VM: identifier resolution, typo suggestions, return-type inference, static arity & per-arg type checks, runtime arity & type enforcement, and lint awareness all consult the registry through the lookup / is_builtin helpers.

const_eval

Bounded, sandboxed compile-time evaluator for const initializers.

diagnostic

diagnostic_codes

Stable diagnostic code registry.

interpolation

Shared parsing for ${...} expression holes.

lexical

Lexical binding and capture analysis shared by compiler and typechecker.

stdlib_metadata

Structured metadata declared in stdlib HarnDoc blocks.

typechecker

visit

Generic AST visitor used by the linter, formatter, and any other crate that needs to walk every SNode in a parsed program.

Structs

AssociatedType

An associated-type entry in an interface body: type Item or type Item = string.

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 compile-time metadata expressions by the parser (literal scalars, identifiers, lists, dicts, and call-shaped sentinels).

DictEntry

DictPatternField

A field in a dict destructuring pattern.

EnumVariant

An enum variant declaration.

HitlArg

A single argument in a Node::HitlExpr call. name is Some when the caller used named-arg syntax (e.g. quorum: 2); positional arguments leave it as None and rely on the kind’s parameter order.

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.

HitlKind

First-class human-in-the-loop primitive.

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.

Constants

HARN_LEGACY_AMBIENT_CAPABILITIES_ENV

Explicit process-level bridge for downstream packages that have not yet completed the typed Harness capability migration.

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.

flow_predicate_attribute

Return the bare @invariant marker that opts a function into Flow predicate discovery. Parameterized @invariant(...) attributes belong to handler IR instead.

install_builtin_manifest

Install the process-global builtin manifest.

is_discard_name

_ is the discard binding name in let/const/destructuring positions.

is_flow_ast_injection_request

Whether a Flow predicate’s raw leading type opts into the AST capability injected by the evaluator.

is_flow_predicate_declaration

Whether an attributed declaration is executable by the Flow evaluator. Flow discovery currently compiles functions only, so tools and pipelines must not inherit its injection or authority rules.

is_known_builtin

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

is_legacy_ambient_builtin

Opt-in ambient bridge: treat a registered builtin as known without a typed Harness capability import.

is_registered_legacy_hostlib_name

Whether an old hostlib wire name projects a method from the authoritative typed host-capability registry. This keeps compatibility recognition exact: arbitrary hostlib_* spellings remain undefined.

known_builtin_metadata

known_builtin_names

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

legacy_ambient_capabilities_enabled

legacy_builtin_alias_target

Exact behavior-preserving spellings removed during the typed-Harness cutover. The compiler lowers these to the canonical manifest name only in compatibility mode; strict source continues to reject them.

node_produces_value

Whether evaluating a node leaves a value for its surrounding block.

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.

static_signature_names

Names sourced only from the parser’s hand-written static fallback tables (not the driver-installed #[harn_builtin] registry). Lets cross-crate drift guards assert the static tables don’t overlap with macro-published or runtime_only builtins.

Type Aliases

SNode

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