@weave-framework/compiler 0.2.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Aidas Josas
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/ast.d.ts

@@ -0,0 +1,243 @@
+/** Weave template AST. */
+export type TemplateNode = ElementNode | TextNode | InterpNode | IfNode | ForNode | SwitchNode | LetNode | DeferNode | AwaitNode | SnippetNode | RenderNode | KeyNode;
+/**
+ * Source offset of an expression's first character within the template string
+ * passed to {@link parseTemplate}. Populated by the parser for every template
+ * expression; consumed by `@weave-framework/check` to map type errors back to the
+ * original `.weave`/`.html` line:col. Optional so codegen and existing callers
+ * (which only read the expression text) are unaffected.
+ */
+export type Offset = number | undefined;
+/** `@if (cond) {…} @else if (cond2) {…} @else {…}`; optional `@if (expr; as alias)`. */
+export interface IfNode {
+    type: 'if';
+    branches: IfBranch[];
+}
+export interface IfBranch {
+    /** undefined ⇒ the `@else` branch */
+    cond?: string;
+    /** offset of `cond` */
+    condOffset?: Offset;
+    /** alias from `@if (expr; as alias)` (only on the leading branch) */
+    alias?: string;
+    children: TemplateNode[];
+}
+/** `@for (item of list; track key) {…} @empty {…}` */
+export interface ForNode {
+    type: 'for';
+    item: string;
+    list: string;
+    listOffset?: Offset;
+    track?: string;
+    trackOffset?: Offset;
+    children: TemplateNode[];
+    empty?: TemplateNode[];
+}
+/** `@switch (expr) { @case (test) {…} @default {…} }` */
+export interface SwitchNode {
+    type: 'switch';
+    expr: string;
+    exprOffset?: Offset;
+    cases: SwitchCase[];
+}
+export interface SwitchCase {
+    /** undefined ⇒ `@default` */
+    test?: string;
+    testOffset?: Offset;
+    children: TemplateNode[];
+}
+/** `@let name = expr;` */
+export interface LetNode {
+    type: 'let';
+    name: string;
+    expr: string;
+    exprOffset?: Offset;
+}
+/**
+ * `@defer (trigger) {…} @placeholder {…}` — gate the content's *rendering* until a
+ * trigger fires, showing the optional `@placeholder` until then. Code-splitting is
+ * opt-in via a `lazy()` component inside the content.
+ */
+export interface DeferNode {
+    type: 'defer';
+    trigger: DeferTrigger;
+    children: TemplateNode[];
+    placeholder?: TemplateNode[];
+}
+/** A `@defer` trigger. `when` is reactive; the rest are one-shot DOM/timing events. */
+export type DeferTrigger = {
+    kind: 'when';
+    expr: string;
+    exprOffset?: Offset;
+} | {
+    kind: 'idle';
+} | {
+    kind: 'viewport';
+} | {
+    kind: 'timer';
+    ms: string;
+    msOffset?: Offset;
+} | {
+    kind: 'interaction';
+} | {
+    kind: 'hover';
+} | {
+    kind: 'immediate';
+};
+/**
+ * `@await (src) { pending } @then (val) { … } @catch (err) { … }` — render based on
+ * the settle state of a Promise OR a `@weave-framework/data` resource. All three parts are
+ * optional; `@then`/`@catch` may bind an alias to the resolved value / error.
+ */
+export interface AwaitNode {
+    type: 'await';
+    /** the awaited source — a Promise or a resource */
+    expr: string;
+    exprOffset?: Offset;
+    /** content shown while pending (the block right after `@await (src) { … }`) */
+    pending?: TemplateNode[];
+    /** `@then (alias?) { … }` — fulfilled */
+    then?: AwaitBranch;
+    /** `@catch (alias?) { … }` — rejected */
+    catch?: AwaitBranch;
+}
+export interface AwaitBranch {
+    /** optional alias bound to the resolved value (`@then`) or error (`@catch`) */
+    alias?: string;
+    children: TemplateNode[];
+}
+/**
+ * `@snippet name(p1, p2) { … }` — a reusable, parameterized template fragment.
+ * Compiles to a function `(p1, p2) => Node`; `name` is a template-local value, so
+ * it can be `@render (name(args))`-ed locally or passed to a child as a prop.
+ */
+export interface SnippetNode {
+    type: 'snippet';
+    name: string;
+    /** parameter names (bare locals inside the body) */
+    params: string[];
+    children: TemplateNode[];
+}
+/** `@render (expr)` — render a snippet (or any expression resolving to a Node). */
+export interface RenderNode {
+    type: 'render';
+    expr: string;
+    exprOffset?: Offset;
+}
+/** `@key (expr) { … }` — tear down + re-create the content whenever `expr` changes. */
+export interface KeyNode {
+    type: 'key';
+    expr: string;
+    exprOffset?: Offset;
+    children: TemplateNode[];
+}
+export interface ElementNode {
+    type: 'element';
+    tag: string;
+    /** offset of the tag name's first char (after `<`); lets a `<Component>` tag map
+     *  to its `.ts` import for go-to-definition and "unknown component" errors. */
+    tagOffset?: Offset;
+    attrs: Attr[];
+    children: TemplateNode[];
+    /** true for void elements (input, br, …) — no children, no closing tag */
+    selfClosing: boolean;
+}
+export interface TextNode {
+    type: 'text';
+    value: string;
+}
+/** `{{ expr }}` */
+export interface InterpNode {
+    type: 'interp';
+    expr: string;
+    offset?: Offset;
+}
+export type Attr = StaticAttr | ExprAttr | PropAttr | EventAttr | ClassAttr | BindAttr | RefAttr | UseAttr | ShowAttr | TransitionAttr;
+/** name="value" or bare name */
+export interface StaticAttr {
+    type: 'static';
+    name: string;
+    value: string;
+}
+/** name={expr} */
+export interface ExprAttr {
+    type: 'attr';
+    name: string;
+    expr: string;
+    offset?: Offset;
+}
+/** .prop={expr} */
+export interface PropAttr {
+    type: 'prop';
+    name: string;
+    expr: string;
+    offset?: Offset;
+}
+/** on:event|mod1|mod2={expr} */
+export interface EventAttr {
+    type: 'event';
+    name: string;
+    modifiers: string[];
+    expr: string;
+    offset?: Offset;
+}
+/** class:name={expr} */
+export interface ClassAttr {
+    type: 'class';
+    name: string;
+    expr: string;
+    offset?: Offset;
+}
+/** bind:name={expr} (two-way) */
+export interface BindAttr {
+    type: 'bind';
+    name: string;
+    expr: string;
+    offset?: Offset;
+}
+/** ref={expr} or bind:this={expr} */
+export interface RefAttr {
+    type: 'ref';
+    expr: string;
+    offset?: Offset;
+}
+/**
+ * `use:action` or `use:action={arg}` — an attribute directive. `name` is the
+ * action identifier (resolved against ctx, e.g. `tooltip` → `ctx.tooltip`);
+ * `expr` is the optional argument. The action runs after the element is inserted
+ * (onMount timing) and may return a cleanup fn or use `onCleanup`/`effect`.
+ */
+export interface UseAttr {
+    type: 'use';
+    name: string;
+    /** offset of the action identifier `name` (for `weave check`) */
+    nameOffset?: Offset;
+    /** optional argument expression */
+    expr?: string;
+    /** offset of the argument `expr` */
+    offset?: Offset;
+}
+/** `show={expr}` — toggle visibility via `display` (kept in the DOM, unlike `@if`). */
+export interface ShowAttr {
+    type: 'show';
+    expr: string;
+    offset?: Offset;
+}
+/**
+ * `transition:fn` / `in:fn` / `out:fn` (+ optional `={params}`) — play an enter
+ * (`in`) / leave (`out`) / both (`transition`) animation. `name` is the transition
+ * function (resolved against ctx); leave animations defer DOM removal until done.
+ */
+export interface TransitionAttr {
+    type: 'transition';
+    name: string;
+    /** which directions to animate */
+    mode: 'both' | 'in' | 'out';
+    /** offset of the transition-function identifier `name` (for `weave check`) */
+    nameOffset?: Offset;
+    /** optional params expression */
+    expr?: string;
+    /** offset of the params `expr` */
+    offset?: Offset;
+}
+//# sourceMappingURL=ast.d.ts.map

package/dist/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,0BAA0B;AAE1B,MAAM,MAAM,YAAY,GACpB,WAAW,GACX,QAAQ,GACR,UAAU,GACV,MAAM,GACN,OAAO,GACP,UAAU,GACV,OAAO,GACP,SAAS,GACT,SAAS,GACT,WAAW,GACX,UAAU,GACV,OAAO,CAAC;AAEZ;;;;;;GAMG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAExC,wFAAwF;AACxF,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,IAAI,CAAC;IACX,QAAQ,EAAE,QAAQ,EAAE,CAAC;CACtB;AACD,MAAM,WAAW,QAAQ;IACvB,qCAAqC;IACrC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,uBAAuB;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,qEAAqE;IACrE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED,sDAAsD;AACtD,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,KAAK,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC;CACxB;AAED,yDAAyD;AACzD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,UAAU,EAAE,CAAC;CACrB;AACD,MAAM,WAAW,UAAU;IACzB,6BAA6B;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED,0BAA0B;AAC1B,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,KAAK,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,YAAY,CAAC;IACtB,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,WAAW,CAAC,EAAE,YAAY,EAAE,CAAC;CAC9B;AAED,uFAAuF;AACvF,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GACvB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAE1B;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,+EAA+E;IAC/E,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC;IACzB,yCAAyC;IACzC,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,yCAAyC;IACzC,KAAK,CAAC,EAAE,WAAW,CAAC;CACrB;AACD,MAAM,WAAW,WAAW;IAC1B,+EAA+E;IAC/E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,oDAAoD;IACpD,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED,mFAAmF;AACnF,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,uFAAuF;AACvF,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,KAAK,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ;mFAC+E;IAC/E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,0EAA0E;IAC1E,WAAW,EAAE,OAAO,CAAC;CACtB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED,mBAAmB;AACnB,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,IAAI,GACZ,UAAU,GACV,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,SAAS,GACT,QAAQ,GACR,OAAO,GACP,OAAO,GACP,QAAQ,GACR,cAAc,CAAC;AAEnB,gCAAgC;AAChC,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AACD,kBAAkB;AAClB,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AACD,mBAAmB;AACnB,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AACD,gCAAgC;AAChC,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AACD,wBAAwB;AACxB,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AACD,iCAAiC;AACjC,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AACD,qCAAqC;AACrC,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,KAAK,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AACD;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,KAAK,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mCAAmC;IACnC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,oCAAoC;IACpC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AACD,uFAAuF;AACvF,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AACD;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,kCAAkC;IAClC,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAC5B,8EAA8E;IAC9E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iCAAiC;IACjC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,kCAAkC;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB"}

package/dist/ast.js

@@ -0,0 +1,3 @@
+/** Weave template AST. */
+export {};
+//# sourceMappingURL=ast.js.map

package/dist/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,0BAA0B"}

package/dist/codegen.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Weave codegen — turns a template AST into JS that creates DOM once and wires
+ * fine-grained signal bindings via the `@weave-framework/runtime/dom` helpers.
+ *
+ * Static structure becomes hoisted `<template>` strings with `<!---->` comment
+ * anchors at dynamic positions; dynamic nodes are reached by compile-time
+ * child-index paths. Control-flow blocks compile to `ifBlock`/`eachBlock` calls
+ * whose branch/row bodies are nested render functions (so they close over `ctx`
+ * and any template locals), keeping every block's effects in its own scope.
+ */
+export interface CompileOptions {
+    /** binding names (from setup()) to resolve via `ctx.*` */
+    scope?: string[];
+    /** 'module' → importable ES module (default); 'function' → body for `new Function('ctx','rt', …)` */
+    mode?: 'module' | 'function';
+    runtimeImport?: string;
+    /** Scoped-CSS attribute (e.g. `data-w-a1b2c3`) stamped on every emitted element. */
+    scopeAttr?: string;
+    /** `:host` attribute (e.g. `data-w-a1b2c3-h`) stamped on the template's root element(s). */
+    hostAttr?: string;
+}
+export declare function compileTemplate(input: string, options?: CompileOptions): {
+    code: string;
+};
+//# sourceMappingURL=codegen.d.ts.map

package/dist/codegen.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codegen.d.ts","sourceRoot":"","sources":["../src/codegen.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AASH,MAAM,WAAW,cAAc;IAC7B,0DAA0D;IAC1D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,qGAAqG;IACrG,IAAI,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,oFAAoF;IACpF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,4FAA4F;IAC5F,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAqCD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,GAAE,cAAmB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAoB7F"}