Expand description
Abstract syntax tree for .blog source text.
These types mirror the surface syntax before lowering into a
BlockGraph: references are still unresolved (block ids
or position literals) and every node carries a source Span for
diagnostics.
Structs§
- BitOutput
Def out name = expr- Block
Def - A block definition:
<id>: <kind> <pos> [...]. - Branch
Region Def branch <name> { false { ... } true { ... } }- Feedback
Def feedback <targets> [if <expr>]- Feedback
Target Def - A single Pauli correction site within a
FeedbackDef. - Import
Def import "path" as name- Instance
Def name: definition @ [x, y, z] [rotate X|Y|Z degrees]- LetDef
<name> = <expr>- Measure
Def <name> = measure <ref>or<name> = measure <ref> -> <dir>- Modular
Source File - A BLOG file containing named module definitions.
- Module
Def module name { ... }- PipeDef
- A pipe definition connecting a source to either an explicit destination or a direction.
- Quantum
Port Def in|out name: resource-type = block-id- Resolve
Def resolve <ref-or-branch-name> if <expr>- Source
File - Standalone BLOG source grouped by statement kind.
- Span
- Byte-offset span in source text.
- Spanned
- Value with source location.
Enums§
- Action
Stmt - An action statement.
- Block
Kind Ast - A parsed block kind, before the two-endpoint kinds are resolved with their movement vectors.
- Branch
ArmStmt - A block or pipe inside one explicit branch arm.
- Connect
Endpoint Ast - A parent-local block ID or named connection endpoint.
- Connect
Stmt - A module connection statement.
- Data
Stmt - A graph statement.
- Expr
- A boolean expression over measurement-outcome variables, with spanned sub-expressions.
- Interface
Stmt - A module interface statement.
- Measure
Target Ast - Unresolved measure target — either a node reference or an edge (node reference + direction).
- PipeDst
- A pipe destination: an explicit endpoint reference or a step direction.
- Port
Direction Ast - Direction of one declared quantum module port.
- Ref
- Unresolved reference — block ID or position literal.
- Resolve
Target Def - A selective-block reference or a named branch region.