@voidhash/mimic 0.0.1-alpha.8 → 0.0.1

package/dist/index.d.cts

@@ -1,5 +1,6 @@
-import { a as InferState, c as ProxyEnvironment_d_exports, d as Transaction_d_exports, f as Operation, h as __export, i as InferSnapshot, m as OperationPath_d_exports, n as AnyPrimitive, p as Operation_d_exports, r as InferProxy, s as Transform_d_exports, t as Primitive_d_exports, u as Transaction } from "./Primitive-BK7kfHJZ.cjs";
+import { _ as OperationPath_d_exports, a as InferSetInput, c as InferUpdateInput, d as ProxyEnvironment_d_exports, g as Operation_d_exports, h as Operation, i as InferProxy, m as Transaction_d_exports, n as AnyTreeNodePrimitive, o as InferSnapshot, p as Transaction, r as AnyPrimitive, s as InferState, t as Primitive_d_exports, u as Transform_d_exports, v as __export } from "./Primitive-CvFVxR8_.cjs";
 import { i as Presence_d_exports } from "./Presence-DKKP4v5X.cjs";
+import { Schema } from "effect";
 
 //#region src/Document.d.ts
 declare namespace Document_d_exports {
@@ -61,6 +62,82 @@ interface DocumentOptions<TSchema extends AnyPrimitive> {
  * Creates a new Document for the given schema.
  */
 declare const make: <TSchema extends AnyPrimitive>(schema: TSchema, options?: DocumentOptions<TSchema>) => Document<TSchema>;
+declare namespace EffectSchema_d_exports {
+  export { ToSetSchema, ToTreeNodeSetSchema, ToTreeNodeUpdateSchema, ToUpdateSchema, TreeNodeStateSchema, toSetSchema, toUpdateSchema };
+}
+/**
+ * Infer the Effect.Schema type for a primitive's set input.
+ */
+type ToSetSchema<T extends AnyPrimitive> = Schema.Schema<InferSetInput<T>>;
+/**
+ * Infer the Effect.Schema type for a primitive's update input.
+ */
+type ToUpdateSchema<T extends AnyPrimitive> = Schema.Schema<InferUpdateInput<T>>;
+/**
+ * Type for TreeNode set schema - uses the node's data set input type
+ */
+type ToTreeNodeSetSchema<T extends AnyTreeNodePrimitive> = Schema.Schema<InferSetInput<T["data"]>>;
+/**
+ * Type for TreeNode update schema - uses the node's data update input type
+ */
+type ToTreeNodeUpdateSchema<T extends AnyTreeNodePrimitive> = Schema.Schema<InferUpdateInput<T["data"]>>;
+/**
+ * Schema for a tree node state (flat storage format).
+ */
+declare const TreeNodeStateSchema: Schema.Struct<{
+  id: typeof Schema.String;
+  type: typeof Schema.String;
+  parentId: Schema.NullOr<typeof Schema.String>;
+  pos: typeof Schema.String;
+  data: typeof Schema.Unknown;
+}>;
+/**
+ * Convert a Mimic primitive to an Effect.Schema for set operations.
+ *
+ * The resulting schema:
+ * - For structs: required fields (required=true, no default) are non-optional, others are optional
+ * - For arrays: uses the element's set schema
+ * - For unions: creates a Schema.Union of variant schemas
+ * - For TreeNode: delegates to the node's data struct schema
+ * - For Tree: returns Schema.Array of TreeNodeState
+ *
+ * @example
+ * ```typescript
+ * const UserSchema = Primitive.Struct({
+ *   name: Primitive.String().required(),
+ *   age: Primitive.Number().default(0),
+ *   email: Primitive.String(),
+ * });
+ *
+ * const SetSchema = toSetSchema(UserSchema);
+ * // { name: string, age?: number, email?: string }
+ * ```
+ */
+declare function toSetSchema<T extends AnyPrimitive>(primitive: T): ToSetSchema<T>;
+declare function toSetSchema<T extends AnyTreeNodePrimitive>(primitive: T): ToTreeNodeSetSchema<T>;
+/**
+ * Convert a Mimic primitive to an Effect.Schema for update operations.
+ *
+ * The resulting schema:
+ * - For structs: all fields are optional (partial updates)
+ * - For unions: all variant fields are optional
+ * - For TreeNode: delegates to the node's data struct update schema
+ * - For simple primitives: same as set schema
+ *
+ * @example
+ * ```typescript
+ * const UserSchema = Primitive.Struct({
+ *   name: Primitive.String().required(),
+ *   age: Primitive.Number().default(0),
+ *   email: Primitive.String(),
+ * });
+ *
+ * const UpdateSchema = toUpdateSchema(UserSchema);
+ * // { name?: string, age?: string, email?: string }
+ * ```
+ */
+declare function toUpdateSchema<T extends AnyPrimitive>(primitive: T): ToUpdateSchema<T>;
+declare function toUpdateSchema<T extends AnyTreeNodePrimitive>(primitive: T): ToTreeNodeUpdateSchema<T>;
 //#endregion
-export { Document_d_exports as Document, Operation_d_exports as Operation, OperationPath_d_exports as OperationPath, Presence_d_exports as Presence, Primitive_d_exports as Primitive, ProxyEnvironment_d_exports as ProxyEnvironment, Transaction_d_exports as Transaction, Transform_d_exports as Transform };
+export { Document_d_exports as Document, EffectSchema_d_exports as EffectSchema, Operation_d_exports as Operation, OperationPath_d_exports as OperationPath, Presence_d_exports as Presence, Primitive_d_exports as Primitive, ProxyEnvironment_d_exports as ProxyEnvironment, Transaction_d_exports as Transaction, Transform_d_exports as Transform };
 //# sourceMappingURL=index.d.cts.map

package/dist/index.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.cts","names":[],"sources":["../src/Document.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;cAaa,sBAAA,SAA+B,KAAA;;;;;AAA5C;AAWA;AAeiB,cAfJ,cAAA,SAAuB,KAAA,CAeX;EAAiB,SAAA,IAAA,GAAA,gBAAA;EAEvB,WAAA,CAAA,OAAA,EAAA,MAAA;;;;;AAcqB,UAhBvB,QAgBuB,CAAA,gBAhBE,YAgBF,CAAA,CAAA;EAAxB;EAQiC,SAAA,MAAA,EAtB9B,OAsB8B;EAArB;EAAkC,SAAA,IAAA,EAnB7C,UAmB6C,CAnBxB,OAmBwB,CAAA;EAAI;EAMvC,GAAA,EAAA,EAtBlB,UAsBkB,CAtBG,OAsBH,CAAA,GAAA,SAAA;EAAd;;;AAYb;;;EAEqB,UAAA,EAAA,EA5BL,aA4BK,CA5BmB,OA4BnB,CAAA;EAAoB;AAUzC;;;;;EAGY,WAAA,CAAA,CAAA,CAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EAjCgB,UAiChB,CAjCqC,OAiCrC,CAAA,EAAA,GAjCkD,CAiClD,CAAA,EAjCsD,CAiCtD;EAAT;;;;aA3BU,cAAc;;;;WAKhB;;UAOM,gCAAgC;;qBAE5B,WAAqB;;;;;cAU7B,uBAAwB,sBAC3B,mBACE,gBAAgB,aACzB,SAAS"}
+{"version":3,"file":"index.d.cts","names":[],"sources":["../src/Document.ts","../src/EffectSchema.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;cAaa,sBAAA,SAA+B,KAAA;;;;;;AAA5C;AAWa,cAAA,cAAA,SAAuB,KAAA,CAAK;EAexB,SAAA,IAAQ,GAAA,gBAAA;EAAiB,WAAA,CAAA,OAAA,EAAA,MAAA;;;;;AAQjC,UARQ,QAQR,CAAA,gBARiC,YAQjC,CAAA,CAAA;EAQ+B;EAAxB,SAAA,MAAA,EAdG,OAcH;EAQiC;EAArB,SAAA,IAAA,EAnBX,UAmBW,CAnBU,OAmBV,CAAA;EAAkC;EAAI,GAAA,EAAA,EAhBzD,UAgByD,CAhBpC,OAgBoC,CAAA,GAAA,SAAA;EAMvC;;;;AAY3B;;EAE0C,UAAA,EAAA,EA5B1B,aA4B0B,CA5BF,OA4BE,CAAA;EAArB;;AAUrB;;;;EAEY,WAAA,CAAA,CAAA,CAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EAhCgB,UAgChB,CAhCqC,OAgCrC,CAAA,EAAA,GAhCkD,CAgClD,CAAA,EAhCsD,CAgCtD;EACA;;;;aA3BC,cAAc;;;;WAKhB;;UAOM,gCAAgC;;qBAE5B,WAAqB;;;AC7D1C;;AAA8E,cDuEjE,ICvEiE,EAAA,CAAA,gBDuEzC,YCvEyC,CAAA,CAAA,MAAA,EDwEpE,OCxEoE,EAAA,OAAA,CAAA,EDyElE,eCzEkE,CDyElD,OCzEkD,CAAA,EAAA,GD0E3E,QC1E2E,CD0ElE,OC1EkE,CAAA;AAAA;;;;;;KAAlE,sBAAsB,gBAAgB,MAAA,CAAO,OAAO,cAAc;ADT9E;AAWA;AAeA;AAA0C,KCZ9B,cDY8B,CAAA,UCZL,YDYK,CAAA,GCZW,MAAA,CAAO,MDYlB,CCZyB,gBDYzB,CCZ0C,CDY1C,CAAA,CAAA;;;;AAQZ,KCflB,mBDekB,CAAA,UCfY,oBDeZ,CAAA,GCfoC,MAAA,CAAO,MDe3C,CCfkD,aDelD,CCfgE,CDehE,CAAA,MAAA,CAAA,CAAA,CAAA;;;;AAgBmB,KC1BrC,sBD0BqC,CAAA,UC1BJ,oBD0BI,CAAA,GC1BoB,MAAA,CAAO,MD0B3B,CC1BkC,gBD0BlC,CC1BmD,CD0BnD,CAAA,MAAA,CAAA,CAAA,CAAA;;;;AAMtB,cCvBd,mBDuBc,ECvBK,MAAA,CAAA,MDuBL,CAAA;EAAd,EAAA,EAAA,oBAAA;EAKF,IAAA,EAAA,oBAAA;EAAuB,QAAA,eAAA,CAAA,oBAAA,CAAA;EAOjB,GAAA,EAAA,oBAAe;EAAiB,IAAA,EAAA,qBAAA;CAEP,CAAA;;;AAU1C;;;;;;;;;;;;;;;;;;;;ACvEY,iBAgUI,WAhUO,CAAA,UAgUe,YAhUf,CAAA,CAAA,SAAA,EAgUwC,CAhUxC,CAAA,EAgU4C,WAhU5C,CAgUwD,CAhUxD,CAAA;AAAW,iBAiUlB,WAjUkB,CAAA,UAiUI,oBAjUJ,CAAA,CAAA,SAAA,EAiUqC,CAjUrC,CAAA,EAiUyC,mBAjUzC,CAiU6D,CAjU7D,CAAA;;;;;AAKlC;;;;;;AAKA;;;;;;AAKA;;;;;AAAkF,iBA4UlE,cA5UkE,CAAA,UA4UzC,YA5UyC,CAAA,CAAA,SAAA,EA4UhB,CA5UgB,CAAA,EA4UZ,cA5UY,CA4UG,CA5UH,CAAA;AASrE,iBAoUG,cA9Td,CAAA,UA8TuC,oBA9TvC,CAAA,CAAA,SAAA,EA8TwE,CA9TxE,CAAA,EA8T4E,sBA9T5E,CA8TmG,CA9TnG,CAAA"}

package/dist/index.d.mts

@@ -1,5 +1,6 @@
 import { i as Presence_d_exports } from "./Presence-N8u7Eppr.mjs";
-import { a as InferState, c as ProxyEnvironment_d_exports, d as Transaction_d_exports, f as Operation, i as InferSnapshot, m as OperationPath_d_exports, n as AnyPrimitive, p as Operation_d_exports, r as InferProxy, s as Transform_d_exports, t as Primitive_d_exports, u as Transaction } from "./Primitive-D1kdB6za.mjs";
+import { _ as OperationPath_d_exports, a as InferSetInput, c as InferUpdateInput, d as ProxyEnvironment_d_exports, g as Operation_d_exports, h as Operation, i as InferProxy, m as Transaction_d_exports, n as AnyTreeNodePrimitive, o as InferSnapshot, p as Transaction, r as AnyPrimitive, s as InferState, t as Primitive_d_exports, u as Transform_d_exports } from "./Primitive-lEhQyGVL.mjs";
+import { Schema } from "effect";
 
 //#region src/Document.d.ts
 declare namespace Document_d_exports {
@@ -61,6 +62,82 @@ interface DocumentOptions<TSchema extends AnyPrimitive> {
  * Creates a new Document for the given schema.
  */
 declare const make: <TSchema extends AnyPrimitive>(schema: TSchema, options?: DocumentOptions<TSchema>) => Document<TSchema>;
+declare namespace EffectSchema_d_exports {
+  export { ToSetSchema, ToTreeNodeSetSchema, ToTreeNodeUpdateSchema, ToUpdateSchema, TreeNodeStateSchema, toSetSchema, toUpdateSchema };
+}
+/**
+ * Infer the Effect.Schema type for a primitive's set input.
+ */
+type ToSetSchema<T extends AnyPrimitive> = Schema.Schema<InferSetInput<T>>;
+/**
+ * Infer the Effect.Schema type for a primitive's update input.
+ */
+type ToUpdateSchema<T extends AnyPrimitive> = Schema.Schema<InferUpdateInput<T>>;
+/**
+ * Type for TreeNode set schema - uses the node's data set input type
+ */
+type ToTreeNodeSetSchema<T extends AnyTreeNodePrimitive> = Schema.Schema<InferSetInput<T["data"]>>;
+/**
+ * Type for TreeNode update schema - uses the node's data update input type
+ */
+type ToTreeNodeUpdateSchema<T extends AnyTreeNodePrimitive> = Schema.Schema<InferUpdateInput<T["data"]>>;
+/**
+ * Schema for a tree node state (flat storage format).
+ */
+declare const TreeNodeStateSchema: Schema.Struct<{
+  id: typeof Schema.String;
+  type: typeof Schema.String;
+  parentId: Schema.NullOr<typeof Schema.String>;
+  pos: typeof Schema.String;
+  data: typeof Schema.Unknown;
+}>;
+/**
+ * Convert a Mimic primitive to an Effect.Schema for set operations.
+ *
+ * The resulting schema:
+ * - For structs: required fields (required=true, no default) are non-optional, others are optional
+ * - For arrays: uses the element's set schema
+ * - For unions: creates a Schema.Union of variant schemas
+ * - For TreeNode: delegates to the node's data struct schema
+ * - For Tree: returns Schema.Array of TreeNodeState
+ *
+ * @example
+ * ```typescript
+ * const UserSchema = Primitive.Struct({
+ *   name: Primitive.String().required(),
+ *   age: Primitive.Number().default(0),
+ *   email: Primitive.String(),
+ * });
+ *
+ * const SetSchema = toSetSchema(UserSchema);
+ * // { name: string, age?: number, email?: string }
+ * ```
+ */
+declare function toSetSchema<T extends AnyPrimitive>(primitive: T): ToSetSchema<T>;
+declare function toSetSchema<T extends AnyTreeNodePrimitive>(primitive: T): ToTreeNodeSetSchema<T>;
+/**
+ * Convert a Mimic primitive to an Effect.Schema for update operations.
+ *
+ * The resulting schema:
+ * - For structs: all fields are optional (partial updates)
+ * - For unions: all variant fields are optional
+ * - For TreeNode: delegates to the node's data struct update schema
+ * - For simple primitives: same as set schema
+ *
+ * @example
+ * ```typescript
+ * const UserSchema = Primitive.Struct({
+ *   name: Primitive.String().required(),
+ *   age: Primitive.Number().default(0),
+ *   email: Primitive.String(),
+ * });
+ *
+ * const UpdateSchema = toUpdateSchema(UserSchema);
+ * // { name?: string, age?: string, email?: string }
+ * ```
+ */
+declare function toUpdateSchema<T extends AnyPrimitive>(primitive: T): ToUpdateSchema<T>;
+declare function toUpdateSchema<T extends AnyTreeNodePrimitive>(primitive: T): ToTreeNodeUpdateSchema<T>;
 //#endregion
-export { Document_d_exports as Document, Operation_d_exports as Operation, OperationPath_d_exports as OperationPath, Presence_d_exports as Presence, Primitive_d_exports as Primitive, ProxyEnvironment_d_exports as ProxyEnvironment, Transaction_d_exports as Transaction, Transform_d_exports as Transform };
+export { Document_d_exports as Document, EffectSchema_d_exports as EffectSchema, Operation_d_exports as Operation, OperationPath_d_exports as OperationPath, Presence_d_exports as Presence, Primitive_d_exports as Primitive, ProxyEnvironment_d_exports as ProxyEnvironment, Transaction_d_exports as Transaction, Transform_d_exports as Transform };
 //# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/Document.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;cAaa,sBAAA,SAA+B,KAAA;;;;;;AAA5C;AAWa,cAAA,cAAA,SAAuB,KAAA,CAAK;EAexB,SAAA,IAAQ,GAAA,gBAAA;EAAiB,WAAA,CAAA,OAAA,EAAA,MAAA;;;;;AAQjC,UARQ,QAQR,CAAA,gBARiC,YAQjC,CAAA,CAAA;EAQ+B;EAAxB,SAAA,MAAA,EAdG,OAcH;EAQiC;EAArB,SAAA,IAAA,EAnBX,UAmBW,CAnBU,OAmBV,CAAA;EAAkC;EAAI,GAAA,EAAA,EAhBzD,UAgByD,CAhBpC,OAgBoC,CAAA,GAAA,SAAA;EAMvC;;;;AAY3B;;EAE0C,UAAA,EAAA,EA5B1B,aA4B0B,CA5BF,OA4BE,CAAA;EAArB;;AAUrB;;;;EAEY,WAAA,CAAA,CAAA,CAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EAhCgB,UAgChB,CAhCqC,OAgCrC,CAAA,EAAA,GAhCkD,CAgClD,CAAA,EAhCsD,CAgCtD;EACA;;;;aA3BC,cAAc;;;;WAKhB;;UAOM,gCAAgC;;qBAE5B,WAAqB;;;;;cAU7B,uBAAwB,sBAC3B,mBACE,gBAAgB,aACzB,SAAS"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/Document.ts","../src/EffectSchema.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;cAaa,sBAAA,SAA+B,KAAA;;;;;;;AAA/B,cAWA,cAAA,SAAuB,KAAA,CAXa;EAWpC,SAAA,IAAA,GAAA,gBAAuB;EAenB,WAAQ,CAAA,OAAA,EAAA,MAAA;;;;;AAQK,UARb,QAQa,CAAA,gBARY,YAQZ,CAAA,CAAA;EAArB;EAQ+B,SAAA,MAAA,EAdrB,OAcqB;EAAxB;EAQiC,SAAA,IAAA,EAnBhC,UAmBgC,CAnBX,OAmBW,CAAA;EAArB;EAAkC,GAAA,EAAA,EAhBrD,UAgBqD,CAhBhC,OAgBgC,CAAA,GAAA,SAAA;EAAI;;;;;AAkBlE;EAAiD,UAAA,EAAA,EA1BjC,aA0BiC,CA1BT,OA0BS,CAAA;EAEP;;;AAU1C;;;EAE4B,WAAA,CAAA,CAAA,CAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EAhCA,UAgCA,CAhCqB,OAgCrB,CAAA,EAAA,GAhCkC,CAgClC,CAAA,EAhCsC,CAgCtC;EAAhB;;;;aA1BC,cAAc;;;;WAKhB;;UAOM,gCAAgC;;qBAE5B,WAAqB;;;;AC7D1C;AAAkC,cDuErB,ICvEqB,EAAA,CAAA,gBDuEG,YCvEH,CAAA,CAAA,MAAA,EDwExB,OCxEwB,EAAA,OAAA,CAAA,EDyEtB,eCzEsB,CDyEN,OCzEM,CAAA,EAAA,GD0E/B,QC1E+B,CD0EtB,OC1EsB,CAAA;AAAA;;;;;;KAAtB,sBAAsB,gBAAgB,MAAA,CAAO,OAAO,cAAc;;ADT9E;AAWA;AAeiB,KCZL,cDYa,CAAA,UCZY,YDYZ,CAAA,GCZ4B,MAAA,CAAO,MDYnC,CCZ0C,gBDY1C,CCZ2D,CDY3D,CAAA,CAAA;;;;AAKR,KCZL,mBDYK,CAAA,UCZyB,oBDYzB,CAAA,GCZiD,MAAA,CAAO,MDYxD,CCZ+D,aDY/D,CCZ6E,CDY7E,CAAA,MAAA,CAAA,CAAA,CAAA;;;;AAWD,KClBJ,sBDkBI,CAAA,UClB6B,oBDkB7B,CAAA,GClBqD,MAAA,CAAO,MDkB5D,CClBmE,gBDkBnE,CClBoF,CDkBpF,CAAA,MAAA,CAAA,CAAA,CAAA;;;;AAQkD,cCjBrD,mBDiBqD,ECjBlC,MAAA,CAAA,MDiBkC,CAAA;EAMvC,EAAA,EAAA,oBAAA;EAAd,IAAA,EAAA,oBAAA;EAKF,QAAA,eAAA,CAAA,oBAAA,CAAA;EAAuB,GAAA,EAAA,oBAAA;EAOjB,IAAA,EAAA,qBAAe;CAAiB,CAAA;;;;AAYjD;;;;;;;;;;;;;;;;;;;iBCyPgB,sBAAsB,yBAAyB,IAAI,YAAY;AAhUnE,iBAiUI,WAjUO,CAAA,UAiUe,oBAjUf,CAAA,CAAA,SAAA,EAiUgD,CAjUhD,CAAA,EAiUoD,mBAjUpD,CAiUwE,CAjUxE,CAAA;;;;;;AAKvB;;;;;;AAKA;;;;;;AAKA;;;;AAAqE,iBA4UrD,cA5U4D,CAAA,UA4UnC,YA5UmC,CAAA,CAAA,SAAA,EA4UV,CA5UU,CAAA,EA4UN,cA5UM,CA4US,CA5UT,CAAA;AAAM,iBA6UlE,cA7UkE,CAAA,UA6UzC,oBA7UyC,CAAA,CAAA,SAAA,EA6UR,CA7UQ,CAAA,EA6UJ,sBA7UI,CA6UmB,CA7UnB,CAAA"}

package/dist/index.mjs

@@ -1720,6 +1720,8 @@ var TreeNodePrimitive = class {
 		_defineProperty(this, "_Type", void 0);
 		_defineProperty(this, "_Data", void 0);
 		_defineProperty(this, "_Children", void 0);
+		_defineProperty(this, "TSetInput", void 0);
+		_defineProperty(this, "TUpdateInput", void 0);
 		_defineProperty(this, "_type", void 0);
 		_defineProperty(this, "_data", void 0);
 		_defineProperty(this, "_children", void 0);
@@ -2349,5 +2351,176 @@ var Primitive_exports = /* @__PURE__ */ __export({
 var Transform_exports = {};
 
 //#endregion
-export { Document_exports as Document, Operation_exports as Operation, OperationPath_exports as OperationPath, Presence_exports as Presence, Primitive_exports as Primitive, ProxyEnvironment_exports as ProxyEnvironment, Transaction_exports as Transaction, Transform_exports as Transform };
+//#region src/EffectSchema.ts
+/**
+* Effect.Schema utilities for converting Mimic primitives to Effect.Schema schemas.
+* 
+* @since 0.0.1
+*/
+var EffectSchema_exports = /* @__PURE__ */ __export({
+	TreeNodeStateSchema: () => TreeNodeStateSchema,
+	toSetSchema: () => toSetSchema,
+	toUpdateSchema: () => toUpdateSchema
+});
+/**
+* Schema for a tree node state (flat storage format).
+*/
+const TreeNodeStateSchema = Schema.Struct({
+	id: Schema.String,
+	type: Schema.String,
+	parentId: Schema.NullOr(Schema.String),
+	pos: Schema.String,
+	data: Schema.Unknown
+});
+/**
+* Check if a field is required for set operations.
+* A field is required if: TRequired is true AND THasDefault is false.
+* 
+* We determine this by checking the primitive's schema properties.
+*/
+function isRequiredForSet(primitive) {
+	const schema = primitive._schema;
+	if (!schema) return false;
+	return schema.required === true && schema.defaultValue === void 0;
+}
+/**
+* Get the base Effect.Schema for a primitive type (without optional wrapper).
+*/
+function getBaseSchema(primitive) {
+	switch (primitive._tag) {
+		case "StringPrimitive": return Schema.String;
+		case "NumberPrimitive": return Schema.Number;
+		case "BooleanPrimitive": return Schema.Boolean;
+		case "LiteralPrimitive": {
+			var _schema$literal, _schema;
+			const literalPrimitive = primitive;
+			const literalValue = (_schema$literal = (_schema = literalPrimitive._schema) === null || _schema === void 0 ? void 0 : _schema.literal) !== null && _schema$literal !== void 0 ? _schema$literal : literalPrimitive.literal;
+			return Schema.Literal(literalValue);
+		}
+		case "StructPrimitive": return buildStructSetSchema(primitive);
+		case "ArrayPrimitive": {
+			const elementSchema = buildElementSetSchema(primitive.element);
+			return Schema.Array(elementSchema);
+		}
+		case "UnionPrimitive": return buildUnionSetSchema(primitive);
+		case "EitherPrimitive": return buildEitherSchema(primitive);
+		case "LazyPrimitive": {
+			var _resolve, _resolve2;
+			const lazyPrimitive = primitive;
+			return getBaseSchema((_resolve = (_resolve2 = lazyPrimitive._resolve) === null || _resolve2 === void 0 ? void 0 : _resolve2.call(lazyPrimitive)) !== null && _resolve !== void 0 ? _resolve : lazyPrimitive._thunk());
+		}
+		case "TreeNodePrimitive": return buildStructSetSchema(primitive.data);
+		case "TreePrimitive": return Schema.Array(TreeNodeStateSchema);
+		default: return Schema.Unknown;
+	}
+}
+/**
+* Build the set schema for a struct primitive.
+* Required fields (required=true, no default) are non-optional.
+* Other fields are wrapped with Schema.optional.
+*/
+function buildStructSetSchema(structPrimitive) {
+	const fields = structPrimitive.fields;
+	const schemaFields = {};
+	for (const key in fields) {
+		const fieldPrimitive = fields[key];
+		const baseSchema = getBaseSchema(fieldPrimitive);
+		if (isRequiredForSet(fieldPrimitive)) schemaFields[key] = baseSchema;
+		else schemaFields[key] = Schema.optional(baseSchema);
+	}
+	return Schema.Struct(schemaFields);
+}
+/**
+* Build the update schema for a struct primitive.
+* All fields are optional for partial updates.
+*/
+function buildStructUpdateSchema(structPrimitive) {
+	const fields = structPrimitive.fields;
+	const schemaFields = {};
+	for (const key in fields) {
+		const fieldPrimitive = fields[key];
+		let fieldSchema;
+		if (fieldPrimitive._tag === "StructPrimitive") fieldSchema = buildStructUpdateSchema(fieldPrimitive);
+		else fieldSchema = getBaseSchema(fieldPrimitive);
+		schemaFields[key] = Schema.optional(fieldSchema);
+	}
+	return Schema.Struct(schemaFields);
+}
+/**
+* Build the set schema for an array element.
+* For struct elements, uses the struct's set input schema.
+*/
+function buildElementSetSchema(elementPrimitive) {
+	if (elementPrimitive._tag === "StructPrimitive") return buildStructSetSchema(elementPrimitive);
+	return getBaseSchema(elementPrimitive);
+}
+/**
+* Build the set schema for a union primitive.
+* Creates a Schema.Union of all variant schemas.
+*/
+function buildUnionSetSchema(unionPrimitive) {
+	const variants = unionPrimitive.variants;
+	const variantSchemas = [];
+	for (const key in variants) {
+		const variantPrimitive = variants[key];
+		variantSchemas.push(buildStructSetSchema(variantPrimitive));
+	}
+	if (variantSchemas.length === 0) return Schema.Unknown;
+	if (variantSchemas.length === 1) return variantSchemas[0];
+	return Schema.Union(...variantSchemas);
+}
+/**
+* Build the schema for an either primitive.
+* Creates a Schema.Union of all scalar variant types.
+*/
+function buildEitherSchema(eitherPrimitive) {
+	const variants = eitherPrimitive.variants;
+	const variantSchemas = [];
+	for (const variant of variants) variantSchemas.push(getBaseSchema(variant));
+	if (variantSchemas.length === 0) return Schema.Unknown;
+	if (variantSchemas.length === 1) return variantSchemas[0];
+	return Schema.Union(...variantSchemas);
+}
+/**
+* Build the update schema for a union primitive.
+* Creates a Schema.Union of all variant update schemas.
+*/
+function buildUnionUpdateSchema(unionPrimitive) {
+	const variants = unionPrimitive.variants;
+	const variantSchemas = [];
+	for (const key in variants) {
+		const variantPrimitive = variants[key];
+		variantSchemas.push(buildStructUpdateSchema(variantPrimitive));
+	}
+	if (variantSchemas.length === 0) return Schema.Unknown;
+	if (variantSchemas.length === 1) return variantSchemas[0];
+	return Schema.Union(...variantSchemas);
+}
+/**
+* Get the update schema for a primitive.
+* For structs, all fields are optional (partial updates).
+* For simple primitives, same as set schema.
+*/
+function getUpdateSchema(primitive) {
+	switch (primitive._tag) {
+		case "StructPrimitive": return buildStructUpdateSchema(primitive);
+		case "UnionPrimitive": return buildUnionUpdateSchema(primitive);
+		case "TreeNodePrimitive": return buildStructUpdateSchema(primitive.data);
+		case "LazyPrimitive": {
+			var _resolve3, _resolve4;
+			const lazyPrimitive = primitive;
+			return getUpdateSchema((_resolve3 = (_resolve4 = lazyPrimitive._resolve) === null || _resolve4 === void 0 ? void 0 : _resolve4.call(lazyPrimitive)) !== null && _resolve3 !== void 0 ? _resolve3 : lazyPrimitive._thunk());
+		}
+		default: return getBaseSchema(primitive);
+	}
+}
+function toSetSchema(primitive) {
+	return getBaseSchema(primitive);
+}
+function toUpdateSchema(primitive) {
+	return getUpdateSchema(primitive);
+}
+
+//#endregion
+export { Document_exports as Document, EffectSchema_exports as EffectSchema, Operation_exports as Operation, OperationPath_exports as OperationPath, Presence_exports as Presence, Primitive_exports as Primitive, ProxyEnvironment_exports as ProxyEnvironment, Transaction_exports as Transaction, Transform_exports as Transform };
 //# sourceMappingURL=index.mjs.map