graphcal_compiler/desugar/
desugared_ast.rs

1//! Type aliases pinning every phase-parameterized AST node to
2//! [`crate::syntax::phase::Desugared`].
3//!
4//! Post-desugar consumers — HIR lowering, IR lowering, TIR, evaluation —
5//! `use graphcal_compiler::desugar::desugared_ast as ast` (or `use … ast::*`)
6//! instead of `crate::syntax::ast`. Bare type names like `File` or
7//! `Declaration` then resolve to their `<Desugared>` variants without each
8//! signature having to spell out the phase.
9//!
10//! Pre-desugar consumers (parser, formatter, LSP surface features) keep
11//! using `crate::syntax::ast` — that module defaults to
12//! [`Raw`](crate::syntax::phase::Raw).
13//!
14//! Phase-invariant types (e.g. `Attribute`, `Ident`, `ModulePath`, `BinOp`)
15//! are re-exported as-is — they have no `<P>` parameter and behave the same
16//! in both phases.
17
18use crate::syntax::phase::Desugared;
19
20// ---------------------------------------------------------------------------
21// Phase-parameterized aliases (pinned to Desugared)
22// ---------------------------------------------------------------------------
23
24pub type File = crate::syntax::ast::File<Desugared>;
25pub type Declaration = crate::syntax::ast::Declaration<Desugared>;
26pub type DeclKind = crate::syntax::ast::DeclKind<Desugared>;
27pub type AssertDecl = crate::syntax::ast::AssertDecl<Desugared>;
28pub type AssertBody = crate::syntax::ast::AssertBody<Desugared>;
29pub type Encoding = crate::syntax::ast::Encoding<Desugared>;
30pub type PlotField = crate::syntax::ast::PlotField<Desugared>;
31pub type MarkSpec = crate::syntax::ast::MarkSpec<Desugared>;
32pub type PlotDecl = crate::syntax::ast::PlotDecl<Desugared>;
33pub type FigureDecl = crate::syntax::ast::FigureDecl<Desugared>;
34pub type LayerDecl = crate::syntax::ast::LayerDecl<Desugared>;
35pub type ParamBinding = crate::syntax::ast::ParamBinding<Desugared>;
36pub type IncludeDecl = crate::syntax::ast::IncludeDecl<Desugared>;
37pub type DagDecl = crate::syntax::ast::DagDecl<Desugared>;
38pub type ParamDecl = crate::syntax::ast::ParamDecl<Desugared>;
39pub type NodeDecl = crate::syntax::ast::NodeDecl<Desugared>;
40pub type ConstNodeDecl = crate::syntax::ast::ConstNodeDecl<Desugared>;
41pub type DimDecl = crate::syntax::ast::DimDecl;
42pub type UnitDecl = crate::syntax::ast::UnitDecl<Desugared>;
43pub type UnitDef = crate::syntax::ast::UnitDef<Desugared>;
44pub type DomainBound = crate::syntax::ast::DomainBound<Desugared>;
45pub type TypeExpr = crate::syntax::ast::TypeExpr<Desugared>;
46pub type TypeExprKind = crate::syntax::ast::TypeExprKind<Desugared>;
47pub type DimExpr = crate::syntax::ast::DimExpr;
48pub type DimExprItem = crate::syntax::ast::DimExprItem;
49pub type DimTerm = crate::syntax::ast::DimTerm;
50pub type IndexExpr = crate::syntax::ast::IndexExpr;
51pub type IndexDecl = crate::syntax::ast::IndexDecl<Desugared>;
52pub type IndexDeclKind = crate::syntax::ast::IndexDeclKind<Desugared>;
53pub type Expr = crate::syntax::ast::Expr<Desugared>;
54pub type ExprKind = crate::syntax::ast::ExprKind<Desugared>;
55pub type MapEntry = crate::syntax::ast::MapEntry<Desugared>;
56pub type IndexArg = crate::syntax::ast::IndexArg<Desugared>;
57pub type FieldInit = crate::syntax::ast::FieldInit<Desugared>;
58pub type MatchArm = crate::syntax::ast::MatchArm<Desugared>;
59pub type GenericArg = crate::syntax::ast::GenericArg<Desugared>;
60pub type GenericParam = crate::syntax::ast::GenericParam<Desugared>;
61pub type TypeDecl = crate::syntax::ast::TypeDecl<Desugared>;
62pub type TypeDeclBody = crate::syntax::ast::TypeDeclBody<Desugared>;
63pub type UnionMember = crate::syntax::ast::UnionMember<Desugared>;
64pub type FieldDecl = crate::syntax::ast::FieldDecl<Desugared>;
65
66// ---------------------------------------------------------------------------
67// Phase-invariant re-exports (no `<P>` to pin)
68// ---------------------------------------------------------------------------
69
70pub use crate::syntax::ast::{
71    Attribute, AttributeArg, BaseDimDecl, BinOp, BindableVisibility, DomainBoundKind,
72    EncodingChannel, ForBinding, ForBindingIndex, GenericConstraint, Ident, ImportDecl, ImportItem,
73    ImportItemNamespace, ImportKind, MapEntryKey, MarkType, MatchPattern, ModulePath, MulDivOp,
74    MultiDataRow, MultiDecl, MultiDeclSlice, MultiDeclSlot, MultiHeaderCell, MultiSlotAxis,
75    MultiSlotColumnSpan, MultiSlotKind, NatExpr, PatternBinding, TableIndexSpec, UnaryOp, UnitExpr,
76    UnitExprItem, Visibility,
77};
graphcal_compiler/desugar/desugared_ast.rs

graphcal_compiler/desugar/
desugared_ast.rs
