Syntax.Parse.Decl

Whole-program and declaration parsing for the Prism-owned parser.

This module deliberately keeps declaration dispatch direct. Grammar families that declarations contain live in their own modules; this file owns the top-level layout block, visibility, imports, algebraic data declarations, and function declarations. Additional declaration families extend the dispatch without changing expression precedence or cursor mechanics.

Functions and Values

parse_program

parse_program : (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(List(Syntax.Ast.Item))

Parse the complete post-layout token stream as a whole source file.

parse_item

parse_item : (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Ast.Item)

Parse one top-level item, including its optional visibility prefix.