@voidhash/mimic 0.0.2 → 0.0.4

package/dist/primitives/Tree.d.cts

@@ -0,0 +1,185 @@
+import { InferProxy, InferSetInput, InferUpdateInput, Primitive, PrimitiveInternal, Validator } from "./shared.cjs";
+import { StructPrimitive, StructSetInput, StructUpdateValue } from "./Struct.cjs";
+import { AnyTreeNodePrimitive, InferTreeNodeChildren, InferTreeNodeDataState, InferTreeNodeType } from "./TreeNode.cjs";
+
+//#region src/primitives/Tree.d.ts
+
+/**
+ * A node in the tree state (flat storage format)
+ */
+interface TreeNodeState {
+  readonly id: string;
+  readonly type: string;
+  readonly parentId: string | null;
+  readonly pos: string;
+  readonly data: unknown;
+}
+/**
+ * Typed node state for a specific node type
+ */
+interface TypedTreeNodeState<TNode extends AnyTreeNodePrimitive> {
+  readonly id: string;
+  readonly type: InferTreeNodeType<TNode>;
+  readonly parentId: string | null;
+  readonly pos: string;
+  readonly data: InferTreeNodeDataState<TNode>;
+}
+/**
+ * The state type for trees - a flat array of nodes
+ */
+type TreeState<_TRoot extends AnyTreeNodePrimitive> = readonly TreeNodeState[];
+/**
+ * Snapshot of a single node for UI rendering (data properties spread at node level)
+ */
+type TreeNodeSnapshot<TNode extends AnyTreeNodePrimitive> = {
+  readonly id: string;
+  readonly type: InferTreeNodeType<TNode>;
+  readonly children: TreeNodeSnapshot<InferTreeNodeChildren<TNode>>[];
+} & InferTreeNodeDataState<TNode>;
+/**
+ * Infer the snapshot type for a tree (recursive tree structure for UI)
+ */
+type InferTreeSnapshot<T extends TreePrimitive<any>> = T extends TreePrimitive<infer TRoot> ? TreeNodeSnapshot<TRoot> : never;
+/**
+ * Helper type to infer the update value type from a TreeNode's data.
+ * Uses StructUpdateValue directly to get field-level partial update semantics.
+ * All fields are optional in update operations.
+ */
+type TreeNodeUpdateValue<TNode extends AnyTreeNodePrimitive> = TNode["data"] extends StructPrimitive<infer TFields, any, any> ? StructUpdateValue<TFields> : InferUpdateInput<TNode["data"]>;
+/**
+ * Helper type to infer the input type for node data (respects field defaults).
+ * Uses StructSetInput directly so that:
+ * - Fields that are required AND have no default must be provided
+ * - Fields that are optional OR have defaults can be omitted
+ *
+ * This bypasses the struct-level NeedsValue wrapper since tree inserts
+ * always require a data object (even if empty for all-optional fields).
+ */
+type TreeNodeDataSetInput<TNode extends AnyTreeNodePrimitive> = TNode["data"] extends StructPrimitive<infer TFields, any, any> ? StructSetInput<TFields> : InferSetInput<TNode["data"]>;
+/**
+ * Typed proxy for a specific node type - provides type-safe data access
+ */
+interface TypedNodeProxy<TNode extends AnyTreeNodePrimitive> {
+  /** The node ID */
+  readonly id: string;
+  /** The node type */
+  readonly type: InferTreeNodeType<TNode>;
+  /** Access the node's data proxy */
+  readonly data: InferProxy<TNode["data"]>;
+  /** Get the raw node state */
+  get(): TypedTreeNodeState<TNode>;
+  /** Updates only the specified data fields (partial update, handles nested structs recursively) */
+  update(value: TreeNodeUpdateValue<TNode>): void;
+}
+/**
+ * Node proxy with type narrowing capabilities
+ */
+interface TreeNodeProxyBase<_TRoot extends AnyTreeNodePrimitive> {
+  /** The node ID */
+  readonly id: string;
+  /** The node type (string) */
+  readonly type: string;
+  /** Type guard - narrows the proxy to a specific node type */
+  is<TNode extends AnyTreeNodePrimitive>(nodeType: TNode): this is TypedNodeProxy<TNode>;
+  /** Type assertion - returns typed proxy (throws if wrong type) */
+  as<TNode extends AnyTreeNodePrimitive>(nodeType: TNode): TypedNodeProxy<TNode>;
+  /** Get the raw node state */
+  get(): TreeNodeState;
+}
+/**
+ * Proxy for accessing and modifying tree nodes
+ */
+interface TreeProxy<TRoot$1 extends AnyTreeNodePrimitive> {
+  /** Gets the entire tree state (flat array of nodes) */
+  get(): TreeState<TRoot$1>;
+  /** Replaces the entire tree */
+  set(nodes: TreeState<TRoot$1>): void;
+  /** Gets the root node state */
+  root(): TypedTreeNodeState<TRoot$1> | undefined;
+  /** Gets ordered children states of a parent (null for root's children) */
+  children(parentId: string | null): TreeNodeState[];
+  /** Gets a node proxy by ID with type narrowing capabilities */
+  node(id: string): TreeNodeProxyBase<TRoot$1> | undefined;
+  /** Insert a new node as the first child (applies defaults for node data) */
+  insertFirst<TNode extends AnyTreeNodePrimitive>(parentId: string | null, nodeType: TNode, data: TreeNodeDataSetInput<TNode>): string;
+  /** Insert a new node as the last child (applies defaults for node data) */
+  insertLast<TNode extends AnyTreeNodePrimitive>(parentId: string | null, nodeType: TNode, data: TreeNodeDataSetInput<TNode>): string;
+  /** Insert a new node at a specific index among siblings (applies defaults for node data) */
+  insertAt<TNode extends AnyTreeNodePrimitive>(parentId: string | null, index: number, nodeType: TNode, data: TreeNodeDataSetInput<TNode>): string;
+  /** Insert a new node after a sibling (applies defaults for node data) */
+  insertAfter<TNode extends AnyTreeNodePrimitive>(siblingId: string, nodeType: TNode, data: TreeNodeDataSetInput<TNode>): string;
+  /** Insert a new node before a sibling (applies defaults for node data) */
+  insertBefore<TNode extends AnyTreeNodePrimitive>(siblingId: string, nodeType: TNode, data: TreeNodeDataSetInput<TNode>): string;
+  /** Remove a node and all its descendants */
+  remove(id: string): void;
+  /** Move a node to a new parent at a specific index */
+  move(nodeId: string, newParentId: string | null, toIndex: number): void;
+  /** Move a node after a sibling */
+  moveAfter(nodeId: string, siblingId: string): void;
+  /** Move a node before a sibling */
+  moveBefore(nodeId: string, siblingId: string): void;
+  /** Move a node to be the first child of a parent */
+  moveToFirst(nodeId: string, newParentId: string | null): void;
+  /** Move a node to be the last child of a parent */
+  moveToLast(nodeId: string, newParentId: string | null): void;
+  /** Returns a typed proxy for a specific node's data */
+  at<TNode extends AnyTreeNodePrimitive>(id: string, nodeType: TNode): InferProxy<TNode["data"]>;
+  /** Updates only the specified data fields of a node (partial update) */
+  updateAt<TNode extends AnyTreeNodePrimitive>(id: string, nodeType: TNode, value: TreeNodeUpdateValue<TNode>): void;
+  /** Convert tree to a nested snapshot for UI rendering */
+  toSnapshot(): TreeNodeSnapshot<TRoot$1> | undefined;
+}
+interface TreePrimitiveSchema<TRoot$1 extends AnyTreeNodePrimitive> {
+  readonly required: boolean;
+  readonly defaultValue: TreeState<TRoot$1> | undefined;
+  readonly root: TRoot$1;
+  readonly validators: readonly Validator<TreeState<TRoot$1>>[];
+}
+/** Input type for tree set() - tree state */
+type TreeSetInput<TRoot$1 extends AnyTreeNodePrimitive> = TreeState<TRoot$1>;
+/** Input type for tree update() - same as set() for trees */
+type TreeUpdateInput<TRoot$1 extends AnyTreeNodePrimitive> = TreeState<TRoot$1>;
+declare class TreePrimitive<TRoot$1 extends AnyTreeNodePrimitive, TRequired extends boolean = false, THasDefault extends boolean = false> implements Primitive<TreeState<TRoot$1>, TreeProxy<TRoot$1>, TRequired, THasDefault, TreeSetInput<TRoot$1>, TreeUpdateInput<TRoot$1>> {
+  readonly _tag: "TreePrimitive";
+  readonly _State: TreeState<TRoot$1>;
+  readonly _Proxy: TreeProxy<TRoot$1>;
+  readonly _TRequired: TRequired;
+  readonly _THasDefault: THasDefault;
+  readonly TSetInput: TreeSetInput<TRoot$1>;
+  readonly TUpdateInput: TreeUpdateInput<TRoot$1>;
+  private readonly _schema;
+  private _nodeTypeRegistry;
+  private readonly _opDefinitions;
+  constructor(schema: TreePrimitiveSchema<TRoot$1>);
+  /** Mark this tree as required */
+  required(): TreePrimitive<TRoot$1, true, THasDefault>;
+  /** Set a default value for this tree */
+  default(defaultValue: TreeState<TRoot$1>): TreePrimitive<TRoot$1, TRequired, true>;
+  /** Get the root node type */
+  get root(): TRoot$1;
+  /** Add a custom validation rule */
+  refine(fn: (value: TreeState<TRoot$1>) => boolean, message: string): TreePrimitive<TRoot$1, TRequired, THasDefault>;
+  /**
+   * Build a registry of all node types reachable from root
+   */
+  private _buildNodeTypeRegistry;
+  /**
+   * Get a node type primitive by its type string
+   */
+  private _getNodeTypePrimitive;
+  /**
+   * Validate that a node type can be a child of a parent node type
+   */
+  private _validateChildType;
+  readonly _internal: PrimitiveInternal<TreeState<TRoot$1>, TreeProxy<TRoot$1>>;
+}
+/** Options for creating a Tree primitive */
+interface TreeOptions<TRoot$1 extends AnyTreeNodePrimitive> {
+  /** The root node type */
+  readonly root: TRoot$1;
+}
+/** Creates a new TreePrimitive with the given root node type */
+declare const Tree: <TRoot$1 extends AnyTreeNodePrimitive>(options: TreeOptions<TRoot$1>) => TreePrimitive<TRoot$1, false, false>;
+//#endregion
+export { InferTreeSnapshot, Tree, TreeNodeDataSetInput, TreeNodeProxyBase, TreeNodeSnapshot, TreeNodeState, TreeNodeUpdateValue, TreeOptions, TreePrimitive, TreeProxy, TreeSetInput, TreeState, TreeUpdateInput, TypedNodeProxy, TypedTreeNodeState };
+//# sourceMappingURL=Tree.d.cts.map

package/dist/primitives/Tree.d.cts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tree.d.cts","names":[],"sources":["../../src/primitives/Tree.ts"],"sourcesContent":[],"mappings":";;;;;;;AAkBA;AAWA;AAAkD,UAXjC,aAAA,CAWiC;EAEf,SAAA,EAAA,EAAA,MAAA;EAAlB,SAAA,IAAA,EAAA,MAAA;EAGuB,SAAA,QAAA,EAAA,MAAA,GAAA,IAAA;EAAvB,SAAA,GAAA,EAAA,MAAA;EAAsB,SAAA,IAAA,EAAA,OAAA;AAMvC;AAwDA;;;AAEiB,UArEA,kBAqEA,CAAA,cArEiC,oBAqEjC,CAAA,CAAA;EAC2C,SAAA,EAAA,EAAA,MAAA;EAAtB,SAAA,IAAA,EApErB,iBAoEqB,CApEH,KAoEG,CAAA;EAAjB,SAAA,QAAA,EAAA,MAAA,GAAA,IAAA;EACM,SAAA,GAAA,EAAA,MAAA;EAAvB,SAAA,IAAA,EAlEa,sBAkEb,CAlEoC,KAkEpC,CAAA;;AAKJ;;;AACY,KAlEA,SAkEA,CAAA,eAlEyB,oBAkEzB,CAAA,GAAA,SAlE0D,aAkE1D,EAAA;;;;AAOA,KAjBA,gBAiBmB,CAAA,cAjBY,oBAiBZ,CAAA,GAAA;EAAe,SAAA,EAAA,EAAA,MAAA;EAC5C,SAAA,IAAA,EAhBe,iBAgBf,CAhBiC,KAgBjC,CAAA;EAAsB,SAAA,QAAA,EAfH,gBAeG,CAfc,qBAed,CAfoC,KAepC,CAAA,CAAA,EAAA;CACA,GAfpB,sBAeoB,CAfG,KAeH,CAAA;;;;AACF,KAXV,iBAWU,CAAA,UAXkB,aAWlB,CAAA,GAAA,CAAA,CAAA,GAVpB,CAUoB,SAVV,aAUU,CAAA,KAAA,MAAA,CAAA,GAVmB,gBAUnB,CAVoC,KAUpC,CAAA,GAAA,KAAA;AAWtB;;;;;AAEM,KAhBM,mBAgBN,CAAA,cAhBwC,oBAgBxC,CAAA,GAfJ,KAeI,CAAA,MAAA,CAAA,SAfkB,eAelB,CAAA,KAAA,QAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAdA,iBAcA,CAdkB,OAclB,CAAA,GAbA,gBAaA,CAbiB,KAajB,CAAA,MAAA,CAAA,CAAA;;;;AAMN;;;;;;AAQ4B,KAhBhB,oBAgBgB,CAAA,cAhBmB,oBAgBnB,CAAA,GAf1B,KAe0B,CAAA,MAAA,CAAA,SAfJ,eAeI,CAAA,KAAA,QAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAdtB,cAcsB,CAdP,OAcO,CAAA,GAbtB,aAasB,CAbR,KAaQ,CAAA,MAAA,CAAA,CAAA;;;;AAEO,UAVlB,cAUkB,CAAA,cAVW,oBAUX,CAAA,CAAA;EAMlB;EAAiC,SAAA,EAAA,EAAA,MAAA;EAM/B;EACL,SAAA,IAAA,EAnBG,iBAmBH,CAnBqB,KAmBrB,CAAA;EACc;EAAf,SAAA,IAAA,EAlBI,UAkBJ,CAlBe,KAkBf,CAAA,MAAA,CAAA,CAAA;EAEM;EACL,GAAA,EAAA,EAnBL,kBAmBK,CAnBc,KAmBd,CAAA;EACM;EAAf,MAAA,CAAA,KAAA,EAlBW,mBAkBX,CAlB+B,KAkB/B,CAAA,CAAA,EAAA,IAAA;;;AAQL;;AAEmB,UAtBF,iBAsBE,CAAA,eAtB+B,oBAsB/B,CAAA,CAAA;EAAV;EAGc,SAAA,EAAA,EAAA,MAAA;EAAV;EAGgB,SAAA,IAAA,EAAA,MAAA;EAAnB;EAG2B,EAAA,CAAA,cAzBlB,oBAyBkB,CAAA,CAAA,QAAA,EAxBvB,KAwBuB,CAAA,EAAA,IAAA,IAvBxB,cAuBwB,CAvBT,KAuBS,CAAA;EAGC;EAAlB,EAAA,CAAA,cAxBD,oBAwBC,CAAA,CAAA,QAAA,EAvBN,KAuBM,CAAA,EAtBf,cAsBe,CAtBA,KAsBA,CAAA;EAGQ;EAEd,GAAA,EAAA,EAzBL,aAyBK;;;;;AAQiB,UA3Bd,SA2Bc,CAAA,gBA3BU,oBA2BV,CAAA,CAAA;EAArB;EAIe,GAAA,EAAA,EA7BhB,SA6BgB,CA7BN,OA6BM,CAAA;EAGX;EACiB,GAAA,CAAA,KAAA,EA9BlB,SA8BkB,CA9BR,OA8BQ,CAAA,CAAA,EAAA,IAAA;EAArB;EAIkB,IAAA,EAAA,EA/BlB,kBA+BkB,CA/BC,OA+BD,CAAA,GAAA,SAAA;EAEd;EACiB,QAAA,CAAA,QAAA,EAAA,MAAA,GAAA,IAAA,CAAA,EA/BM,aA+BN,EAAA;EAArB;EAImB,IAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EAhCT,iBAgCS,CAhCS,OAgCT,CAAA,GAAA,SAAA;EAEf;EACiB,WAAA,CAAA,cAhCH,oBAgCG,CAAA,CAAA,QAAA,EAAA,MAAA,GAAA,IAAA,EAAA,QAAA,EA9BjB,KA8BiB,EAAA,IAAA,EA7BrB,oBA6BqB,CA7BA,KA6BA,CAAA,CAAA,EAAA,MAAA;EAArB;EAsBS,UAAA,CAAA,cA/CQ,oBA+CR,CAAA,CAAA,QAAA,EAAA,MAAA,GAAA,IAAA,EAAA,QAAA,EA7CL,KA6CK,EAAA,IAAA,EA5CT,oBA4CS,CA5CY,KA4CZ,CAAA,CAAA,EAAA,MAAA;EAEL;EACE,QAAA,CAAA,cA3CS,oBA2CT,CAAA,CAAA,QAAA,EAAA,MAAA,GAAA,IAAA,EAAA,KAAA,EAAA,MAAA,EAAA,QAAA,EAxCF,KAwCE,EAAA,IAAA,EAvCN,oBAuCM,CAvCe,KAuCf,CAAA,CAAA,EAAA,MAAA;EAAX;EAGoB,WAAA,CAAA,cAtCG,oBAsCH,CAAA,CAAA,SAAA,EAAA,MAAA,EAAA,QAAA,EApCX,KAoCW,EAAA,IAAA,EAnCf,oBAmCe,CAnCM,KAmCN,CAAA,CAAA,EAAA,MAAA;EAEX;EACiB,YAAA,CAAA,cAlCF,oBAkCE,CAAA,CAAA,SAAA,EAAA,MAAA,EAAA,QAAA,EAhCjB,KAgCiB,EAAA,IAAA,EA/BrB,oBA+BqB,CA/BA,KA+BA,CAAA,CAAA,EAAA,MAAA;EAApB;EAIsB,MAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EAAA,IAAA;EAAjB;EAAgB,IAAA,CAAA,MAAA,EAAA,MAAA,EAAA,WAAA,EAAA,MAAA,GAAA,IAAA,EAAA,OAAA,EAAA,MAAA,CAAA,EAAA,IAAA;EAGtB;EAAkC,SAAA,CAAA,MAAA,EAAA,MAAA,EAAA,SAAA,EAAA,MAAA,CAAA,EAAA,IAAA;EAET;EAAV,UAAA,CAAA,MAAA,EAAA,MAAA,EAAA,SAAA,EAAA,MAAA,CAAA,EAAA,IAAA;EACR;EACmC,WAAA,CAAA,MAAA,EAAA,MAAA,EAAA,WAAA,EAAA,MAAA,GAAA,IAAA,CAAA,EAAA,IAAA;EAAV;EAAV,UAAA,CAAA,MAAA,EAAA,MAAA,EAAA,WAAA,EAAA,MAAA,GAAA,IAAA,CAAA,EAAA,IAAA;EAAS;EAI7B,EAAA,CAAA,cAxBO,oBAwBK,CAAA,CAAA,EAAA,EAAA,MAAA,EAAA,QAAA,EAtBV,KAsBU,CAAA,EArBnB,UAqBmB,CArBR,KAqBQ,CAAA,MAAA,CAAA,CAAA;EAAe;EAAkC,QAAA,CAAA,cAlBhD,oBAkBgD,CAAA,CAAA,EAAA,EAAA,MAAA,EAAA,QAAA,EAhB3D,KAgB2D,EAAA,KAAA,EAf9D,mBAe8D,CAf1C,KAe0C,CAAA,CAAA,EAAA,IAAA;EAAV;EAAS,UAAA,EAAA,EAXxD,gBAWwD,CAXvC,OAWuC,CAAA,GAAA,SAAA;AAGxE;UAXU,mBAWgC,CAAA,gBAXE,oBAWF,CAAA,CAAA;EAAkC,SAAA,QAAA,EAAA,OAAA;EAAV,SAAA,YAAA,EATzC,SASyC,CAT/B,OAS+B,CAAA,GAAA,SAAA;EAAS,SAAA,IAAA,EAR1D,OAQ0D;EAE9D,SAAA,UAAa,EAAA,SATM,SASN,CATgB,SAShB,CAT0B,OAS1B,CAAA,CAAA,EAAA;;;AACH,KANX,YAMW,CAAA,gBANgB,oBAMhB,CAAA,GANwC,SAMxC,CANkD,OAMlD,CAAA;;AAAkB,KAH7B,eAG6B,CAAA,gBAHC,oBAGD,CAAA,GAHyB,SAGzB,CAHmC,OAGnC,CAAA;AAAkB,cAD9C,aAC8C,CAAA,gBADlB,oBACkB,EAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,CAAA,YAA9C,SAA8C,CAApC,SAAoC,CAA1B,OAA0B,CAAA,EAAlB,SAAkB,CAAR,OAAQ,CAAA,EAAA,SAAA,EAAW,WAAX,EAAwB,YAAxB,CAAqC,OAArC,CAAA,EAA6C,eAA7C,CAA6D,OAA7D,CAAA,CAAA,CAAA;EAAW,SAAA,IAAA,EAAA,eAAA;EAA0B,SAAA,MAAA,EAG5E,SAH4E,CAGlE,OAHkE,CAAA;EAAb,SAAA,MAAA,EAI/D,SAJ+D,CAIrD,OAJqD,CAAA;EAAqC,SAAA,UAAA,EAKhG,SALgG;EAAhB,SAAA,YAAA,EAM9E,WAN8E;EAG1E,SAAA,SAAA,EAIP,YAJO,CAIM,OAJN,CAAA;EAAV,SAAA,YAAA,EAKM,eALN,CAKsB,OALtB,CAAA;EACU,iBAAA,OAAA;EAAV,QAAA,iBAAA;EACI,iBAAA,cAAA;EACE,WAAA,CAAA,MAAA,EAkCJ,mBAlCI,CAkCgB,OAlChB,CAAA;EACU;EAAb,QAAA,CAAA,CAAA,EAsCT,aAtCS,CAsCK,OAtCL,EAAA,IAAA,EAsCkB,WAtClB,CAAA;EACmB;EAAhB,OAAA,CAAA,YAAA,EA6CF,SA7CE,CA6CQ,OA7CR,CAAA,CAAA,EA6CiB,aA7CjB,CA6C+B,OA7C/B,EA6CsC,SA7CtC,EAAA,IAAA,CAAA;EAgCgB;EAApB,IAAA,IAAA,CAAA,CAAA,EAqBR,OArBQ;EAKM;EAAa,MAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAqBpB,SArBoB,CAqBV,OArBU,CAAA,EAAA,GAAA,OAAA,EAAA,OAAA,EAAA,MAAA,CAAA,EAqB4B,aArB5B,CAqB0C,OArB1C,EAqBiD,SArBjD,EAqB4D,WArB5D,CAAA;EAA3B;;;EAQ2C,QAAA,sBAAA;EAAO;;;EAajC,QAAA,qBAAA;EAAV;;;EAAgF,QAAA,kBAAA;EAAhC,SAAA,SAAA,EAwE/C,iBAxE+C,CAwE7B,SAxE6B,CAwEnB,OAxEmB,CAAA,EAwEX,SAxEW,CAwED,OAxEC,CAAA,CAAA;;;AAwED,UA8wBnD,WA9wBmD,CAAA,gBA8wBzB,oBA9wByB,CAAA,CAAA;EAAV;EAApC,SAAA,IAAA,EAgxBL,OAhxBK;;;AA8wBL,cAMJ,IANe,EAAA,CAAA,gBAMO,oBAJlB,CAAA,CAAA,OAAK,EAKX,WALW,CAKC,OALD,CAAA,EAAA,GAMnB,aANmB,CAML,OANK,EAAA,KAAA,EAAA,KAAA,CAAA"}

package/dist/primitives/Tree.d.mts

@@ -0,0 +1,185 @@
+import { InferProxy, InferSetInput, InferUpdateInput, Primitive, PrimitiveInternal, Validator } from "./shared.mjs";
+import { StructPrimitive, StructSetInput, StructUpdateValue } from "./Struct.mjs";
+import { AnyTreeNodePrimitive, InferTreeNodeChildren, InferTreeNodeDataState, InferTreeNodeType } from "./TreeNode.mjs";
+
+//#region src/primitives/Tree.d.ts
+
+/**
+ * A node in the tree state (flat storage format)
+ */
+interface TreeNodeState {
+  readonly id: string;
+  readonly type: string;
+  readonly parentId: string | null;
+  readonly pos: string;
+  readonly data: unknown;
+}
+/**
+ * Typed node state for a specific node type
+ */
+interface TypedTreeNodeState<TNode extends AnyTreeNodePrimitive> {
+  readonly id: string;
+  readonly type: InferTreeNodeType<TNode>;
+  readonly parentId: string | null;
+  readonly pos: string;
+  readonly data: InferTreeNodeDataState<TNode>;
+}
+/**
+ * The state type for trees - a flat array of nodes
+ */
+type TreeState<_TRoot extends AnyTreeNodePrimitive> = readonly TreeNodeState[];
+/**
+ * Snapshot of a single node for UI rendering (data properties spread at node level)
+ */
+type TreeNodeSnapshot<TNode extends AnyTreeNodePrimitive> = {
+  readonly id: string;
+  readonly type: InferTreeNodeType<TNode>;
+  readonly children: TreeNodeSnapshot<InferTreeNodeChildren<TNode>>[];
+} & InferTreeNodeDataState<TNode>;
+/**
+ * Infer the snapshot type for a tree (recursive tree structure for UI)
+ */
+type InferTreeSnapshot<T extends TreePrimitive<any>> = T extends TreePrimitive<infer TRoot> ? TreeNodeSnapshot<TRoot> : never;
+/**
+ * Helper type to infer the update value type from a TreeNode's data.
+ * Uses StructUpdateValue directly to get field-level partial update semantics.
+ * All fields are optional in update operations.
+ */
+type TreeNodeUpdateValue<TNode extends AnyTreeNodePrimitive> = TNode["data"] extends StructPrimitive<infer TFields, any, any> ? StructUpdateValue<TFields> : InferUpdateInput<TNode["data"]>;
+/**
+ * Helper type to infer the input type for node data (respects field defaults).
+ * Uses StructSetInput directly so that:
+ * - Fields that are required AND have no default must be provided
+ * - Fields that are optional OR have defaults can be omitted
+ *
+ * This bypasses the struct-level NeedsValue wrapper since tree inserts
+ * always require a data object (even if empty for all-optional fields).
+ */
+type TreeNodeDataSetInput<TNode extends AnyTreeNodePrimitive> = TNode["data"] extends StructPrimitive<infer TFields, any, any> ? StructSetInput<TFields> : InferSetInput<TNode["data"]>;
+/**
+ * Typed proxy for a specific node type - provides type-safe data access
+ */
+interface TypedNodeProxy<TNode extends AnyTreeNodePrimitive> {
+  /** The node ID */
+  readonly id: string;
+  /** The node type */
+  readonly type: InferTreeNodeType<TNode>;
+  /** Access the node's data proxy */
+  readonly data: InferProxy<TNode["data"]>;
+  /** Get the raw node state */
+  get(): TypedTreeNodeState<TNode>;
+  /** Updates only the specified data fields (partial update, handles nested structs recursively) */
+  update(value: TreeNodeUpdateValue<TNode>): void;
+}
+/**
+ * Node proxy with type narrowing capabilities
+ */
+interface TreeNodeProxyBase<_TRoot extends AnyTreeNodePrimitive> {
+  /** The node ID */
+  readonly id: string;
+  /** The node type (string) */
+  readonly type: string;
+  /** Type guard - narrows the proxy to a specific node type */
+  is<TNode extends AnyTreeNodePrimitive>(nodeType: TNode): this is TypedNodeProxy<TNode>;
+  /** Type assertion - returns typed proxy (throws if wrong type) */
+  as<TNode extends AnyTreeNodePrimitive>(nodeType: TNode): TypedNodeProxy<TNode>;
+  /** Get the raw node state */
+  get(): TreeNodeState;
+}
+/**
+ * Proxy for accessing and modifying tree nodes
+ */
+interface TreeProxy<TRoot$1 extends AnyTreeNodePrimitive> {
+  /** Gets the entire tree state (flat array of nodes) */
+  get(): TreeState<TRoot$1>;
+  /** Replaces the entire tree */
+  set(nodes: TreeState<TRoot$1>): void;
+  /** Gets the root node state */
+  root(): TypedTreeNodeState<TRoot$1> | undefined;
+  /** Gets ordered children states of a parent (null for root's children) */
+  children(parentId: string | null): TreeNodeState[];
+  /** Gets a node proxy by ID with type narrowing capabilities */
+  node(id: string): TreeNodeProxyBase<TRoot$1> | undefined;
+  /** Insert a new node as the first child (applies defaults for node data) */
+  insertFirst<TNode extends AnyTreeNodePrimitive>(parentId: string | null, nodeType: TNode, data: TreeNodeDataSetInput<TNode>): string;
+  /** Insert a new node as the last child (applies defaults for node data) */
+  insertLast<TNode extends AnyTreeNodePrimitive>(parentId: string | null, nodeType: TNode, data: TreeNodeDataSetInput<TNode>): string;
+  /** Insert a new node at a specific index among siblings (applies defaults for node data) */
+  insertAt<TNode extends AnyTreeNodePrimitive>(parentId: string | null, index: number, nodeType: TNode, data: TreeNodeDataSetInput<TNode>): string;
+  /** Insert a new node after a sibling (applies defaults for node data) */
+  insertAfter<TNode extends AnyTreeNodePrimitive>(siblingId: string, nodeType: TNode, data: TreeNodeDataSetInput<TNode>): string;
+  /** Insert a new node before a sibling (applies defaults for node data) */
+  insertBefore<TNode extends AnyTreeNodePrimitive>(siblingId: string, nodeType: TNode, data: TreeNodeDataSetInput<TNode>): string;
+  /** Remove a node and all its descendants */
+  remove(id: string): void;
+  /** Move a node to a new parent at a specific index */
+  move(nodeId: string, newParentId: string | null, toIndex: number): void;
+  /** Move a node after a sibling */
+  moveAfter(nodeId: string, siblingId: string): void;
+  /** Move a node before a sibling */
+  moveBefore(nodeId: string, siblingId: string): void;
+  /** Move a node to be the first child of a parent */
+  moveToFirst(nodeId: string, newParentId: string | null): void;
+  /** Move a node to be the last child of a parent */
+  moveToLast(nodeId: string, newParentId: string | null): void;
+  /** Returns a typed proxy for a specific node's data */
+  at<TNode extends AnyTreeNodePrimitive>(id: string, nodeType: TNode): InferProxy<TNode["data"]>;
+  /** Updates only the specified data fields of a node (partial update) */
+  updateAt<TNode extends AnyTreeNodePrimitive>(id: string, nodeType: TNode, value: TreeNodeUpdateValue<TNode>): void;
+  /** Convert tree to a nested snapshot for UI rendering */
+  toSnapshot(): TreeNodeSnapshot<TRoot$1> | undefined;
+}
+interface TreePrimitiveSchema<TRoot$1 extends AnyTreeNodePrimitive> {
+  readonly required: boolean;
+  readonly defaultValue: TreeState<TRoot$1> | undefined;
+  readonly root: TRoot$1;
+  readonly validators: readonly Validator<TreeState<TRoot$1>>[];
+}
+/** Input type for tree set() - tree state */
+type TreeSetInput<TRoot$1 extends AnyTreeNodePrimitive> = TreeState<TRoot$1>;
+/** Input type for tree update() - same as set() for trees */
+type TreeUpdateInput<TRoot$1 extends AnyTreeNodePrimitive> = TreeState<TRoot$1>;
+declare class TreePrimitive<TRoot$1 extends AnyTreeNodePrimitive, TRequired extends boolean = false, THasDefault extends boolean = false> implements Primitive<TreeState<TRoot$1>, TreeProxy<TRoot$1>, TRequired, THasDefault, TreeSetInput<TRoot$1>, TreeUpdateInput<TRoot$1>> {
+  readonly _tag: "TreePrimitive";
+  readonly _State: TreeState<TRoot$1>;
+  readonly _Proxy: TreeProxy<TRoot$1>;
+  readonly _TRequired: TRequired;
+  readonly _THasDefault: THasDefault;
+  readonly TSetInput: TreeSetInput<TRoot$1>;
+  readonly TUpdateInput: TreeUpdateInput<TRoot$1>;
+  private readonly _schema;
+  private _nodeTypeRegistry;
+  private readonly _opDefinitions;
+  constructor(schema: TreePrimitiveSchema<TRoot$1>);
+  /** Mark this tree as required */
+  required(): TreePrimitive<TRoot$1, true, THasDefault>;
+  /** Set a default value for this tree */
+  default(defaultValue: TreeState<TRoot$1>): TreePrimitive<TRoot$1, TRequired, true>;
+  /** Get the root node type */
+  get root(): TRoot$1;
+  /** Add a custom validation rule */
+  refine(fn: (value: TreeState<TRoot$1>) => boolean, message: string): TreePrimitive<TRoot$1, TRequired, THasDefault>;
+  /**
+   * Build a registry of all node types reachable from root
+   */
+  private _buildNodeTypeRegistry;
+  /**
+   * Get a node type primitive by its type string
+   */
+  private _getNodeTypePrimitive;
+  /**
+   * Validate that a node type can be a child of a parent node type
+   */
+  private _validateChildType;
+  readonly _internal: PrimitiveInternal<TreeState<TRoot$1>, TreeProxy<TRoot$1>>;
+}
+/** Options for creating a Tree primitive */
+interface TreeOptions<TRoot$1 extends AnyTreeNodePrimitive> {
+  /** The root node type */
+  readonly root: TRoot$1;
+}
+/** Creates a new TreePrimitive with the given root node type */
+declare const Tree: <TRoot$1 extends AnyTreeNodePrimitive>(options: TreeOptions<TRoot$1>) => TreePrimitive<TRoot$1, false, false>;
+//#endregion
+export { InferTreeSnapshot, Tree, TreeNodeDataSetInput, TreeNodeProxyBase, TreeNodeSnapshot, TreeNodeState, TreeNodeUpdateValue, TreeOptions, TreePrimitive, TreeProxy, TreeSetInput, TreeState, TreeUpdateInput, TypedNodeProxy, TypedTreeNodeState };
+//# sourceMappingURL=Tree.d.mts.map

package/dist/primitives/Tree.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tree.d.mts","names":[],"sources":["../../src/primitives/Tree.ts"],"sourcesContent":[],"mappings":";;;;;;;AAkBA;AAWA;AAAkD,UAXjC,aAAA,CAWiC;EAEf,SAAA,EAAA,EAAA,MAAA;EAAlB,SAAA,IAAA,EAAA,MAAA;EAGuB,SAAA,QAAA,EAAA,MAAA,GAAA,IAAA;EAAvB,SAAA,GAAA,EAAA,MAAA;EAAsB,SAAA,IAAA,EAAA,OAAA;AAMvC;AAwDA;;;AAEiB,UArEA,kBAqEA,CAAA,cArEiC,oBAqEjC,CAAA,CAAA;EAC2C,SAAA,EAAA,EAAA,MAAA;EAAtB,SAAA,IAAA,EApErB,iBAoEqB,CApEH,KAoEG,CAAA;EAAjB,SAAA,QAAA,EAAA,MAAA,GAAA,IAAA;EACM,SAAA,GAAA,EAAA,MAAA;EAAvB,SAAA,IAAA,EAlEa,sBAkEb,CAlEoC,KAkEpC,CAAA;;AAKJ;;;AACY,KAlEA,SAkEA,CAAA,eAlEyB,oBAkEzB,CAAA,GAAA,SAlE0D,aAkE1D,EAAA;;;;AAOA,KAjBA,gBAiBmB,CAAA,cAjBY,oBAiBZ,CAAA,GAAA;EAAe,SAAA,EAAA,EAAA,MAAA;EAC5C,SAAA,IAAA,EAhBe,iBAgBf,CAhBiC,KAgBjC,CAAA;EAAsB,SAAA,QAAA,EAfH,gBAeG,CAfc,qBAed,CAfoC,KAepC,CAAA,CAAA,EAAA;CACA,GAfpB,sBAeoB,CAfG,KAeH,CAAA;;;;AACF,KAXV,iBAWU,CAAA,UAXkB,aAWlB,CAAA,GAAA,CAAA,CAAA,GAVpB,CAUoB,SAVV,aAUU,CAAA,KAAA,MAAA,CAAA,GAVmB,gBAUnB,CAVoC,KAUpC,CAAA,GAAA,KAAA;AAWtB;;;;;AAEM,KAhBM,mBAgBN,CAAA,cAhBwC,oBAgBxC,CAAA,GAfJ,KAeI,CAAA,MAAA,CAAA,SAfkB,eAelB,CAAA,KAAA,QAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAdA,iBAcA,CAdkB,OAclB,CAAA,GAbA,gBAaA,CAbiB,KAajB,CAAA,MAAA,CAAA,CAAA;;;;AAMN;;;;;;AAQ4B,KAhBhB,oBAgBgB,CAAA,cAhBmB,oBAgBnB,CAAA,GAf1B,KAe0B,CAAA,MAAA,CAAA,SAfJ,eAeI,CAAA,KAAA,QAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAdtB,cAcsB,CAdP,OAcO,CAAA,GAbtB,aAasB,CAbR,KAaQ,CAAA,MAAA,CAAA,CAAA;;;;AAEO,UAVlB,cAUkB,CAAA,cAVW,oBAUX,CAAA,CAAA;EAMlB;EAAiC,SAAA,EAAA,EAAA,MAAA;EAM/B;EACL,SAAA,IAAA,EAnBG,iBAmBH,CAnBqB,KAmBrB,CAAA;EACc;EAAf,SAAA,IAAA,EAlBI,UAkBJ,CAlBe,KAkBf,CAAA,MAAA,CAAA,CAAA;EAEM;EACL,GAAA,EAAA,EAnBL,kBAmBK,CAnBc,KAmBd,CAAA;EACM;EAAf,MAAA,CAAA,KAAA,EAlBW,mBAkBX,CAlB+B,KAkB/B,CAAA,CAAA,EAAA,IAAA;;;AAQL;;AAEmB,UAtBF,iBAsBE,CAAA,eAtB+B,oBAsB/B,CAAA,CAAA;EAAV;EAGc,SAAA,EAAA,EAAA,MAAA;EAAV;EAGgB,SAAA,IAAA,EAAA,MAAA;EAAnB;EAG2B,EAAA,CAAA,cAzBlB,oBAyBkB,CAAA,CAAA,QAAA,EAxBvB,KAwBuB,CAAA,EAAA,IAAA,IAvBxB,cAuBwB,CAvBT,KAuBS,CAAA;EAGC;EAAlB,EAAA,CAAA,cAxBD,oBAwBC,CAAA,CAAA,QAAA,EAvBN,KAuBM,CAAA,EAtBf,cAsBe,CAtBA,KAsBA,CAAA;EAGQ;EAEd,GAAA,EAAA,EAzBL,aAyBK;;;;;AAQiB,UA3Bd,SA2Bc,CAAA,gBA3BU,oBA2BV,CAAA,CAAA;EAArB;EAIe,GAAA,EAAA,EA7BhB,SA6BgB,CA7BN,OA6BM,CAAA;EAGX;EACiB,GAAA,CAAA,KAAA,EA9BlB,SA8BkB,CA9BR,OA8BQ,CAAA,CAAA,EAAA,IAAA;EAArB;EAIkB,IAAA,EAAA,EA/BlB,kBA+BkB,CA/BC,OA+BD,CAAA,GAAA,SAAA;EAEd;EACiB,QAAA,CAAA,QAAA,EAAA,MAAA,GAAA,IAAA,CAAA,EA/BM,aA+BN,EAAA;EAArB;EAImB,IAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EAhCT,iBAgCS,CAhCS,OAgCT,CAAA,GAAA,SAAA;EAEf;EACiB,WAAA,CAAA,cAhCH,oBAgCG,CAAA,CAAA,QAAA,EAAA,MAAA,GAAA,IAAA,EAAA,QAAA,EA9BjB,KA8BiB,EAAA,IAAA,EA7BrB,oBA6BqB,CA7BA,KA6BA,CAAA,CAAA,EAAA,MAAA;EAArB;EAsBS,UAAA,CAAA,cA/CQ,oBA+CR,CAAA,CAAA,QAAA,EAAA,MAAA,GAAA,IAAA,EAAA,QAAA,EA7CL,KA6CK,EAAA,IAAA,EA5CT,oBA4CS,CA5CY,KA4CZ,CAAA,CAAA,EAAA,MAAA;EAEL;EACE,QAAA,CAAA,cA3CS,oBA2CT,CAAA,CAAA,QAAA,EAAA,MAAA,GAAA,IAAA,EAAA,KAAA,EAAA,MAAA,EAAA,QAAA,EAxCF,KAwCE,EAAA,IAAA,EAvCN,oBAuCM,CAvCe,KAuCf,CAAA,CAAA,EAAA,MAAA;EAAX;EAGoB,WAAA,CAAA,cAtCG,oBAsCH,CAAA,CAAA,SAAA,EAAA,MAAA,EAAA,QAAA,EApCX,KAoCW,EAAA,IAAA,EAnCf,oBAmCe,CAnCM,KAmCN,CAAA,CAAA,EAAA,MAAA;EAEX;EACiB,YAAA,CAAA,cAlCF,oBAkCE,CAAA,CAAA,SAAA,EAAA,MAAA,EAAA,QAAA,EAhCjB,KAgCiB,EAAA,IAAA,EA/BrB,oBA+BqB,CA/BA,KA+BA,CAAA,CAAA,EAAA,MAAA;EAApB;EAIsB,MAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EAAA,IAAA;EAAjB;EAAgB,IAAA,CAAA,MAAA,EAAA,MAAA,EAAA,WAAA,EAAA,MAAA,GAAA,IAAA,EAAA,OAAA,EAAA,MAAA,CAAA,EAAA,IAAA;EAGtB;EAAkC,SAAA,CAAA,MAAA,EAAA,MAAA,EAAA,SAAA,EAAA,MAAA,CAAA,EAAA,IAAA;EAET;EAAV,UAAA,CAAA,MAAA,EAAA,MAAA,EAAA,SAAA,EAAA,MAAA,CAAA,EAAA,IAAA;EACR;EACmC,WAAA,CAAA,MAAA,EAAA,MAAA,EAAA,WAAA,EAAA,MAAA,GAAA,IAAA,CAAA,EAAA,IAAA;EAAV;EAAV,UAAA,CAAA,MAAA,EAAA,MAAA,EAAA,WAAA,EAAA,MAAA,GAAA,IAAA,CAAA,EAAA,IAAA;EAAS;EAI7B,EAAA,CAAA,cAxBO,oBAwBK,CAAA,CAAA,EAAA,EAAA,MAAA,EAAA,QAAA,EAtBV,KAsBU,CAAA,EArBnB,UAqBmB,CArBR,KAqBQ,CAAA,MAAA,CAAA,CAAA;EAAe;EAAkC,QAAA,CAAA,cAlBhD,oBAkBgD,CAAA,CAAA,EAAA,EAAA,MAAA,EAAA,QAAA,EAhB3D,KAgB2D,EAAA,KAAA,EAf9D,mBAe8D,CAf1C,KAe0C,CAAA,CAAA,EAAA,IAAA;EAAV;EAAS,UAAA,EAAA,EAXxD,gBAWwD,CAXvC,OAWuC,CAAA,GAAA,SAAA;AAGxE;UAXU,mBAWgC,CAAA,gBAXE,oBAWF,CAAA,CAAA;EAAkC,SAAA,QAAA,EAAA,OAAA;EAAV,SAAA,YAAA,EATzC,SASyC,CAT/B,OAS+B,CAAA,GAAA,SAAA;EAAS,SAAA,IAAA,EAR1D,OAQ0D;EAE9D,SAAA,UAAa,EAAA,SATM,SASN,CATgB,SAShB,CAT0B,OAS1B,CAAA,CAAA,EAAA;;;AACH,KANX,YAMW,CAAA,gBANgB,oBAMhB,CAAA,GANwC,SAMxC,CANkD,OAMlD,CAAA;;AAAkB,KAH7B,eAG6B,CAAA,gBAHC,oBAGD,CAAA,GAHyB,SAGzB,CAHmC,OAGnC,CAAA;AAAkB,cAD9C,aAC8C,CAAA,gBADlB,oBACkB,EAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,CAAA,YAA9C,SAA8C,CAApC,SAAoC,CAA1B,OAA0B,CAAA,EAAlB,SAAkB,CAAR,OAAQ,CAAA,EAAA,SAAA,EAAW,WAAX,EAAwB,YAAxB,CAAqC,OAArC,CAAA,EAA6C,eAA7C,CAA6D,OAA7D,CAAA,CAAA,CAAA;EAAW,SAAA,IAAA,EAAA,eAAA;EAA0B,SAAA,MAAA,EAG5E,SAH4E,CAGlE,OAHkE,CAAA;EAAb,SAAA,MAAA,EAI/D,SAJ+D,CAIrD,OAJqD,CAAA;EAAqC,SAAA,UAAA,EAKhG,SALgG;EAAhB,SAAA,YAAA,EAM9E,WAN8E;EAG1E,SAAA,SAAA,EAIP,YAJO,CAIM,OAJN,CAAA;EAAV,SAAA,YAAA,EAKM,eALN,CAKsB,OALtB,CAAA;EACU,iBAAA,OAAA;EAAV,QAAA,iBAAA;EACI,iBAAA,cAAA;EACE,WAAA,CAAA,MAAA,EAkCJ,mBAlCI,CAkCgB,OAlChB,CAAA;EACU;EAAb,QAAA,CAAA,CAAA,EAsCT,aAtCS,CAsCK,OAtCL,EAAA,IAAA,EAsCkB,WAtClB,CAAA;EACmB;EAAhB,OAAA,CAAA,YAAA,EA6CF,SA7CE,CA6CQ,OA7CR,CAAA,CAAA,EA6CiB,aA7CjB,CA6C+B,OA7C/B,EA6CsC,SA7CtC,EAAA,IAAA,CAAA;EAgCgB;EAApB,IAAA,IAAA,CAAA,CAAA,EAqBR,OArBQ;EAKM;EAAa,MAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAqBpB,SArBoB,CAqBV,OArBU,CAAA,EAAA,GAAA,OAAA,EAAA,OAAA,EAAA,MAAA,CAAA,EAqB4B,aArB5B,CAqB0C,OArB1C,EAqBiD,SArBjD,EAqB4D,WArB5D,CAAA;EAA3B;;;EAQ2C,QAAA,sBAAA;EAAO;;;EAajC,QAAA,qBAAA;EAAV;;;EAAgF,QAAA,kBAAA;EAAhC,SAAA,SAAA,EAwE/C,iBAxE+C,CAwE7B,SAxE6B,CAwEnB,OAxEmB,CAAA,EAwEX,SAxEW,CAwED,OAxEC,CAAA,CAAA;;;AAwED,UA8wBnD,WA9wBmD,CAAA,gBA8wBzB,oBA9wByB,CAAA,CAAA;EAAV;EAApC,SAAA,IAAA,EAgxBL,OAhxBK;;;AA8wBL,cAMJ,IANe,EAAA,CAAA,gBAMO,oBAJlB,CAAA,CAAA,OAAK,EAKX,WALW,CAKC,OALD,CAAA,EAAA,GAMnB,aANmB,CAML,OANK,EAAA,KAAA,EAAA,KAAA,CAAA"}