@voidhash/mimic 1.0.0-beta.16 → 1.0.0-beta.17

package/dist/primitives/Number.mjs

@@ -84,23 +84,45 @@ var NumberPrimitive = class NumberPrimitive {
 	}
 	/** Minimum value (inclusive) */
 	min(value) {
-		return this.refine((v) => v >= value, `Number must be at least ${value}`);
+		return new NumberPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => v >= value,
+			message: `Number must be at least ${value}`,
+			kind: "min",
+			params: { value }
+		}] }));
 	}
 	/** Maximum value (inclusive) */
 	max(value) {
-		return this.refine((v) => v <= value, `Number must be at most ${value}`);
+		return new NumberPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => v <= value,
+			message: `Number must be at most ${value}`,
+			kind: "max",
+			params: { value }
+		}] }));
 	}
 	/** Must be positive (> 0) */
 	positive() {
-		return this.refine((v) => v > 0, "Number must be positive");
+		return new NumberPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => v > 0,
+			message: "Number must be positive",
+			kind: "positive"
+		}] }));
 	}
 	/** Must be negative (< 0) */
 	negative() {
-		return this.refine((v) => v < 0, "Number must be negative");
+		return new NumberPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => v < 0,
+			message: "Number must be negative",
+			kind: "negative"
+		}] }));
 	}
 	/** Must be an integer */
 	int() {
-		return this.refine((v) => globalThis.Number.isInteger(v), "Number must be an integer");
+		return new NumberPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => globalThis.Number.isInteger(v),
+			message: "Number must be an integer",
+			kind: "int"
+		}] }));
 	}
 };
 /** Creates a new NumberPrimitive */

package/dist/primitives/Number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Number.mjs","names":["OperationDefinition.make","Operation.fromDefinition","OperationPath.pathsOverlap"],"sources":["../../src/primitives/Number.ts"],"sourcesContent":["import { Schema } from \"effect\";\nimport * as OperationDefinition from \"../OperationDefinition\";\nimport * as Operation from \"../Operation\";\nimport * as OperationPath from \"../OperationPath\";\nimport * as ProxyEnvironment from \"../ProxyEnvironment\";\nimport * as Transform from \"../Transform\";\nimport type { Primitive, PrimitiveInternal, MaybeUndefined, AnyPrimitive, Validator, NeedsValue } from \"./shared\";\nimport { ValidationError, runValidators, isCompatibleOperation } from \"./shared\";\n\n\ntype InferSetInput<TRequired extends boolean = false, THasDefault extends boolean = false> = NeedsValue<number, TRequired, THasDefault>\ntype InferUpdateInput<TRequired extends boolean = false, THasDefault extends boolean = false> = NeedsValue<number, TRequired, THasDefault>\n\nexport interface NumberProxy<TRequired extends boolean = false, THasDefault extends boolean = false> {\n  /** Gets the current number value */\n  get(): MaybeUndefined<number, TRequired, THasDefault>;\n  /** Sets the number value, generating a number.set operation */\n  set(value: InferSetInput<TRequired, THasDefault>): void;\n  /** This is the same as set. Updates the number value, generating a number.set operation */\n  update(value: InferUpdateInput<TRequired, THasDefault>): void;\n  /** Returns a readonly snapshot of the number value for rendering */\n  toSnapshot(): MaybeUndefined<number, TRequired, THasDefault>;\n}\n\ninterface NumberPrimitiveSchema {\n  readonly required: boolean;\n  readonly defaultValue: number | undefined;\n  readonly validators: readonly Validator<number>[];\n}\n\nexport class NumberPrimitive<TRequired extends boolean = false, THasDefault extends boolean = false> implements Primitive<number, NumberProxy<TRequired, THasDefault>, TRequired, THasDefault, InferSetInput<TRequired, THasDefault>, InferUpdateInput<TRequired, THasDefault>> {\n  readonly _tag = \"NumberPrimitive\" as const;\n  readonly _State!: number;\n  readonly _Proxy!: NumberProxy<TRequired, THasDefault>;\n  readonly _TRequired!: TRequired;\n  readonly _THasDefault!: THasDefault;\n  readonly TUpdateInput!: InferUpdateInput<TRequired, THasDefault>;\n  readonly TSetInput!: InferSetInput<TRequired, THasDefault>;\n\n  private readonly _schema: NumberPrimitiveSchema;\n\n  private readonly _opDefinitions = {\n    set: OperationDefinition.make({\n      kind: \"number.set\" as const,\n      payload: Schema.Number,\n      target: Schema.Number,\n      apply: (payload) => payload,\n      deduplicable: true,\n    }),\n  };\n\n  constructor(schema: NumberPrimitiveSchema) {\n    this._schema = schema;\n  }\n\n  /** Mark this number as required */\n  required(): NumberPrimitive<true, THasDefault> {\n    return new NumberPrimitive({\n      ...this._schema,\n      required: true,\n    });\n  }\n\n  /** Set a default value for this number */\n  default(defaultValue: number): NumberPrimitive<TRequired, true> {\n    return new NumberPrimitive({\n      ...this._schema,\n      defaultValue,\n    });\n  }\n\n  /** Add a custom validation rule */\n  refine(fn: (value: number) => boolean, message: string): NumberPrimitive<TRequired, THasDefault> {\n    return new NumberPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, { validate: fn, message }],\n    });\n  }\n\n  /** Minimum value (inclusive) */\n  min(value: number): NumberPrimitive<TRequired, THasDefault> {\n    return this.refine(\n      (v) => v >= value,\n      `Number must be at least ${value}`\n    );\n  }\n\n  /** Maximum value (inclusive) */\n  max(value: number): NumberPrimitive<TRequired, THasDefault> {\n    return this.refine(\n      (v) => v <= value,\n      `Number must be at most ${value}`\n    );\n  }\n\n  /** Must be positive (> 0) */\n  positive(): NumberPrimitive<TRequired, THasDefault> {\n    return this.refine(\n      (v) => v > 0,\n      \"Number must be positive\"\n    );\n  }\n\n  /** Must be negative (< 0) */\n  negative(): NumberPrimitive<TRequired, THasDefault> {\n    return this.refine(\n      (v) => v < 0,\n      \"Number must be negative\"\n    );\n  }\n\n  /** Must be an integer */\n  int(): NumberPrimitive<TRequired, THasDefault> {\n    return this.refine(\n      (v) => globalThis.Number.isInteger(v),\n      \"Number must be an integer\"\n    );\n  }\n\n  readonly _internal: PrimitiveInternal<number, NumberProxy<TRequired, THasDefault>> = {\n    createProxy: (env: ProxyEnvironment.ProxyEnvironment, operationPath: OperationPath.OperationPath): NumberProxy<TRequired, THasDefault> => {\n      const defaultValue = this._schema.defaultValue;\n      return {\n        get: (): MaybeUndefined<number, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as number | undefined;\n          return (state ?? defaultValue) as MaybeUndefined<number, TRequired, THasDefault>;\n        },\n        set: (value: InferSetInput<TRequired, THasDefault>) => {\n          env.addOperation(\n            Operation.fromDefinition(operationPath, this._opDefinitions.set, value)\n          );\n        },\n        update: (value: InferUpdateInput<TRequired, THasDefault>) => {\n          env.addOperation(\n            Operation.fromDefinition(operationPath, this._opDefinitions.set, value)\n          );\n        },\n        toSnapshot: (): MaybeUndefined<number, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as number | undefined;\n          return (state ?? defaultValue) as MaybeUndefined<number, TRequired, THasDefault>;\n        },\n      };\n    },\n\n    applyOperation: (_state: number | undefined, operation: Operation.Operation<any, any, any>): number => {\n      if (operation.kind !== \"number.set\") {\n        throw new ValidationError(`NumberPrimitive cannot apply operation of kind: ${operation.kind}`);\n      }\n\n      const payload = operation.payload;\n      if (typeof payload !== \"number\") {\n        throw new ValidationError(`NumberPrimitive.set requires a number payload, got: ${typeof payload}`);\n      }\n\n      // Run validators\n      runValidators(payload, this._schema.validators);\n\n      return payload;\n    },\n\n    getInitialState: (): number | undefined => {\n      return this._schema.defaultValue;\n    },\n\n    transformOperation: (\n      clientOp: Operation.Operation<any, any, any>,\n      serverOp: Operation.Operation<any, any, any>\n    ): Transform.TransformResult => {\n      // If paths don't overlap, no transformation needed\n      if (!OperationPath.pathsOverlap(clientOp.path, serverOp.path)) {\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      // For same path, client wins (last-write-wins)\n      return { type: \"transformed\", operation: clientOp };\n    },\n  };\n}\n\n/** Creates a new NumberPrimitive */\nexport const Number = (): NumberPrimitive<false, false> =>\n  new NumberPrimitive({ required: false, defaultValue: undefined, validators: [] });\n\n"],"mappings":";;;;;;;;;AA8BA,IAAa,kBAAb,MAAa,gBAAmQ;CAqB9Q,YAAY,QAA+B;wBApBlC,QAAO;wBACP;wBACA;wBACA;wBACA;wBACA;wBACA;wBAEQ;wBAEA,kBAAiB,EAChC,KAAKA,KAAyB;GAC5B,MAAM;GACN,SAAS,OAAO;GAChB,QAAQ,OAAO;GACf,QAAQ,YAAY;GACpB,cAAc;GACf,CAAC,EACH;wBAsEQ,aAA4E;GACnF,cAAc,KAAwC,kBAAoF;IACxI,MAAM,eAAe,KAAK,QAAQ;AAClC,WAAO;KACL,WAA2D;MACzD,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,aAAQ,6CAAS;;KAEnB,MAAM,UAAiD;AACrD,UAAI,aACFC,eAAyB,eAAe,KAAK,eAAe,KAAK,MAAM,CACxE;;KAEH,SAAS,UAAoD;AAC3D,UAAI,aACFA,eAAyB,eAAe,KAAK,eAAe,KAAK,MAAM,CACxE;;KAEH,kBAAkE;MAChE,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,aAAQ,6CAAS;;KAEpB;;GAGH,iBAAiB,QAA4B,cAA0D;AACrG,QAAI,UAAU,SAAS,aACrB,OAAM,IAAI,gBAAgB,mDAAmD,UAAU,OAAO;IAGhG,MAAM,UAAU,UAAU;AAC1B,QAAI,OAAO,YAAY,SACrB,OAAM,IAAI,gBAAgB,uDAAuD,OAAO,UAAU;AAIpG,kBAAc,SAAS,KAAK,QAAQ,WAAW;AAE/C,WAAO;;GAGT,uBAA2C;AACzC,WAAO,KAAK,QAAQ;;GAGtB,qBACE,UACA,aAC8B;AAE9B,QAAI,CAACC,aAA2B,SAAS,MAAM,SAAS,KAAK,CAC3D,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;AAIrD,WAAO;KAAE,MAAM;KAAe,WAAW;KAAU;;GAEtD;AA5HC,OAAK,UAAU;;;CAIjB,WAA+C;AAC7C,SAAO,IAAI,kDACN,KAAK,gBACR,UAAU,QACV;;;CAIJ,QAAQ,cAAwD;AAC9D,SAAO,IAAI,kDACN,KAAK,gBACR,gBACA;;;CAIJ,OAAO,IAAgC,SAA0D;AAC/F,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GAAE,UAAU;GAAI;GAAS,CAAC,IACnE;;;CAIJ,IAAI,OAAwD;AAC1D,SAAO,KAAK,QACT,MAAM,KAAK,OACZ,2BAA2B,QAC5B;;;CAIH,IAAI,OAAwD;AAC1D,SAAO,KAAK,QACT,MAAM,KAAK,OACZ,0BAA0B,QAC3B;;;CAIH,WAAoD;AAClD,SAAO,KAAK,QACT,MAAM,IAAI,GACX,0BACD;;;CAIH,WAAoD;AAClD,SAAO,KAAK,QACT,MAAM,IAAI,GACX,0BACD;;;CAIH,MAA+C;AAC7C,SAAO,KAAK,QACT,MAAM,WAAW,OAAO,UAAU,EAAE,EACrC,4BACD;;;;AAgEL,MAAa,eACX,IAAI,gBAAgB;CAAE,UAAU;CAAO,cAAc;CAAW,YAAY,EAAE;CAAE,CAAC"}
+{"version":3,"file":"Number.mjs","names":["OperationDefinition.make","Operation.fromDefinition","OperationPath.pathsOverlap"],"sources":["../../src/primitives/Number.ts"],"sourcesContent":["import { Schema } from \"effect\";\nimport * as OperationDefinition from \"../OperationDefinition\";\nimport * as Operation from \"../Operation\";\nimport * as OperationPath from \"../OperationPath\";\nimport * as ProxyEnvironment from \"../ProxyEnvironment\";\nimport * as Transform from \"../Transform\";\nimport type { Primitive, PrimitiveInternal, MaybeUndefined, AnyPrimitive, Validator, NeedsValue } from \"./shared\";\nimport { ValidationError, runValidators, isCompatibleOperation } from \"./shared\";\n\n\ntype InferSetInput<TRequired extends boolean = false, THasDefault extends boolean = false> = NeedsValue<number, TRequired, THasDefault>\ntype InferUpdateInput<TRequired extends boolean = false, THasDefault extends boolean = false> = NeedsValue<number, TRequired, THasDefault>\n\nexport interface NumberProxy<TRequired extends boolean = false, THasDefault extends boolean = false> {\n  /** Gets the current number value */\n  get(): MaybeUndefined<number, TRequired, THasDefault>;\n  /** Sets the number value, generating a number.set operation */\n  set(value: InferSetInput<TRequired, THasDefault>): void;\n  /** This is the same as set. Updates the number value, generating a number.set operation */\n  update(value: InferUpdateInput<TRequired, THasDefault>): void;\n  /** Returns a readonly snapshot of the number value for rendering */\n  toSnapshot(): MaybeUndefined<number, TRequired, THasDefault>;\n}\n\ninterface NumberPrimitiveSchema {\n  readonly required: boolean;\n  readonly defaultValue: number | undefined;\n  readonly validators: readonly Validator<number>[];\n}\n\nexport class NumberPrimitive<TRequired extends boolean = false, THasDefault extends boolean = false> implements Primitive<number, NumberProxy<TRequired, THasDefault>, TRequired, THasDefault, InferSetInput<TRequired, THasDefault>, InferUpdateInput<TRequired, THasDefault>> {\n  readonly _tag = \"NumberPrimitive\" as const;\n  readonly _State!: number;\n  readonly _Proxy!: NumberProxy<TRequired, THasDefault>;\n  readonly _TRequired!: TRequired;\n  readonly _THasDefault!: THasDefault;\n  readonly TUpdateInput!: InferUpdateInput<TRequired, THasDefault>;\n  readonly TSetInput!: InferSetInput<TRequired, THasDefault>;\n\n  private readonly _schema: NumberPrimitiveSchema;\n\n  private readonly _opDefinitions = {\n    set: OperationDefinition.make({\n      kind: \"number.set\" as const,\n      payload: Schema.Number,\n      target: Schema.Number,\n      apply: (payload) => payload,\n      deduplicable: true,\n    }),\n  };\n\n  constructor(schema: NumberPrimitiveSchema) {\n    this._schema = schema;\n  }\n\n  /** Mark this number as required */\n  required(): NumberPrimitive<true, THasDefault> {\n    return new NumberPrimitive({\n      ...this._schema,\n      required: true,\n    });\n  }\n\n  /** Set a default value for this number */\n  default(defaultValue: number): NumberPrimitive<TRequired, true> {\n    return new NumberPrimitive({\n      ...this._schema,\n      defaultValue,\n    });\n  }\n\n  /** Add a custom validation rule */\n  refine(fn: (value: number) => boolean, message: string): NumberPrimitive<TRequired, THasDefault> {\n    return new NumberPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, { validate: fn, message }],\n    });\n  }\n\n  /** Minimum value (inclusive) */\n  min(value: number): NumberPrimitive<TRequired, THasDefault> {\n    return new NumberPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => v >= value,\n        message: `Number must be at least ${value}`,\n        kind: \"min\",\n        params: { value },\n      }],\n    });\n  }\n\n  /** Maximum value (inclusive) */\n  max(value: number): NumberPrimitive<TRequired, THasDefault> {\n    return new NumberPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => v <= value,\n        message: `Number must be at most ${value}`,\n        kind: \"max\",\n        params: { value },\n      }],\n    });\n  }\n\n  /** Must be positive (> 0) */\n  positive(): NumberPrimitive<TRequired, THasDefault> {\n    return new NumberPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => v > 0,\n        message: \"Number must be positive\",\n        kind: \"positive\",\n      }],\n    });\n  }\n\n  /** Must be negative (< 0) */\n  negative(): NumberPrimitive<TRequired, THasDefault> {\n    return new NumberPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => v < 0,\n        message: \"Number must be negative\",\n        kind: \"negative\",\n      }],\n    });\n  }\n\n  /** Must be an integer */\n  int(): NumberPrimitive<TRequired, THasDefault> {\n    return new NumberPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => globalThis.Number.isInteger(v),\n        message: \"Number must be an integer\",\n        kind: \"int\",\n      }],\n    });\n  }\n\n  readonly _internal: PrimitiveInternal<number, NumberProxy<TRequired, THasDefault>> = {\n    createProxy: (env: ProxyEnvironment.ProxyEnvironment, operationPath: OperationPath.OperationPath): NumberProxy<TRequired, THasDefault> => {\n      const defaultValue = this._schema.defaultValue;\n      return {\n        get: (): MaybeUndefined<number, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as number | undefined;\n          return (state ?? defaultValue) as MaybeUndefined<number, TRequired, THasDefault>;\n        },\n        set: (value: InferSetInput<TRequired, THasDefault>) => {\n          env.addOperation(\n            Operation.fromDefinition(operationPath, this._opDefinitions.set as any, value)\n          );\n        },\n        update: (value: InferUpdateInput<TRequired, THasDefault>) => {\n          env.addOperation(\n            Operation.fromDefinition(operationPath, this._opDefinitions.set as any, value)\n          );\n        },\n        toSnapshot: (): MaybeUndefined<number, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as number | undefined;\n          return (state ?? defaultValue) as MaybeUndefined<number, TRequired, THasDefault>;\n        },\n      };\n    },\n\n    applyOperation: (_state: number | undefined, operation: Operation.Operation<any, any, any>): number => {\n      if (operation.kind !== \"number.set\") {\n        throw new ValidationError(`NumberPrimitive cannot apply operation of kind: ${operation.kind}`);\n      }\n\n      const payload = operation.payload;\n      if (typeof payload !== \"number\") {\n        throw new ValidationError(`NumberPrimitive.set requires a number payload, got: ${typeof payload}`);\n      }\n\n      // Run validators\n      runValidators(payload, this._schema.validators);\n\n      return payload;\n    },\n\n    getInitialState: (): number | undefined => {\n      return this._schema.defaultValue;\n    },\n\n    transformOperation: (\n      clientOp: Operation.Operation<any, any, any>,\n      serverOp: Operation.Operation<any, any, any>\n    ): Transform.TransformResult => {\n      // If paths don't overlap, no transformation needed\n      if (!OperationPath.pathsOverlap(clientOp.path, serverOp.path)) {\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      // For same path, client wins (last-write-wins)\n      return { type: \"transformed\", operation: clientOp };\n    },\n  };\n}\n\n/** Creates a new NumberPrimitive */\nexport const Number = (): NumberPrimitive<false, false> =>\n  new NumberPrimitive({ required: false, defaultValue: undefined, validators: [] });\n\n"],"mappings":";;;;;;;;;AA8BA,IAAa,kBAAb,MAAa,gBAAmQ;CAqB9Q,YAAY,QAA+B;wBApBlC,QAAO;wBACP;wBACA;wBACA;wBACA;wBACA;wBACA;wBAEQ;wBAEA,kBAAiB,EAChC,KAAKA,KAAyB;GAC5B,MAAM;GACN,SAAS,OAAO;GAChB,QAAQ,OAAO;GACf,QAAQ,YAAY;GACpB,cAAc;GACf,CAAC,EACH;wBA4FQ,aAA4E;GACnF,cAAc,KAAwC,kBAAoF;IACxI,MAAM,eAAe,KAAK,QAAQ;AAClC,WAAO;KACL,WAA2D;MACzD,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,aAAQ,6CAAS;;KAEnB,MAAM,UAAiD;AACrD,UAAI,aACFC,eAAyB,eAAe,KAAK,eAAe,KAAY,MAAM,CAC/E;;KAEH,SAAS,UAAoD;AAC3D,UAAI,aACFA,eAAyB,eAAe,KAAK,eAAe,KAAY,MAAM,CAC/E;;KAEH,kBAAkE;MAChE,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,aAAQ,6CAAS;;KAEpB;;GAGH,iBAAiB,QAA4B,cAA0D;AACrG,QAAI,UAAU,SAAS,aACrB,OAAM,IAAI,gBAAgB,mDAAmD,UAAU,OAAO;IAGhG,MAAM,UAAU,UAAU;AAC1B,QAAI,OAAO,YAAY,SACrB,OAAM,IAAI,gBAAgB,uDAAuD,OAAO,UAAU;AAIpG,kBAAc,SAAS,KAAK,QAAQ,WAAW;AAE/C,WAAO;;GAGT,uBAA2C;AACzC,WAAO,KAAK,QAAQ;;GAGtB,qBACE,UACA,aAC8B;AAE9B,QAAI,CAACC,aAA2B,SAAS,MAAM,SAAS,KAAK,CAC3D,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;AAIrD,WAAO;KAAE,MAAM;KAAe,WAAW;KAAU;;GAEtD;AAlJC,OAAK,UAAU;;;CAIjB,WAA+C;AAC7C,SAAO,IAAI,kDACN,KAAK,gBACR,UAAU,QACV;;;CAIJ,QAAQ,cAAwD;AAC9D,SAAO,IAAI,kDACN,KAAK,gBACR,gBACA;;;CAIJ,OAAO,IAAgC,SAA0D;AAC/F,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GAAE,UAAU;GAAI;GAAS,CAAC,IACnE;;;CAIJ,IAAI,OAAwD;AAC1D,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM,KAAK;GACtB,SAAS,2BAA2B;GACpC,MAAM;GACN,QAAQ,EAAE,OAAO;GAClB,CAAC,IACF;;;CAIJ,IAAI,OAAwD;AAC1D,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM,KAAK;GACtB,SAAS,0BAA0B;GACnC,MAAM;GACN,QAAQ,EAAE,OAAO;GAClB,CAAC,IACF;;;CAIJ,WAAoD;AAClD,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM,IAAI;GACrB,SAAS;GACT,MAAM;GACP,CAAC,IACF;;;CAIJ,WAAoD;AAClD,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM,IAAI;GACrB,SAAS;GACT,MAAM;GACP,CAAC,IACF;;;CAIJ,MAA+C;AAC7C,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM,WAAW,OAAO,UAAU,EAAE;GAC/C,SAAS;GACT,MAAM;GACP,CAAC,IACF;;;;AAgEN,MAAa,eACX,IAAI,gBAAgB;CAAE,UAAU;CAAO,cAAc;CAAW,YAAY,EAAE;CAAE,CAAC"}

package/dist/primitives/String.cjs

@@ -85,35 +85,66 @@ var StringPrimitive = class StringPrimitive {
 	}
 	/** Minimum string length */
 	min(length) {
-		return this.refine((v) => v.length >= length, `String must be at least ${length} characters`);
+		return new StringPrimitive(require_objectSpread2._objectSpread2(require_objectSpread2._objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => v.length >= length,
+			message: `String must be at least ${length} characters`,
+			kind: "min",
+			params: { value: length }
+		}] }));
 	}
 	/** Maximum string length */
 	max(length) {
-		return this.refine((v) => v.length <= length, `String must be at most ${length} characters`);
+		return new StringPrimitive(require_objectSpread2._objectSpread2(require_objectSpread2._objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => v.length <= length,
+			message: `String must be at most ${length} characters`,
+			kind: "max",
+			params: { value: length }
+		}] }));
 	}
 	/** Exact string length */
 	length(exact) {
-		return this.refine((v) => v.length === exact, `String must be exactly ${exact} characters`);
+		return new StringPrimitive(require_objectSpread2._objectSpread2(require_objectSpread2._objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => v.length === exact,
+			message: `String must be exactly ${exact} characters`,
+			kind: "length",
+			params: { value: exact }
+		}] }));
 	}
 	/** Match a regex pattern */
 	regex(pattern, message) {
-		return this.refine((v) => pattern.test(v), message !== null && message !== void 0 ? message : `String must match pattern ${pattern}`);
+		return new StringPrimitive(require_objectSpread2._objectSpread2(require_objectSpread2._objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => pattern.test(v),
+			message: message !== null && message !== void 0 ? message : `String must match pattern ${pattern}`,
+			kind: "regex",
+			params: {
+				pattern: pattern.source,
+				flags: pattern.flags
+			}
+		}] }));
 	}
 	/** Validate as email format */
 	email() {
 		const emailPattern = /^[^\s@]+@[^\s@]+\.[^\s@]+$/;
-		return this.refine((v) => emailPattern.test(v), "Invalid email format");
+		return new StringPrimitive(require_objectSpread2._objectSpread2(require_objectSpread2._objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => emailPattern.test(v),
+			message: "Invalid email format",
+			kind: "email"
+		}] }));
 	}
 	/** Validate as URL format */
 	url() {
-		return this.refine((v) => {
-			try {
-				new URL(v);
-				return true;
-			} catch (_unused) {
-				return false;
-			}
-		}, "Invalid URL format");
+		return new StringPrimitive(require_objectSpread2._objectSpread2(require_objectSpread2._objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => {
+				try {
+					new URL(v);
+					return true;
+				} catch (_unused) {
+					return false;
+				}
+			},
+			message: "Invalid URL format",
+			kind: "url"
+		}] }));
 	}
 };
 /** Creates a new StringPrimitive */

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

@@ -1 +1 @@
-{"version":3,"file":"String.d.cts","names":[],"sources":["../../src/primitives/String.ts"],"sourcesContent":[],"mappings":";;;KAUK,wFAAwF,mBAAmB,WAAW;KACtH,2FAA2F,mBAAmB,WAAW;AADzH,UAOY,WAPC,CAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,CAAA,CAAA;EAA8F;EAAW,GAAA,EAAA,EASlH,cATkH,CAAA,MAAA,EAS3F,SAT2F,EAShF,WATgF,CAAA;EAA9B;EAAU,GAAA,CAAA,KAAA,EAW1F,aAX0F,CAW5E,SAX4E,EAWjE,WAXiE,CAAA,CAAA,EAAA,IAAA;EAClG;EAA8G,MAAA,CAAA,KAAA,EAYnG,gBAZmG,CAYlF,SAZkF,EAYvE,WAZuE,CAAA,CAAA,EAAA,IAAA;EAAW;EAA9B,UAAA,EAAA,EAchF,cAdgF,CAAA,MAAA,EAczD,SAdyD,EAc9C,WAd8C,CAAA;;AAMhG,UAWU,qBAAA,CAXkB;EAEI,SAAA,QAAA,EAAA,OAAA;EAAW,SAAA,YAAA,EAAA,MAAA,GAAA,SAAA;EAAlC,SAAA,UAAA,EAAA,SAYuB,SAZvB,CAAA,MAAA,CAAA,EAAA;;AAE6B,cAazB,eAbyB,CAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,CAAA,YAa0E,SAb1E,CAAA,MAAA,EAa4F,WAb5F,CAawG,SAbxG,EAamH,WAbnH,CAAA,EAaiI,SAbjI,EAa4I,WAb5I,EAayJ,aAbzJ,CAauK,SAbvK,EAakL,WAblL,CAAA,EAagM,gBAbhM,CAaiN,SAbjN,EAa4N,WAb5N,CAAA,CAAA,CAAA;EAAzB,SAAA,IAAA,EAAA,iBAAA;EAEoB,SAAA,MAAA,EAAA,MAAA;EAAW,SAAA,MAAA,EAcxB,WAdwB,CAcZ,SAdY,EAcD,WAdC,CAAA;EAA5B,SAAA,UAAA,EAeQ,SAfR;EAEuB,SAAA,YAAA,EAcb,WAda;EAAW,SAAA,YAAA,EAexB,gBAfwB,CAeP,SAfO,EAeI,WAfJ,CAAA;EAAlC,SAAA,SAAA,EAgBO,aAhBP,CAgBqB,SAhBrB,EAgBgC,WAhBhC,CAAA;EAAc,iBAAA,OAAA;EAGpB,iBAAA,cAAqB;EAMlB,WAAA,CAAA,MAAe,EAqBN,qBArBM;EAAkH;EAAW,QAAA,CAAA,CAAA,EA0B3I,eA1B2I,CAAA,IAAA,EA0BrH,WA1BqH,CAAA;EAAvB;EAAqC,OAAA,CAAA,YAAA,EAAA,MAAA,CAAA,EAkCtI,eAlCsI,CAkCtH,SAlCsH,EAAA,IAAA,CAAA;EAAW;EAA2B,MAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAAA,MAAA,EAAA,GAAA,OAAA,EAAA,OAAA,EAAA,MAAA,CAAA,EA0ClJ,eA1CkJ,CA0ClI,SA1CkI,EA0CvH,WA1CuH,CAAA;EAAW;EAAzB,GAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EAkDxK,eAlDwK,CAkDxJ,SAlDwJ,EAkD7I,WAlD6I,CAAA;EAAwD;EAAW,GAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EA0D3O,eA1D2O,CA0D3N,SA1D2N,EA0DhN,WA1DgN,CAAA;EAA5B;EAGtM,MAAA,CAAA,KAAA,EAAA,MAAA,CAAA,EA+DP,eA/DO,CA+DS,SA/DT,EA+DoB,WA/DpB,CAAA;EAAW;EAAvB,KAAA,CAAA,OAAA,EAuEH,MAvEG,EAAA,OAAA,CAAA,EAAA,MAAA,CAAA,EAuEwB,eAvExB,CAuEwC,SAvExC,EAuEmD,WAvEnD,CAAA;EACI;EACE,KAAA,CAAA,CAAA,EA6Ef,eA7Ee,CA6EC,SA7ED,EA6EY,WA7EZ,CAAA;EACiB;EAAW,GAAA,CAAA,CAAA,EAsF7C,eAtF6C,CAsF7B,SAtF6B,EAsFlB,WAtFkB,CAAA;EAA5B,SAAA,SAAA,EAoGJ,iBApGI,CAAA,MAAA,EAoGsB,WApGtB,CAoGkC,SApGlC,EAoG6C,WApG7C,CAAA,CAAA;;;AACH,cAiKV,MAjKU,EAAA,GAAA,GAiKG,eAjKH,CAAA,KAAA,EAAA,KAAA,CAAA"}
+{"version":3,"file":"String.d.cts","names":[],"sources":["../../src/primitives/String.ts"],"sourcesContent":[],"mappings":";;;KAUK,wFAAwF,mBAAmB,WAAW;KACtH,2FAA2F,mBAAmB,WAAW;AADzH,UAOY,WAPC,CAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,CAAA,CAAA;EAA8F;EAAW,GAAA,EAAA,EASlH,cATkH,CAAA,MAAA,EAS3F,SAT2F,EAShF,WATgF,CAAA;EAA9B;EAAU,GAAA,CAAA,KAAA,EAW1F,aAX0F,CAW5E,SAX4E,EAWjE,WAXiE,CAAA,CAAA,EAAA,IAAA;EAClG;EAA8G,MAAA,CAAA,KAAA,EAYnG,gBAZmG,CAYlF,SAZkF,EAYvE,WAZuE,CAAA,CAAA,EAAA,IAAA;EAAW;EAA9B,UAAA,EAAA,EAchF,cAdgF,CAAA,MAAA,EAczD,SAdyD,EAc9C,WAd8C,CAAA;;AAMhG,UAWU,qBAAA,CAXkB;EAEI,SAAA,QAAA,EAAA,OAAA;EAAW,SAAA,YAAA,EAAA,MAAA,GAAA,SAAA;EAAlC,SAAA,UAAA,EAAA,SAYuB,SAZvB,CAAA,MAAA,CAAA,EAAA;;AAE6B,cAazB,eAbyB,CAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,CAAA,YAa0E,SAb1E,CAAA,MAAA,EAa4F,WAb5F,CAawG,SAbxG,EAamH,WAbnH,CAAA,EAaiI,SAbjI,EAa4I,WAb5I,EAayJ,aAbzJ,CAauK,SAbvK,EAakL,WAblL,CAAA,EAagM,gBAbhM,CAaiN,SAbjN,EAa4N,WAb5N,CAAA,CAAA,CAAA;EAAzB,SAAA,IAAA,EAAA,iBAAA;EAEoB,SAAA,MAAA,EAAA,MAAA;EAAW,SAAA,MAAA,EAcxB,WAdwB,CAcZ,SAdY,EAcD,WAdC,CAAA;EAA5B,SAAA,UAAA,EAeQ,SAfR;EAEuB,SAAA,YAAA,EAcb,WAda;EAAW,SAAA,YAAA,EAexB,gBAfwB,CAeP,SAfO,EAeI,WAfJ,CAAA;EAAlC,SAAA,SAAA,EAgBO,aAhBP,CAgBqB,SAhBrB,EAgBgC,WAhBhC,CAAA;EAAc,iBAAA,OAAA;EAGpB,iBAAA,cAAqB;EAMlB,WAAA,CAAA,MAAe,EAqBN,qBArBM;EAAkH;EAAW,QAAA,CAAA,CAAA,EA0B3I,eA1B2I,CAAA,IAAA,EA0BrH,WA1BqH,CAAA;EAAvB;EAAqC,OAAA,CAAA,YAAA,EAAA,MAAA,CAAA,EAkCtI,eAlCsI,CAkCtH,SAlCsH,EAAA,IAAA,CAAA;EAAW;EAA2B,MAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAAA,MAAA,EAAA,GAAA,OAAA,EAAA,OAAA,EAAA,MAAA,CAAA,EA0ClJ,eA1CkJ,CA0ClI,SA1CkI,EA0CvH,WA1CuH,CAAA;EAAW;EAAzB,GAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EAkDxK,eAlDwK,CAkDxJ,SAlDwJ,EAkD7I,WAlD6I,CAAA;EAAwD;EAAW,GAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EA+D3O,eA/D2O,CA+D3N,SA/D2N,EA+DhN,WA/DgN,CAAA;EAA5B;EAGtM,MAAA,CAAA,KAAA,EAAA,MAAA,CAAA,EAyEP,eAzEO,CAyES,SAzET,EAyEoB,WAzEpB,CAAA;EAAW;EAAvB,KAAA,CAAA,OAAA,EAsFH,MAtFG,EAAA,OAAA,CAAA,EAAA,MAAA,CAAA,EAsFwB,eAtFxB,CAsFwC,SAtFxC,EAsFmD,WAtFnD,CAAA;EACI;EACE,KAAA,CAAA,CAAA,EAiGf,eAjGe,CAiGC,SAjGD,EAiGY,WAjGZ,CAAA;EACiB;EAAW,GAAA,CAAA,CAAA,EA6G7C,eA7G6C,CA6G7B,SA7G6B,EA6GlB,WA7GkB,CAAA;EAA5B,SAAA,SAAA,EA+HJ,iBA/HI,CAAA,MAAA,EA+HsB,WA/HtB,CA+HkC,SA/HlC,EA+H6C,WA/H7C,CAAA,CAAA;;;AACH,cA4LV,MA5LU,EAAA,GAAA,GA4LG,eA5LH,CAAA,KAAA,EAAA,KAAA,CAAA"}

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

@@ -1 +1 @@
-{"version":3,"file":"String.d.mts","names":[],"sources":["../../src/primitives/String.ts"],"sourcesContent":[],"mappings":";;;KAUK,wFAAwF,mBAAmB,WAAW;KACtH,2FAA2F,mBAAmB,WAAW;AADzH,UAOY,WAPC,CAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,CAAA,CAAA;EAA8F;EAAW,GAAA,EAAA,EASlH,cATkH,CAAA,MAAA,EAS3F,SAT2F,EAShF,WATgF,CAAA;EAA9B;EAAU,GAAA,CAAA,KAAA,EAW1F,aAX0F,CAW5E,SAX4E,EAWjE,WAXiE,CAAA,CAAA,EAAA,IAAA;EAClG;EAA8G,MAAA,CAAA,KAAA,EAYnG,gBAZmG,CAYlF,SAZkF,EAYvE,WAZuE,CAAA,CAAA,EAAA,IAAA;EAAW;EAA9B,UAAA,EAAA,EAchF,cAdgF,CAAA,MAAA,EAczD,SAdyD,EAc9C,WAd8C,CAAA;;AAMhG,UAWU,qBAAA,CAXkB;EAEI,SAAA,QAAA,EAAA,OAAA;EAAW,SAAA,YAAA,EAAA,MAAA,GAAA,SAAA;EAAlC,SAAA,UAAA,EAAA,SAYuB,SAZvB,CAAA,MAAA,CAAA,EAAA;;AAE6B,cAazB,eAbyB,CAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,CAAA,YAa0E,SAb1E,CAAA,MAAA,EAa4F,WAb5F,CAawG,SAbxG,EAamH,WAbnH,CAAA,EAaiI,SAbjI,EAa4I,WAb5I,EAayJ,aAbzJ,CAauK,SAbvK,EAakL,WAblL,CAAA,EAagM,gBAbhM,CAaiN,SAbjN,EAa4N,WAb5N,CAAA,CAAA,CAAA;EAAzB,SAAA,IAAA,EAAA,iBAAA;EAEoB,SAAA,MAAA,EAAA,MAAA;EAAW,SAAA,MAAA,EAcxB,WAdwB,CAcZ,SAdY,EAcD,WAdC,CAAA;EAA5B,SAAA,UAAA,EAeQ,SAfR;EAEuB,SAAA,YAAA,EAcb,WAda;EAAW,SAAA,YAAA,EAexB,gBAfwB,CAeP,SAfO,EAeI,WAfJ,CAAA;EAAlC,SAAA,SAAA,EAgBO,aAhBP,CAgBqB,SAhBrB,EAgBgC,WAhBhC,CAAA;EAAc,iBAAA,OAAA;EAGpB,iBAAA,cAAqB;EAMlB,WAAA,CAAA,MAAe,EAqBN,qBArBM;EAAkH;EAAW,QAAA,CAAA,CAAA,EA0B3I,eA1B2I,CAAA,IAAA,EA0BrH,WA1BqH,CAAA;EAAvB;EAAqC,OAAA,CAAA,YAAA,EAAA,MAAA,CAAA,EAkCtI,eAlCsI,CAkCtH,SAlCsH,EAAA,IAAA,CAAA;EAAW;EAA2B,MAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAAA,MAAA,EAAA,GAAA,OAAA,EAAA,OAAA,EAAA,MAAA,CAAA,EA0ClJ,eA1CkJ,CA0ClI,SA1CkI,EA0CvH,WA1CuH,CAAA;EAAW;EAAzB,GAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EAkDxK,eAlDwK,CAkDxJ,SAlDwJ,EAkD7I,WAlD6I,CAAA;EAAwD;EAAW,GAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EA0D3O,eA1D2O,CA0D3N,SA1D2N,EA0DhN,WA1DgN,CAAA;EAA5B;EAGtM,MAAA,CAAA,KAAA,EAAA,MAAA,CAAA,EA+DP,eA/DO,CA+DS,SA/DT,EA+DoB,WA/DpB,CAAA;EAAW;EAAvB,KAAA,CAAA,OAAA,EAuEH,MAvEG,EAAA,OAAA,CAAA,EAAA,MAAA,CAAA,EAuEwB,eAvExB,CAuEwC,SAvExC,EAuEmD,WAvEnD,CAAA;EACI;EACE,KAAA,CAAA,CAAA,EA6Ef,eA7Ee,CA6EC,SA7ED,EA6EY,WA7EZ,CAAA;EACiB;EAAW,GAAA,CAAA,CAAA,EAsF7C,eAtF6C,CAsF7B,SAtF6B,EAsFlB,WAtFkB,CAAA;EAA5B,SAAA,SAAA,EAoGJ,iBApGI,CAAA,MAAA,EAoGsB,WApGtB,CAoGkC,SApGlC,EAoG6C,WApG7C,CAAA,CAAA;;;AACH,cAiKV,MAjKU,EAAA,GAAA,GAiKG,eAjKH,CAAA,KAAA,EAAA,KAAA,CAAA"}
+{"version":3,"file":"String.d.mts","names":[],"sources":["../../src/primitives/String.ts"],"sourcesContent":[],"mappings":";;;KAUK,wFAAwF,mBAAmB,WAAW;KACtH,2FAA2F,mBAAmB,WAAW;AADzH,UAOY,WAPC,CAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,CAAA,CAAA;EAA8F;EAAW,GAAA,EAAA,EASlH,cATkH,CAAA,MAAA,EAS3F,SAT2F,EAShF,WATgF,CAAA;EAA9B;EAAU,GAAA,CAAA,KAAA,EAW1F,aAX0F,CAW5E,SAX4E,EAWjE,WAXiE,CAAA,CAAA,EAAA,IAAA;EAClG;EAA8G,MAAA,CAAA,KAAA,EAYnG,gBAZmG,CAYlF,SAZkF,EAYvE,WAZuE,CAAA,CAAA,EAAA,IAAA;EAAW;EAA9B,UAAA,EAAA,EAchF,cAdgF,CAAA,MAAA,EAczD,SAdyD,EAc9C,WAd8C,CAAA;;AAMhG,UAWU,qBAAA,CAXkB;EAEI,SAAA,QAAA,EAAA,OAAA;EAAW,SAAA,YAAA,EAAA,MAAA,GAAA,SAAA;EAAlC,SAAA,UAAA,EAAA,SAYuB,SAZvB,CAAA,MAAA,CAAA,EAAA;;AAE6B,cAazB,eAbyB,CAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,CAAA,YAa0E,SAb1E,CAAA,MAAA,EAa4F,WAb5F,CAawG,SAbxG,EAamH,WAbnH,CAAA,EAaiI,SAbjI,EAa4I,WAb5I,EAayJ,aAbzJ,CAauK,SAbvK,EAakL,WAblL,CAAA,EAagM,gBAbhM,CAaiN,SAbjN,EAa4N,WAb5N,CAAA,CAAA,CAAA;EAAzB,SAAA,IAAA,EAAA,iBAAA;EAEoB,SAAA,MAAA,EAAA,MAAA;EAAW,SAAA,MAAA,EAcxB,WAdwB,CAcZ,SAdY,EAcD,WAdC,CAAA;EAA5B,SAAA,UAAA,EAeQ,SAfR;EAEuB,SAAA,YAAA,EAcb,WAda;EAAW,SAAA,YAAA,EAexB,gBAfwB,CAeP,SAfO,EAeI,WAfJ,CAAA;EAAlC,SAAA,SAAA,EAgBO,aAhBP,CAgBqB,SAhBrB,EAgBgC,WAhBhC,CAAA;EAAc,iBAAA,OAAA;EAGpB,iBAAA,cAAqB;EAMlB,WAAA,CAAA,MAAe,EAqBN,qBArBM;EAAkH;EAAW,QAAA,CAAA,CAAA,EA0B3I,eA1B2I,CAAA,IAAA,EA0BrH,WA1BqH,CAAA;EAAvB;EAAqC,OAAA,CAAA,YAAA,EAAA,MAAA,CAAA,EAkCtI,eAlCsI,CAkCtH,SAlCsH,EAAA,IAAA,CAAA;EAAW;EAA2B,MAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAAA,MAAA,EAAA,GAAA,OAAA,EAAA,OAAA,EAAA,MAAA,CAAA,EA0ClJ,eA1CkJ,CA0ClI,SA1CkI,EA0CvH,WA1CuH,CAAA;EAAW;EAAzB,GAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EAkDxK,eAlDwK,CAkDxJ,SAlDwJ,EAkD7I,WAlD6I,CAAA;EAAwD;EAAW,GAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EA+D3O,eA/D2O,CA+D3N,SA/D2N,EA+DhN,WA/DgN,CAAA;EAA5B;EAGtM,MAAA,CAAA,KAAA,EAAA,MAAA,CAAA,EAyEP,eAzEO,CAyES,SAzET,EAyEoB,WAzEpB,CAAA;EAAW;EAAvB,KAAA,CAAA,OAAA,EAsFH,MAtFG,EAAA,OAAA,CAAA,EAAA,MAAA,CAAA,EAsFwB,eAtFxB,CAsFwC,SAtFxC,EAsFmD,WAtFnD,CAAA;EACI;EACE,KAAA,CAAA,CAAA,EAiGf,eAjGe,CAiGC,SAjGD,EAiGY,WAjGZ,CAAA;EACiB;EAAW,GAAA,CAAA,CAAA,EA6G7C,eA7G6C,CA6G7B,SA7G6B,EA6GlB,WA7GkB,CAAA;EAA5B,SAAA,SAAA,EA+HJ,iBA/HI,CAAA,MAAA,EA+HsB,WA/HtB,CA+HkC,SA/HlC,EA+H6C,WA/H7C,CAAA,CAAA;;;AACH,cA4LV,MA5LU,EAAA,GAAA,GA4LG,eA5LH,CAAA,KAAA,EAAA,KAAA,CAAA"}

package/dist/primitives/String.mjs

@@ -84,35 +84,66 @@ var StringPrimitive = class StringPrimitive {
 	}
 	/** Minimum string length */
 	min(length) {
-		return this.refine((v) => v.length >= length, `String must be at least ${length} characters`);
+		return new StringPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => v.length >= length,
+			message: `String must be at least ${length} characters`,
+			kind: "min",
+			params: { value: length }
+		}] }));
 	}
 	/** Maximum string length */
 	max(length) {
-		return this.refine((v) => v.length <= length, `String must be at most ${length} characters`);
+		return new StringPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => v.length <= length,
+			message: `String must be at most ${length} characters`,
+			kind: "max",
+			params: { value: length }
+		}] }));
 	}
 	/** Exact string length */
 	length(exact) {
-		return this.refine((v) => v.length === exact, `String must be exactly ${exact} characters`);
+		return new StringPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => v.length === exact,
+			message: `String must be exactly ${exact} characters`,
+			kind: "length",
+			params: { value: exact }
+		}] }));
 	}
 	/** Match a regex pattern */
 	regex(pattern, message) {
-		return this.refine((v) => pattern.test(v), message !== null && message !== void 0 ? message : `String must match pattern ${pattern}`);
+		return new StringPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => pattern.test(v),
+			message: message !== null && message !== void 0 ? message : `String must match pattern ${pattern}`,
+			kind: "regex",
+			params: {
+				pattern: pattern.source,
+				flags: pattern.flags
+			}
+		}] }));
 	}
 	/** Validate as email format */
 	email() {
 		const emailPattern = /^[^\s@]+@[^\s@]+\.[^\s@]+$/;
-		return this.refine((v) => emailPattern.test(v), "Invalid email format");
+		return new StringPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => emailPattern.test(v),
+			message: "Invalid email format",
+			kind: "email"
+		}] }));
 	}
 	/** Validate as URL format */
 	url() {
-		return this.refine((v) => {
-			try {
-				new URL(v);
-				return true;
-			} catch (_unused) {
-				return false;
-			}
-		}, "Invalid URL format");
+		return new StringPrimitive(_objectSpread2(_objectSpread2({}, this._schema), {}, { validators: [...this._schema.validators, {
+			validate: (v) => {
+				try {
+					new URL(v);
+					return true;
+				} catch (_unused) {
+					return false;
+				}
+			},
+			message: "Invalid URL format",
+			kind: "url"
+		}] }));
 	}
 };
 /** Creates a new StringPrimitive */

package/dist/primitives/String.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"String.mjs","names":["OperationDefinition.make","Operation.fromDefinition","OperationPath.pathsOverlap"],"sources":["../../src/primitives/String.ts"],"sourcesContent":["import { Schema } from \"effect\";\nimport * as OperationDefinition from \"../OperationDefinition\";\nimport * as Operation from \"../Operation\";\nimport * as OperationPath from \"../OperationPath\";\nimport * as ProxyEnvironment from \"../ProxyEnvironment\";\nimport * as Transform from \"../Transform\";\nimport type { Primitive, PrimitiveInternal, MaybeUndefined, Validator, NeedsValue } from \"./shared\";\nimport { runValidators, isCompatibleOperation, ValidationError } from \"./shared\";\n\n\ntype InferSetInput<TRequired extends boolean = false, THasDefault extends boolean = false> = NeedsValue<string, TRequired, THasDefault>\ntype InferUpdateInput<TRequired extends boolean = false, THasDefault extends boolean = false> = NeedsValue<string, TRequired, THasDefault>\n\n// =============================================================================\n// String Primitive\n// =============================================================================\n\nexport interface StringProxy<TRequired extends boolean = false, THasDefault extends boolean = false> {\n  /** Gets the current string value */\n  get(): MaybeUndefined<string, TRequired, THasDefault>;\n  /** Sets the string value, generating a string.set operation */\n  set(value: InferSetInput<TRequired, THasDefault>): void;\n  /** This is the same as set. Updates the string value, generating a string.set operation */\n  update(value: InferUpdateInput<TRequired, THasDefault>): void;\n  /** Returns a readonly snapshot of the string value for rendering */\n  toSnapshot(): MaybeUndefined<string, TRequired, THasDefault>;\n}\n\ninterface StringPrimitiveSchema {\n  readonly required: boolean;\n  readonly defaultValue: string | undefined;\n  readonly validators: readonly Validator<string>[];\n}\n\nexport class StringPrimitive<TRequired extends boolean = false, THasDefault extends boolean = false> implements Primitive<string, StringProxy<TRequired, THasDefault>, TRequired, THasDefault, InferSetInput<TRequired, THasDefault>, InferUpdateInput<TRequired, THasDefault>> {\n  readonly _tag = \"StringPrimitive\" as const;\n  readonly _State!: string;\n  readonly _Proxy!: StringProxy<TRequired, THasDefault>;\n  readonly _TRequired!: TRequired;\n  readonly _THasDefault!: THasDefault;\n  readonly TUpdateInput!: InferUpdateInput<TRequired, THasDefault>;\n  readonly TSetInput!: InferSetInput<TRequired, THasDefault>;\n\n  private readonly _schema: StringPrimitiveSchema;\n\n  private readonly _opDefinitions = {\n    set: OperationDefinition.make({\n      kind: \"string.set\" as const,\n      payload: Schema.String,\n      target: Schema.String,\n      apply: (payload) => payload,\n      deduplicable: true,\n    }),\n  };\n\n  constructor(schema: StringPrimitiveSchema) {\n    this._schema = schema;\n  }\n\n  /** Mark this string as required */\n  required(): StringPrimitive<true, THasDefault> {\n    return new StringPrimitive({\n      ...this._schema,\n      required: true,\n    });\n  }\n\n  /** Set a default value for this string */\n  default(defaultValue: string): StringPrimitive<TRequired, true> {\n    return new StringPrimitive({\n      ...this._schema,\n      defaultValue,\n    });\n  }\n\n  /** Add a custom validation rule */\n  refine(fn: (value: string) => boolean, message: string): StringPrimitive<TRequired, THasDefault> {\n    return new StringPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, { validate: fn, message }],\n    });\n  }\n\n  /** Minimum string length */\n  min(length: number): StringPrimitive<TRequired, THasDefault> {\n    return this.refine(\n      (v) => v.length >= length,\n      `String must be at least ${length} characters`\n    );\n  }\n\n  /** Maximum string length */\n  max(length: number): StringPrimitive<TRequired, THasDefault> {\n    return this.refine(\n      (v) => v.length <= length,\n      `String must be at most ${length} characters`\n    );\n  }\n\n  /** Exact string length */\n  length(exact: number): StringPrimitive<TRequired, THasDefault> {\n    return this.refine(\n      (v) => v.length === exact,\n      `String must be exactly ${exact} characters`\n    );\n  }\n\n  /** Match a regex pattern */\n  regex(pattern: RegExp, message?: string): StringPrimitive<TRequired, THasDefault> {\n    return this.refine(\n      (v) => pattern.test(v),\n      message ?? `String must match pattern ${pattern}`\n    );\n  }\n\n  /** Validate as email format */\n  email(): StringPrimitive<TRequired, THasDefault> {\n    // Simple email regex - covers most common cases\n    const emailPattern = /^[^\\s@]+@[^\\s@]+\\.[^\\s@]+$/;\n    return this.refine(\n      (v) => emailPattern.test(v),\n      \"Invalid email format\"\n    );\n  }\n\n  /** Validate as URL format */\n  url(): StringPrimitive<TRequired, THasDefault> {\n    return this.refine(\n      (v) => {\n        try {\n          new URL(v);\n          return true;\n        } catch {\n          return false;\n        }\n      },\n      \"Invalid URL format\"\n    );\n  }\n\n  readonly _internal: PrimitiveInternal<string, StringProxy<TRequired, THasDefault>> = {\n    createProxy: (env: ProxyEnvironment.ProxyEnvironment, operationPath: OperationPath.OperationPath): StringProxy<TRequired, THasDefault> => {\n      const defaultValue = this._schema.defaultValue;\n      return {\n        get: (): MaybeUndefined<string, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as string | undefined;\n          return (state ?? defaultValue) as MaybeUndefined<string, TRequired, THasDefault>;\n        },\n        set: (value: InferSetInput<TRequired, THasDefault>) => {\n          env.addOperation(\n            Operation.fromDefinition(operationPath, this._opDefinitions.set, value)\n          );\n        },\n        update: (value: InferUpdateInput<TRequired, THasDefault>) => {\n          env.addOperation(\n            Operation.fromDefinition(operationPath, this._opDefinitions.set, value)\n          );\n        },\n        toSnapshot: (): MaybeUndefined<string, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as string | undefined;\n          return (state ?? defaultValue) as MaybeUndefined<string, TRequired, THasDefault>;\n        },\n      };\n    },\n\n    applyOperation: (_state: string | undefined, operation: Operation.Operation<any, any, any>): string => {\n      if (!isCompatibleOperation(operation, this._opDefinitions)) {\n        throw new ValidationError(`StringPrimitive cannot apply operation of kind: ${operation.kind}`);\n      }\n\n      const payload = operation.payload;\n      if (typeof payload !== \"string\") {\n        throw new ValidationError(`StringPrimitive.set requires a string payload, got: ${typeof payload}`);\n      }\n\n      // Run validators\n      runValidators(payload, this._schema.validators);\n\n      return payload;\n    },\n\n    getInitialState: (): string | undefined => {\n      return this._schema.defaultValue;\n    },\n\n    transformOperation: (\n      clientOp: Operation.Operation<any, any, any>,\n      serverOp: Operation.Operation<any, any, any>\n    ): Transform.TransformResult => {\n      // If paths don't overlap, no transformation needed\n      if (!OperationPath.pathsOverlap(clientOp.path, serverOp.path)) {\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      // For same path, client wins (last-write-wins)\n      // Client operation proceeds as-is\n      return { type: \"transformed\", operation: clientOp };\n    },\n  };\n}\n\n/** Creates a new StringPrimitive */\nexport const String = (): StringPrimitive<false, false> =>\n  new StringPrimitive({ required: false, defaultValue: undefined, validators: [] });\n\n"],"mappings":";;;;;;;;;AAkCA,IAAa,kBAAb,MAAa,gBAAmQ;CAqB9Q,YAAY,QAA+B;wBApBlC,QAAO;wBACP;wBACA;wBACA;wBACA;wBACA;wBACA;wBAEQ;wBAEA,kBAAiB,EAChC,KAAKA,KAAyB;GAC5B,MAAM;GACN,SAAS,OAAO;GAChB,QAAQ,OAAO;GACf,QAAQ,YAAY;GACpB,cAAc;GACf,CAAC,EACH;wBAuFQ,aAA4E;GACnF,cAAc,KAAwC,kBAAoF;IACxI,MAAM,eAAe,KAAK,QAAQ;AAClC,WAAO;KACL,WAA2D;MACzD,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,aAAQ,6CAAS;;KAEnB,MAAM,UAAiD;AACrD,UAAI,aACFC,eAAyB,eAAe,KAAK,eAAe,KAAK,MAAM,CACxE;;KAEH,SAAS,UAAoD;AAC3D,UAAI,aACFA,eAAyB,eAAe,KAAK,eAAe,KAAK,MAAM,CACxE;;KAEH,kBAAkE;MAChE,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,aAAQ,6CAAS;;KAEpB;;GAGH,iBAAiB,QAA4B,cAA0D;AACrG,QAAI,CAAC,sBAAsB,WAAW,KAAK,eAAe,CACxD,OAAM,IAAI,gBAAgB,mDAAmD,UAAU,OAAO;IAGhG,MAAM,UAAU,UAAU;AAC1B,QAAI,OAAO,YAAY,SACrB,OAAM,IAAI,gBAAgB,uDAAuD,OAAO,UAAU;AAIpG,kBAAc,SAAS,KAAK,QAAQ,WAAW;AAE/C,WAAO;;GAGT,uBAA2C;AACzC,WAAO,KAAK,QAAQ;;GAGtB,qBACE,UACA,aAC8B;AAE9B,QAAI,CAACC,aAA2B,SAAS,MAAM,SAAS,KAAK,CAC3D,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;AAKrD,WAAO;KAAE,MAAM;KAAe,WAAW;KAAU;;GAEtD;AA9IC,OAAK,UAAU;;;CAIjB,WAA+C;AAC7C,SAAO,IAAI,kDACN,KAAK,gBACR,UAAU,QACV;;;CAIJ,QAAQ,cAAwD;AAC9D,SAAO,IAAI,kDACN,KAAK,gBACR,gBACA;;;CAIJ,OAAO,IAAgC,SAA0D;AAC/F,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GAAE,UAAU;GAAI;GAAS,CAAC,IACnE;;;CAIJ,IAAI,QAAyD;AAC3D,SAAO,KAAK,QACT,MAAM,EAAE,UAAU,QACnB,2BAA2B,OAAO,aACnC;;;CAIH,IAAI,QAAyD;AAC3D,SAAO,KAAK,QACT,MAAM,EAAE,UAAU,QACnB,0BAA0B,OAAO,aAClC;;;CAIH,OAAO,OAAwD;AAC7D,SAAO,KAAK,QACT,MAAM,EAAE,WAAW,OACpB,0BAA0B,MAAM,aACjC;;;CAIH,MAAM,SAAiB,SAA2D;AAChF,SAAO,KAAK,QACT,MAAM,QAAQ,KAAK,EAAE,EACtB,mDAAW,6BAA6B,UACzC;;;CAIH,QAAiD;EAE/C,MAAM,eAAe;AACrB,SAAO,KAAK,QACT,MAAM,aAAa,KAAK,EAAE,EAC3B,uBACD;;;CAIH,MAA+C;AAC7C,SAAO,KAAK,QACT,MAAM;AACL,OAAI;AACF,QAAI,IAAI,EAAE;AACV,WAAO;qBACD;AACN,WAAO;;KAGX,qBACD;;;;AAiEL,MAAa,eACX,IAAI,gBAAgB;CAAE,UAAU;CAAO,cAAc;CAAW,YAAY,EAAE;CAAE,CAAC"}
+{"version":3,"file":"String.mjs","names":["OperationDefinition.make","Operation.fromDefinition","OperationPath.pathsOverlap"],"sources":["../../src/primitives/String.ts"],"sourcesContent":["import { Schema } from \"effect\";\nimport * as OperationDefinition from \"../OperationDefinition\";\nimport * as Operation from \"../Operation\";\nimport * as OperationPath from \"../OperationPath\";\nimport * as ProxyEnvironment from \"../ProxyEnvironment\";\nimport * as Transform from \"../Transform\";\nimport type { Primitive, PrimitiveInternal, MaybeUndefined, Validator, NeedsValue } from \"./shared\";\nimport { runValidators, isCompatibleOperation, ValidationError } from \"./shared\";\n\n\ntype InferSetInput<TRequired extends boolean = false, THasDefault extends boolean = false> = NeedsValue<string, TRequired, THasDefault>\ntype InferUpdateInput<TRequired extends boolean = false, THasDefault extends boolean = false> = NeedsValue<string, TRequired, THasDefault>\n\n// =============================================================================\n// String Primitive\n// =============================================================================\n\nexport interface StringProxy<TRequired extends boolean = false, THasDefault extends boolean = false> {\n  /** Gets the current string value */\n  get(): MaybeUndefined<string, TRequired, THasDefault>;\n  /** Sets the string value, generating a string.set operation */\n  set(value: InferSetInput<TRequired, THasDefault>): void;\n  /** This is the same as set. Updates the string value, generating a string.set operation */\n  update(value: InferUpdateInput<TRequired, THasDefault>): void;\n  /** Returns a readonly snapshot of the string value for rendering */\n  toSnapshot(): MaybeUndefined<string, TRequired, THasDefault>;\n}\n\ninterface StringPrimitiveSchema {\n  readonly required: boolean;\n  readonly defaultValue: string | undefined;\n  readonly validators: readonly Validator<string>[];\n}\n\nexport class StringPrimitive<TRequired extends boolean = false, THasDefault extends boolean = false> implements Primitive<string, StringProxy<TRequired, THasDefault>, TRequired, THasDefault, InferSetInput<TRequired, THasDefault>, InferUpdateInput<TRequired, THasDefault>> {\n  readonly _tag = \"StringPrimitive\" as const;\n  readonly _State!: string;\n  readonly _Proxy!: StringProxy<TRequired, THasDefault>;\n  readonly _TRequired!: TRequired;\n  readonly _THasDefault!: THasDefault;\n  readonly TUpdateInput!: InferUpdateInput<TRequired, THasDefault>;\n  readonly TSetInput!: InferSetInput<TRequired, THasDefault>;\n\n  private readonly _schema: StringPrimitiveSchema;\n\n  private readonly _opDefinitions = {\n    set: OperationDefinition.make({\n      kind: \"string.set\" as const,\n      payload: Schema.String,\n      target: Schema.String,\n      apply: (payload) => payload,\n      deduplicable: true,\n    }),\n  };\n\n  constructor(schema: StringPrimitiveSchema) {\n    this._schema = schema;\n  }\n\n  /** Mark this string as required */\n  required(): StringPrimitive<true, THasDefault> {\n    return new StringPrimitive({\n      ...this._schema,\n      required: true,\n    });\n  }\n\n  /** Set a default value for this string */\n  default(defaultValue: string): StringPrimitive<TRequired, true> {\n    return new StringPrimitive({\n      ...this._schema,\n      defaultValue,\n    });\n  }\n\n  /** Add a custom validation rule */\n  refine(fn: (value: string) => boolean, message: string): StringPrimitive<TRequired, THasDefault> {\n    return new StringPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, { validate: fn, message }],\n    });\n  }\n\n  /** Minimum string length */\n  min(length: number): StringPrimitive<TRequired, THasDefault> {\n    return new StringPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => v.length >= length,\n        message: `String must be at least ${length} characters`,\n        kind: \"min\",\n        params: { value: length },\n      }],\n    });\n  }\n\n  /** Maximum string length */\n  max(length: number): StringPrimitive<TRequired, THasDefault> {\n    return new StringPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => v.length <= length,\n        message: `String must be at most ${length} characters`,\n        kind: \"max\",\n        params: { value: length },\n      }],\n    });\n  }\n\n  /** Exact string length */\n  length(exact: number): StringPrimitive<TRequired, THasDefault> {\n    return new StringPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => v.length === exact,\n        message: `String must be exactly ${exact} characters`,\n        kind: \"length\",\n        params: { value: exact },\n      }],\n    });\n  }\n\n  /** Match a regex pattern */\n  regex(pattern: RegExp, message?: string): StringPrimitive<TRequired, THasDefault> {\n    return new StringPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => pattern.test(v),\n        message: message ?? `String must match pattern ${pattern}`,\n        kind: \"regex\",\n        params: { pattern: pattern.source, flags: pattern.flags },\n      }],\n    });\n  }\n\n  /** Validate as email format */\n  email(): StringPrimitive<TRequired, THasDefault> {\n    const emailPattern = /^[^\\s@]+@[^\\s@]+\\.[^\\s@]+$/;\n    return new StringPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => emailPattern.test(v),\n        message: \"Invalid email format\",\n        kind: \"email\",\n      }],\n    });\n  }\n\n  /** Validate as URL format */\n  url(): StringPrimitive<TRequired, THasDefault> {\n    return new StringPrimitive({\n      ...this._schema,\n      validators: [...this._schema.validators, {\n        validate: (v) => {\n          try {\n            new URL(v);\n            return true;\n          } catch {\n            return false;\n          }\n        },\n        message: \"Invalid URL format\",\n        kind: \"url\",\n      }],\n    });\n  }\n\n  readonly _internal: PrimitiveInternal<string, StringProxy<TRequired, THasDefault>> = {\n    createProxy: (env: ProxyEnvironment.ProxyEnvironment, operationPath: OperationPath.OperationPath): StringProxy<TRequired, THasDefault> => {\n      const defaultValue = this._schema.defaultValue;\n      return {\n        get: (): MaybeUndefined<string, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as string | undefined;\n          return (state ?? defaultValue) as MaybeUndefined<string, TRequired, THasDefault>;\n        },\n        set: (value: InferSetInput<TRequired, THasDefault>) => {\n          env.addOperation(\n            Operation.fromDefinition(operationPath, this._opDefinitions.set as any, value)\n          );\n        },\n        update: (value: InferUpdateInput<TRequired, THasDefault>) => {\n          env.addOperation(\n            Operation.fromDefinition(operationPath, this._opDefinitions.set as any, value)\n          );\n        },\n        toSnapshot: (): MaybeUndefined<string, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as string | undefined;\n          return (state ?? defaultValue) as MaybeUndefined<string, TRequired, THasDefault>;\n        },\n      };\n    },\n\n    applyOperation: (_state: string | undefined, operation: Operation.Operation<any, any, any>): string => {\n      if (!isCompatibleOperation(operation, this._opDefinitions)) {\n        throw new ValidationError(`StringPrimitive cannot apply operation of kind: ${operation.kind}`);\n      }\n\n      const payload = operation.payload;\n      if (typeof payload !== \"string\") {\n        throw new ValidationError(`StringPrimitive.set requires a string payload, got: ${typeof payload}`);\n      }\n\n      // Run validators\n      runValidators(payload, this._schema.validators);\n\n      return payload;\n    },\n\n    getInitialState: (): string | undefined => {\n      return this._schema.defaultValue;\n    },\n\n    transformOperation: (\n      clientOp: Operation.Operation<any, any, any>,\n      serverOp: Operation.Operation<any, any, any>\n    ): Transform.TransformResult => {\n      // If paths don't overlap, no transformation needed\n      if (!OperationPath.pathsOverlap(clientOp.path, serverOp.path)) {\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      // For same path, client wins (last-write-wins)\n      // Client operation proceeds as-is\n      return { type: \"transformed\", operation: clientOp };\n    },\n  };\n}\n\n/** Creates a new StringPrimitive */\nexport const String = (): StringPrimitive<false, false> =>\n  new StringPrimitive({ required: false, defaultValue: undefined, validators: [] });\n\n"],"mappings":";;;;;;;;;AAkCA,IAAa,kBAAb,MAAa,gBAAmQ;CAqB9Q,YAAY,QAA+B;wBApBlC,QAAO;wBACP;wBACA;wBACA;wBACA;wBACA;wBACA;wBAEQ;wBAEA,kBAAiB,EAChC,KAAKA,KAAyB;GAC5B,MAAM;GACN,SAAS,OAAO;GAChB,QAAQ,OAAO;GACf,QAAQ,YAAY;GACpB,cAAc;GACf,CAAC,EACH;wBAkHQ,aAA4E;GACnF,cAAc,KAAwC,kBAAoF;IACxI,MAAM,eAAe,KAAK,QAAQ;AAClC,WAAO;KACL,WAA2D;MACzD,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,aAAQ,6CAAS;;KAEnB,MAAM,UAAiD;AACrD,UAAI,aACFC,eAAyB,eAAe,KAAK,eAAe,KAAY,MAAM,CAC/E;;KAEH,SAAS,UAAoD;AAC3D,UAAI,aACFA,eAAyB,eAAe,KAAK,eAAe,KAAY,MAAM,CAC/E;;KAEH,kBAAkE;MAChE,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,aAAQ,6CAAS;;KAEpB;;GAGH,iBAAiB,QAA4B,cAA0D;AACrG,QAAI,CAAC,sBAAsB,WAAW,KAAK,eAAe,CACxD,OAAM,IAAI,gBAAgB,mDAAmD,UAAU,OAAO;IAGhG,MAAM,UAAU,UAAU;AAC1B,QAAI,OAAO,YAAY,SACrB,OAAM,IAAI,gBAAgB,uDAAuD,OAAO,UAAU;AAIpG,kBAAc,SAAS,KAAK,QAAQ,WAAW;AAE/C,WAAO;;GAGT,uBAA2C;AACzC,WAAO,KAAK,QAAQ;;GAGtB,qBACE,UACA,aAC8B;AAE9B,QAAI,CAACC,aAA2B,SAAS,MAAM,SAAS,KAAK,CAC3D,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;AAKrD,WAAO;KAAE,MAAM;KAAe,WAAW;KAAU;;GAEtD;AAzKC,OAAK,UAAU;;;CAIjB,WAA+C;AAC7C,SAAO,IAAI,kDACN,KAAK,gBACR,UAAU,QACV;;;CAIJ,QAAQ,cAAwD;AAC9D,SAAO,IAAI,kDACN,KAAK,gBACR,gBACA;;;CAIJ,OAAO,IAAgC,SAA0D;AAC/F,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GAAE,UAAU;GAAI;GAAS,CAAC,IACnE;;;CAIJ,IAAI,QAAyD;AAC3D,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM,EAAE,UAAU;GAC7B,SAAS,2BAA2B,OAAO;GAC3C,MAAM;GACN,QAAQ,EAAE,OAAO,QAAQ;GAC1B,CAAC,IACF;;;CAIJ,IAAI,QAAyD;AAC3D,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM,EAAE,UAAU;GAC7B,SAAS,0BAA0B,OAAO;GAC1C,MAAM;GACN,QAAQ,EAAE,OAAO,QAAQ;GAC1B,CAAC,IACF;;;CAIJ,OAAO,OAAwD;AAC7D,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM,EAAE,WAAW;GAC9B,SAAS,0BAA0B,MAAM;GACzC,MAAM;GACN,QAAQ,EAAE,OAAO,OAAO;GACzB,CAAC,IACF;;;CAIJ,MAAM,SAAiB,SAA2D;AAChF,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM,QAAQ,KAAK,EAAE;GAChC,SAAS,mDAAW,6BAA6B;GACjD,MAAM;GACN,QAAQ;IAAE,SAAS,QAAQ;IAAQ,OAAO,QAAQ;IAAO;GAC1D,CAAC,IACF;;;CAIJ,QAAiD;EAC/C,MAAM,eAAe;AACrB,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM,aAAa,KAAK,EAAE;GACrC,SAAS;GACT,MAAM;GACP,CAAC,IACF;;;CAIJ,MAA+C;AAC7C,SAAO,IAAI,kDACN,KAAK,gBACR,YAAY,CAAC,GAAG,KAAK,QAAQ,YAAY;GACvC,WAAW,MAAM;AACf,QAAI;AACF,SAAI,IAAI,EAAE;AACV,YAAO;sBACD;AACN,YAAO;;;GAGX,SAAS;GACT,MAAM;GACP,CAAC,IACF;;;;AAiEN,MAAa,eACX,IAAI,gBAAgB;CAAE,UAAU;CAAO,cAAc;CAAW,YAAY,EAAE;CAAE,CAAC"}

package/dist/primitives/Union.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Union.mjs","names":["OperationDefinition.make","Operation.fromDefinition","OperationPath.pathsOverlap"],"sources":["../../src/primitives/Union.ts"],"sourcesContent":["import { Effect, Schema } from \"effect\";\nimport * as OperationDefinition from \"../OperationDefinition\";\nimport * as Operation from \"../Operation\";\nimport * as OperationPath from \"../OperationPath\";\nimport * as ProxyEnvironment from \"../ProxyEnvironment\";\nimport * as Transform from \"../Transform\";\nimport type { Primitive, PrimitiveInternal, MaybeUndefined, AnyPrimitive, InferState, InferProxy, InferSnapshot, InferSetInput } from \"../Primitive\";\nimport { ValidationError } from \"../Primitive\";\nimport { LiteralPrimitive } from \"./Literal\";\nimport { StructPrimitive, InferStructState } from \"./Struct\";\nimport { runValidators, applyDefaults } from \"./shared\";\n\n\n/**\n * Type constraint for union variants - must be struct primitives\n */\nexport type UnionVariants = Record<string, StructPrimitive<any, any, any>>;\n\n/**\n * Infer the union state type from variants\n */\nexport type InferUnionState<TVariants extends UnionVariants> = {\n  [K in keyof TVariants]: InferState<TVariants[K]>;\n}[keyof TVariants];\n\n/**\n * Infer the union snapshot type from variants\n */\nexport type InferUnionSnapshot<TVariants extends UnionVariants> = {\n  [K in keyof TVariants]: InferSnapshot<TVariants[K]>;\n}[keyof TVariants];\n\n/**\n * Compute the input type for union.set() operations.\n * Uses each variant's TSetInput type.\n */\nexport type UnionSetInput<TVariants extends UnionVariants> = {\n  [K in keyof TVariants]: InferSetInput<TVariants[K]>;\n}[keyof TVariants];\n\n/**\n * Proxy for accessing union variants\n */\nexport interface UnionProxy<TVariants extends UnionVariants, _TDiscriminator extends string, TRequired extends boolean = false, THasDefault extends boolean = false> {\n  /** Gets the current union value */\n  get(): MaybeUndefined<InferUnionState<TVariants>, TRequired, THasDefault>;\n  \n  /** Sets the entire union value (applies defaults for variant fields) */\n  set(value: UnionSetInput<TVariants>): void;\n  \n  /** Access a specific variant's proxy (assumes the variant is active) */\n  as<K extends keyof TVariants>(variant: K): InferProxy<TVariants[K]>;\n  \n  /** Pattern match on the variant type */\n  match<R>(handlers: {\n    [K in keyof TVariants]: (proxy: InferProxy<TVariants[K]>) => R;\n  }): R | undefined;\n  \n  /** Returns a readonly snapshot of the union for rendering */\n  toSnapshot(): MaybeUndefined<InferUnionSnapshot<TVariants>, TRequired, THasDefault>;\n}\n\ninterface UnionPrimitiveSchema<TVariants extends UnionVariants, TDiscriminator extends string> {\n  readonly required: boolean;\n  readonly defaultValue: InferUnionState<TVariants> | undefined;\n  readonly discriminator: TDiscriminator;\n  readonly variants: TVariants;\n}\n\nexport class UnionPrimitive<TVariants extends UnionVariants, TDiscriminator extends string = \"type\", TRequired extends boolean = false, THasDefault extends boolean = false>\n  implements Primitive<InferUnionState<TVariants>, UnionProxy<TVariants, TDiscriminator, TRequired, THasDefault>, TRequired, THasDefault, UnionSetInput<TVariants>, UnionSetInput<TVariants>>\n{\n  readonly _tag = \"UnionPrimitive\" as const;\n  readonly _State!: InferUnionState<TVariants>;\n  readonly _Proxy!: UnionProxy<TVariants, TDiscriminator, TRequired, THasDefault>;\n  readonly _TRequired!: TRequired;\n  readonly _THasDefault!: THasDefault;\n  readonly TSetInput!: UnionSetInput<TVariants>;\n  readonly TUpdateInput!: UnionSetInput<TVariants>;\n\n  private readonly _schema: UnionPrimitiveSchema<TVariants, TDiscriminator>;\n\n  private readonly _opDefinitions = {\n    set: OperationDefinition.make({\n      kind: \"union.set\" as const,\n      payload: Schema.Unknown,\n      target: Schema.Unknown,\n      apply: (payload) => payload,\n      deduplicable: true,\n    }),\n  };\n\n  constructor(schema: UnionPrimitiveSchema<TVariants, TDiscriminator>) {\n    this._schema = schema;\n  }\n\n  /** Mark this union as required */\n  required(): UnionPrimitive<TVariants, TDiscriminator, true, THasDefault> {\n    return new UnionPrimitive({\n      ...this._schema,\n      required: true,\n    });\n  }\n\n  /** Set a default value for this union */\n  default(defaultValue: UnionSetInput<TVariants>): UnionPrimitive<TVariants, TDiscriminator, true, true> {\n    // Apply defaults to the variant\n    const merged = this._applyVariantDefaults(defaultValue as Partial<InferUnionState<TVariants>>);\n    return new UnionPrimitive({\n      ...this._schema,\n      defaultValue: merged,\n    });\n  }\n\n  /** Get the discriminator field name */\n  get discriminator(): TDiscriminator {\n    return this._schema.discriminator;\n  }\n\n  /** Get the variants */\n  get variants(): TVariants {\n    return this._schema.variants;\n  }\n\n  /** Find the variant key from a state value */\n  private _findVariantKey(state: InferUnionState<TVariants>): keyof TVariants | undefined {\n    if (typeof state !== \"object\" || state === null) {\n      return undefined;\n    }\n    const discriminatorValue = (state as Record<string, unknown>)[this._schema.discriminator];\n    \n    // Find the variant that matches this discriminator value\n    for (const key in this._schema.variants) {\n      const variant = this._schema.variants[key]!;\n      const discriminatorField = variant.fields[this._schema.discriminator];\n      if (discriminatorField && discriminatorField._tag === \"LiteralPrimitive\") {\n        const literalPrimitive = discriminatorField as LiteralPrimitive<any, any, any>;\n        if (literalPrimitive.literal === discriminatorValue) {\n          return key;\n        }\n      }\n    }\n    return undefined;\n  }\n\n  /** Apply defaults to a variant value based on the discriminator */\n  private _applyVariantDefaults(value: Partial<InferUnionState<TVariants>>): InferUnionState<TVariants> {\n    const variantKey = this._findVariantKey(value as InferUnionState<TVariants>);\n    if (!variantKey) {\n      return value as InferUnionState<TVariants>;\n    }\n    \n    const variantPrimitive = this._schema.variants[variantKey]!;\n    return applyDefaults(variantPrimitive as AnyPrimitive, value) as InferUnionState<TVariants>;\n  }\n\n  readonly _internal: PrimitiveInternal<InferUnionState<TVariants>, UnionProxy<TVariants, TDiscriminator, TRequired, THasDefault>> = {\n    createProxy: (\n      env: ProxyEnvironment.ProxyEnvironment,\n      operationPath: OperationPath.OperationPath\n    ): UnionProxy<TVariants, TDiscriminator, TRequired, THasDefault> => {\n      const variants = this._schema.variants;\n      const defaultValue = this._schema.defaultValue;\n\n      return {\n        get: (): MaybeUndefined<InferUnionState<TVariants>, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as InferUnionState<TVariants> | undefined;\n          return (state ?? defaultValue) as MaybeUndefined<InferUnionState<TVariants>, TRequired, THasDefault>;\n        },\n        set: (value: UnionSetInput<TVariants>) => {\n          // Apply defaults for the variant\n          const merged = this._applyVariantDefaults(value as Partial<InferUnionState<TVariants>>);\n          env.addOperation(\n            Operation.fromDefinition(operationPath, this._opDefinitions.set, merged)\n          );\n        },\n        as: <K extends keyof TVariants>(variant: K): InferProxy<TVariants[K]> => {\n          const variantPrimitive = variants[variant];\n          if (!variantPrimitive) {\n            throw new ValidationError(`Unknown variant: ${globalThis.String(variant)}`);\n          }\n          return variantPrimitive._internal.createProxy(env, operationPath) as InferProxy<TVariants[K]>;\n        },\n        match: <R,>(handlers: { [K in keyof TVariants]: (proxy: InferProxy<TVariants[K]>) => R }): R | undefined => {\n          const state = env.getState(operationPath) as InferUnionState<TVariants> | undefined;\n          if (!state) return undefined;\n          \n          const variantKey = this._findVariantKey(state);\n          if (!variantKey) return undefined;\n          \n          const handler = handlers[variantKey];\n          if (!handler) return undefined;\n          \n          const variantProxy = variants[variantKey]!._internal.createProxy(env, operationPath) as InferProxy<TVariants[typeof variantKey]>;\n          return handler(variantProxy);\n        },\n        toSnapshot: (): MaybeUndefined<InferUnionSnapshot<TVariants>, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as InferUnionState<TVariants> | undefined;\n          const effectiveState = state ?? defaultValue;\n          if (!effectiveState) {\n            return undefined as MaybeUndefined<InferUnionSnapshot<TVariants>, TRequired, THasDefault>;\n          }\n          \n          const variantKey = this._findVariantKey(effectiveState);\n          if (!variantKey) {\n            return undefined as MaybeUndefined<InferUnionSnapshot<TVariants>, TRequired, THasDefault>;\n          }\n          \n          const variantPrimitive = variants[variantKey]!;\n          const variantProxy = variantPrimitive._internal.createProxy(env, operationPath);\n          return (variantProxy as unknown as { toSnapshot(): InferUnionSnapshot<TVariants> }).toSnapshot() as MaybeUndefined<InferUnionSnapshot<TVariants>, TRequired, THasDefault>;\n        },\n      };\n    },\n\n    applyOperation: (\n      state: InferUnionState<TVariants> | undefined,\n      operation: Operation.Operation<any, any, any>\n    ): InferUnionState<TVariants> => {\n      const path = operation.path;\n      const tokens = path.toTokens().filter((t: string) => t !== \"\");\n\n      // If path is empty, this is a union-level operation\n      if (tokens.length === 0) {\n        if (operation.kind !== \"union.set\") {\n          throw new ValidationError(`UnionPrimitive root cannot apply operation of kind: ${operation.kind}`);\n        }\n\n        const payload = operation.payload;\n        if (typeof payload !== \"object\" || payload === null) {\n          throw new ValidationError(`UnionPrimitive.set requires an object payload`);\n        }\n\n        // Validate that the discriminator field exists and matches a variant\n        const discriminatorValue = (payload as Record<string, unknown>)[this._schema.discriminator];\n        if (discriminatorValue === undefined) {\n          throw new ValidationError(`UnionPrimitive.set requires a \"${this._schema.discriminator}\" discriminator field`);\n        }\n\n        return payload as InferUnionState<TVariants>;\n      }\n\n      // Otherwise, delegate to the active variant\n      // We need to determine which variant is active based on current state\n      if (state === undefined) {\n        throw new ValidationError(`Cannot apply nested operation to undefined union state`);\n      }\n\n      const variantKey = this._findVariantKey(state);\n      if (variantKey === undefined) {\n        throw new ValidationError(`Cannot determine active variant from state`);\n      }\n\n      const variantPrimitive = this._schema.variants[variantKey]!;\n      const newState = variantPrimitive._internal.applyOperation(\n        state as InferState<typeof variantPrimitive>,\n        operation\n      );\n\n      return newState as InferUnionState<TVariants>;\n    },\n\n    getInitialState: (): InferUnionState<TVariants> | undefined => {\n      return this._schema.defaultValue;\n    },\n\n    transformOperation: (\n      clientOp: Operation.Operation<any, any, any>,\n      serverOp: Operation.Operation<any, any, any>\n    ): Transform.TransformResult => {\n      const clientPath = clientOp.path;\n      const serverPath = serverOp.path;\n\n      // If paths don't overlap at all, no transformation needed\n      if (!OperationPath.pathsOverlap(clientPath, serverPath)) {\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      const clientTokens = clientPath.toTokens().filter((t: string) => t !== \"\");\n      const serverTokens = serverPath.toTokens().filter((t: string) => t !== \"\");\n\n      // If both are at root level (union.set operations)\n      if (clientTokens.length === 0 && serverTokens.length === 0) {\n        // Client wins (last-write-wins)\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      // If server set entire union and client is updating a field\n      if (serverTokens.length === 0 && serverOp.kind === \"union.set\") {\n        // Client's field operation proceeds - optimistic update\n        // Server will validate/reject if needed\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      // If client set entire union and server is updating a field\n      if (clientTokens.length === 0 && clientOp.kind === \"union.set\") {\n        // Client's union.set supersedes server's field update\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      // Both operations target fields within the union\n      // Since union variants are struct primitives, delegate to the first variant\n      // that matches (they all should have the same field structure for the overlapping field)\n      if (clientTokens.length > 0 && serverTokens.length > 0) {\n        const clientField = clientTokens[0];\n        const serverField = serverTokens[0];\n\n        // Different fields - no conflict\n        if (clientField !== serverField) {\n          return { type: \"transformed\", operation: clientOp };\n        }\n\n        // Same field - delegate to a variant (use first variant as they share structure)\n        const variantKeys = Object.keys(this._schema.variants);\n        if (variantKeys.length === 0) {\n          return { type: \"transformed\", operation: clientOp };\n        }\n\n        const firstVariant = this._schema.variants[variantKeys[0]!]!;\n        const result = firstVariant._internal.transformOperation(clientOp, serverOp);\n\n        return result;\n      }\n\n      // Default: no transformation needed\n      return { type: \"transformed\", operation: clientOp };\n    },\n  };\n}\n\n/** Options for creating a Union primitive */\nexport interface UnionOptions<TVariants extends UnionVariants, TDiscriminator extends string> {\n  /** The field name used to discriminate between variants (defaults to \"type\") */\n  readonly discriminator?: TDiscriminator;\n  /** The variant struct primitives */\n  readonly variants: TVariants;\n}\n\n/** Creates a new UnionPrimitive with the given variants */\nexport function Union<TVariants extends UnionVariants>(\n  options: UnionOptions<TVariants, \"type\">\n): UnionPrimitive<TVariants, \"type\", false, false>;\nexport function Union<TVariants extends UnionVariants, TDiscriminator extends string>(\n  options: UnionOptions<TVariants, TDiscriminator>\n): UnionPrimitive<TVariants, TDiscriminator, false, false>;\nexport function Union<TVariants extends UnionVariants, TDiscriminator extends string = \"type\">(\n  options: UnionOptions<TVariants, TDiscriminator>\n): UnionPrimitive<TVariants, TDiscriminator, false, false> {\n  const discriminator = (options.discriminator ?? \"type\") as TDiscriminator;\n  return new UnionPrimitive({\n    required: false,\n    defaultValue: undefined,\n    discriminator,\n    variants: options.variants,\n  });\n}\n\n"],"mappings":";;;;;;;;;;AAqEA,IAAa,iBAAb,MAAa,eAEb;CAqBE,YAAY,QAAyD;wBApB5D,QAAO;wBACP;wBACA;wBACA;wBACA;wBACA;wBACA;wBAEQ;wBAEA,kBAAiB,EAChC,KAAKA,KAAyB;GAC5B,MAAM;GACN,SAAS,OAAO;GAChB,QAAQ,OAAO;GACf,QAAQ,YAAY;GACpB,cAAc;GACf,CAAC,EACH;wBAkEQ,aAA0H;GACjI,cACE,KACA,kBACkE;IAClE,MAAM,WAAW,KAAK,QAAQ;IAC9B,MAAM,eAAe,KAAK,QAAQ;AAElC,WAAO;KACL,WAA+E;MAC7E,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,aAAQ,6CAAS;;KAEnB,MAAM,UAAoC;MAExC,MAAM,SAAS,KAAK,sBAAsB,MAA6C;AACvF,UAAI,aACFC,eAAyB,eAAe,KAAK,eAAe,KAAK,OAAO,CACzE;;KAEH,KAAgC,YAAyC;MACvE,MAAM,mBAAmB,SAAS;AAClC,UAAI,CAAC,iBACH,OAAM,IAAI,gBAAgB,oBAAoB,WAAW,OAAO,QAAQ,GAAG;AAE7E,aAAO,iBAAiB,UAAU,YAAY,KAAK,cAAc;;KAEnE,QAAY,aAAgG;MAC1G,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,UAAI,CAAC,MAAO,QAAO;MAEnB,MAAM,aAAa,KAAK,gBAAgB,MAAM;AAC9C,UAAI,CAAC,WAAY,QAAO;MAExB,MAAM,UAAU,SAAS;AACzB,UAAI,CAAC,QAAS,QAAO;AAGrB,aAAO,QADc,SAAS,YAAa,UAAU,YAAY,KAAK,cAAc,CACxD;;KAE9B,kBAAyF;MACvF,MAAM,QAAQ,IAAI,SAAS,cAAc;MACzC,MAAM,iBAAiB,6CAAS;AAChC,UAAI,CAAC,eACH;MAGF,MAAM,aAAa,KAAK,gBAAgB,eAAe;AACvD,UAAI,CAAC,WACH;AAKF,aAFyB,SAAS,YACI,UAAU,YAAY,KAAK,cAAc,CACK,YAAY;;KAEnG;;GAGH,iBACE,OACA,cAC+B;AAK/B,QAJa,UAAU,KACH,UAAU,CAAC,QAAQ,MAAc,MAAM,GAAG,CAGnD,WAAW,GAAG;AACvB,SAAI,UAAU,SAAS,YACrB,OAAM,IAAI,gBAAgB,uDAAuD,UAAU,OAAO;KAGpG,MAAM,UAAU,UAAU;AAC1B,SAAI,OAAO,YAAY,YAAY,YAAY,KAC7C,OAAM,IAAI,gBAAgB,gDAAgD;AAK5E,SAD4B,QAAoC,KAAK,QAAQ,mBAClD,OACzB,OAAM,IAAI,gBAAgB,kCAAkC,KAAK,QAAQ,cAAc,uBAAuB;AAGhH,YAAO;;AAKT,QAAI,UAAU,OACZ,OAAM,IAAI,gBAAgB,yDAAyD;IAGrF,MAAM,aAAa,KAAK,gBAAgB,MAAM;AAC9C,QAAI,eAAe,OACjB,OAAM,IAAI,gBAAgB,6CAA6C;AASzE,WANyB,KAAK,QAAQ,SAAS,YACb,UAAU,eAC1C,OACA,UACD;;GAKH,uBAA+D;AAC7D,WAAO,KAAK,QAAQ;;GAGtB,qBACE,UACA,aAC8B;IAC9B,MAAM,aAAa,SAAS;IAC5B,MAAM,aAAa,SAAS;AAG5B,QAAI,CAACC,aAA2B,YAAY,WAAW,CACrD,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;IAGrD,MAAM,eAAe,WAAW,UAAU,CAAC,QAAQ,MAAc,MAAM,GAAG;IAC1E,MAAM,eAAe,WAAW,UAAU,CAAC,QAAQ,MAAc,MAAM,GAAG;AAG1E,QAAI,aAAa,WAAW,KAAK,aAAa,WAAW,EAEvD,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;AAIrD,QAAI,aAAa,WAAW,KAAK,SAAS,SAAS,YAGjD,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;AAIrD,QAAI,aAAa,WAAW,KAAK,SAAS,SAAS,YAEjD,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;AAMrD,QAAI,aAAa,SAAS,KAAK,aAAa,SAAS,GAAG;AAKtD,SAJoB,aAAa,OACb,aAAa,GAI/B,QAAO;MAAE,MAAM;MAAe,WAAW;MAAU;KAIrD,MAAM,cAAc,OAAO,KAAK,KAAK,QAAQ,SAAS;AACtD,SAAI,YAAY,WAAW,EACzB,QAAO;MAAE,MAAM;MAAe,WAAW;MAAU;AAMrD,YAHqB,KAAK,QAAQ,SAAS,YAAY,IAC3B,UAAU,mBAAmB,UAAU,SAAS;;AAM9E,WAAO;KAAE,MAAM;KAAe,WAAW;KAAU;;GAEtD;AA1OC,OAAK,UAAU;;;CAIjB,WAAyE;AACvE,SAAO,IAAI,iDACN,KAAK,gBACR,UAAU,QACV;;;CAIJ,QAAQ,cAA+F;EAErG,MAAM,SAAS,KAAK,sBAAsB,aAAoD;AAC9F,SAAO,IAAI,iDACN,KAAK,gBACR,cAAc,UACd;;;CAIJ,IAAI,gBAAgC;AAClC,SAAO,KAAK,QAAQ;;;CAItB,IAAI,WAAsB;AACxB,SAAO,KAAK,QAAQ;;;CAItB,AAAQ,gBAAgB,OAAgE;AACtF,MAAI,OAAO,UAAU,YAAY,UAAU,KACzC;EAEF,MAAM,qBAAsB,MAAkC,KAAK,QAAQ;AAG3E,OAAK,MAAM,OAAO,KAAK,QAAQ,UAAU;GAEvC,MAAM,qBADU,KAAK,QAAQ,SAAS,KACH,OAAO,KAAK,QAAQ;AACvD,OAAI,sBAAsB,mBAAmB,SAAS,oBAEpD;QADyB,mBACJ,YAAY,mBAC/B,QAAO;;;;;CAQf,AAAQ,sBAAsB,OAAwE;EACpG,MAAM,aAAa,KAAK,gBAAgB,MAAoC;AAC5E,MAAI,CAAC,WACH,QAAO;EAGT,MAAM,mBAAmB,KAAK,QAAQ,SAAS;AAC/C,SAAO,cAAc,kBAAkC,MAAM;;;AAgMjE,SAAgB,MACd,SACyD;;AAEzD,QAAO,IAAI,eAAe;EACxB,UAAU;EACV,cAAc;EACd,wCAJqB,QAAQ,sFAAiB;EAK9C,UAAU,QAAQ;EACnB,CAAC"}
+{"version":3,"file":"Union.mjs","names":["OperationDefinition.make","Operation.fromDefinition","OperationPath.pathsOverlap"],"sources":["../../src/primitives/Union.ts"],"sourcesContent":["import { Effect, Schema } from \"effect\";\nimport * as OperationDefinition from \"../OperationDefinition\";\nimport * as Operation from \"../Operation\";\nimport * as OperationPath from \"../OperationPath\";\nimport * as ProxyEnvironment from \"../ProxyEnvironment\";\nimport * as Transform from \"../Transform\";\nimport type { Primitive, PrimitiveInternal, MaybeUndefined, AnyPrimitive, InferState, InferProxy, InferSnapshot, InferSetInput } from \"../Primitive\";\nimport { ValidationError } from \"../Primitive\";\nimport { LiteralPrimitive } from \"./Literal\";\nimport { StructPrimitive, InferStructState } from \"./Struct\";\nimport { runValidators, applyDefaults } from \"./shared\";\n\n\n/**\n * Type constraint for union variants - must be struct primitives\n */\nexport type UnionVariants = Record<string, StructPrimitive<any, any, any>>;\n\n/**\n * Infer the union state type from variants\n */\nexport type InferUnionState<TVariants extends UnionVariants> = {\n  [K in keyof TVariants]: InferState<TVariants[K]>;\n}[keyof TVariants];\n\n/**\n * Infer the union snapshot type from variants\n */\nexport type InferUnionSnapshot<TVariants extends UnionVariants> = {\n  [K in keyof TVariants]: InferSnapshot<TVariants[K]>;\n}[keyof TVariants];\n\n/**\n * Compute the input type for union.set() operations.\n * Uses each variant's TSetInput type.\n */\nexport type UnionSetInput<TVariants extends UnionVariants> = {\n  [K in keyof TVariants]: InferSetInput<TVariants[K]>;\n}[keyof TVariants];\n\n/**\n * Proxy for accessing union variants\n */\nexport interface UnionProxy<TVariants extends UnionVariants, _TDiscriminator extends string, TRequired extends boolean = false, THasDefault extends boolean = false> {\n  /** Gets the current union value */\n  get(): MaybeUndefined<InferUnionState<TVariants>, TRequired, THasDefault>;\n  \n  /** Sets the entire union value (applies defaults for variant fields) */\n  set(value: UnionSetInput<TVariants>): void;\n  \n  /** Access a specific variant's proxy (assumes the variant is active) */\n  as<K extends keyof TVariants>(variant: K): InferProxy<TVariants[K]>;\n  \n  /** Pattern match on the variant type */\n  match<R>(handlers: {\n    [K in keyof TVariants]: (proxy: InferProxy<TVariants[K]>) => R;\n  }): R | undefined;\n  \n  /** Returns a readonly snapshot of the union for rendering */\n  toSnapshot(): MaybeUndefined<InferUnionSnapshot<TVariants>, TRequired, THasDefault>;\n}\n\ninterface UnionPrimitiveSchema<TVariants extends UnionVariants, TDiscriminator extends string> {\n  readonly required: boolean;\n  readonly defaultValue: InferUnionState<TVariants> | undefined;\n  readonly discriminator: TDiscriminator;\n  readonly variants: TVariants;\n}\n\nexport class UnionPrimitive<TVariants extends UnionVariants, TDiscriminator extends string = \"type\", TRequired extends boolean = false, THasDefault extends boolean = false>\n  implements Primitive<InferUnionState<TVariants>, UnionProxy<TVariants, TDiscriminator, TRequired, THasDefault>, TRequired, THasDefault, UnionSetInput<TVariants>, UnionSetInput<TVariants>>\n{\n  readonly _tag = \"UnionPrimitive\" as const;\n  readonly _State!: InferUnionState<TVariants>;\n  readonly _Proxy!: UnionProxy<TVariants, TDiscriminator, TRequired, THasDefault>;\n  readonly _TRequired!: TRequired;\n  readonly _THasDefault!: THasDefault;\n  readonly TSetInput!: UnionSetInput<TVariants>;\n  readonly TUpdateInput!: UnionSetInput<TVariants>;\n\n  private readonly _schema: UnionPrimitiveSchema<TVariants, TDiscriminator>;\n\n  private readonly _opDefinitions = {\n    set: OperationDefinition.make({\n      kind: \"union.set\" as const,\n      payload: Schema.Unknown,\n      target: Schema.Unknown,\n      apply: (payload) => payload,\n      deduplicable: true,\n    }),\n  };\n\n  constructor(schema: UnionPrimitiveSchema<TVariants, TDiscriminator>) {\n    this._schema = schema;\n  }\n\n  /** Mark this union as required */\n  required(): UnionPrimitive<TVariants, TDiscriminator, true, THasDefault> {\n    return new UnionPrimitive({\n      ...this._schema,\n      required: true,\n    });\n  }\n\n  /** Set a default value for this union */\n  default(defaultValue: UnionSetInput<TVariants>): UnionPrimitive<TVariants, TDiscriminator, true, true> {\n    // Apply defaults to the variant\n    const merged = this._applyVariantDefaults(defaultValue as Partial<InferUnionState<TVariants>>);\n    return new UnionPrimitive({\n      ...this._schema,\n      defaultValue: merged,\n    });\n  }\n\n  /** Get the discriminator field name */\n  get discriminator(): TDiscriminator {\n    return this._schema.discriminator;\n  }\n\n  /** Get the variants */\n  get variants(): TVariants {\n    return this._schema.variants;\n  }\n\n  /** Find the variant key from a state value */\n  private _findVariantKey(state: InferUnionState<TVariants>): keyof TVariants | undefined {\n    if (typeof state !== \"object\" || state === null) {\n      return undefined;\n    }\n    const discriminatorValue = (state as Record<string, unknown>)[this._schema.discriminator];\n    \n    // Find the variant that matches this discriminator value\n    for (const key in this._schema.variants) {\n      const variant = this._schema.variants[key]!;\n      const discriminatorField = variant.fields[this._schema.discriminator];\n      if (discriminatorField && discriminatorField._tag === \"LiteralPrimitive\") {\n        const literalPrimitive = discriminatorField as LiteralPrimitive<any, any, any>;\n        if (literalPrimitive.literal === discriminatorValue) {\n          return key;\n        }\n      }\n    }\n    return undefined;\n  }\n\n  /** Apply defaults to a variant value based on the discriminator */\n  private _applyVariantDefaults(value: Partial<InferUnionState<TVariants>>): InferUnionState<TVariants> {\n    const variantKey = this._findVariantKey(value as InferUnionState<TVariants>);\n    if (!variantKey) {\n      return value as InferUnionState<TVariants>;\n    }\n    \n    const variantPrimitive = this._schema.variants[variantKey]!;\n    return applyDefaults(variantPrimitive as AnyPrimitive, value) as InferUnionState<TVariants>;\n  }\n\n  readonly _internal: PrimitiveInternal<InferUnionState<TVariants>, UnionProxy<TVariants, TDiscriminator, TRequired, THasDefault>> = {\n    createProxy: (\n      env: ProxyEnvironment.ProxyEnvironment,\n      operationPath: OperationPath.OperationPath\n    ): UnionProxy<TVariants, TDiscriminator, TRequired, THasDefault> => {\n      const variants = this._schema.variants;\n      const defaultValue = this._schema.defaultValue;\n\n      return {\n        get: (): MaybeUndefined<InferUnionState<TVariants>, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as InferUnionState<TVariants> | undefined;\n          return (state ?? defaultValue) as MaybeUndefined<InferUnionState<TVariants>, TRequired, THasDefault>;\n        },\n        set: (value: UnionSetInput<TVariants>) => {\n          // Apply defaults for the variant\n          const merged = this._applyVariantDefaults(value as Partial<InferUnionState<TVariants>>);\n          env.addOperation(\n            Operation.fromDefinition(operationPath, this._opDefinitions.set as any, merged)\n          );\n        },\n        as: <K extends keyof TVariants>(variant: K): InferProxy<TVariants[K]> => {\n          const variantPrimitive = variants[variant];\n          if (!variantPrimitive) {\n            throw new ValidationError(`Unknown variant: ${globalThis.String(variant)}`);\n          }\n          return variantPrimitive._internal.createProxy(env, operationPath) as InferProxy<TVariants[K]>;\n        },\n        match: <R,>(handlers: { [K in keyof TVariants]: (proxy: InferProxy<TVariants[K]>) => R }): R | undefined => {\n          const state = env.getState(operationPath) as InferUnionState<TVariants> | undefined;\n          if (!state) return undefined;\n          \n          const variantKey = this._findVariantKey(state);\n          if (!variantKey) return undefined;\n          \n          const handler = handlers[variantKey];\n          if (!handler) return undefined;\n          \n          const variantProxy = variants[variantKey]!._internal.createProxy(env, operationPath) as InferProxy<TVariants[typeof variantKey]>;\n          return handler(variantProxy);\n        },\n        toSnapshot: (): MaybeUndefined<InferUnionSnapshot<TVariants>, TRequired, THasDefault> => {\n          const state = env.getState(operationPath) as InferUnionState<TVariants> | undefined;\n          const effectiveState = state ?? defaultValue;\n          if (!effectiveState) {\n            return undefined as MaybeUndefined<InferUnionSnapshot<TVariants>, TRequired, THasDefault>;\n          }\n          \n          const variantKey = this._findVariantKey(effectiveState);\n          if (!variantKey) {\n            return undefined as MaybeUndefined<InferUnionSnapshot<TVariants>, TRequired, THasDefault>;\n          }\n          \n          const variantPrimitive = variants[variantKey]!;\n          const variantProxy = variantPrimitive._internal.createProxy(env, operationPath);\n          return (variantProxy as unknown as { toSnapshot(): InferUnionSnapshot<TVariants> }).toSnapshot() as MaybeUndefined<InferUnionSnapshot<TVariants>, TRequired, THasDefault>;\n        },\n      };\n    },\n\n    applyOperation: (\n      state: InferUnionState<TVariants> | undefined,\n      operation: Operation.Operation<any, any, any>\n    ): InferUnionState<TVariants> => {\n      const path = operation.path;\n      const tokens = path.toTokens().filter((t: string) => t !== \"\");\n\n      // If path is empty, this is a union-level operation\n      if (tokens.length === 0) {\n        if (operation.kind !== \"union.set\") {\n          throw new ValidationError(`UnionPrimitive root cannot apply operation of kind: ${operation.kind}`);\n        }\n\n        const payload = operation.payload;\n        if (typeof payload !== \"object\" || payload === null) {\n          throw new ValidationError(`UnionPrimitive.set requires an object payload`);\n        }\n\n        // Validate that the discriminator field exists and matches a variant\n        const discriminatorValue = (payload as Record<string, unknown>)[this._schema.discriminator];\n        if (discriminatorValue === undefined) {\n          throw new ValidationError(`UnionPrimitive.set requires a \"${this._schema.discriminator}\" discriminator field`);\n        }\n\n        return payload as InferUnionState<TVariants>;\n      }\n\n      // Otherwise, delegate to the active variant\n      // We need to determine which variant is active based on current state\n      if (state === undefined) {\n        throw new ValidationError(`Cannot apply nested operation to undefined union state`);\n      }\n\n      const variantKey = this._findVariantKey(state);\n      if (variantKey === undefined) {\n        throw new ValidationError(`Cannot determine active variant from state`);\n      }\n\n      const variantPrimitive = this._schema.variants[variantKey]!;\n      const newState = variantPrimitive._internal.applyOperation(\n        state as InferState<typeof variantPrimitive>,\n        operation\n      );\n\n      return newState as InferUnionState<TVariants>;\n    },\n\n    getInitialState: (): InferUnionState<TVariants> | undefined => {\n      return this._schema.defaultValue;\n    },\n\n    transformOperation: (\n      clientOp: Operation.Operation<any, any, any>,\n      serverOp: Operation.Operation<any, any, any>\n    ): Transform.TransformResult => {\n      const clientPath = clientOp.path;\n      const serverPath = serverOp.path;\n\n      // If paths don't overlap at all, no transformation needed\n      if (!OperationPath.pathsOverlap(clientPath, serverPath)) {\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      const clientTokens = clientPath.toTokens().filter((t: string) => t !== \"\");\n      const serverTokens = serverPath.toTokens().filter((t: string) => t !== \"\");\n\n      // If both are at root level (union.set operations)\n      if (clientTokens.length === 0 && serverTokens.length === 0) {\n        // Client wins (last-write-wins)\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      // If server set entire union and client is updating a field\n      if (serverTokens.length === 0 && serverOp.kind === \"union.set\") {\n        // Client's field operation proceeds - optimistic update\n        // Server will validate/reject if needed\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      // If client set entire union and server is updating a field\n      if (clientTokens.length === 0 && clientOp.kind === \"union.set\") {\n        // Client's union.set supersedes server's field update\n        return { type: \"transformed\", operation: clientOp };\n      }\n\n      // Both operations target fields within the union\n      // Since union variants are struct primitives, delegate to the first variant\n      // that matches (they all should have the same field structure for the overlapping field)\n      if (clientTokens.length > 0 && serverTokens.length > 0) {\n        const clientField = clientTokens[0];\n        const serverField = serverTokens[0];\n\n        // Different fields - no conflict\n        if (clientField !== serverField) {\n          return { type: \"transformed\", operation: clientOp };\n        }\n\n        // Same field - delegate to a variant (use first variant as they share structure)\n        const variantKeys = Object.keys(this._schema.variants);\n        if (variantKeys.length === 0) {\n          return { type: \"transformed\", operation: clientOp };\n        }\n\n        const firstVariant = this._schema.variants[variantKeys[0]!]!;\n        const result = firstVariant._internal.transformOperation(clientOp, serverOp);\n\n        return result;\n      }\n\n      // Default: no transformation needed\n      return { type: \"transformed\", operation: clientOp };\n    },\n  };\n}\n\n/** Options for creating a Union primitive */\nexport interface UnionOptions<TVariants extends UnionVariants, TDiscriminator extends string> {\n  /** The field name used to discriminate between variants (defaults to \"type\") */\n  readonly discriminator?: TDiscriminator;\n  /** The variant struct primitives */\n  readonly variants: TVariants;\n}\n\n/** Creates a new UnionPrimitive with the given variants */\nexport function Union<TVariants extends UnionVariants>(\n  options: UnionOptions<TVariants, \"type\">\n): UnionPrimitive<TVariants, \"type\", false, false>;\nexport function Union<TVariants extends UnionVariants, TDiscriminator extends string>(\n  options: UnionOptions<TVariants, TDiscriminator>\n): UnionPrimitive<TVariants, TDiscriminator, false, false>;\nexport function Union<TVariants extends UnionVariants, TDiscriminator extends string = \"type\">(\n  options: UnionOptions<TVariants, TDiscriminator>\n): UnionPrimitive<TVariants, TDiscriminator, false, false> {\n  const discriminator = (options.discriminator ?? \"type\") as TDiscriminator;\n  return new UnionPrimitive({\n    required: false,\n    defaultValue: undefined,\n    discriminator,\n    variants: options.variants,\n  });\n}\n\n"],"mappings":";;;;;;;;;;AAqEA,IAAa,iBAAb,MAAa,eAEb;CAqBE,YAAY,QAAyD;wBApB5D,QAAO;wBACP;wBACA;wBACA;wBACA;wBACA;wBACA;wBAEQ;wBAEA,kBAAiB,EAChC,KAAKA,KAAyB;GAC5B,MAAM;GACN,SAAS,OAAO;GAChB,QAAQ,OAAO;GACf,QAAQ,YAAY;GACpB,cAAc;GACf,CAAC,EACH;wBAkEQ,aAA0H;GACjI,cACE,KACA,kBACkE;IAClE,MAAM,WAAW,KAAK,QAAQ;IAC9B,MAAM,eAAe,KAAK,QAAQ;AAElC,WAAO;KACL,WAA+E;MAC7E,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,aAAQ,6CAAS;;KAEnB,MAAM,UAAoC;MAExC,MAAM,SAAS,KAAK,sBAAsB,MAA6C;AACvF,UAAI,aACFC,eAAyB,eAAe,KAAK,eAAe,KAAY,OAAO,CAChF;;KAEH,KAAgC,YAAyC;MACvE,MAAM,mBAAmB,SAAS;AAClC,UAAI,CAAC,iBACH,OAAM,IAAI,gBAAgB,oBAAoB,WAAW,OAAO,QAAQ,GAAG;AAE7E,aAAO,iBAAiB,UAAU,YAAY,KAAK,cAAc;;KAEnE,QAAY,aAAgG;MAC1G,MAAM,QAAQ,IAAI,SAAS,cAAc;AACzC,UAAI,CAAC,MAAO,QAAO;MAEnB,MAAM,aAAa,KAAK,gBAAgB,MAAM;AAC9C,UAAI,CAAC,WAAY,QAAO;MAExB,MAAM,UAAU,SAAS;AACzB,UAAI,CAAC,QAAS,QAAO;AAGrB,aAAO,QADc,SAAS,YAAa,UAAU,YAAY,KAAK,cAAc,CACxD;;KAE9B,kBAAyF;MACvF,MAAM,QAAQ,IAAI,SAAS,cAAc;MACzC,MAAM,iBAAiB,6CAAS;AAChC,UAAI,CAAC,eACH;MAGF,MAAM,aAAa,KAAK,gBAAgB,eAAe;AACvD,UAAI,CAAC,WACH;AAKF,aAFyB,SAAS,YACI,UAAU,YAAY,KAAK,cAAc,CACK,YAAY;;KAEnG;;GAGH,iBACE,OACA,cAC+B;AAK/B,QAJa,UAAU,KACH,UAAU,CAAC,QAAQ,MAAc,MAAM,GAAG,CAGnD,WAAW,GAAG;AACvB,SAAI,UAAU,SAAS,YACrB,OAAM,IAAI,gBAAgB,uDAAuD,UAAU,OAAO;KAGpG,MAAM,UAAU,UAAU;AAC1B,SAAI,OAAO,YAAY,YAAY,YAAY,KAC7C,OAAM,IAAI,gBAAgB,gDAAgD;AAK5E,SAD4B,QAAoC,KAAK,QAAQ,mBAClD,OACzB,OAAM,IAAI,gBAAgB,kCAAkC,KAAK,QAAQ,cAAc,uBAAuB;AAGhH,YAAO;;AAKT,QAAI,UAAU,OACZ,OAAM,IAAI,gBAAgB,yDAAyD;IAGrF,MAAM,aAAa,KAAK,gBAAgB,MAAM;AAC9C,QAAI,eAAe,OACjB,OAAM,IAAI,gBAAgB,6CAA6C;AASzE,WANyB,KAAK,QAAQ,SAAS,YACb,UAAU,eAC1C,OACA,UACD;;GAKH,uBAA+D;AAC7D,WAAO,KAAK,QAAQ;;GAGtB,qBACE,UACA,aAC8B;IAC9B,MAAM,aAAa,SAAS;IAC5B,MAAM,aAAa,SAAS;AAG5B,QAAI,CAACC,aAA2B,YAAY,WAAW,CACrD,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;IAGrD,MAAM,eAAe,WAAW,UAAU,CAAC,QAAQ,MAAc,MAAM,GAAG;IAC1E,MAAM,eAAe,WAAW,UAAU,CAAC,QAAQ,MAAc,MAAM,GAAG;AAG1E,QAAI,aAAa,WAAW,KAAK,aAAa,WAAW,EAEvD,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;AAIrD,QAAI,aAAa,WAAW,KAAK,SAAS,SAAS,YAGjD,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;AAIrD,QAAI,aAAa,WAAW,KAAK,SAAS,SAAS,YAEjD,QAAO;KAAE,MAAM;KAAe,WAAW;KAAU;AAMrD,QAAI,aAAa,SAAS,KAAK,aAAa,SAAS,GAAG;AAKtD,SAJoB,aAAa,OACb,aAAa,GAI/B,QAAO;MAAE,MAAM;MAAe,WAAW;MAAU;KAIrD,MAAM,cAAc,OAAO,KAAK,KAAK,QAAQ,SAAS;AACtD,SAAI,YAAY,WAAW,EACzB,QAAO;MAAE,MAAM;MAAe,WAAW;MAAU;AAMrD,YAHqB,KAAK,QAAQ,SAAS,YAAY,IAC3B,UAAU,mBAAmB,UAAU,SAAS;;AAM9E,WAAO;KAAE,MAAM;KAAe,WAAW;KAAU;;GAEtD;AA1OC,OAAK,UAAU;;;CAIjB,WAAyE;AACvE,SAAO,IAAI,iDACN,KAAK,gBACR,UAAU,QACV;;;CAIJ,QAAQ,cAA+F;EAErG,MAAM,SAAS,KAAK,sBAAsB,aAAoD;AAC9F,SAAO,IAAI,iDACN,KAAK,gBACR,cAAc,UACd;;;CAIJ,IAAI,gBAAgC;AAClC,SAAO,KAAK,QAAQ;;;CAItB,IAAI,WAAsB;AACxB,SAAO,KAAK,QAAQ;;;CAItB,AAAQ,gBAAgB,OAAgE;AACtF,MAAI,OAAO,UAAU,YAAY,UAAU,KACzC;EAEF,MAAM,qBAAsB,MAAkC,KAAK,QAAQ;AAG3E,OAAK,MAAM,OAAO,KAAK,QAAQ,UAAU;GAEvC,MAAM,qBADU,KAAK,QAAQ,SAAS,KACH,OAAO,KAAK,QAAQ;AACvD,OAAI,sBAAsB,mBAAmB,SAAS,oBAEpD;QADyB,mBACJ,YAAY,mBAC/B,QAAO;;;;;CAQf,AAAQ,sBAAsB,OAAwE;EACpG,MAAM,aAAa,KAAK,gBAAgB,MAAoC;AAC5E,MAAI,CAAC,WACH,QAAO;EAGT,MAAM,mBAAmB,KAAK,QAAQ,SAAS;AAC/C,SAAO,cAAc,kBAAkC,MAAM;;;AAgMjE,SAAgB,MACd,SACyD;;AAEzD,QAAO,IAAI,eAAe;EACxB,UAAU;EACV,cAAc;EACd,wCAJqB,QAAQ,sFAAiB;EAK9C,UAAU,QAAQ;EACnB,CAAC"}

package/dist/primitives/shared.d.cts

@@ -123,6 +123,8 @@ declare class ValidationError extends Error {
 interface Validator<T> {
   readonly validate: (value: T) => boolean;
   readonly message: string;
+  readonly kind?: string;
+  readonly params?: unknown;
 }
 /**
  * Runs all validators against a value, throwing ValidationError if any fail.

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

@@ -1 +1 @@
-{"version":3,"file":"shared.d.cts","names":[],"sources":["../../src/primitives/shared.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AAmBA;;;;;;;AAMwB,UANP,SAMO,CAAA,MAAA,EAAA,MAAA,EAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,EAAA,YAAA,OAAA,EAAA,eAAA,OAAA,CAAA,CAAA;EACA,SAAA,IAAA,EAAA,MAAA;EACG,SAAA,MAAA,EANN,MAMM;EAAY,SAAA,MAAA,EALlB,MAKkB;EAMpB,SAAA,UAAA,EAVM,SAUW;EAEJ,SAAA,YAAA,EAXL,WAWK;EAAyC,SAAA,SAAA,EAVjD,iBAUiD,CAV/B,MAU+B,EAVvB,MAUuB,CAAA;EAAgC,SAAA,SAAA,EATjF,SASiF;EAEpE,SAAA,YAAA,EAVV,YAUU;;;;;AAqBrB,UAzBG,iBAyBH,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA;EACA;EACP,SAAA,WAAA,EAAA,CAAA,GAAA,EAzBuB,gBAyBvB,EAAA,IAAA,EAzBgE,aAyBhE,EAAA,GAzBgG,MAyBhG;EAAyB;EAMpB,SAAA,cAAY,EAAA,CAAA,KAAG,EA7BQ,MA6BC,GAAA,SAAA,EAAA,SAAA,EA7B8B,SA6B9B,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GA7BqE,MA6BrE;EAKxB;EAKA,SAAA,eAAU,EAAA,GAAM,GArCM,MAqCI,GAAS,SAAA;EAMnC;;;;;AASZ;;;EAEE,SAAA,sBAAA,CAAA,EAAA,CAAA,KAAA,EAAA,OAAA,EAAA,GA7CsD,MA6CtD;EAAC;AAQH;;;;;;;EAAiK,SAAA,kBAAA,EAAA,CAAA,QAAA,EA3CnJ,SA2CmJ,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,QAAA,EA1CnJ,SA0CmJ,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GAzC1J,eAyC0J;AAEjK;AAOA;;;AAAyI,KA5C7H,YAAA,GAAe,SA4C8G,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA;;;;AAAkB,KAvC/I,UAuC+I,CAAA,CAAA,CAAA,GAvC/H,CAuC+H,SAvCrH,SAuCqH,CAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;AAM3J;AAOA;AAKY,KApDA,UAoDS,CAAA,CAAA,CAAA,GApDO,CAoDP,SApDiB,SAoDQ,CAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;AAM9C;AAOA;AAeA;AASF;AAoBgB,KAvGF,aAuGE,CAAA,CAAA,CAAA,GAtGZ,CAsGoC,SAtG1B,SAsGsC,CAAA,GAAA,EAAA,GAAY,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GArG5D,CAqG4D,SAAA;EAmBhD,SAAA,EAAA,KAAA,EAAA;CAAiC,GAAA,CAAA,GAAA,KAAA;;;;AAqBjD;AAAwC,KAtI1B,gBAsI0B,CAAA,CAAA,CAAA,GArIpC,CAqIoC,SArI1B,SAqI0B,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,CAAA,GAAA,CAAA,GApIpC,CAoIoC,SAAA;EAC3B,YAAA,EAAA,KAAA,EAAA;CACe,GAAA,CAAA,GAAA,KAAA;;;;;;KA9Hd,4EAA4E,0BAA0B,4BAA4B,SAAS,KAAK,IAAI;KAEpJ,cAAc;;;;;;KAOd,wEAAwE,yBAAyB,4BAA4B,IAAI,SAAS,KAAK,SAAS;;;;;KAMxJ,mBAAmB,UAAU;;;;;;KAO7B,gBAAgB,UAAU;;;;KAK1B,eAAe,UAAU;;;;;KAMzB,gBAAgB,UAAU;cAOzB,eAAA,SAAwB,KAAA;;;;;;;UAepB;6BACY;;;;;;iBAQf,wBAAwB;oBAA4C;;;iBAoBpE,wBAAA,YAAoC;;;;;;;iBAmBpC,qBAAA,YAAiC,gDAA0D,eAAe;;;;;;;;;;;;;iBAqB1G,wBAAwB,yBAC3B,UACJ,QAAQ,WAAW,MACzB,WAAW"}
+{"version":3,"file":"shared.d.cts","names":[],"sources":["../../src/primitives/shared.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AAmBA;;;;;;;AAMwB,UANP,SAMO,CAAA,MAAA,EAAA,MAAA,EAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,EAAA,YAAA,OAAA,EAAA,eAAA,OAAA,CAAA,CAAA;EACA,SAAA,IAAA,EAAA,MAAA;EACG,SAAA,MAAA,EANN,MAMM;EAAY,SAAA,MAAA,EALlB,MAKkB;EAMpB,SAAA,UAAA,EAVM,SAUW;EAEJ,SAAA,YAAA,EAXL,WAWK;EAAyC,SAAA,SAAA,EAVjD,iBAUiD,CAV/B,MAU+B,EAVvB,MAUuB,CAAA;EAAgC,SAAA,SAAA,EATjF,SASiF;EAEpE,SAAA,YAAA,EAVV,YAUU;;;;;AAqBrB,UAzBG,iBAyBH,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA;EACA;EACP,SAAA,WAAA,EAAA,CAAA,GAAA,EAzBuB,gBAyBvB,EAAA,IAAA,EAzBgE,aAyBhE,EAAA,GAzBgG,MAyBhG;EAAyB;EAMpB,SAAA,cAAY,EAAA,CAAA,KAAG,EA7BQ,MA6BC,GAAA,SAAA,EAAA,SAAA,EA7B8B,SA6B9B,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GA7BqE,MA6BrE;EAKxB;EAKA,SAAA,eAAU,EAAA,GAAM,GArCM,MAqCI,GAAS,SAAA;EAMnC;;;;;AASZ;;;EAEE,SAAA,sBAAA,CAAA,EAAA,CAAA,KAAA,EAAA,OAAA,EAAA,GA7CsD,MA6CtD;EAAC;AAQH;;;;;;;EAAiK,SAAA,kBAAA,EAAA,CAAA,QAAA,EA3CnJ,SA2CmJ,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,QAAA,EA1CnJ,SA0CmJ,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GAzC1J,eAyC0J;AAEjK;AAOA;;;AAAyI,KA5C7H,YAAA,GAAe,SA4C8G,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA;;;;AAAkB,KAvC/I,UAuC+I,CAAA,CAAA,CAAA,GAvC/H,CAuC+H,SAvCrH,SAuCqH,CAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;AAM3J;AAOA;AAKY,KApDA,UAoDS,CAAA,CAAA,CAAA,GApDO,CAoDP,SApDiB,SAoDQ,CAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;AAM9C;AAOA;AAeA;AAWF;AAoBgB,KAzGF,aAyGE,CAAA,CAAA,CAAA,GAxGZ,CAwGoC,SAxG1B,SAwGsC,CAAA,GAAA,EAAA,GAAY,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAvG5D,CAuG4D,SAAA;EAmBhD,SAAA,EAAA,KAAA,EAAA;CAAiC,GAAA,CAAA,GAAA,KAAA;;;;AAqBjD;AAAwC,KAxI1B,gBAwI0B,CAAA,CAAA,CAAA,GAvIpC,CAuIoC,SAvI1B,SAuI0B,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,CAAA,GAAA,CAAA,GAtIpC,CAsIoC,SAAA;EAC3B,YAAA,EAAA,KAAA,EAAA;CACe,GAAA,CAAA,GAAA,KAAA;;;;;;KAhId,4EAA4E,0BAA0B,4BAA4B,SAAS,KAAK,IAAI;KAEpJ,cAAc;;;;;;KAOd,wEAAwE,yBAAyB,4BAA4B,IAAI,SAAS,KAAK,SAAS;;;;;KAMxJ,mBAAmB,UAAU;;;;;;KAO7B,gBAAgB,UAAU;;;;KAK1B,eAAe,UAAU;;;;;KAMzB,gBAAgB,UAAU;cAOzB,eAAA,SAAwB,KAAA;;;;;;;UAepB;6BACY;;;;;;;;iBAUf,wBAAwB;oBAA4C;;;iBAoBpE,wBAAA,YAAoC;;;;;;;iBAmBpC,qBAAA,YAAiC,gDAA0D,eAAe;;;;;;;;;;;;;iBAqB1G,wBAAwB,yBAC3B,UACJ,QAAQ,WAAW,MACzB,WAAW"}

package/dist/primitives/shared.d.mts

@@ -123,6 +123,8 @@ declare class ValidationError extends Error {
 interface Validator<T> {
   readonly validate: (value: T) => boolean;
   readonly message: string;
+  readonly kind?: string;
+  readonly params?: unknown;
 }
 /**
  * Runs all validators against a value, throwing ValidationError if any fail.

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

@@ -1 +1 @@
-{"version":3,"file":"shared.d.mts","names":[],"sources":["../../src/primitives/shared.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AAmBA;;;;;;;AAMwB,UANP,SAMO,CAAA,MAAA,EAAA,MAAA,EAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,EAAA,YAAA,OAAA,EAAA,eAAA,OAAA,CAAA,CAAA;EACA,SAAA,IAAA,EAAA,MAAA;EACG,SAAA,MAAA,EANN,MAMM;EAAY,SAAA,MAAA,EALlB,MAKkB;EAMpB,SAAA,UAAA,EAVM,SAUW;EAEJ,SAAA,YAAA,EAXL,WAWK;EAAyC,SAAA,SAAA,EAVjD,iBAUiD,CAV/B,MAU+B,EAVvB,MAUuB,CAAA;EAAgC,SAAA,SAAA,EATjF,SASiF;EAEpE,SAAA,YAAA,EAVV,YAUU;;;;;AAqBrB,UAzBG,iBAyBH,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA;EACA;EACP,SAAA,WAAA,EAAA,CAAA,GAAA,EAzBuB,gBAyBvB,EAAA,IAAA,EAzBgE,aAyBhE,EAAA,GAzBgG,MAyBhG;EAAyB;EAMpB,SAAA,cAAY,EAAA,CAAA,KAAG,EA7BQ,MA6BC,GAAA,SAAA,EAAA,SAAA,EA7B8B,SA6B9B,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GA7BqE,MA6BrE;EAKxB;EAKA,SAAA,eAAU,EAAA,GAAM,GArCM,MAqCI,GAAS,SAAA;EAMnC;;;;;AASZ;;;EAEE,SAAA,sBAAA,CAAA,EAAA,CAAA,KAAA,EAAA,OAAA,EAAA,GA7CsD,MA6CtD;EAAC;AAQH;;;;;;;EAAiK,SAAA,kBAAA,EAAA,CAAA,QAAA,EA3CnJ,SA2CmJ,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,QAAA,EA1CnJ,SA0CmJ,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GAzC1J,eAyC0J;AAEjK;AAOA;;;AAAyI,KA5C7H,YAAA,GAAe,SA4C8G,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA;;;;AAAkB,KAvC/I,UAuC+I,CAAA,CAAA,CAAA,GAvC/H,CAuC+H,SAvCrH,SAuCqH,CAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;AAM3J;AAOA;AAKY,KApDA,UAoDS,CAAA,CAAA,CAAA,GApDO,CAoDP,SApDiB,SAoDQ,CAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;AAM9C;AAOA;AAeA;AASF;AAoBgB,KAvGF,aAuGE,CAAA,CAAA,CAAA,GAtGZ,CAsGoC,SAtG1B,SAsGsC,CAAA,GAAA,EAAA,GAAY,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GArG5D,CAqG4D,SAAA;EAmBhD,SAAA,EAAA,KAAA,EAAA;CAAiC,GAAA,CAAA,GAAA,KAAA;;;;AAqBjD;AAAwC,KAtI1B,gBAsI0B,CAAA,CAAA,CAAA,GArIpC,CAqIoC,SArI1B,SAqI0B,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,CAAA,GAAA,CAAA,GApIpC,CAoIoC,SAAA;EAC3B,YAAA,EAAA,KAAA,EAAA;CACe,GAAA,CAAA,GAAA,KAAA;;;;;;KA9Hd,4EAA4E,0BAA0B,4BAA4B,SAAS,KAAK,IAAI;KAEpJ,cAAc;;;;;;KAOd,wEAAwE,yBAAyB,4BAA4B,IAAI,SAAS,KAAK,SAAS;;;;;KAMxJ,mBAAmB,UAAU;;;;;;KAO7B,gBAAgB,UAAU;;;;KAK1B,eAAe,UAAU;;;;;KAMzB,gBAAgB,UAAU;cAOzB,eAAA,SAAwB,KAAA;;;;;;;UAepB;6BACY;;;;;;iBAQf,wBAAwB;oBAA4C;;;iBAoBpE,wBAAA,YAAoC;;;;;;;iBAmBpC,qBAAA,YAAiC,gDAA0D,eAAe;;;;;;;;;;;;;iBAqB1G,wBAAwB,yBAC3B,UACJ,QAAQ,WAAW,MACzB,WAAW"}
+{"version":3,"file":"shared.d.mts","names":[],"sources":["../../src/primitives/shared.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AAmBA;;;;;;;AAMwB,UANP,SAMO,CAAA,MAAA,EAAA,MAAA,EAAA,kBAAA,OAAA,GAAA,KAAA,EAAA,oBAAA,OAAA,GAAA,KAAA,EAAA,YAAA,OAAA,EAAA,eAAA,OAAA,CAAA,CAAA;EACA,SAAA,IAAA,EAAA,MAAA;EACG,SAAA,MAAA,EANN,MAMM;EAAY,SAAA,MAAA,EALlB,MAKkB;EAMpB,SAAA,UAAA,EAVM,SAUW;EAEJ,SAAA,YAAA,EAXL,WAWK;EAAyC,SAAA,SAAA,EAVjD,iBAUiD,CAV/B,MAU+B,EAVvB,MAUuB,CAAA;EAAgC,SAAA,SAAA,EATjF,SASiF;EAEpE,SAAA,YAAA,EAVV,YAUU;;;;;AAqBrB,UAzBG,iBAyBH,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA;EACA;EACP,SAAA,WAAA,EAAA,CAAA,GAAA,EAzBuB,gBAyBvB,EAAA,IAAA,EAzBgE,aAyBhE,EAAA,GAzBgG,MAyBhG;EAAyB;EAMpB,SAAA,cAAY,EAAA,CAAA,KAAG,EA7BQ,MA6BC,GAAA,SAAA,EAAA,SAAA,EA7B8B,SA6B9B,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GA7BqE,MA6BrE;EAKxB;EAKA,SAAA,eAAU,EAAA,GAAM,GArCM,MAqCI,GAAS,SAAA;EAMnC;;;;;AASZ;;;EAEE,SAAA,sBAAA,CAAA,EAAA,CAAA,KAAA,EAAA,OAAA,EAAA,GA7CsD,MA6CtD;EAAC;AAQH;;;;;;;EAAiK,SAAA,kBAAA,EAAA,CAAA,QAAA,EA3CnJ,SA2CmJ,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,QAAA,EA1CnJ,SA0CmJ,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,EAAA,GAzC1J,eAyC0J;AAEjK;AAOA;;;AAAyI,KA5C7H,YAAA,GAAe,SA4C8G,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA;;;;AAAkB,KAvC/I,UAuC+I,CAAA,CAAA,CAAA,GAvC/H,CAuC+H,SAvCrH,SAuCqH,CAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;AAM3J;AAOA;AAKY,KApDA,UAoDS,CAAA,CAAA,CAAA,GApDO,CAoDP,SApDiB,SAoDQ,CAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAAA,KAAA;AAM9C;AAOA;AAeA;AAWF;AAoBgB,KAzGF,aAyGE,CAAA,CAAA,CAAA,GAxGZ,CAwGoC,SAxG1B,SAwGsC,CAAA,GAAA,EAAA,GAAY,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GAvG5D,CAuG4D,SAAA;EAmBhD,SAAA,EAAA,KAAA,EAAA;CAAiC,GAAA,CAAA,GAAA,KAAA;;;;AAqBjD;AAAwC,KAxI1B,gBAwI0B,CAAA,CAAA,CAAA,GAvIpC,CAuIoC,SAvI1B,SAuI0B,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,GAAA,EAAA,KAAA,EAAA,CAAA,GAAA,CAAA,GAtIpC,CAsIoC,SAAA;EAC3B,YAAA,EAAA,KAAA,EAAA;CACe,GAAA,CAAA,GAAA,KAAA;;;;;;KAhId,4EAA4E,0BAA0B,4BAA4B,SAAS,KAAK,IAAI;KAEpJ,cAAc;;;;;;KAOd,wEAAwE,yBAAyB,4BAA4B,IAAI,SAAS,KAAK,SAAS;;;;;KAMxJ,mBAAmB,UAAU;;;;;;KAO7B,gBAAgB,UAAU;;;;KAK1B,eAAe,UAAU;;;;;KAMzB,gBAAgB,UAAU;cAOzB,eAAA,SAAwB,KAAA;;;;;;;UAepB;6BACY;;;;;;;;iBAUf,wBAAwB;oBAA4C;;;iBAoBpE,wBAAA,YAAoC;;;;;;;iBAmBpC,qBAAA,YAAiC,gDAA0D,eAAe;;;;;;;;;;;;;iBAqB1G,wBAAwB,yBAC3B,UACJ,QAAQ,WAAW,MACzB,WAAW"}

package/dist/primitives/shared.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"shared.mjs","names":["result: Record<string, unknown>","matchingVariantKey: string | undefined"],"sources":["../../src/primitives/shared.ts"],"sourcesContent":["import * as Operation from \"../Operation\";\nimport * as OperationDefinition from \"../OperationDefinition\";\nimport * as ProxyEnvironment from \"../ProxyEnvironment\";\nimport * as OperationPath from \"../OperationPath\";\nimport * as Transform from \"../Transform\";\n\n// =============================================================================\n// Primitive Interface & Type Utilities\n// =============================================================================\n\n/**\n * Base interface that all primitives must implement.\n * Provides type inference helpers and internal operations.\n * \n * @typeParam TState - The state type this primitive holds\n * @typeParam TProxy - The proxy type for interacting with this primitive\n * @typeParam TDefined - Whether the value is guaranteed to be defined (via required() or default())\n * @typeParam THasDefault - Whether this primitive has a default value\n */\nexport interface Primitive<TState, TProxy, TRequired extends boolean = false, THasDefault extends boolean = false, TSetInput = unknown, TUpdateInput = unknown> {\n    readonly _tag: string;\n    readonly _State: TState;\n    readonly _Proxy: TProxy;\n    readonly _TRequired: TRequired;\n    readonly _THasDefault: THasDefault;\n    readonly _internal: PrimitiveInternal<TState, TProxy>;\n    readonly TSetInput: TSetInput;\n    readonly TUpdateInput: TUpdateInput;\n  }\n  \n  /**\n   * Internal operations that each primitive must provide.\n   */\n  export interface PrimitiveInternal<TState, TProxy> {\n    /** Creates a proxy for generating operations */\n    readonly createProxy: (env: ProxyEnvironment.ProxyEnvironment, path: OperationPath.OperationPath) => TProxy;\n    /** Applies an operation to the current state, returning the new state */\n    readonly applyOperation: (state: TState | undefined, operation: Operation.Operation<any, any, any>) => TState;\n    /** Returns the initial/default state for this primitive */\n    readonly getInitialState: () => TState | undefined;\n    /**\n     * Converts a set input value to state format.\n     * For most primitives, this is a simple pass-through with defaults applied.\n     * For Tree primitives, this converts nested input to flat TreeState.\n     *\n     * @param input - The set input value\n     * @returns The corresponding state value\n     */\n    readonly convertSetInputToState?: (input: unknown) => TState;\n    /**\n     * Transforms a client operation against a server operation.\n     * Used for operational transformation (OT) conflict resolution.\n     *\n     * @param clientOp - The client's operation to transform\n     * @param serverOp - The server's operation that has already been applied\n     * @returns TransformResult indicating how the client operation should be handled\n     */\n    readonly transformOperation: (\n      clientOp: Operation.Operation<any, any, any>,\n      serverOp: Operation.Operation<any, any, any>\n    ) => Transform.TransformResult;\n  }\n  \n  /**\n   * Any primitive type - used for generic constraints.\n   */\n  export type AnyPrimitive = Primitive<any, any, any, any>;\n  \n  /**\n   * Infer the state type from a primitive.\n   */\n  export type InferState<T> = T extends Primitive<infer S, any, any, any> ? S : never;\n  \n  /**\n   * Infer the proxy type from a primitive.\n   */\n  export type InferProxy<T> = T extends Primitive<any, infer P, any, any> ? P : never;\n\n  /**\n   * Infer the SetInput type from a primitive.\n   * Works with both Primitive interface types and types with a TSetInput property (like TreeNodePrimitive).\n   */\n  export type InferSetInput<T> = \n    T extends Primitive<any, any, any, any, infer S, any> ? S : \n    T extends { TSetInput: infer S } ? S : \n    never;\n\n  /**\n   * Infer the UpdateInput type from a primitive.\n   * Works with both Primitive interface types and types with a TUpdateInput property (like TreeNodePrimitive).\n   */\n  export type InferUpdateInput<T> = \n    T extends Primitive<any, any, any, any, any, infer U> ? U : \n    T extends { TUpdateInput: infer U } ? U : \n    never;\n  \n  /**\n   * Helper type to conditionally add undefined based on TRequired and THasDefault.\n   * When TRequired is false and THasDefault is false, the value may be undefined.\n   * Otherwise, the value is guaranteed to be defined.\n   */\n  export type MaybeUndefined<T, TRequired extends boolean, THasDefault extends boolean> = TRequired extends false ? THasDefault extends false ? Optional<T> : T : T;\n\n  export type Optional<T> = T | undefined;\n\n  /**\n   * Helper type to conditionally add undefined based on TRequired and THasDefault.\n   * When TRequired is true and THasDefault is false, the value must be provided.\n   * Otherwise, the value may be undefined.\n   */\n  export type NeedsValue<T, TRequired extends boolean, THasDefault extends boolean> = TRequired extends true ? THasDefault extends false ? T : Optional<T> : Optional<T>;\n  \n  /**\n   * Infer the snapshot type from a primitive.\n   * The snapshot is a readonly, type-safe structure suitable for rendering.\n   */\n  export type InferSnapshot<T> = T extends Primitive<any, infer P, any, any>\n    ? P extends { toSnapshot(): infer S } ? S : never\n    : never;\n\n  /**\n   * Extract THasDefault from a primitive.\n   */\n  export type HasDefault<T> = T extends Primitive<any, any, any, infer H> ? H : false;\n\n  /**\n   * Extract TDefined from a primitive.\n   */\n  export type IsDefined<T> = T extends Primitive<any, any, infer D, any> ? D : false;\n\n  /**\n   * Infer whether a primitive is required.\n   * Alias for IsDefined for clarity.\n   */\n  export type IsRequired<T> = IsDefined<T>;\n\n\n  // =============================================================================\n  // Validation Errors\n  // =============================================================================\n  \n  export class ValidationError extends Error {\n    readonly _tag = \"ValidationError\";\n    constructor(message: string) {\n      super(message);\n      this.name = \"ValidationError\";\n    }\n  }\n  \n  // =============================================================================\n  // Validation Infrastructure\n  // =============================================================================\n  \n  /**\n   * A validator that checks a value and returns whether it's valid.\n   */\n  export interface Validator<T> {\n    readonly validate: (value: T) => boolean;\n    readonly message: string;\n  }\n  \n\n/**\n * Runs all validators against a value, throwing ValidationError if any fail.\n */\nexport function runValidators<T>(value: T, validators: readonly { validate: (value: T) => boolean; message: string }[]): void {\n  for (const validator of validators) {\n    if (!validator.validate(value)) {\n      throw new ValidationError(validator.message);\n    }\n  }\n}\n\n/**\n * Returns true if a primitive can represent null as a meaningful value.\n * This is used to avoid pruning explicit null values for null-capable scalar unions.\n */\ntype PrimitiveWithLiteral = AnyPrimitive & {\n  readonly _tag: \"LiteralPrimitive\";\n  readonly literal: unknown;\n};\n\nconst isLiteralPrimitive = (primitive: AnyPrimitive): primitive is PrimitiveWithLiteral =>\n  primitive._tag === \"LiteralPrimitive\" && \"literal\" in primitive;\n\nexport function primitiveAllowsNullValue(primitive: AnyPrimitive): boolean {\n  if (isLiteralPrimitive(primitive)) {\n    return primitive.literal === null;\n  }\n\n  if (primitive._tag === \"EitherPrimitive\") {\n    const variants = (primitive as { _schema?: { variants?: readonly AnyPrimitive[] } })._schema?.variants;\n    return Array.isArray(variants) && variants.some((variant) => primitiveAllowsNullValue(variant));\n  }\n\n  return false;\n}\n\n/**\n * Checks if an operation is compatible with the given operation definitions.\n * @param operation - The operation to check.\n * @param operationDefinitions - The operation definitions to check against.\n * @returns True if the operation is compatible, false otherwise.\n */\nexport function isCompatibleOperation(operation: Operation.Operation<any, any, any>, operationDefinitions: Record<string, OperationDefinition.OperationDefinition<any, any, any>>) {\n  const values = Object.values(operationDefinitions);\n  return values.some(value => value.kind === operation.kind);\n}\n\n// =============================================================================\n// Default Value Utilities\n// =============================================================================\n\n/**\n * Applies default values to a partial input, recursively handling nested structs and unions.\n * \n * Uses a two-layer approach:\n * 1. First, get the struct's initial state (which includes struct-level defaults)\n * 2. Then, layer the provided values on top\n * 3. Finally, ensure nested structs and unions are recursively processed\n * \n * @param primitive - The primitive definition containing field information\n * @param value - The partial value provided by the user\n * @returns The value with defaults applied for missing fields\n */\nexport function applyDefaults<T extends AnyPrimitive>(\n  primitive: T,\n  value: Partial<InferState<T>>\n): InferState<T> {\n  // Handle StructPrimitive\n  if (primitive._tag === \"StructPrimitive\") {\n    const structPrimitive = primitive as unknown as { \n      fields: Record<string, AnyPrimitive>;\n      _internal: { getInitialState: () => Record<string, unknown> | undefined };\n    };\n    \n    // Start with the struct's initial state (struct-level default or field defaults)\n    const structInitialState = structPrimitive._internal.getInitialState() ?? {};\n    \n    // Layer the provided values on top of initial state\n    const result: Record<string, unknown> = { ...structInitialState, ...value };\n    const inputObject =\n      typeof value === \"object\" && value !== null\n        ? (value as Record<string, unknown>)\n        : undefined;\n    \n    for (const key in structPrimitive.fields) {\n      const fieldPrimitive = structPrimitive.fields[key]!;\n      const hasExplicitKey = inputObject !== undefined && Object.prototype.hasOwnProperty.call(inputObject, key);\n      const explicitValue = hasExplicitKey ? inputObject[key] : undefined;\n      const fieldDefault = fieldPrimitive._internal.getInitialState();\n      const isRequiredWithoutDefault =\n        (fieldPrimitive as { _schema?: { required?: boolean } })._schema?.required === true &&\n        fieldDefault === undefined;\n\n      // Explicit undefined values always prune optional keys.\n      // Explicit null values prune optional keys unless null is a valid semantic value for this field.\n      // Required fields without defaults reject nullish values.\n      const shouldPruneExplicitNullish =\n        hasExplicitKey &&\n        (\n          explicitValue === undefined ||\n          (explicitValue === null && !primitiveAllowsNullValue(fieldPrimitive))\n        );\n      if (shouldPruneExplicitNullish) {\n        if (isRequiredWithoutDefault) {\n          throw new ValidationError(`Field \"${key}\" is required and cannot be null or undefined`);\n        }\n        delete result[key];\n        continue;\n      }\n      \n      if (!hasExplicitKey && result[key] === undefined) {\n        // Field still not provided after merging - try individual field default\n        if (fieldDefault !== undefined) {\n          result[key] = fieldDefault;\n        }\n      } else if (\n        hasExplicitKey &&\n        typeof explicitValue === \"object\" &&\n        explicitValue !== null\n      ) {\n        // Recursively apply defaults to nested structs and unions\n        if (fieldPrimitive._tag === \"StructPrimitive\" || fieldPrimitive._tag === \"UnionPrimitive\") {\n          result[key] = applyDefaults(fieldPrimitive, explicitValue as Partial<InferState<typeof fieldPrimitive>>);\n        }\n      }\n    }\n    \n    return result as InferState<T>;\n  }\n  \n  // Handle UnionPrimitive\n  if (primitive._tag === \"UnionPrimitive\") {\n    const unionPrimitive = primitive as unknown as {\n      _schema: {\n        discriminator: string;\n        variants: Record<string, AnyPrimitive>;\n      };\n    };\n    \n    // Validate that value is an object\n    if (typeof value !== \"object\" || value === null) {\n      return value as InferState<T>;\n    }\n    \n    const discriminator = unionPrimitive._schema.discriminator;\n    const discriminatorValue = (value as Record<string, unknown>)[discriminator];\n    \n    // Find the matching variant based on discriminator value\n    let matchingVariantKey: string | undefined;\n    for (const variantKey in unionPrimitive._schema.variants) {\n      const variant = unionPrimitive._schema.variants[variantKey]!;\n      // Variants are structs - check if the discriminator field's literal matches\n      if (variant._tag === \"StructPrimitive\") {\n        const variantStruct = variant as unknown as {\n          fields: Record<string, AnyPrimitive>;\n        };\n        const discriminatorField = variantStruct.fields[discriminator];\n        if (discriminatorField && discriminatorField._tag === \"LiteralPrimitive\") {\n          const literalPrimitive = discriminatorField as unknown as { literal: unknown };\n          if (literalPrimitive.literal === discriminatorValue) {\n            matchingVariantKey = variantKey;\n            break;\n          }\n        }\n      }\n    }\n    \n    if (!matchingVariantKey) {\n      // No matching variant found - return value as-is\n      return value as InferState<T>;\n    }\n    \n    // Apply defaults using the matching variant's struct\n    const variantPrimitive = unionPrimitive._schema.variants[matchingVariantKey]!;\n    return applyDefaults(variantPrimitive, value as Partial<InferState<typeof variantPrimitive>>) as InferState<T>;\n  }\n  \n  // For other primitives, return the value as-is\n  return value as InferState<T>;\n}\n"],"mappings":";;;;AA6IE,IAAa,kBAAb,cAAqC,MAAM;CAEzC,YAAY,SAAiB;AAC3B,QAAM,QAAQ;wBAFP,QAAO;AAGd,OAAK,OAAO;;;;;;AAoBlB,SAAgB,cAAiB,OAAU,YAAmF;AAC5H,MAAK,MAAM,aAAa,WACtB,KAAI,CAAC,UAAU,SAAS,MAAM,CAC5B,OAAM,IAAI,gBAAgB,UAAU,QAAQ;;AAclD,MAAM,sBAAsB,cAC1B,UAAU,SAAS,sBAAsB,aAAa;AAExD,SAAgB,yBAAyB,WAAkC;AACzE,KAAI,mBAAmB,UAAU,CAC/B,QAAO,UAAU,YAAY;AAG/B,KAAI,UAAU,SAAS,mBAAmB;;EACxC,MAAM,sBAAY,UAAmE,2DAAS;AAC9F,SAAO,MAAM,QAAQ,SAAS,IAAI,SAAS,MAAM,YAAY,yBAAyB,QAAQ,CAAC;;AAGjG,QAAO;;;;;;;;AAST,SAAgB,sBAAsB,WAA+C,sBAA8F;AAEjL,QADe,OAAO,OAAO,qBAAqB,CACpC,MAAK,UAAS,MAAM,SAAS,UAAU,KAAK;;;;;;;;;;;;;;AAmB5D,SAAgB,cACd,WACA,OACe;AAEf,KAAI,UAAU,SAAS,mBAAmB;;EACxC,MAAM,kBAAkB;EASxB,MAAMA,oEAHqB,gBAAgB,UAAU,iBAAiB,yEAAI,EAAE,GAGR;EACpE,MAAM,cACJ,OAAO,UAAU,YAAY,UAAU,OAClC,QACD;AAEN,OAAK,MAAM,OAAO,gBAAgB,QAAQ;;GACxC,MAAM,iBAAiB,gBAAgB,OAAO;GAC9C,MAAM,iBAAiB,gBAAgB,UAAa,OAAO,UAAU,eAAe,KAAK,aAAa,IAAI;GAC1G,MAAM,gBAAgB,iBAAiB,YAAY,OAAO;GAC1D,MAAM,eAAe,eAAe,UAAU,iBAAiB;GAC/D,MAAM,wCACH,eAAwD,6DAAS,cAAa,QAC/E,iBAAiB;AAWnB,OALE,mBAEE,kBAAkB,UACjB,kBAAkB,QAAQ,CAAC,yBAAyB,eAAe,GAExC;AAC9B,QAAI,yBACF,OAAM,IAAI,gBAAgB,UAAU,IAAI,+CAA+C;AAEzF,WAAO,OAAO;AACd;;AAGF,OAAI,CAAC,kBAAkB,OAAO,SAAS,QAErC;QAAI,iBAAiB,OACnB,QAAO,OAAO;cAGhB,kBACA,OAAO,kBAAkB,YACzB,kBAAkB,MAGlB;QAAI,eAAe,SAAS,qBAAqB,eAAe,SAAS,iBACvE,QAAO,OAAO,cAAc,gBAAgB,cAA4D;;;AAK9G,SAAO;;AAIT,KAAI,UAAU,SAAS,kBAAkB;EACvC,MAAM,iBAAiB;AAQvB,MAAI,OAAO,UAAU,YAAY,UAAU,KACzC,QAAO;EAGT,MAAM,gBAAgB,eAAe,QAAQ;EAC7C,MAAM,qBAAsB,MAAkC;EAG9D,IAAIC;AACJ,OAAK,MAAM,cAAc,eAAe,QAAQ,UAAU;GACxD,MAAM,UAAU,eAAe,QAAQ,SAAS;AAEhD,OAAI,QAAQ,SAAS,mBAAmB;IAItC,MAAM,qBAHgB,QAGmB,OAAO;AAChD,QAAI,sBAAsB,mBAAmB,SAAS,oBAEpD;SADyB,mBACJ,YAAY,oBAAoB;AACnD,2BAAqB;AACrB;;;;;AAMR,MAAI,CAAC,mBAEH,QAAO;EAIT,MAAM,mBAAmB,eAAe,QAAQ,SAAS;AACzD,SAAO,cAAc,kBAAkB,MAAsD;;AAI/F,QAAO"}
+{"version":3,"file":"shared.mjs","names":["result: Record<string, unknown>","matchingVariantKey: string | undefined"],"sources":["../../src/primitives/shared.ts"],"sourcesContent":["import * as Operation from \"../Operation\";\nimport * as OperationDefinition from \"../OperationDefinition\";\nimport * as ProxyEnvironment from \"../ProxyEnvironment\";\nimport * as OperationPath from \"../OperationPath\";\nimport * as Transform from \"../Transform\";\n\n// =============================================================================\n// Primitive Interface & Type Utilities\n// =============================================================================\n\n/**\n * Base interface that all primitives must implement.\n * Provides type inference helpers and internal operations.\n * \n * @typeParam TState - The state type this primitive holds\n * @typeParam TProxy - The proxy type for interacting with this primitive\n * @typeParam TDefined - Whether the value is guaranteed to be defined (via required() or default())\n * @typeParam THasDefault - Whether this primitive has a default value\n */\nexport interface Primitive<TState, TProxy, TRequired extends boolean = false, THasDefault extends boolean = false, TSetInput = unknown, TUpdateInput = unknown> {\n    readonly _tag: string;\n    readonly _State: TState;\n    readonly _Proxy: TProxy;\n    readonly _TRequired: TRequired;\n    readonly _THasDefault: THasDefault;\n    readonly _internal: PrimitiveInternal<TState, TProxy>;\n    readonly TSetInput: TSetInput;\n    readonly TUpdateInput: TUpdateInput;\n  }\n  \n  /**\n   * Internal operations that each primitive must provide.\n   */\n  export interface PrimitiveInternal<TState, TProxy> {\n    /** Creates a proxy for generating operations */\n    readonly createProxy: (env: ProxyEnvironment.ProxyEnvironment, path: OperationPath.OperationPath) => TProxy;\n    /** Applies an operation to the current state, returning the new state */\n    readonly applyOperation: (state: TState | undefined, operation: Operation.Operation<any, any, any>) => TState;\n    /** Returns the initial/default state for this primitive */\n    readonly getInitialState: () => TState | undefined;\n    /**\n     * Converts a set input value to state format.\n     * For most primitives, this is a simple pass-through with defaults applied.\n     * For Tree primitives, this converts nested input to flat TreeState.\n     *\n     * @param input - The set input value\n     * @returns The corresponding state value\n     */\n    readonly convertSetInputToState?: (input: unknown) => TState;\n    /**\n     * Transforms a client operation against a server operation.\n     * Used for operational transformation (OT) conflict resolution.\n     *\n     * @param clientOp - The client's operation to transform\n     * @param serverOp - The server's operation that has already been applied\n     * @returns TransformResult indicating how the client operation should be handled\n     */\n    readonly transformOperation: (\n      clientOp: Operation.Operation<any, any, any>,\n      serverOp: Operation.Operation<any, any, any>\n    ) => Transform.TransformResult;\n  }\n  \n  /**\n   * Any primitive type - used for generic constraints.\n   */\n  export type AnyPrimitive = Primitive<any, any, any, any>;\n  \n  /**\n   * Infer the state type from a primitive.\n   */\n  export type InferState<T> = T extends Primitive<infer S, any, any, any> ? S : never;\n  \n  /**\n   * Infer the proxy type from a primitive.\n   */\n  export type InferProxy<T> = T extends Primitive<any, infer P, any, any> ? P : never;\n\n  /**\n   * Infer the SetInput type from a primitive.\n   * Works with both Primitive interface types and types with a TSetInput property (like TreeNodePrimitive).\n   */\n  export type InferSetInput<T> = \n    T extends Primitive<any, any, any, any, infer S, any> ? S : \n    T extends { TSetInput: infer S } ? S : \n    never;\n\n  /**\n   * Infer the UpdateInput type from a primitive.\n   * Works with both Primitive interface types and types with a TUpdateInput property (like TreeNodePrimitive).\n   */\n  export type InferUpdateInput<T> = \n    T extends Primitive<any, any, any, any, any, infer U> ? U : \n    T extends { TUpdateInput: infer U } ? U : \n    never;\n  \n  /**\n   * Helper type to conditionally add undefined based on TRequired and THasDefault.\n   * When TRequired is false and THasDefault is false, the value may be undefined.\n   * Otherwise, the value is guaranteed to be defined.\n   */\n  export type MaybeUndefined<T, TRequired extends boolean, THasDefault extends boolean> = TRequired extends false ? THasDefault extends false ? Optional<T> : T : T;\n\n  export type Optional<T> = T | undefined;\n\n  /**\n   * Helper type to conditionally add undefined based on TRequired and THasDefault.\n   * When TRequired is true and THasDefault is false, the value must be provided.\n   * Otherwise, the value may be undefined.\n   */\n  export type NeedsValue<T, TRequired extends boolean, THasDefault extends boolean> = TRequired extends true ? THasDefault extends false ? T : Optional<T> : Optional<T>;\n  \n  /**\n   * Infer the snapshot type from a primitive.\n   * The snapshot is a readonly, type-safe structure suitable for rendering.\n   */\n  export type InferSnapshot<T> = T extends Primitive<any, infer P, any, any>\n    ? P extends { toSnapshot(): infer S } ? S : never\n    : never;\n\n  /**\n   * Extract THasDefault from a primitive.\n   */\n  export type HasDefault<T> = T extends Primitive<any, any, any, infer H> ? H : false;\n\n  /**\n   * Extract TDefined from a primitive.\n   */\n  export type IsDefined<T> = T extends Primitive<any, any, infer D, any> ? D : false;\n\n  /**\n   * Infer whether a primitive is required.\n   * Alias for IsDefined for clarity.\n   */\n  export type IsRequired<T> = IsDefined<T>;\n\n\n  // =============================================================================\n  // Validation Errors\n  // =============================================================================\n  \n  export class ValidationError extends Error {\n    readonly _tag = \"ValidationError\";\n    constructor(message: string) {\n      super(message);\n      this.name = \"ValidationError\";\n    }\n  }\n  \n  // =============================================================================\n  // Validation Infrastructure\n  // =============================================================================\n  \n  /**\n   * A validator that checks a value and returns whether it's valid.\n   */\n  export interface Validator<T> {\n    readonly validate: (value: T) => boolean;\n    readonly message: string;\n    readonly kind?: string;\n    readonly params?: unknown;\n  }\n  \n\n/**\n * Runs all validators against a value, throwing ValidationError if any fail.\n */\nexport function runValidators<T>(value: T, validators: readonly { validate: (value: T) => boolean; message: string }[]): void {\n  for (const validator of validators) {\n    if (!validator.validate(value)) {\n      throw new ValidationError(validator.message);\n    }\n  }\n}\n\n/**\n * Returns true if a primitive can represent null as a meaningful value.\n * This is used to avoid pruning explicit null values for null-capable scalar unions.\n */\ntype PrimitiveWithLiteral = AnyPrimitive & {\n  readonly _tag: \"LiteralPrimitive\";\n  readonly literal: unknown;\n};\n\nconst isLiteralPrimitive = (primitive: AnyPrimitive): primitive is PrimitiveWithLiteral =>\n  primitive._tag === \"LiteralPrimitive\" && \"literal\" in primitive;\n\nexport function primitiveAllowsNullValue(primitive: AnyPrimitive): boolean {\n  if (isLiteralPrimitive(primitive)) {\n    return primitive.literal === null;\n  }\n\n  if (primitive._tag === \"EitherPrimitive\") {\n    const variants = (primitive as { _schema?: { variants?: readonly AnyPrimitive[] } })._schema?.variants;\n    return Array.isArray(variants) && variants.some((variant) => primitiveAllowsNullValue(variant));\n  }\n\n  return false;\n}\n\n/**\n * Checks if an operation is compatible with the given operation definitions.\n * @param operation - The operation to check.\n * @param operationDefinitions - The operation definitions to check against.\n * @returns True if the operation is compatible, false otherwise.\n */\nexport function isCompatibleOperation(operation: Operation.Operation<any, any, any>, operationDefinitions: Record<string, OperationDefinition.OperationDefinition<any, any, any>>) {\n  const values = Object.values(operationDefinitions);\n  return values.some(value => value.kind === operation.kind);\n}\n\n// =============================================================================\n// Default Value Utilities\n// =============================================================================\n\n/**\n * Applies default values to a partial input, recursively handling nested structs and unions.\n * \n * Uses a two-layer approach:\n * 1. First, get the struct's initial state (which includes struct-level defaults)\n * 2. Then, layer the provided values on top\n * 3. Finally, ensure nested structs and unions are recursively processed\n * \n * @param primitive - The primitive definition containing field information\n * @param value - The partial value provided by the user\n * @returns The value with defaults applied for missing fields\n */\nexport function applyDefaults<T extends AnyPrimitive>(\n  primitive: T,\n  value: Partial<InferState<T>>\n): InferState<T> {\n  // Handle StructPrimitive\n  if (primitive._tag === \"StructPrimitive\") {\n    const structPrimitive = primitive as unknown as { \n      fields: Record<string, AnyPrimitive>;\n      _internal: { getInitialState: () => Record<string, unknown> | undefined };\n    };\n    \n    // Start with the struct's initial state (struct-level default or field defaults)\n    const structInitialState = structPrimitive._internal.getInitialState() ?? {};\n    \n    // Layer the provided values on top of initial state\n    const result: Record<string, unknown> = { ...structInitialState, ...value };\n    const inputObject =\n      typeof value === \"object\" && value !== null\n        ? (value as Record<string, unknown>)\n        : undefined;\n    \n    for (const key in structPrimitive.fields) {\n      const fieldPrimitive = structPrimitive.fields[key]!;\n      const hasExplicitKey = inputObject !== undefined && Object.prototype.hasOwnProperty.call(inputObject, key);\n      const explicitValue = hasExplicitKey ? inputObject[key] : undefined;\n      const fieldDefault = fieldPrimitive._internal.getInitialState();\n      const isRequiredWithoutDefault =\n        (fieldPrimitive as { _schema?: { required?: boolean } })._schema?.required === true &&\n        fieldDefault === undefined;\n\n      // Explicit undefined values always prune optional keys.\n      // Explicit null values prune optional keys unless null is a valid semantic value for this field.\n      // Required fields without defaults reject nullish values.\n      const shouldPruneExplicitNullish =\n        hasExplicitKey &&\n        (\n          explicitValue === undefined ||\n          (explicitValue === null && !primitiveAllowsNullValue(fieldPrimitive))\n        );\n      if (shouldPruneExplicitNullish) {\n        if (isRequiredWithoutDefault) {\n          throw new ValidationError(`Field \"${key}\" is required and cannot be null or undefined`);\n        }\n        delete result[key];\n        continue;\n      }\n      \n      if (!hasExplicitKey && result[key] === undefined) {\n        // Field still not provided after merging - try individual field default\n        if (fieldDefault !== undefined) {\n          result[key] = fieldDefault;\n        }\n      } else if (\n        hasExplicitKey &&\n        typeof explicitValue === \"object\" &&\n        explicitValue !== null\n      ) {\n        // Recursively apply defaults to nested structs and unions\n        if (fieldPrimitive._tag === \"StructPrimitive\" || fieldPrimitive._tag === \"UnionPrimitive\") {\n          result[key] = applyDefaults(fieldPrimitive, explicitValue as Partial<InferState<typeof fieldPrimitive>>);\n        }\n      }\n    }\n    \n    return result as InferState<T>;\n  }\n  \n  // Handle UnionPrimitive\n  if (primitive._tag === \"UnionPrimitive\") {\n    const unionPrimitive = primitive as unknown as {\n      _schema: {\n        discriminator: string;\n        variants: Record<string, AnyPrimitive>;\n      };\n    };\n    \n    // Validate that value is an object\n    if (typeof value !== \"object\" || value === null) {\n      return value as InferState<T>;\n    }\n    \n    const discriminator = unionPrimitive._schema.discriminator;\n    const discriminatorValue = (value as Record<string, unknown>)[discriminator];\n    \n    // Find the matching variant based on discriminator value\n    let matchingVariantKey: string | undefined;\n    for (const variantKey in unionPrimitive._schema.variants) {\n      const variant = unionPrimitive._schema.variants[variantKey]!;\n      // Variants are structs - check if the discriminator field's literal matches\n      if (variant._tag === \"StructPrimitive\") {\n        const variantStruct = variant as unknown as {\n          fields: Record<string, AnyPrimitive>;\n        };\n        const discriminatorField = variantStruct.fields[discriminator];\n        if (discriminatorField && discriminatorField._tag === \"LiteralPrimitive\") {\n          const literalPrimitive = discriminatorField as unknown as { literal: unknown };\n          if (literalPrimitive.literal === discriminatorValue) {\n            matchingVariantKey = variantKey;\n            break;\n          }\n        }\n      }\n    }\n    \n    if (!matchingVariantKey) {\n      // No matching variant found - return value as-is\n      return value as InferState<T>;\n    }\n    \n    // Apply defaults using the matching variant's struct\n    const variantPrimitive = unionPrimitive._schema.variants[matchingVariantKey]!;\n    return applyDefaults(variantPrimitive, value as Partial<InferState<typeof variantPrimitive>>) as InferState<T>;\n  }\n  \n  // For other primitives, return the value as-is\n  return value as InferState<T>;\n}\n"],"mappings":";;;;AA6IE,IAAa,kBAAb,cAAqC,MAAM;CAEzC,YAAY,SAAiB;AAC3B,QAAM,QAAQ;wBAFP,QAAO;AAGd,OAAK,OAAO;;;;;;AAsBlB,SAAgB,cAAiB,OAAU,YAAmF;AAC5H,MAAK,MAAM,aAAa,WACtB,KAAI,CAAC,UAAU,SAAS,MAAM,CAC5B,OAAM,IAAI,gBAAgB,UAAU,QAAQ;;AAclD,MAAM,sBAAsB,cAC1B,UAAU,SAAS,sBAAsB,aAAa;AAExD,SAAgB,yBAAyB,WAAkC;AACzE,KAAI,mBAAmB,UAAU,CAC/B,QAAO,UAAU,YAAY;AAG/B,KAAI,UAAU,SAAS,mBAAmB;;EACxC,MAAM,sBAAY,UAAmE,2DAAS;AAC9F,SAAO,MAAM,QAAQ,SAAS,IAAI,SAAS,MAAM,YAAY,yBAAyB,QAAQ,CAAC;;AAGjG,QAAO;;;;;;;;AAST,SAAgB,sBAAsB,WAA+C,sBAA8F;AAEjL,QADe,OAAO,OAAO,qBAAqB,CACpC,MAAK,UAAS,MAAM,SAAS,UAAU,KAAK;;;;;;;;;;;;;;AAmB5D,SAAgB,cACd,WACA,OACe;AAEf,KAAI,UAAU,SAAS,mBAAmB;;EACxC,MAAM,kBAAkB;EASxB,MAAMA,oEAHqB,gBAAgB,UAAU,iBAAiB,yEAAI,EAAE,GAGR;EACpE,MAAM,cACJ,OAAO,UAAU,YAAY,UAAU,OAClC,QACD;AAEN,OAAK,MAAM,OAAO,gBAAgB,QAAQ;;GACxC,MAAM,iBAAiB,gBAAgB,OAAO;GAC9C,MAAM,iBAAiB,gBAAgB,UAAa,OAAO,UAAU,eAAe,KAAK,aAAa,IAAI;GAC1G,MAAM,gBAAgB,iBAAiB,YAAY,OAAO;GAC1D,MAAM,eAAe,eAAe,UAAU,iBAAiB;GAC/D,MAAM,wCACH,eAAwD,6DAAS,cAAa,QAC/E,iBAAiB;AAWnB,OALE,mBAEE,kBAAkB,UACjB,kBAAkB,QAAQ,CAAC,yBAAyB,eAAe,GAExC;AAC9B,QAAI,yBACF,OAAM,IAAI,gBAAgB,UAAU,IAAI,+CAA+C;AAEzF,WAAO,OAAO;AACd;;AAGF,OAAI,CAAC,kBAAkB,OAAO,SAAS,QAErC;QAAI,iBAAiB,OACnB,QAAO,OAAO;cAGhB,kBACA,OAAO,kBAAkB,YACzB,kBAAkB,MAGlB;QAAI,eAAe,SAAS,qBAAqB,eAAe,SAAS,iBACvE,QAAO,OAAO,cAAc,gBAAgB,cAA4D;;;AAK9G,SAAO;;AAIT,KAAI,UAAU,SAAS,kBAAkB;EACvC,MAAM,iBAAiB;AAQvB,MAAI,OAAO,UAAU,YAAY,UAAU,KACzC,QAAO;EAGT,MAAM,gBAAgB,eAAe,QAAQ;EAC7C,MAAM,qBAAsB,MAAkC;EAG9D,IAAIC;AACJ,OAAK,MAAM,cAAc,eAAe,QAAQ,UAAU;GACxD,MAAM,UAAU,eAAe,QAAQ,SAAS;AAEhD,OAAI,QAAQ,SAAS,mBAAmB;IAItC,MAAM,qBAHgB,QAGmB,OAAO;AAChD,QAAI,sBAAsB,mBAAmB,SAAS,oBAEpD;SADyB,mBACJ,YAAY,oBAAoB;AACnD,2BAAqB;AACrB;;;;;AAMR,MAAI,CAAC,mBAEH,QAAO;EAIT,MAAM,mBAAmB,eAAe,QAAQ,SAAS;AACzD,SAAO,cAAc,kBAAkB,MAAsD;;AAI/F,QAAO"}