marko 6.0.126 → 6.0.128

package/dist/translator/util/binding-prop-tree.d.ts

@@ -7,3 +7,5 @@ export type BindingPropTree = {
     rest: BindingPropTree | undefined;
 };
 export declare function getBindingPropTree(binding: Binding): BindingPropTree;
+export declare function getBindingPropTreeProp(propTree: BindingPropTree, name: string): BindingPropTree | undefined;
+export declare function getAllBindingPropTreePropKeys(propTree: BindingPropTree): string[];

package/dist/translator/util/known-tag.d.ts

@@ -1,5 +1,5 @@
 import { types as t } from "@marko/compiler";
-import type { BindingPropTree } from "./binding-prop-tree";
+import { type BindingPropTree } from "./binding-prop-tree";
 import { type Binding } from "./references";
 import { type Section } from "./sections";
 interface KnownExprs {

package/dist/translator/util/optional.d.ts

@@ -20,6 +20,7 @@ export declare function filter<T>(data: Opt<T>, cb: (item: T) => boolean): Opt<T
 export declare function forEach<T>(data: Opt<T>, cb: (item: T, index: number) => void): void;
 export declare function fromIter<T>(data: Iterable<T>): T | Many<T> | undefined;
 export declare function toIter<T>(data: Opt<T>): Iterable<T>;
+export declare function includes<T>(data: Opt<T>, item: T): boolean;
 export declare function find<T>(data: Opt<T>, cb: (item: T, index: number) => boolean): Opt<T>;
 export declare function some<T>(data: Opt<T>, cb: (item: T, index: number) => boolean): boolean;
 export declare function toArray<T, R>(data: Opt<T>, cb: (item: T, index: number) => R): R[];

package/dist/translator/util/references.d.ts

@@ -2,6 +2,7 @@ import { types as t } from "@marko/compiler";
 import { type Many, type Opt, Sorted } from "./optional";
 import { type Section } from "./sections";
 import { type SerializeReason } from "./serialize-reasons";
+import { type Signal } from "./signals";
 declare const kIsInvoked: unique symbol;
 export declare const kBranchSerializeReason: unique symbol;
 export type Aliases = undefined | Binding | {
@@ -14,7 +15,8 @@ export declare enum BindingType {
     param = 3,
     local = 4,
     derived = 5,
-    hoist = 6
+    hoist = 6,
+    constant = 7
 }
 export interface Sources {
     state: Opt<Binding>;
@@ -37,6 +39,7 @@ export interface Binding {
     upstreamAlias: Binding | undefined;
     downstreamExpressions: Set<ReferencedExtra>;
     scopeOffset: Binding | undefined;
+    scopeAccessor: string | undefined;
     export: string | undefined;
     declared: boolean;
     nullable: boolean;
@@ -51,6 +54,10 @@ export type ReferencedBindings = Opt<Binding>;
 export type Intersection = Many<Binding>;
 interface ReferencedFunctionExtra extends t.FunctionExtra, ReferencedExtra {
 }
+interface Read {
+    binding: Binding;
+    extra: t.NodeExtra | undefined;
+}
 declare module "@marko/compiler/dist/types" {
     interface NodeExtra {
         section?: Section;
@@ -65,6 +72,7 @@ declare module "@marko/compiler/dist/types" {
         };
         pruned?: true;
         isEffect?: true;
+        spreadFrom?: Binding;
         [kIsInvoked]?: true;
     }
     interface FunctionExtra {
@@ -82,6 +90,7 @@ declare module "@marko/compiler/dist/types" {
     }
 }
 export declare function createBinding(name: string, type: Binding["type"], section: Section, upstreamAlias?: Binding["upstreamAlias"], property?: string, excludeProperties?: Opt<string>, loc?: t.SourceLocation | null, declared?: boolean): Binding;
+export declare function getOrCreatePropertyAlias(binding: Binding, property: string): Binding;
 export declare function trackDomVarReferences(tag: t.NodePath<t.MarkoTag>, binding: Binding): Binding | undefined;
 export declare function trackVarReferences(tag: t.NodePath<t.MarkoTag>, type: BindingType, upstreamAlias?: Binding["upstreamAlias"]): Binding | undefined;
 export declare function trackParamsReferences(body: t.NodePath<t.MarkoTagBody | t.Program>, type: BindingType, upstreamAlias?: Binding["upstreamAlias"]): Binding | undefined;
@@ -101,6 +110,8 @@ export declare function compareSources(a: Sources, b: Sources): number;
 export declare function mergeSources(a: undefined | Sources, b: undefined | Sources): Sources | undefined;
 export declare const bindingUtil: Sorted<Binding>;
 export declare const propsUtil: Sorted<string>;
+export declare function addRead(exprExtra: ReferencedExtra, readExtra: t.NodeExtra | undefined, binding: Binding, section: Section): Read;
+export declare function dropRead(exprExtra: ReferencedExtra): void;
 export declare function dropReferences(node: t.Node | t.Node[]): void;
 export declare function getCanonicalBinding(binding: Binding): Binding;
 export declare function getAllTagReferenceNodes(tag: t.MarkoTag, referenceNodes?: t.Node[]): t.Node[];
@@ -114,7 +125,12 @@ export declare function getDebugName(binding: Binding): string;
 export declare function getDebugNames(refs: ReferencedBindings): string;
 export declare function getSectionInstancesAccessor(section: Section): string;
 export declare function getSectionInstancesAccessorLiteral(section: Section): t.StringLiteral | t.NumericLiteral | undefined;
-export declare function getReadReplacement(node: t.Identifier | t.MemberExpression | t.OptionalMemberExpression): t.Expression | undefined;
+export declare function getReadReplacement(node: t.Identifier | t.MemberExpression | t.OptionalMemberExpression, signal?: Signal): t.Expression | undefined;
+export declare function hasNonConstantPropertyAlias(ref: Binding): boolean;
+export declare function createRead(binding: Binding, props: Opt<string>): {
+    binding: Binding;
+    props: Opt<string>;
+};
 export declare function getObjectPropertyKeyString(expr: t.ObjectProperty | t.ObjectMethod): string | undefined;
 export interface ReferencedExtra extends t.NodeExtra {
     section: Section;

package/dist/translator/util/signals.d.ts

@@ -1,5 +1,5 @@
 import { types as t } from "@marko/compiler";
-import type { AccessorPrefix, AccessorProp } from "../../common/types";
+import { type AccessorPrefix, AccessorProp } from "../../common/types";
 import { type Opt } from "./optional";
 import { type Binding, type ReferencedBindings } from "./references";
 import { type Section } from "./sections";
@@ -19,6 +19,7 @@ export type Signal = {
     effect: t.Statement[];
     effectReferencedBindings: ReferencedBindings;
     hasDynamicSubscribers?: true;
+    hasSideEffect?: true;
     export: boolean;
     extraArgs?: t.Expression[];
     prependStatements?: t.Statement[];
@@ -37,10 +38,11 @@ export declare function getSignal(section: Section, referencedBindings: Referenc
 export declare function initValue(binding: Binding, isLet?: boolean): Signal;
 export declare function signalHasStatements(signal: Signal): boolean;
 export declare function getSignalFn(signal: Signal): t.Expression;
+export declare function getSignalValueIdentifier(signal: Signal): t.Identifier;
 export declare function subscribe(references: ReferencedBindings, subscriber: Signal): void;
 export declare function replaceNullishAndEmptyFunctionsWith0(args: (t.Expression | undefined | false)[]): t.Expression[];
-export declare function addStatement(type: "render" | "effect", targetSection: Section, referencedBindings: ReferencedBindings, statement: t.Statement | t.Statement[], usedReferences?: ReferencedBindings[] | false): void;
-export declare function addValue(targetSection: Section, referencedBindings: ReferencedBindings, signal: Signal["values"][number]["signal"], value: t.Expression): void;
+export declare function addStatement(type: "render" | "effect", targetSection: Section, referencedBindings: ReferencedBindings, statement: t.Statement | t.Statement[], usedReferences?: ReferencedBindings[] | false, isPure?: boolean): void;
+export declare function addValue(targetSection: Section, referencedBindings: ReferencedBindings, signal: Signal, value: t.Expression): void;
 export declare function getResumeRegisterId(section: Section, referencedBindings: string | ReferencedBindings, type?: string): string;
 export declare function getRegisterUID(section: Section, name: string): string;
 export declare function writeSignals(section: Section): void;

package/dist/translator/util/traverse.d.ts

@@ -4,7 +4,7 @@ type VisitValue = null | void | t.Node | t.Node[];
 type VisitKeys<T> = (string | number) & (T extends T ? {
     [K in keyof T]: T[K] extends VisitValue ? K : never;
 }[keyof T] : never);
-export declare function traverseReplace<T, K extends VisitKeys<T>>(container: T, key: K, enter: (node: t.Node, container: t.Node | t.Node[], key: string | number) => t.Node | void): void;
+export declare function traverseReplace<T, K extends VisitKeys<T>, S>(container: T, key: K, enter: (node: t.Node, state?: S) => t.Node | void, state?: S): void;
 export declare function traverseContains(node: undefined | null | t.Node | t.Node[], check: (node: t.Node) => void | boolean | typeof skip): boolean;
 export declare function traverse(visit: (node: t.Node, parent?: t.Node, grandParent?: t.Node) => void | typeof skip, node: undefined | t.Node | t.Node[], parent?: t.Node, grandParent?: t.Node): void;
 export {};

package/dist/translator/visitors/program/html.d.ts

@@ -7,4 +7,4 @@ declare const _default: {
     };
 };
 export default _default;
-export declare function replaceRegisteredFunctionNode(node: t.Node, container: t.Node[] | t.Node): t.CallExpression | t.ClassPrivateProperty | t.ClassProperty | t.ObjectProperty | undefined;
+export declare function replaceRegisteredFunctionNode(node: t.Node): t.CallExpression | t.ClassPrivateProperty | t.ClassProperty | t.ObjectProperty | undefined;

package/dist/translator/visitors/program/index.d.ts

@@ -11,7 +11,6 @@ export type ParamSerializeReasonGroups = [
     ParamSerializeReasonGroup,
     ...ParamSerializeReasonGroup[]
 ];
-export declare let cleanIdentifier: t.Identifier;
 export declare let scopeIdentifier: t.Identifier;
 export declare function isScopeIdentifier(node: t.Node): node is t.Identifier;
 export type TemplateExports = BindingPropTree["props"];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "marko",
-  "version": "6.0.126",
+  "version": "6.0.128",
   "description": "Optimized runtime for Marko templates.",
   "keywords": [
     "api",