@vielzeug/spell 2.2.0 → 3.0.0

package/dist/schemas/tuple.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"tuple.cjs","names":[],"sources":["../../src/schemas/tuple.ts"],"sourcesContent":["import type { AnySchema, Issue, ParseContext, ParseValue, SchemaDescriptor } from '../core';\n\nimport { _makeCtx, ErrorCode, prependIssuePath, Schema, SpellValidationError } from '../core';\n\nexport type TupleSchemas = readonly [AnySchema, ...AnySchema[]];\nexport type InferTuple<T extends TupleSchemas, R extends AnySchema | null = null> =\n  R extends Schema<infer O>\n    ? readonly [...{ [K in keyof T]: T[K] extends Schema<infer V> ? V : never }, ...O[]]\n    : { readonly [K in keyof T]: T[K] extends Schema<infer V> ? V : never };\n\nexport class TupleSchema<\n  T extends TupleSchemas,\n  R extends AnySchema | null = null,\n  Mode extends import('../core').SchemaMode = import('../core').MergeSchemaModes<\n    import('../core').InferSchemaMode<T[number] | Exclude<R, null>>\n  >,\n> extends Schema<InferTuple<T, R>, unknown, Mode> {\n  readonly items: T;\n  readonly restSchema: R;\n\n  protected override get _kind(): string {\n    return 'tuple';\n  }\n\n  override checkAsync(\n    this: TupleSchema<T, R, 'sync'>,\n    fn: (value: InferTuple<T, R>, ctx: import('../core').CheckContext) => Promise<import('../core').ValidateResult>,\n  ): TupleSchema<T, R, 'async'> {\n    return this._addCheck(fn, true) as unknown as TupleSchema<T, R, 'async'>;\n  }\n\n  constructor(items: T, restSchema: R = null as R) {\n    super();\n    this.items = items;\n    this.restSchema = restSchema;\n  }\n\n  rest<U extends AnySchema>(\n    schema: U,\n  ): TupleSchema<T, U, import('../core').MergeSchemaModes<Mode | import('../core').InferSchemaMode<U>>> {\n    return this._copyStateTo(new TupleSchema(this.items, schema)) as unknown as TupleSchema<\n      T,\n      U,\n      import('../core').MergeSchemaModes<Mode | import('../core').InferSchemaMode<U>>\n    >;\n  }\n\n  private _guardTupleInput(\n    value: unknown[],\n    ctx: ParseContext,\n  ): { ok: true; value: unknown[] } | { issues: Issue[]; ok: false } {\n    if (this.restSchema === null && value.length !== this.items.length) {\n      return {\n        issues: [\n          {\n            code: ErrorCode.invalid_length,\n            message: ctx.messages.tuple.length({ exact: this.items.length }),\n            params: { exact: this.items.length },\n            path: [],\n          },\n        ],\n        ok: false,\n      };\n    }\n\n    if (this.restSchema !== null && value.length < this.items.length) {\n      return {\n        issues: [\n          {\n            code: ErrorCode.too_small,\n            message: ctx.messages.tuple.min({ min: this.items.length }),\n            params: { min: this.items.length },\n            path: [],\n          },\n        ],\n        ok: false,\n      };\n    }\n\n    return { ok: true, value };\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue {\n    if (!Array.isArray(value)) {\n      return {\n        data: value,\n        issues: [{ code: ErrorCode.invalid_type, message: ctx.messages.tuple.type(), path: [] }],\n        typeOk: false,\n      };\n    }\n\n    const guarded = this._guardTupleInput(value, ctx);\n\n    if (!guarded.ok) return { data: value, issues: guarded.issues, typeOk: false };\n\n    const issues: Issue[] = [];\n    const output: unknown[] = [];\n    const tupleValue = guarded.value;\n\n    for (let i = 0; i < this.items.length; i++) {\n      const result = this.items[i]._parseFullSync(tupleValue[i], ctx);\n\n      if (result.issues.length === 0) {\n        output.push(result.data);\n      } else {\n        issues.push(...prependIssuePath(result.issues, i));\n        output.push(tupleValue[i]);\n      }\n    }\n\n    if (this.restSchema !== null) {\n      for (let i = this.items.length; i < tupleValue.length; i++) {\n        const result = this.restSchema._parseFullSync(tupleValue[i], ctx);\n\n        if (result.issues.length === 0) {\n          output.push(result.data);\n        } else {\n          issues.push(...prependIssuePath(result.issues, i));\n          output.push(tupleValue[i]);\n        }\n      }\n    }\n\n    return { data: output, issues, typeOk: true };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferTuple<T, R>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as unknown as InferTuple<T, R>;\n\n      const raw = prepared.value;\n\n      if (!Array.isArray(raw)) {\n        throw new SpellValidationError([{ code: ErrorCode.invalid_type, message: c.messages.tuple.type(), path: [] }]);\n      }\n\n      const guarded = this._guardTupleInput(raw, c);\n\n      if (!guarded.ok) throw new SpellValidationError(guarded.issues);\n\n      const tupleValue = guarded.value;\n      const issues: Issue[] = [];\n      const output: unknown[] = [];\n\n      const fixedResults = await Promise.all(this.items.map((schema, i) => schema._parseFullAsync(tupleValue[i], c)));\n\n      for (let i = 0; i < fixedResults.length; i++) {\n        const result = fixedResults[i];\n\n        if (result.issues.length === 0) {\n          output.push(result.data);\n        } else {\n          issues.push(...prependIssuePath(result.issues, i));\n          output.push(tupleValue[i]);\n        }\n      }\n\n      const rest = this.restSchema;\n\n      if (rest !== null) {\n        const restItems = tupleValue.slice(this.items.length);\n        const restResults = await Promise.all(restItems.map((item) => rest._parseFullAsync(item, c)));\n\n        for (let i = 0; i < restResults.length; i++) {\n          const result = restResults[i];\n          const idx = this.items.length + i;\n\n          if (result.issues.length === 0) {\n            output.push(result.data);\n          } else {\n            issues.push(...prependIssuePath(result.issues, idx));\n            output.push(tupleValue[idx]);\n          }\n        }\n      }\n\n      const validationIssues = await this._runValidatorsAsync(output, c);\n      const allIssues = [...issues, ...validationIssues];\n\n      if (allIssues.length > 0) throw new SpellValidationError(allIssues);\n\n      return this._runPostprocessors(output) as InferTuple<T, R>;\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    return {\n      ...this._describeBase(),\n      items: this.items.map((s) => s.definition()),\n      kind: 'tuple',\n      rest: this.restSchema !== null ? this.restSchema.definition() : null,\n    };\n  }\n\n  protected override _walk<R>(visitor: import('../core').SchemaWalker<R>): R | null {\n    const items = this.items.map((s) => s.walk(visitor));\n    const rest = this.restSchema !== null ? this.restSchema.walk(visitor) : null;\n\n    if (visitor.tuple) return visitor.tuple(this, items, rest);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"oFAUA,IAAa,EAAb,MAAa,UAMH,EAAA,MAAwC,CAChD,MACA,WAEA,IAAuB,OAAgB,CACrC,MAAO,OACT,CAEA,WAEE,EAC4B,CAC5B,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAU,EAAgB,KAAW,CAC/C,MAAM,EACN,KAAK,MAAQ,EACb,KAAK,WAAa,CACpB,CAEA,KACE,EACoG,CACpG,OAAO,KAAK,aAAa,IAAI,EAAY,KAAK,MAAO,CAAM,CAAC,CAK9D,CAEA,iBACE,EACA,EACiE,CA6BjE,OA5BI,KAAK,aAAe,MAAQ,EAAM,SAAW,KAAK,MAAM,OACnD,CACL,OAAQ,CACN,CACE,KAAM,EAAA,UAAU,eAChB,QAAS,EAAI,SAAS,MAAM,OAAO,CAAE,MAAO,KAAK,MAAM,MAAO,CAAC,EAC/D,OAAQ,CAAE,MAAO,KAAK,MAAM,MAAO,EACnC,KAAM,CAAC,CACT,CACF,EACA,GAAI,EACN,EAGE,KAAK,aAAe,MAAQ,EAAM,OAAS,KAAK,MAAM,OACjD,CACL,OAAQ,CACN,CACE,KAAM,EAAA,UAAU,UAChB,QAAS,EAAI,SAAS,MAAM,IAAI,CAAE,IAAK,KAAK,MAAM,MAAO,CAAC,EAC1D,OAAQ,CAAE,IAAK,KAAK,MAAM,MAAO,EACjC,KAAM,CAAC,CACT,CACF,EACA,GAAI,EACN,EAGK,CAAE,GAAI,GAAM,OAAM,CAC3B,CAEA,OAA0B,EAAgB,EAA+B,CACvE,GAAI,CAAC,MAAM,QAAQ,CAAK,EACtB,MAAO,CACL,KAAM,EACN,OAAQ,CAAC,CAAE,KAAM,EAAA,UAAU,aAAc,QAAS,EAAI,SAAS,MAAM,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,EACvF,OAAQ,EACV,EAGF,IAAM,EAAU,KAAK,iBAAiB,EAAO,CAAG,EAEhD,GAAI,CAAC,EAAQ,GAAI,MAAO,CAAE,KAAM,EAAO,OAAQ,EAAQ,OAAQ,OAAQ,EAAM,EAE7E,IAAM,EAAkB,CAAC,EACnB,EAAoB,CAAC,EACrB,EAAa,EAAQ,MAE3B,IAAK,IAAI,EAAI,EAAG,EAAI,KAAK,MAAM,OAAQ,IAAK,CAC1C,IAAM,EAAS,KAAK,MAAM,EAAE,CAAC,eAAe,EAAW,GAAI,CAAG,EAE1D,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAA,iBAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAEA,GAAI,KAAK,aAAe,KACtB,IAAK,IAAI,EAAI,KAAK,MAAM,OAAQ,EAAI,EAAW,OAAQ,IAAK,CAC1D,IAAM,EAAS,KAAK,WAAW,eAAe,EAAW,GAAI,CAAG,EAE5D,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAA,iBAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAGF,MAAO,CAAE,KAAM,EAAQ,SAAQ,OAAQ,EAAK,CAC9C,CAEA,MAAe,WAAW,EAAgB,EAA+C,CACvF,IAAM,EAAI,GAAO,EAAA,SAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAM,EAAS,MAErB,GAAI,CAAC,MAAM,QAAQ,CAAG,EACpB,MAAM,IAAI,EAAA,qBAAqB,CAAC,CAAE,KAAM,EAAA,UAAU,aAAc,QAAS,EAAE,SAAS,MAAM,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,CAAC,EAG/G,IAAM,EAAU,KAAK,iBAAiB,EAAK,CAAC,EAE5C,GAAI,CAAC,EAAQ,GAAI,MAAM,IAAI,EAAA,qBAAqB,EAAQ,MAAM,EAE9D,IAAM,EAAa,EAAQ,MACrB,EAAkB,CAAC,EACnB,EAAoB,CAAC,EAErB,EAAe,MAAM,QAAQ,IAAI,KAAK,MAAM,KAAK,EAAQ,IAAM,EAAO,gBAAgB,EAAW,GAAI,CAAC,CAAC,CAAC,EAE9G,IAAK,IAAI,EAAI,EAAG,EAAI,EAAa,OAAQ,IAAK,CAC5C,IAAM,EAAS,EAAa,GAExB,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAA,iBAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAEA,IAAM,EAAO,KAAK,WAElB,GAAI,IAAS,KAAM,CACjB,IAAM,EAAY,EAAW,MAAM,KAAK,MAAM,MAAM,EAC9C,EAAc,MAAM,QAAQ,IAAI,EAAU,IAAK,GAAS,EAAK,gBAAgB,EAAM,CAAC,CAAC,CAAC,EAE5F,IAAK,IAAI,EAAI,EAAG,EAAI,EAAY,OAAQ,IAAK,CAC3C,IAAM,EAAS,EAAY,GACrB,EAAM,KAAK,MAAM,OAAS,EAE5B,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAA,iBAAiB,EAAO,OAAQ,CAAG,CAAC,EACnD,EAAO,KAAK,EAAW,EAAI,EAE/B,CACF,CAEA,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAQ,CAAC,EAC3D,EAAY,CAAC,GAAG,EAAQ,GAAG,CAAgB,EAEjD,GAAI,EAAU,OAAS,EAAG,MAAM,IAAI,EAAA,qBAAqB,CAAS,EAElE,OAAO,KAAK,mBAAmB,CAAM,CACvC,CAAC,CACH,CAEA,mBAAyD,CACvD,MAAO,CACL,GAAG,KAAK,cAAc,EACtB,MAAO,KAAK,MAAM,IAAK,GAAM,EAAE,WAAW,CAAC,EAC3C,KAAM,QACN,KAAM,KAAK,aAAe,KAAsC,KAA/B,KAAK,WAAW,WAAW,CAC9D,CACF,CAEA,MAA4B,EAAsD,CAChF,IAAM,EAAQ,KAAK,MAAM,IAAK,GAAM,EAAE,KAAK,CAAO,CAAC,EAC7C,EAAO,KAAK,aAAe,KAAuC,KAAhC,KAAK,WAAW,KAAK,CAAO,EAIpE,OAFI,EAAQ,MAAc,EAAQ,MAAM,KAAM,EAAO,CAAI,EAElD,MAAM,MAAM,CAAO,CAC5B,CACF"}
+{"version":3,"file":"tuple.cjs","names":[],"sources":["../../src/schemas/tuple.ts"],"sourcesContent":["import type {\n  AnySchema,\n  CheckContext,\n  InferInput,\n  InferOutput,\n  InferSchemaMode,\n  Issue,\n  MergeSchemaModes,\n  ParseContext,\n  ParseValue,\n  SchemaDescriptor,\n  SchemaMode,\n  SchemaWalker,\n  ValidateResult,\n} from '../core';\n\nimport { _makeCtx, ErrorCode, prependIssuePath, Schema, SpellValidationError } from '../core';\n\nexport type TupleSchemas = readonly [AnySchema, ...AnySchema[]];\nexport type InferTuple<T extends TupleSchemas, R extends AnySchema | null = null> = R extends AnySchema\n  ? readonly [...{ [K in keyof T]: InferOutput<T[K]> }, ...InferOutput<R>[]]\n  : { readonly [K in keyof T]: InferOutput<T[K]> };\ntype InferTupleInput<T extends TupleSchemas, R extends AnySchema | null = null> = R extends AnySchema\n  ? readonly [...{ [K in keyof T]: InferInput<T[K]> }, ...InferInput<R>[]]\n  : { readonly [K in keyof T]: InferInput<T[K]> };\n\nexport class TupleSchema<\n  T extends TupleSchemas,\n  R extends AnySchema | null = null,\n  Mode extends SchemaMode = MergeSchemaModes<InferSchemaMode<T[number] | Exclude<R, null>>>,\n> extends Schema<InferTuple<T, R>, InferTupleInput<T, R>, Mode> {\n  readonly items: T;\n  readonly restSchema: R;\n\n  protected override get _kind(): string {\n    return 'tuple';\n  }\n\n  override checkAsync(\n    this: TupleSchema<T, R, 'sync'>,\n    fn: (value: InferTuple<T, R>, ctx: CheckContext) => Promise<ValidateResult>,\n  ): TupleSchema<T, R, 'async'> {\n    return this._addCheck(fn, true) as unknown as TupleSchema<T, R, 'async'>;\n  }\n\n  constructor(items: T, restSchema: R = null as R) {\n    super();\n    this.items = items;\n    this.restSchema = restSchema;\n  }\n\n  rest<U extends AnySchema>(schema: U): TupleSchema<T, U, MergeSchemaModes<Mode | InferSchemaMode<U>>> {\n    return this._copyStateTo(new TupleSchema(this.items, schema)) as unknown as TupleSchema<\n      T,\n      U,\n      MergeSchemaModes<Mode | InferSchemaMode<U>>\n    >;\n  }\n\n  private _guardTupleInput(\n    value: unknown[],\n    ctx: ParseContext,\n  ): { ok: true; value: unknown[] } | { issues: Issue[]; ok: false } {\n    if (this.restSchema === null && value.length !== this.items.length) {\n      return {\n        issues: [\n          {\n            code: ErrorCode.invalid_length,\n            message: ctx.messages.tuple.length({ exact: this.items.length }),\n            params: { exact: this.items.length },\n            path: [],\n          },\n        ],\n        ok: false,\n      };\n    }\n\n    if (this.restSchema !== null && value.length < this.items.length) {\n      return {\n        issues: [\n          {\n            code: ErrorCode.too_small,\n            message: ctx.messages.tuple.min({ min: this.items.length }),\n            params: { min: this.items.length },\n            path: [],\n          },\n        ],\n        ok: false,\n      };\n    }\n\n    return { ok: true, value };\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue {\n    if (!Array.isArray(value)) {\n      return {\n        data: value,\n        issues: [{ code: ErrorCode.invalid_type, message: ctx.messages.tuple.type(), path: [] }],\n        typeOk: false,\n      };\n    }\n\n    const guarded = this._guardTupleInput(value, ctx);\n\n    if (!guarded.ok) return { data: value, issues: guarded.issues, typeOk: false };\n\n    const issues: Issue[] = [];\n    const output: unknown[] = [];\n    const tupleValue = guarded.value;\n\n    for (let i = 0; i < this.items.length; i++) {\n      const result = this.items[i]._parseFullSync(tupleValue[i], ctx);\n\n      if (result.issues.length === 0) {\n        output.push(result.data);\n      } else {\n        issues.push(...prependIssuePath(result.issues, i));\n        output.push(tupleValue[i]);\n      }\n    }\n\n    if (this.restSchema !== null) {\n      for (let i = this.items.length; i < tupleValue.length; i++) {\n        const result = this.restSchema._parseFullSync(tupleValue[i], ctx);\n\n        if (result.issues.length === 0) {\n          output.push(result.data);\n        } else {\n          issues.push(...prependIssuePath(result.issues, i));\n          output.push(tupleValue[i]);\n        }\n      }\n    }\n\n    return { data: output, issues, typeOk: true };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferTuple<T, R>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as unknown as InferTuple<T, R>;\n\n      const raw = prepared.value;\n\n      if (!Array.isArray(raw)) {\n        throw new SpellValidationError([{ code: ErrorCode.invalid_type, message: c.messages.tuple.type(), path: [] }]);\n      }\n\n      const guarded = this._guardTupleInput(raw, c);\n\n      if (!guarded.ok) throw new SpellValidationError(guarded.issues);\n\n      const tupleValue = guarded.value;\n      const issues: Issue[] = [];\n      const output: unknown[] = [];\n\n      const fixedResults = await Promise.all(this.items.map((schema, i) => schema._parseFullAsync(tupleValue[i], c)));\n\n      for (let i = 0; i < fixedResults.length; i++) {\n        const result = fixedResults[i];\n\n        if (result.issues.length === 0) {\n          output.push(result.data);\n        } else {\n          issues.push(...prependIssuePath(result.issues, i));\n          output.push(tupleValue[i]);\n        }\n      }\n\n      const rest = this.restSchema;\n\n      if (rest !== null) {\n        const restItems = tupleValue.slice(this.items.length);\n        const restResults = await Promise.all(restItems.map((item) => rest._parseFullAsync(item, c)));\n\n        for (let i = 0; i < restResults.length; i++) {\n          const result = restResults[i];\n          const idx = this.items.length + i;\n\n          if (result.issues.length === 0) {\n            output.push(result.data);\n          } else {\n            issues.push(...prependIssuePath(result.issues, idx));\n            output.push(tupleValue[idx]);\n          }\n        }\n      }\n\n      const validationIssues = await this._runValidatorsAsync(output, c);\n      const allIssues = [...issues, ...validationIssues];\n\n      if (allIssues.length > 0) throw new SpellValidationError(allIssues);\n\n      return this._runPostprocessors(output) as InferTuple<T, R>;\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    return {\n      ...this._describeBase(),\n      items: this.items.map((s) => s.definition()),\n      kind: 'tuple',\n      rest: this.restSchema !== null ? this.restSchema.definition() : null,\n    };\n  }\n\n  protected override _walk<R>(visitor: SchemaWalker<R>): R | null {\n    const items = this.items.map((s) => s.walk(visitor));\n    const rest = this.restSchema !== null ? this.restSchema.walk(visitor) : null;\n\n    if (visitor.tuple) return visitor.tuple(this, items, rest);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"oFA0BA,IAAa,EAAb,MAAa,UAIH,EAAA,MAAsD,CAC9D,MACA,WAEA,IAAuB,OAAgB,CACrC,MAAO,OACT,CAEA,WAEE,EAC4B,CAC5B,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAU,EAAgB,KAAW,CAC/C,MAAM,EACN,KAAK,MAAQ,EACb,KAAK,WAAa,CACpB,CAEA,KAA0B,EAA2E,CACnG,OAAO,KAAK,aAAa,IAAI,EAAY,KAAK,MAAO,CAAM,CAAC,CAK9D,CAEA,iBACE,EACA,EACiE,CA6BjE,OA5BI,KAAK,aAAe,MAAQ,EAAM,SAAW,KAAK,MAAM,OACnD,CACL,OAAQ,CACN,CACE,KAAM,EAAA,UAAU,eAChB,QAAS,EAAI,SAAS,MAAM,OAAO,CAAE,MAAO,KAAK,MAAM,MAAO,CAAC,EAC/D,OAAQ,CAAE,MAAO,KAAK,MAAM,MAAO,EACnC,KAAM,CAAC,CACT,CACF,EACA,GAAI,EACN,EAGE,KAAK,aAAe,MAAQ,EAAM,OAAS,KAAK,MAAM,OACjD,CACL,OAAQ,CACN,CACE,KAAM,EAAA,UAAU,UAChB,QAAS,EAAI,SAAS,MAAM,IAAI,CAAE,IAAK,KAAK,MAAM,MAAO,CAAC,EAC1D,OAAQ,CAAE,IAAK,KAAK,MAAM,MAAO,EACjC,KAAM,CAAC,CACT,CACF,EACA,GAAI,EACN,EAGK,CAAE,GAAI,GAAM,OAAM,CAC3B,CAEA,OAA0B,EAAgB,EAA+B,CACvE,GAAI,CAAC,MAAM,QAAQ,CAAK,EACtB,MAAO,CACL,KAAM,EACN,OAAQ,CAAC,CAAE,KAAM,EAAA,UAAU,aAAc,QAAS,EAAI,SAAS,MAAM,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,EACvF,OAAQ,EACV,EAGF,IAAM,EAAU,KAAK,iBAAiB,EAAO,CAAG,EAEhD,GAAI,CAAC,EAAQ,GAAI,MAAO,CAAE,KAAM,EAAO,OAAQ,EAAQ,OAAQ,OAAQ,EAAM,EAE7E,IAAM,EAAkB,CAAC,EACnB,EAAoB,CAAC,EACrB,EAAa,EAAQ,MAE3B,IAAK,IAAI,EAAI,EAAG,EAAI,KAAK,MAAM,OAAQ,IAAK,CAC1C,IAAM,EAAS,KAAK,MAAM,EAAE,CAAC,eAAe,EAAW,GAAI,CAAG,EAE1D,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAA,iBAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAEA,GAAI,KAAK,aAAe,KACtB,IAAK,IAAI,EAAI,KAAK,MAAM,OAAQ,EAAI,EAAW,OAAQ,IAAK,CAC1D,IAAM,EAAS,KAAK,WAAW,eAAe,EAAW,GAAI,CAAG,EAE5D,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAA,iBAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAGF,MAAO,CAAE,KAAM,EAAQ,SAAQ,OAAQ,EAAK,CAC9C,CAEA,MAAe,WAAW,EAAgB,EAA+C,CACvF,IAAM,EAAI,GAAO,EAAA,SAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAM,EAAS,MAErB,GAAI,CAAC,MAAM,QAAQ,CAAG,EACpB,MAAM,IAAI,EAAA,qBAAqB,CAAC,CAAE,KAAM,EAAA,UAAU,aAAc,QAAS,EAAE,SAAS,MAAM,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,CAAC,EAG/G,IAAM,EAAU,KAAK,iBAAiB,EAAK,CAAC,EAE5C,GAAI,CAAC,EAAQ,GAAI,MAAM,IAAI,EAAA,qBAAqB,EAAQ,MAAM,EAE9D,IAAM,EAAa,EAAQ,MACrB,EAAkB,CAAC,EACnB,EAAoB,CAAC,EAErB,EAAe,MAAM,QAAQ,IAAI,KAAK,MAAM,KAAK,EAAQ,IAAM,EAAO,gBAAgB,EAAW,GAAI,CAAC,CAAC,CAAC,EAE9G,IAAK,IAAI,EAAI,EAAG,EAAI,EAAa,OAAQ,IAAK,CAC5C,IAAM,EAAS,EAAa,GAExB,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAA,iBAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAEA,IAAM,EAAO,KAAK,WAElB,GAAI,IAAS,KAAM,CACjB,IAAM,EAAY,EAAW,MAAM,KAAK,MAAM,MAAM,EAC9C,EAAc,MAAM,QAAQ,IAAI,EAAU,IAAK,GAAS,EAAK,gBAAgB,EAAM,CAAC,CAAC,CAAC,EAE5F,IAAK,IAAI,EAAI,EAAG,EAAI,EAAY,OAAQ,IAAK,CAC3C,IAAM,EAAS,EAAY,GACrB,EAAM,KAAK,MAAM,OAAS,EAE5B,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAA,iBAAiB,EAAO,OAAQ,CAAG,CAAC,EACnD,EAAO,KAAK,EAAW,EAAI,EAE/B,CACF,CAEA,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAQ,CAAC,EAC3D,EAAY,CAAC,GAAG,EAAQ,GAAG,CAAgB,EAEjD,GAAI,EAAU,OAAS,EAAG,MAAM,IAAI,EAAA,qBAAqB,CAAS,EAElE,OAAO,KAAK,mBAAmB,CAAM,CACvC,CAAC,CACH,CAEA,mBAAyD,CACvD,MAAO,CACL,GAAG,KAAK,cAAc,EACtB,MAAO,KAAK,MAAM,IAAK,GAAM,EAAE,WAAW,CAAC,EAC3C,KAAM,QACN,KAAM,KAAK,aAAe,KAAsC,KAA/B,KAAK,WAAW,WAAW,CAC9D,CACF,CAEA,MAA4B,EAAoC,CAC9D,IAAM,EAAQ,KAAK,MAAM,IAAK,GAAM,EAAE,KAAK,CAAO,CAAC,EAC7C,EAAO,KAAK,aAAe,KAAuC,KAAhC,KAAK,WAAW,KAAK,CAAO,EAIpE,OAFI,EAAQ,MAAc,EAAQ,MAAM,KAAM,EAAO,CAAI,EAElD,MAAM,MAAM,CAAO,CAC5B,CACF"}

package/dist/schemas/tuple.d.ts

@@ -1,22 +1,28 @@
-import type { AnySchema, ParseContext, ParseValue, SchemaDescriptor } from '../core';
+import type { AnySchema, CheckContext, InferInput, InferOutput, InferSchemaMode, MergeSchemaModes, ParseContext, ParseValue, SchemaDescriptor, SchemaMode, SchemaWalker, ValidateResult } from '../core';
 import { Schema } from '../core';
 export type TupleSchemas = readonly [AnySchema, ...AnySchema[]];
-export type InferTuple<T extends TupleSchemas, R extends AnySchema | null = null> = R extends Schema<infer O> ? readonly [...{
-    [K in keyof T]: T[K] extends Schema<infer V> ? V : never;
-}, ...O[]] : {
-    readonly [K in keyof T]: T[K] extends Schema<infer V> ? V : never;
+export type InferTuple<T extends TupleSchemas, R extends AnySchema | null = null> = R extends AnySchema ? readonly [...{
+    [K in keyof T]: InferOutput<T[K]>;
+}, ...InferOutput<R>[]] : {
+    readonly [K in keyof T]: InferOutput<T[K]>;
 };
-export declare class TupleSchema<T extends TupleSchemas, R extends AnySchema | null = null, Mode extends import('../core').SchemaMode = import('../core').MergeSchemaModes<import('../core').InferSchemaMode<T[number] | Exclude<R, null>>>> extends Schema<InferTuple<T, R>, unknown, Mode> {
+type InferTupleInput<T extends TupleSchemas, R extends AnySchema | null = null> = R extends AnySchema ? readonly [...{
+    [K in keyof T]: InferInput<T[K]>;
+}, ...InferInput<R>[]] : {
+    readonly [K in keyof T]: InferInput<T[K]>;
+};
+export declare class TupleSchema<T extends TupleSchemas, R extends AnySchema | null = null, Mode extends SchemaMode = MergeSchemaModes<InferSchemaMode<T[number] | Exclude<R, null>>>> extends Schema<InferTuple<T, R>, InferTupleInput<T, R>, Mode> {
     readonly items: T;
     readonly restSchema: R;
     protected get _kind(): string;
-    checkAsync(this: TupleSchema<T, R, 'sync'>, fn: (value: InferTuple<T, R>, ctx: import('../core').CheckContext) => Promise<import('../core').ValidateResult>): TupleSchema<T, R, 'async'>;
+    checkAsync(this: TupleSchema<T, R, 'sync'>, fn: (value: InferTuple<T, R>, ctx: CheckContext) => Promise<ValidateResult>): TupleSchema<T, R, 'async'>;
     constructor(items: T, restSchema?: R);
-    rest<U extends AnySchema>(schema: U): TupleSchema<T, U, import('../core').MergeSchemaModes<Mode | import('../core').InferSchemaMode<U>>>;
+    rest<U extends AnySchema>(schema: U): TupleSchema<T, U, MergeSchemaModes<Mode | InferSchemaMode<U>>>;
     private _guardTupleInput;
     protected _parse(value: unknown, ctx: ParseContext): ParseValue;
     parseAsync(value: unknown, ctx?: ParseContext): Promise<InferTuple<T, R>>;
     protected _toDescriptorImpl(): SchemaDescriptor;
-    protected _walk<R>(visitor: import('../core').SchemaWalker<R>): R | null;
+    protected _walk<R>(visitor: SchemaWalker<R>): R | null;
 }
+export {};
 //# sourceMappingURL=tuple.d.ts.map

package/dist/schemas/tuple.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple.d.ts","sourceRoot":"","sources":["../../src/schemas/tuple.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAS,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAE5F,OAAO,EAAyC,MAAM,EAAwB,MAAM,SAAS,CAAC;AAE9F,MAAM,MAAM,YAAY,GAAG,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;AAChE,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,IAAI,IAC9E,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GACrB,SAAS,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,EAAE,GAAG,CAAC,EAAE,CAAC,GAClF;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC;AAE5E,qBAAa,WAAW,CACtB,CAAC,SAAS,YAAY,EACtB,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,IAAI,EACjC,IAAI,SAAS,OAAO,SAAS,EAAE,UAAU,GAAG,OAAO,SAAS,EAAE,gBAAgB,CAC5E,OAAO,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAChE,CACD,SAAQ,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IAEvB,cAAuB,KAAK,IAAI,MAAM,CAErC;IAEQ,UAAU,CACjB,IAAI,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAC/B,EAAE,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,SAAS,EAAE,YAAY,KAAK,OAAO,CAAC,OAAO,SAAS,EAAE,cAAc,CAAC,GAC9G,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC;gBAIjB,KAAK,EAAE,CAAC,EAAE,UAAU,GAAE,CAAa;IAM/C,IAAI,CAAC,CAAC,SAAS,SAAS,EACtB,MAAM,EAAE,CAAC,GACR,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,SAAS,EAAE,gBAAgB,CAAC,IAAI,GAAG,OAAO,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IAQrG,OAAO,CAAC,gBAAgB;cAmCL,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,GAAG,UAAU;IA4CzD,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;cA+DrE,iBAAiB,IAAI,gBAAgB;cASrC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI;CAQlF"}
+{"version":3,"file":"tuple.d.ts","sourceRoot":"","sources":["../../src/schemas/tuple.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,SAAS,EACT,YAAY,EACZ,UAAU,EACV,WAAW,EACX,eAAe,EAEf,gBAAgB,EAChB,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,cAAc,EACf,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAyC,MAAM,EAAwB,MAAM,SAAS,CAAC;AAE9F,MAAM,MAAM,YAAY,GAAG,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;AAChE,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,IAAI,IAAI,CAAC,SAAS,SAAS,GACnG,SAAS,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,GACxE;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AACnD,KAAK,eAAe,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,IAAI,IAAI,CAAC,SAAS,SAAS,GACjG,SAAS,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,GACtE;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAElD,qBAAa,WAAW,CACtB,CAAC,SAAS,YAAY,EACtB,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,IAAI,EACjC,IAAI,SAAS,UAAU,GAAG,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CACzF,SAAQ,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC;IAC7D,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IAEvB,cAAuB,KAAK,IAAI,MAAM,CAErC;IAEQ,UAAU,CACjB,IAAI,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAC/B,EAAE,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,KAAK,OAAO,CAAC,cAAc,CAAC,GAC1E,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC;gBAIjB,KAAK,EAAE,CAAC,EAAE,UAAU,GAAE,CAAa;IAM/C,IAAI,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IAQpG,OAAO,CAAC,gBAAgB;cAmCL,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,GAAG,UAAU;IA4CzD,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;cA+DrE,iBAAiB,IAAI,gBAAgB;cASrC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI;CAQhE"}

package/dist/schemas/tuple.js

@@ -1,2 +1,2 @@
-import{ErrorCode as e}from"../types.js";import{SpellValidationError as t,prependIssuePath as n}from"../errors.js";import{Schema as r,_makeCtx as i}from"../core.js";var a=class a extends r{items;restSchema;get _kind(){return`tuple`}checkAsync(e){return this._addCheck(e,!0)}constructor(e,t=null){super(),this.items=e,this.restSchema=t}rest(e){return this._copyStateTo(new a(this.items,e))}_guardTupleInput(t,n){return this.restSchema===null&&t.length!==this.items.length?{issues:[{code:e.invalid_length,message:n.messages.tuple.length({exact:this.items.length}),params:{exact:this.items.length},path:[]}],ok:!1}:this.restSchema!==null&&t.length<this.items.length?{issues:[{code:e.too_small,message:n.messages.tuple.min({min:this.items.length}),params:{min:this.items.length},path:[]}],ok:!1}:{ok:!0,value:t}}_parse(t,r){if(!Array.isArray(t))return{data:t,issues:[{code:e.invalid_type,message:r.messages.tuple.type(),path:[]}],typeOk:!1};let i=this._guardTupleInput(t,r);if(!i.ok)return{data:t,issues:i.issues,typeOk:!1};let a=[],o=[],s=i.value;for(let e=0;e<this.items.length;e++){let t=this.items[e]._parseFullSync(s[e],r);t.issues.length===0?o.push(t.data):(a.push(...n(t.issues,e)),o.push(s[e]))}if(this.restSchema!==null)for(let e=this.items.length;e<s.length;e++){let t=this.restSchema._parseFullSync(s[e],r);t.issues.length===0?o.push(t.data):(a.push(...n(t.issues,e)),o.push(s[e]))}return{data:o,issues:a,typeOk:!0}}async parseAsync(r,a){let o=a??i();return this._withCatchAsync(async()=>{let i=this._prepareInput(r);if(i.skip)return i.value;let a=i.value;if(!Array.isArray(a))throw new t([{code:e.invalid_type,message:o.messages.tuple.type(),path:[]}]);let s=this._guardTupleInput(a,o);if(!s.ok)throw new t(s.issues);let c=s.value,l=[],u=[],d=await Promise.all(this.items.map((e,t)=>e._parseFullAsync(c[t],o)));for(let e=0;e<d.length;e++){let t=d[e];t.issues.length===0?u.push(t.data):(l.push(...n(t.issues,e)),u.push(c[e]))}let f=this.restSchema;if(f!==null){let e=c.slice(this.items.length),t=await Promise.all(e.map(e=>f._parseFullAsync(e,o)));for(let e=0;e<t.length;e++){let r=t[e],i=this.items.length+e;r.issues.length===0?u.push(r.data):(l.push(...n(r.issues,i)),u.push(c[i]))}}let p=await this._runValidatorsAsync(u,o),m=[...l,...p];if(m.length>0)throw new t(m);return this._runPostprocessors(u)})}_toDescriptorImpl(){return{...this._describeBase(),items:this.items.map(e=>e.definition()),kind:`tuple`,rest:this.restSchema===null?null:this.restSchema.definition()}}_walk(e){let t=this.items.map(t=>t.walk(e)),n=this.restSchema===null?null:this.restSchema.walk(e);return e.tuple?e.tuple(this,t,n):super._walk(e)}};export{a as TupleSchema};
+import{SpellValidationError as e,prependIssuePath as t}from"../errors.js";import{ErrorCode as n}from"../types.js";import{Schema as r,_makeCtx as i}from"../core.js";var a=class a extends r{items;restSchema;get _kind(){return`tuple`}checkAsync(e){return this._addCheck(e,!0)}constructor(e,t=null){super(),this.items=e,this.restSchema=t}rest(e){return this._copyStateTo(new a(this.items,e))}_guardTupleInput(e,t){return this.restSchema===null&&e.length!==this.items.length?{issues:[{code:n.invalid_length,message:t.messages.tuple.length({exact:this.items.length}),params:{exact:this.items.length},path:[]}],ok:!1}:this.restSchema!==null&&e.length<this.items.length?{issues:[{code:n.too_small,message:t.messages.tuple.min({min:this.items.length}),params:{min:this.items.length},path:[]}],ok:!1}:{ok:!0,value:e}}_parse(e,r){if(!Array.isArray(e))return{data:e,issues:[{code:n.invalid_type,message:r.messages.tuple.type(),path:[]}],typeOk:!1};let i=this._guardTupleInput(e,r);if(!i.ok)return{data:e,issues:i.issues,typeOk:!1};let a=[],o=[],s=i.value;for(let e=0;e<this.items.length;e++){let n=this.items[e]._parseFullSync(s[e],r);n.issues.length===0?o.push(n.data):(a.push(...t(n.issues,e)),o.push(s[e]))}if(this.restSchema!==null)for(let e=this.items.length;e<s.length;e++){let n=this.restSchema._parseFullSync(s[e],r);n.issues.length===0?o.push(n.data):(a.push(...t(n.issues,e)),o.push(s[e]))}return{data:o,issues:a,typeOk:!0}}async parseAsync(r,a){let o=a??i();return this._withCatchAsync(async()=>{let i=this._prepareInput(r);if(i.skip)return i.value;let a=i.value;if(!Array.isArray(a))throw new e([{code:n.invalid_type,message:o.messages.tuple.type(),path:[]}]);let s=this._guardTupleInput(a,o);if(!s.ok)throw new e(s.issues);let c=s.value,l=[],u=[],d=await Promise.all(this.items.map((e,t)=>e._parseFullAsync(c[t],o)));for(let e=0;e<d.length;e++){let n=d[e];n.issues.length===0?u.push(n.data):(l.push(...t(n.issues,e)),u.push(c[e]))}let f=this.restSchema;if(f!==null){let e=c.slice(this.items.length),n=await Promise.all(e.map(e=>f._parseFullAsync(e,o)));for(let e=0;e<n.length;e++){let r=n[e],i=this.items.length+e;r.issues.length===0?u.push(r.data):(l.push(...t(r.issues,i)),u.push(c[i]))}}let p=await this._runValidatorsAsync(u,o),m=[...l,...p];if(m.length>0)throw new e(m);return this._runPostprocessors(u)})}_toDescriptorImpl(){return{...this._describeBase(),items:this.items.map(e=>e.definition()),kind:`tuple`,rest:this.restSchema===null?null:this.restSchema.definition()}}_walk(e){let t=this.items.map(t=>t.walk(e)),n=this.restSchema===null?null:this.restSchema.walk(e);return e.tuple?e.tuple(this,t,n):super._walk(e)}};export{a as TupleSchema};
 //# sourceMappingURL=tuple.js.map

package/dist/schemas/tuple.js.map

@@ -1 +1 @@
-{"version":3,"file":"tuple.js","names":[],"sources":["../../src/schemas/tuple.ts"],"sourcesContent":["import type { AnySchema, Issue, ParseContext, ParseValue, SchemaDescriptor } from '../core';\n\nimport { _makeCtx, ErrorCode, prependIssuePath, Schema, SpellValidationError } from '../core';\n\nexport type TupleSchemas = readonly [AnySchema, ...AnySchema[]];\nexport type InferTuple<T extends TupleSchemas, R extends AnySchema | null = null> =\n  R extends Schema<infer O>\n    ? readonly [...{ [K in keyof T]: T[K] extends Schema<infer V> ? V : never }, ...O[]]\n    : { readonly [K in keyof T]: T[K] extends Schema<infer V> ? V : never };\n\nexport class TupleSchema<\n  T extends TupleSchemas,\n  R extends AnySchema | null = null,\n  Mode extends import('../core').SchemaMode = import('../core').MergeSchemaModes<\n    import('../core').InferSchemaMode<T[number] | Exclude<R, null>>\n  >,\n> extends Schema<InferTuple<T, R>, unknown, Mode> {\n  readonly items: T;\n  readonly restSchema: R;\n\n  protected override get _kind(): string {\n    return 'tuple';\n  }\n\n  override checkAsync(\n    this: TupleSchema<T, R, 'sync'>,\n    fn: (value: InferTuple<T, R>, ctx: import('../core').CheckContext) => Promise<import('../core').ValidateResult>,\n  ): TupleSchema<T, R, 'async'> {\n    return this._addCheck(fn, true) as unknown as TupleSchema<T, R, 'async'>;\n  }\n\n  constructor(items: T, restSchema: R = null as R) {\n    super();\n    this.items = items;\n    this.restSchema = restSchema;\n  }\n\n  rest<U extends AnySchema>(\n    schema: U,\n  ): TupleSchema<T, U, import('../core').MergeSchemaModes<Mode | import('../core').InferSchemaMode<U>>> {\n    return this._copyStateTo(new TupleSchema(this.items, schema)) as unknown as TupleSchema<\n      T,\n      U,\n      import('../core').MergeSchemaModes<Mode | import('../core').InferSchemaMode<U>>\n    >;\n  }\n\n  private _guardTupleInput(\n    value: unknown[],\n    ctx: ParseContext,\n  ): { ok: true; value: unknown[] } | { issues: Issue[]; ok: false } {\n    if (this.restSchema === null && value.length !== this.items.length) {\n      return {\n        issues: [\n          {\n            code: ErrorCode.invalid_length,\n            message: ctx.messages.tuple.length({ exact: this.items.length }),\n            params: { exact: this.items.length },\n            path: [],\n          },\n        ],\n        ok: false,\n      };\n    }\n\n    if (this.restSchema !== null && value.length < this.items.length) {\n      return {\n        issues: [\n          {\n            code: ErrorCode.too_small,\n            message: ctx.messages.tuple.min({ min: this.items.length }),\n            params: { min: this.items.length },\n            path: [],\n          },\n        ],\n        ok: false,\n      };\n    }\n\n    return { ok: true, value };\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue {\n    if (!Array.isArray(value)) {\n      return {\n        data: value,\n        issues: [{ code: ErrorCode.invalid_type, message: ctx.messages.tuple.type(), path: [] }],\n        typeOk: false,\n      };\n    }\n\n    const guarded = this._guardTupleInput(value, ctx);\n\n    if (!guarded.ok) return { data: value, issues: guarded.issues, typeOk: false };\n\n    const issues: Issue[] = [];\n    const output: unknown[] = [];\n    const tupleValue = guarded.value;\n\n    for (let i = 0; i < this.items.length; i++) {\n      const result = this.items[i]._parseFullSync(tupleValue[i], ctx);\n\n      if (result.issues.length === 0) {\n        output.push(result.data);\n      } else {\n        issues.push(...prependIssuePath(result.issues, i));\n        output.push(tupleValue[i]);\n      }\n    }\n\n    if (this.restSchema !== null) {\n      for (let i = this.items.length; i < tupleValue.length; i++) {\n        const result = this.restSchema._parseFullSync(tupleValue[i], ctx);\n\n        if (result.issues.length === 0) {\n          output.push(result.data);\n        } else {\n          issues.push(...prependIssuePath(result.issues, i));\n          output.push(tupleValue[i]);\n        }\n      }\n    }\n\n    return { data: output, issues, typeOk: true };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferTuple<T, R>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as unknown as InferTuple<T, R>;\n\n      const raw = prepared.value;\n\n      if (!Array.isArray(raw)) {\n        throw new SpellValidationError([{ code: ErrorCode.invalid_type, message: c.messages.tuple.type(), path: [] }]);\n      }\n\n      const guarded = this._guardTupleInput(raw, c);\n\n      if (!guarded.ok) throw new SpellValidationError(guarded.issues);\n\n      const tupleValue = guarded.value;\n      const issues: Issue[] = [];\n      const output: unknown[] = [];\n\n      const fixedResults = await Promise.all(this.items.map((schema, i) => schema._parseFullAsync(tupleValue[i], c)));\n\n      for (let i = 0; i < fixedResults.length; i++) {\n        const result = fixedResults[i];\n\n        if (result.issues.length === 0) {\n          output.push(result.data);\n        } else {\n          issues.push(...prependIssuePath(result.issues, i));\n          output.push(tupleValue[i]);\n        }\n      }\n\n      const rest = this.restSchema;\n\n      if (rest !== null) {\n        const restItems = tupleValue.slice(this.items.length);\n        const restResults = await Promise.all(restItems.map((item) => rest._parseFullAsync(item, c)));\n\n        for (let i = 0; i < restResults.length; i++) {\n          const result = restResults[i];\n          const idx = this.items.length + i;\n\n          if (result.issues.length === 0) {\n            output.push(result.data);\n          } else {\n            issues.push(...prependIssuePath(result.issues, idx));\n            output.push(tupleValue[idx]);\n          }\n        }\n      }\n\n      const validationIssues = await this._runValidatorsAsync(output, c);\n      const allIssues = [...issues, ...validationIssues];\n\n      if (allIssues.length > 0) throw new SpellValidationError(allIssues);\n\n      return this._runPostprocessors(output) as InferTuple<T, R>;\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    return {\n      ...this._describeBase(),\n      items: this.items.map((s) => s.definition()),\n      kind: 'tuple',\n      rest: this.restSchema !== null ? this.restSchema.definition() : null,\n    };\n  }\n\n  protected override _walk<R>(visitor: import('../core').SchemaWalker<R>): R | null {\n    const items = this.items.map((s) => s.walk(visitor));\n    const rest = this.restSchema !== null ? this.restSchema.walk(visitor) : null;\n\n    if (visitor.tuple) return visitor.tuple(this, items, rest);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"oKAUA,IAAa,EAAb,MAAa,UAMH,CAAwC,CAChD,MACA,WAEA,IAAuB,OAAgB,CACrC,MAAO,OACT,CAEA,WAEE,EAC4B,CAC5B,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAU,EAAgB,KAAW,CAC/C,MAAM,EACN,KAAK,MAAQ,EACb,KAAK,WAAa,CACpB,CAEA,KACE,EACoG,CACpG,OAAO,KAAK,aAAa,IAAI,EAAY,KAAK,MAAO,CAAM,CAAC,CAK9D,CAEA,iBACE,EACA,EACiE,CA6BjE,OA5BI,KAAK,aAAe,MAAQ,EAAM,SAAW,KAAK,MAAM,OACnD,CACL,OAAQ,CACN,CACE,KAAM,EAAU,eAChB,QAAS,EAAI,SAAS,MAAM,OAAO,CAAE,MAAO,KAAK,MAAM,MAAO,CAAC,EAC/D,OAAQ,CAAE,MAAO,KAAK,MAAM,MAAO,EACnC,KAAM,CAAC,CACT,CACF,EACA,GAAI,EACN,EAGE,KAAK,aAAe,MAAQ,EAAM,OAAS,KAAK,MAAM,OACjD,CACL,OAAQ,CACN,CACE,KAAM,EAAU,UAChB,QAAS,EAAI,SAAS,MAAM,IAAI,CAAE,IAAK,KAAK,MAAM,MAAO,CAAC,EAC1D,OAAQ,CAAE,IAAK,KAAK,MAAM,MAAO,EACjC,KAAM,CAAC,CACT,CACF,EACA,GAAI,EACN,EAGK,CAAE,GAAI,GAAM,OAAM,CAC3B,CAEA,OAA0B,EAAgB,EAA+B,CACvE,GAAI,CAAC,MAAM,QAAQ,CAAK,EACtB,MAAO,CACL,KAAM,EACN,OAAQ,CAAC,CAAE,KAAM,EAAU,aAAc,QAAS,EAAI,SAAS,MAAM,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,EACvF,OAAQ,EACV,EAGF,IAAM,EAAU,KAAK,iBAAiB,EAAO,CAAG,EAEhD,GAAI,CAAC,EAAQ,GAAI,MAAO,CAAE,KAAM,EAAO,OAAQ,EAAQ,OAAQ,OAAQ,EAAM,EAE7E,IAAM,EAAkB,CAAC,EACnB,EAAoB,CAAC,EACrB,EAAa,EAAQ,MAE3B,IAAK,IAAI,EAAI,EAAG,EAAI,KAAK,MAAM,OAAQ,IAAK,CAC1C,IAAM,EAAS,KAAK,MAAM,EAAE,CAAC,eAAe,EAAW,GAAI,CAAG,EAE1D,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAEA,GAAI,KAAK,aAAe,KACtB,IAAK,IAAI,EAAI,KAAK,MAAM,OAAQ,EAAI,EAAW,OAAQ,IAAK,CAC1D,IAAM,EAAS,KAAK,WAAW,eAAe,EAAW,GAAI,CAAG,EAE5D,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAGF,MAAO,CAAE,KAAM,EAAQ,SAAQ,OAAQ,EAAK,CAC9C,CAEA,MAAe,WAAW,EAAgB,EAA+C,CACvF,IAAM,EAAI,GAAO,EAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAM,EAAS,MAErB,GAAI,CAAC,MAAM,QAAQ,CAAG,EACpB,MAAM,IAAI,EAAqB,CAAC,CAAE,KAAM,EAAU,aAAc,QAAS,EAAE,SAAS,MAAM,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,CAAC,EAG/G,IAAM,EAAU,KAAK,iBAAiB,EAAK,CAAC,EAE5C,GAAI,CAAC,EAAQ,GAAI,MAAM,IAAI,EAAqB,EAAQ,MAAM,EAE9D,IAAM,EAAa,EAAQ,MACrB,EAAkB,CAAC,EACnB,EAAoB,CAAC,EAErB,EAAe,MAAM,QAAQ,IAAI,KAAK,MAAM,KAAK,EAAQ,IAAM,EAAO,gBAAgB,EAAW,GAAI,CAAC,CAAC,CAAC,EAE9G,IAAK,IAAI,EAAI,EAAG,EAAI,EAAa,OAAQ,IAAK,CAC5C,IAAM,EAAS,EAAa,GAExB,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAEA,IAAM,EAAO,KAAK,WAElB,GAAI,IAAS,KAAM,CACjB,IAAM,EAAY,EAAW,MAAM,KAAK,MAAM,MAAM,EAC9C,EAAc,MAAM,QAAQ,IAAI,EAAU,IAAK,GAAS,EAAK,gBAAgB,EAAM,CAAC,CAAC,CAAC,EAE5F,IAAK,IAAI,EAAI,EAAG,EAAI,EAAY,OAAQ,IAAK,CAC3C,IAAM,EAAS,EAAY,GACrB,EAAM,KAAK,MAAM,OAAS,EAE5B,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAiB,EAAO,OAAQ,CAAG,CAAC,EACnD,EAAO,KAAK,EAAW,EAAI,EAE/B,CACF,CAEA,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAQ,CAAC,EAC3D,EAAY,CAAC,GAAG,EAAQ,GAAG,CAAgB,EAEjD,GAAI,EAAU,OAAS,EAAG,MAAM,IAAI,EAAqB,CAAS,EAElE,OAAO,KAAK,mBAAmB,CAAM,CACvC,CAAC,CACH,CAEA,mBAAyD,CACvD,MAAO,CACL,GAAG,KAAK,cAAc,EACtB,MAAO,KAAK,MAAM,IAAK,GAAM,EAAE,WAAW,CAAC,EAC3C,KAAM,QACN,KAAM,KAAK,aAAe,KAAsC,KAA/B,KAAK,WAAW,WAAW,CAC9D,CACF,CAEA,MAA4B,EAAsD,CAChF,IAAM,EAAQ,KAAK,MAAM,IAAK,GAAM,EAAE,KAAK,CAAO,CAAC,EAC7C,EAAO,KAAK,aAAe,KAAuC,KAAhC,KAAK,WAAW,KAAK,CAAO,EAIpE,OAFI,EAAQ,MAAc,EAAQ,MAAM,KAAM,EAAO,CAAI,EAElD,MAAM,MAAM,CAAO,CAC5B,CACF"}
+{"version":3,"file":"tuple.js","names":[],"sources":["../../src/schemas/tuple.ts"],"sourcesContent":["import type {\n  AnySchema,\n  CheckContext,\n  InferInput,\n  InferOutput,\n  InferSchemaMode,\n  Issue,\n  MergeSchemaModes,\n  ParseContext,\n  ParseValue,\n  SchemaDescriptor,\n  SchemaMode,\n  SchemaWalker,\n  ValidateResult,\n} from '../core';\n\nimport { _makeCtx, ErrorCode, prependIssuePath, Schema, SpellValidationError } from '../core';\n\nexport type TupleSchemas = readonly [AnySchema, ...AnySchema[]];\nexport type InferTuple<T extends TupleSchemas, R extends AnySchema | null = null> = R extends AnySchema\n  ? readonly [...{ [K in keyof T]: InferOutput<T[K]> }, ...InferOutput<R>[]]\n  : { readonly [K in keyof T]: InferOutput<T[K]> };\ntype InferTupleInput<T extends TupleSchemas, R extends AnySchema | null = null> = R extends AnySchema\n  ? readonly [...{ [K in keyof T]: InferInput<T[K]> }, ...InferInput<R>[]]\n  : { readonly [K in keyof T]: InferInput<T[K]> };\n\nexport class TupleSchema<\n  T extends TupleSchemas,\n  R extends AnySchema | null = null,\n  Mode extends SchemaMode = MergeSchemaModes<InferSchemaMode<T[number] | Exclude<R, null>>>,\n> extends Schema<InferTuple<T, R>, InferTupleInput<T, R>, Mode> {\n  readonly items: T;\n  readonly restSchema: R;\n\n  protected override get _kind(): string {\n    return 'tuple';\n  }\n\n  override checkAsync(\n    this: TupleSchema<T, R, 'sync'>,\n    fn: (value: InferTuple<T, R>, ctx: CheckContext) => Promise<ValidateResult>,\n  ): TupleSchema<T, R, 'async'> {\n    return this._addCheck(fn, true) as unknown as TupleSchema<T, R, 'async'>;\n  }\n\n  constructor(items: T, restSchema: R = null as R) {\n    super();\n    this.items = items;\n    this.restSchema = restSchema;\n  }\n\n  rest<U extends AnySchema>(schema: U): TupleSchema<T, U, MergeSchemaModes<Mode | InferSchemaMode<U>>> {\n    return this._copyStateTo(new TupleSchema(this.items, schema)) as unknown as TupleSchema<\n      T,\n      U,\n      MergeSchemaModes<Mode | InferSchemaMode<U>>\n    >;\n  }\n\n  private _guardTupleInput(\n    value: unknown[],\n    ctx: ParseContext,\n  ): { ok: true; value: unknown[] } | { issues: Issue[]; ok: false } {\n    if (this.restSchema === null && value.length !== this.items.length) {\n      return {\n        issues: [\n          {\n            code: ErrorCode.invalid_length,\n            message: ctx.messages.tuple.length({ exact: this.items.length }),\n            params: { exact: this.items.length },\n            path: [],\n          },\n        ],\n        ok: false,\n      };\n    }\n\n    if (this.restSchema !== null && value.length < this.items.length) {\n      return {\n        issues: [\n          {\n            code: ErrorCode.too_small,\n            message: ctx.messages.tuple.min({ min: this.items.length }),\n            params: { min: this.items.length },\n            path: [],\n          },\n        ],\n        ok: false,\n      };\n    }\n\n    return { ok: true, value };\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue {\n    if (!Array.isArray(value)) {\n      return {\n        data: value,\n        issues: [{ code: ErrorCode.invalid_type, message: ctx.messages.tuple.type(), path: [] }],\n        typeOk: false,\n      };\n    }\n\n    const guarded = this._guardTupleInput(value, ctx);\n\n    if (!guarded.ok) return { data: value, issues: guarded.issues, typeOk: false };\n\n    const issues: Issue[] = [];\n    const output: unknown[] = [];\n    const tupleValue = guarded.value;\n\n    for (let i = 0; i < this.items.length; i++) {\n      const result = this.items[i]._parseFullSync(tupleValue[i], ctx);\n\n      if (result.issues.length === 0) {\n        output.push(result.data);\n      } else {\n        issues.push(...prependIssuePath(result.issues, i));\n        output.push(tupleValue[i]);\n      }\n    }\n\n    if (this.restSchema !== null) {\n      for (let i = this.items.length; i < tupleValue.length; i++) {\n        const result = this.restSchema._parseFullSync(tupleValue[i], ctx);\n\n        if (result.issues.length === 0) {\n          output.push(result.data);\n        } else {\n          issues.push(...prependIssuePath(result.issues, i));\n          output.push(tupleValue[i]);\n        }\n      }\n    }\n\n    return { data: output, issues, typeOk: true };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferTuple<T, R>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as unknown as InferTuple<T, R>;\n\n      const raw = prepared.value;\n\n      if (!Array.isArray(raw)) {\n        throw new SpellValidationError([{ code: ErrorCode.invalid_type, message: c.messages.tuple.type(), path: [] }]);\n      }\n\n      const guarded = this._guardTupleInput(raw, c);\n\n      if (!guarded.ok) throw new SpellValidationError(guarded.issues);\n\n      const tupleValue = guarded.value;\n      const issues: Issue[] = [];\n      const output: unknown[] = [];\n\n      const fixedResults = await Promise.all(this.items.map((schema, i) => schema._parseFullAsync(tupleValue[i], c)));\n\n      for (let i = 0; i < fixedResults.length; i++) {\n        const result = fixedResults[i];\n\n        if (result.issues.length === 0) {\n          output.push(result.data);\n        } else {\n          issues.push(...prependIssuePath(result.issues, i));\n          output.push(tupleValue[i]);\n        }\n      }\n\n      const rest = this.restSchema;\n\n      if (rest !== null) {\n        const restItems = tupleValue.slice(this.items.length);\n        const restResults = await Promise.all(restItems.map((item) => rest._parseFullAsync(item, c)));\n\n        for (let i = 0; i < restResults.length; i++) {\n          const result = restResults[i];\n          const idx = this.items.length + i;\n\n          if (result.issues.length === 0) {\n            output.push(result.data);\n          } else {\n            issues.push(...prependIssuePath(result.issues, idx));\n            output.push(tupleValue[idx]);\n          }\n        }\n      }\n\n      const validationIssues = await this._runValidatorsAsync(output, c);\n      const allIssues = [...issues, ...validationIssues];\n\n      if (allIssues.length > 0) throw new SpellValidationError(allIssues);\n\n      return this._runPostprocessors(output) as InferTuple<T, R>;\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    return {\n      ...this._describeBase(),\n      items: this.items.map((s) => s.definition()),\n      kind: 'tuple',\n      rest: this.restSchema !== null ? this.restSchema.definition() : null,\n    };\n  }\n\n  protected override _walk<R>(visitor: SchemaWalker<R>): R | null {\n    const items = this.items.map((s) => s.walk(visitor));\n    const rest = this.restSchema !== null ? this.restSchema.walk(visitor) : null;\n\n    if (visitor.tuple) return visitor.tuple(this, items, rest);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"oKA0BA,IAAa,EAAb,MAAa,UAIH,CAAsD,CAC9D,MACA,WAEA,IAAuB,OAAgB,CACrC,MAAO,OACT,CAEA,WAEE,EAC4B,CAC5B,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAU,EAAgB,KAAW,CAC/C,MAAM,EACN,KAAK,MAAQ,EACb,KAAK,WAAa,CACpB,CAEA,KAA0B,EAA2E,CACnG,OAAO,KAAK,aAAa,IAAI,EAAY,KAAK,MAAO,CAAM,CAAC,CAK9D,CAEA,iBACE,EACA,EACiE,CA6BjE,OA5BI,KAAK,aAAe,MAAQ,EAAM,SAAW,KAAK,MAAM,OACnD,CACL,OAAQ,CACN,CACE,KAAM,EAAU,eAChB,QAAS,EAAI,SAAS,MAAM,OAAO,CAAE,MAAO,KAAK,MAAM,MAAO,CAAC,EAC/D,OAAQ,CAAE,MAAO,KAAK,MAAM,MAAO,EACnC,KAAM,CAAC,CACT,CACF,EACA,GAAI,EACN,EAGE,KAAK,aAAe,MAAQ,EAAM,OAAS,KAAK,MAAM,OACjD,CACL,OAAQ,CACN,CACE,KAAM,EAAU,UAChB,QAAS,EAAI,SAAS,MAAM,IAAI,CAAE,IAAK,KAAK,MAAM,MAAO,CAAC,EAC1D,OAAQ,CAAE,IAAK,KAAK,MAAM,MAAO,EACjC,KAAM,CAAC,CACT,CACF,EACA,GAAI,EACN,EAGK,CAAE,GAAI,GAAM,OAAM,CAC3B,CAEA,OAA0B,EAAgB,EAA+B,CACvE,GAAI,CAAC,MAAM,QAAQ,CAAK,EACtB,MAAO,CACL,KAAM,EACN,OAAQ,CAAC,CAAE,KAAM,EAAU,aAAc,QAAS,EAAI,SAAS,MAAM,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,EACvF,OAAQ,EACV,EAGF,IAAM,EAAU,KAAK,iBAAiB,EAAO,CAAG,EAEhD,GAAI,CAAC,EAAQ,GAAI,MAAO,CAAE,KAAM,EAAO,OAAQ,EAAQ,OAAQ,OAAQ,EAAM,EAE7E,IAAM,EAAkB,CAAC,EACnB,EAAoB,CAAC,EACrB,EAAa,EAAQ,MAE3B,IAAK,IAAI,EAAI,EAAG,EAAI,KAAK,MAAM,OAAQ,IAAK,CAC1C,IAAM,EAAS,KAAK,MAAM,EAAE,CAAC,eAAe,EAAW,GAAI,CAAG,EAE1D,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAEA,GAAI,KAAK,aAAe,KACtB,IAAK,IAAI,EAAI,KAAK,MAAM,OAAQ,EAAI,EAAW,OAAQ,IAAK,CAC1D,IAAM,EAAS,KAAK,WAAW,eAAe,EAAW,GAAI,CAAG,EAE5D,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAGF,MAAO,CAAE,KAAM,EAAQ,SAAQ,OAAQ,EAAK,CAC9C,CAEA,MAAe,WAAW,EAAgB,EAA+C,CACvF,IAAM,EAAI,GAAO,EAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAM,EAAS,MAErB,GAAI,CAAC,MAAM,QAAQ,CAAG,EACpB,MAAM,IAAI,EAAqB,CAAC,CAAE,KAAM,EAAU,aAAc,QAAS,EAAE,SAAS,MAAM,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,CAAC,EAG/G,IAAM,EAAU,KAAK,iBAAiB,EAAK,CAAC,EAE5C,GAAI,CAAC,EAAQ,GAAI,MAAM,IAAI,EAAqB,EAAQ,MAAM,EAE9D,IAAM,EAAa,EAAQ,MACrB,EAAkB,CAAC,EACnB,EAAoB,CAAC,EAErB,EAAe,MAAM,QAAQ,IAAI,KAAK,MAAM,KAAK,EAAQ,IAAM,EAAO,gBAAgB,EAAW,GAAI,CAAC,CAAC,CAAC,EAE9G,IAAK,IAAI,EAAI,EAAG,EAAI,EAAa,OAAQ,IAAK,CAC5C,IAAM,EAAS,EAAa,GAExB,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAiB,EAAO,OAAQ,CAAC,CAAC,EACjD,EAAO,KAAK,EAAW,EAAE,EAE7B,CAEA,IAAM,EAAO,KAAK,WAElB,GAAI,IAAS,KAAM,CACjB,IAAM,EAAY,EAAW,MAAM,KAAK,MAAM,MAAM,EAC9C,EAAc,MAAM,QAAQ,IAAI,EAAU,IAAK,GAAS,EAAK,gBAAgB,EAAM,CAAC,CAAC,CAAC,EAE5F,IAAK,IAAI,EAAI,EAAG,EAAI,EAAY,OAAQ,IAAK,CAC3C,IAAM,EAAS,EAAY,GACrB,EAAM,KAAK,MAAM,OAAS,EAE5B,EAAO,OAAO,SAAW,EAC3B,EAAO,KAAK,EAAO,IAAI,GAEvB,EAAO,KAAK,GAAG,EAAiB,EAAO,OAAQ,CAAG,CAAC,EACnD,EAAO,KAAK,EAAW,EAAI,EAE/B,CACF,CAEA,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAQ,CAAC,EAC3D,EAAY,CAAC,GAAG,EAAQ,GAAG,CAAgB,EAEjD,GAAI,EAAU,OAAS,EAAG,MAAM,IAAI,EAAqB,CAAS,EAElE,OAAO,KAAK,mBAAmB,CAAM,CACvC,CAAC,CACH,CAEA,mBAAyD,CACvD,MAAO,CACL,GAAG,KAAK,cAAc,EACtB,MAAO,KAAK,MAAM,IAAK,GAAM,EAAE,WAAW,CAAC,EAC3C,KAAM,QACN,KAAM,KAAK,aAAe,KAAsC,KAA/B,KAAK,WAAW,WAAW,CAC9D,CACF,CAEA,MAA4B,EAAoC,CAC9D,IAAM,EAAQ,KAAK,MAAM,IAAK,GAAM,EAAE,KAAK,CAAO,CAAC,EAC7C,EAAO,KAAK,aAAe,KAAuC,KAAhC,KAAK,WAAW,KAAK,CAAO,EAIpE,OAFI,EAAQ,MAAc,EAAQ,MAAM,KAAM,EAAO,CAAI,EAElD,MAAM,MAAM,CAAO,CAC5B,CACF"}

package/dist/schemas/union.cjs

@@ -1,2 +1,2 @@
-const e=require("../types.cjs"),t=require("../errors.cjs"),n=require("../core.cjs");var r=class extends n.Schema{schemas;get _kind(){return`union`}checkAsync(e){return this._addCheck(e,!0)}constructor(e){super(),this.schemas=Object.freeze([...e])}_parse(t,n){let r=[];for(let e of this.schemas){let i=e._parseFullSync(t,n);if(i.issues.length===0)return{data:i.data,issues:[],typeOk:!0};r.push(i.issues)}return{data:t,issues:[{code:e.ErrorCode.invalid_union,message:n.messages.union.invalid(),params:{errors:r},path:[]}],typeOk:!1}}async parseAsync(r,i){let a=i??n._makeCtx();return this._withCatchAsync(async()=>{let n=this._prepareInput(r);if(n.skip)return n.value;let i=n.value,o=[];for(let e of this.schemas){let n=await e._parseFullAsync(i,a);if(n.issues.length>0){o.push(n.issues);continue}let r=await this._runValidatorsAsync(n.data,a);if(r.length>0)throw new t.SpellValidationError(r);return this._runPostprocessors(n.data)}throw new t.SpellValidationError([{code:e.ErrorCode.invalid_union,message:a.messages.union.invalid(),params:{errors:o},path:[]}])})}_toDescriptorImpl(){return{...this._describeBase(),branches:this.schemas.map(e=>e.definition()),kind:`union`}}_walk(e){let t=this.schemas.map(t=>t.walk(e));return e.union?e.union(this,t):super._walk(e)}};exports.UnionSchema=r;
+const e=require("../errors.cjs"),t=require("../types.cjs"),n=require("../core.cjs");var r=class extends n.Schema{schemas;get _kind(){return`union`}checkAsync(e){return this._addCheck(e,!0)}constructor(e){super(),this.schemas=Object.freeze([...e])}_parse(e,n){let r=[];for(let t of this.schemas){let i=t._parseFullSync(e,n);if(i.issues.length===0)return{data:i.data,issues:[],typeOk:!0};r.push(i.issues)}return{data:e,issues:[{code:t.ErrorCode.invalid_union,message:n.messages.union.invalid(),params:{errors:r},path:[]}],typeOk:!1}}async parseAsync(r,i){let a=i??n._makeCtx();return this._withCatchAsync(async()=>{let n=this._prepareInput(r);if(n.skip)return n.value;let i=n.value,o=[];for(let t of this.schemas){let n=await t._parseFullAsync(i,a);if(n.issues.length>0){o.push(n.issues);continue}let r=await this._runValidatorsAsync(n.data,a);if(r.length>0)throw new e.SpellValidationError(r);return this._runPostprocessors(n.data)}throw new e.SpellValidationError([{code:t.ErrorCode.invalid_union,message:a.messages.union.invalid(),params:{errors:o},path:[]}])})}_toDescriptorImpl(){return{...this._describeBase(),branches:this.schemas.map(e=>e.definition()),kind:`union`}}_walk(e){let t=this.schemas.map(t=>t.walk(e));return e.union?e.union(this,t):super._walk(e)}};exports.UnionSchema=r;
 //# sourceMappingURL=union.cjs.map

package/dist/schemas/union.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"union.cjs","names":[],"sources":["../../src/schemas/union.ts"],"sourcesContent":["import type { AnySchema, InferOutput, Issue, ParseContext, ParseValue, SchemaDescriptor } from '../core';\n\nimport { _makeCtx, ErrorCode, Schema, SpellValidationError } from '../core';\n\nexport class UnionSchema<\n  T extends readonly AnySchema[],\n  Mode extends import('../core').SchemaMode = import('../core').MergeSchemaModes<\n    import('../core').InferSchemaMode<T[number]>\n  >,\n> extends Schema<InferOutput<T[number]>, unknown, Mode> {\n  readonly schemas: T;\n\n  protected override get _kind(): string {\n    return 'union';\n  }\n\n  override checkAsync(\n    this: UnionSchema<T, 'sync'>,\n    fn: (\n      value: InferOutput<T[number]>,\n      ctx: import('../core').CheckContext,\n    ) => Promise<import('../core').ValidateResult>,\n  ): UnionSchema<T, 'async'> {\n    return this._addCheck(fn, true) as unknown as UnionSchema<T, 'async'>;\n  }\n\n  constructor(schemas: T) {\n    super();\n    this.schemas = Object.freeze([...schemas]) as T;\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue | Promise<ParseValue> {\n    const branchErrors: Issue[][] = [];\n\n    for (const schema of this.schemas) {\n      const result = schema._parseFullSync(value, ctx);\n\n      if (result.issues.length === 0) return { data: result.data, issues: [], typeOk: true };\n\n      branchErrors.push(result.issues);\n    }\n\n    return {\n      data: value,\n      issues: [\n        {\n          code: ErrorCode.invalid_union,\n          message: ctx.messages.union.invalid(),\n          params: { errors: branchErrors },\n          path: [],\n        },\n      ],\n      typeOk: false,\n    };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferOutput<T[number]>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as InferOutput<T[number]>;\n\n      const v = prepared.value;\n\n      const branchErrors: Issue[][] = [];\n\n      for (const schema of this.schemas) {\n        const result = await schema._parseFullAsync(v, c);\n\n        if (result.issues.length > 0) {\n          branchErrors.push(result.issues);\n          continue;\n        }\n\n        const validationIssues = await this._runValidatorsAsync(result.data, c);\n\n        if (validationIssues.length > 0) throw new SpellValidationError(validationIssues);\n\n        return this._runPostprocessors(result.data) as InferOutput<T[number]>;\n      }\n\n      throw new SpellValidationError([\n        {\n          code: ErrorCode.invalid_union,\n          message: c.messages.union.invalid(),\n          params: { errors: branchErrors },\n          path: [],\n        },\n      ]);\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    return { ...this._describeBase(), branches: this.schemas.map((s) => s.definition()), kind: 'union' };\n  }\n\n  protected override _walk<R>(visitor: import('../core').SchemaWalker<R>): R | null {\n    const branches = this.schemas.map((s) => s.walk(visitor));\n\n    if (visitor.union) return visitor.union(this, branches);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"oFAIA,IAAa,EAAb,cAKU,EAAA,MAA8C,CACtD,QAEA,IAAuB,OAAgB,CACrC,MAAO,OACT,CAEA,WAEE,EAIyB,CACzB,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAY,CACtB,MAAM,EACN,KAAK,QAAU,OAAO,OAAO,CAAC,GAAG,CAAO,CAAC,CAC3C,CAEA,OAA0B,EAAgB,EAAqD,CAC7F,IAAM,EAA0B,CAAC,EAEjC,IAAK,IAAM,KAAU,KAAK,QAAS,CACjC,IAAM,EAAS,EAAO,eAAe,EAAO,CAAG,EAE/C,GAAI,EAAO,OAAO,SAAW,EAAG,MAAO,CAAE,KAAM,EAAO,KAAM,OAAQ,CAAC,EAAG,OAAQ,EAAK,EAErF,EAAa,KAAK,EAAO,MAAM,CACjC,CAEA,MAAO,CACL,KAAM,EACN,OAAQ,CACN,CACE,KAAM,EAAA,UAAU,cAChB,QAAS,EAAI,SAAS,MAAM,QAAQ,EACpC,OAAQ,CAAE,OAAQ,CAAa,EAC/B,KAAM,CAAC,CACT,CACF,EACA,OAAQ,EACV,CACF,CAEA,MAAe,WAAW,EAAgB,EAAqD,CAC7F,IAAM,EAAI,GAAO,EAAA,SAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAI,EAAS,MAEb,EAA0B,CAAC,EAEjC,IAAK,IAAM,KAAU,KAAK,QAAS,CACjC,IAAM,EAAS,MAAM,EAAO,gBAAgB,EAAG,CAAC,EAEhD,GAAI,EAAO,OAAO,OAAS,EAAG,CAC5B,EAAa,KAAK,EAAO,MAAM,EAC/B,QACF,CAEA,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAO,KAAM,CAAC,EAEtE,GAAI,EAAiB,OAAS,EAAG,MAAM,IAAI,EAAA,qBAAqB,CAAgB,EAEhF,OAAO,KAAK,mBAAmB,EAAO,IAAI,CAC5C,CAEA,MAAM,IAAI,EAAA,qBAAqB,CAC7B,CACE,KAAM,EAAA,UAAU,cAChB,QAAS,EAAE,SAAS,MAAM,QAAQ,EAClC,OAAQ,CAAE,OAAQ,CAAa,EAC/B,KAAM,CAAC,CACT,CACF,CAAC,CACH,CAAC,CACH,CAEA,mBAAyD,CACvD,MAAO,CAAE,GAAG,KAAK,cAAc,EAAG,SAAU,KAAK,QAAQ,IAAK,GAAM,EAAE,WAAW,CAAC,EAAG,KAAM,OAAQ,CACrG,CAEA,MAA4B,EAAsD,CAChF,IAAM,EAAW,KAAK,QAAQ,IAAK,GAAM,EAAE,KAAK,CAAO,CAAC,EAIxD,OAFI,EAAQ,MAAc,EAAQ,MAAM,KAAM,CAAQ,EAE/C,MAAM,MAAM,CAAO,CAC5B,CACF"}
+{"version":3,"file":"union.cjs","names":[],"sources":["../../src/schemas/union.ts"],"sourcesContent":["import type {\n  AnySchema,\n  CheckContext,\n  InferInput,\n  InferOutput,\n  InferSchemaMode,\n  Issue,\n  MergeSchemaModes,\n  ParseContext,\n  ParseValue,\n  SchemaDescriptor,\n  SchemaMode,\n  SchemaWalker,\n  ValidateResult,\n} from '../core';\n\nimport { _makeCtx, ErrorCode, Schema, SpellValidationError } from '../core';\n\nexport class UnionSchema<\n  T extends readonly AnySchema[],\n  Mode extends SchemaMode = MergeSchemaModes<InferSchemaMode<T[number]>>,\n> extends Schema<InferOutput<T[number]>, InferInput<T[number]>, Mode> {\n  readonly schemas: T;\n\n  protected override get _kind(): string {\n    return 'union';\n  }\n\n  override checkAsync(\n    this: UnionSchema<T, 'sync'>,\n    fn: (value: InferOutput<T[number]>, ctx: CheckContext) => Promise<ValidateResult>,\n  ): UnionSchema<T, 'async'> {\n    return this._addCheck(fn, true) as unknown as UnionSchema<T, 'async'>;\n  }\n\n  constructor(schemas: T) {\n    super();\n    this.schemas = Object.freeze([...schemas]) as T;\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue | Promise<ParseValue> {\n    const branchErrors: Issue[][] = [];\n\n    for (const schema of this.schemas) {\n      const result = schema._parseFullSync(value, ctx);\n\n      if (result.issues.length === 0) return { data: result.data, issues: [], typeOk: true };\n\n      branchErrors.push(result.issues);\n    }\n\n    return {\n      data: value,\n      issues: [\n        {\n          code: ErrorCode.invalid_union,\n          message: ctx.messages.union.invalid(),\n          params: { errors: branchErrors },\n          path: [],\n        },\n      ],\n      typeOk: false,\n    };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferOutput<T[number]>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as InferOutput<T[number]>;\n\n      const v = prepared.value;\n\n      const branchErrors: Issue[][] = [];\n\n      for (const schema of this.schemas) {\n        const result = await schema._parseFullAsync(v, c);\n\n        if (result.issues.length > 0) {\n          branchErrors.push(result.issues);\n          continue;\n        }\n\n        const validationIssues = await this._runValidatorsAsync(result.data, c);\n\n        if (validationIssues.length > 0) throw new SpellValidationError(validationIssues);\n\n        return this._runPostprocessors(result.data) as InferOutput<T[number]>;\n      }\n\n      throw new SpellValidationError([\n        {\n          code: ErrorCode.invalid_union,\n          message: c.messages.union.invalid(),\n          params: { errors: branchErrors },\n          path: [],\n        },\n      ]);\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    return { ...this._describeBase(), branches: this.schemas.map((s) => s.definition()), kind: 'union' };\n  }\n\n  protected override _walk<R>(visitor: SchemaWalker<R>): R | null {\n    const branches = this.schemas.map((s) => s.walk(visitor));\n\n    if (visitor.union) return visitor.union(this, branches);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"oFAkBA,IAAa,EAAb,cAGU,EAAA,MAA4D,CACpE,QAEA,IAAuB,OAAgB,CACrC,MAAO,OACT,CAEA,WAEE,EACyB,CACzB,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAY,CACtB,MAAM,EACN,KAAK,QAAU,OAAO,OAAO,CAAC,GAAG,CAAO,CAAC,CAC3C,CAEA,OAA0B,EAAgB,EAAqD,CAC7F,IAAM,EAA0B,CAAC,EAEjC,IAAK,IAAM,KAAU,KAAK,QAAS,CACjC,IAAM,EAAS,EAAO,eAAe,EAAO,CAAG,EAE/C,GAAI,EAAO,OAAO,SAAW,EAAG,MAAO,CAAE,KAAM,EAAO,KAAM,OAAQ,CAAC,EAAG,OAAQ,EAAK,EAErF,EAAa,KAAK,EAAO,MAAM,CACjC,CAEA,MAAO,CACL,KAAM,EACN,OAAQ,CACN,CACE,KAAM,EAAA,UAAU,cAChB,QAAS,EAAI,SAAS,MAAM,QAAQ,EACpC,OAAQ,CAAE,OAAQ,CAAa,EAC/B,KAAM,CAAC,CACT,CACF,EACA,OAAQ,EACV,CACF,CAEA,MAAe,WAAW,EAAgB,EAAqD,CAC7F,IAAM,EAAI,GAAO,EAAA,SAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAI,EAAS,MAEb,EAA0B,CAAC,EAEjC,IAAK,IAAM,KAAU,KAAK,QAAS,CACjC,IAAM,EAAS,MAAM,EAAO,gBAAgB,EAAG,CAAC,EAEhD,GAAI,EAAO,OAAO,OAAS,EAAG,CAC5B,EAAa,KAAK,EAAO,MAAM,EAC/B,QACF,CAEA,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAO,KAAM,CAAC,EAEtE,GAAI,EAAiB,OAAS,EAAG,MAAM,IAAI,EAAA,qBAAqB,CAAgB,EAEhF,OAAO,KAAK,mBAAmB,EAAO,IAAI,CAC5C,CAEA,MAAM,IAAI,EAAA,qBAAqB,CAC7B,CACE,KAAM,EAAA,UAAU,cAChB,QAAS,EAAE,SAAS,MAAM,QAAQ,EAClC,OAAQ,CAAE,OAAQ,CAAa,EAC/B,KAAM,CAAC,CACT,CACF,CAAC,CACH,CAAC,CACH,CAEA,mBAAyD,CACvD,MAAO,CAAE,GAAG,KAAK,cAAc,EAAG,SAAU,KAAK,QAAQ,IAAK,GAAM,EAAE,WAAW,CAAC,EAAG,KAAM,OAAQ,CACrG,CAEA,MAA4B,EAAoC,CAC9D,IAAM,EAAW,KAAK,QAAQ,IAAK,GAAM,EAAE,KAAK,CAAO,CAAC,EAIxD,OAFI,EAAQ,MAAc,EAAQ,MAAM,KAAM,CAAQ,EAE/C,MAAM,MAAM,CAAO,CAC5B,CACF"}

package/dist/schemas/union.d.ts

@@ -1,13 +1,13 @@
-import type { AnySchema, InferOutput, ParseContext, ParseValue, SchemaDescriptor } from '../core';
+import type { AnySchema, CheckContext, InferInput, InferOutput, InferSchemaMode, MergeSchemaModes, ParseContext, ParseValue, SchemaDescriptor, SchemaMode, SchemaWalker, ValidateResult } from '../core';
 import { Schema } from '../core';
-export declare class UnionSchema<T extends readonly AnySchema[], Mode extends import('../core').SchemaMode = import('../core').MergeSchemaModes<import('../core').InferSchemaMode<T[number]>>> extends Schema<InferOutput<T[number]>, unknown, Mode> {
+export declare class UnionSchema<T extends readonly AnySchema[], Mode extends SchemaMode = MergeSchemaModes<InferSchemaMode<T[number]>>> extends Schema<InferOutput<T[number]>, InferInput<T[number]>, Mode> {
     readonly schemas: T;
     protected get _kind(): string;
-    checkAsync(this: UnionSchema<T, 'sync'>, fn: (value: InferOutput<T[number]>, ctx: import('../core').CheckContext) => Promise<import('../core').ValidateResult>): UnionSchema<T, 'async'>;
+    checkAsync(this: UnionSchema<T, 'sync'>, fn: (value: InferOutput<T[number]>, ctx: CheckContext) => Promise<ValidateResult>): UnionSchema<T, 'async'>;
     constructor(schemas: T);
     protected _parse(value: unknown, ctx: ParseContext): ParseValue | Promise<ParseValue>;
     parseAsync(value: unknown, ctx?: ParseContext): Promise<InferOutput<T[number]>>;
     protected _toDescriptorImpl(): SchemaDescriptor;
-    protected _walk<R>(visitor: import('../core').SchemaWalker<R>): R | null;
+    protected _walk<R>(visitor: SchemaWalker<R>): R | null;
 }
 //# sourceMappingURL=union.d.ts.map

package/dist/schemas/union.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../src/schemas/union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAS,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAEzG,OAAO,EAAuB,MAAM,EAAwB,MAAM,SAAS,CAAC;AAE5E,qBAAa,WAAW,CACtB,CAAC,SAAS,SAAS,SAAS,EAAE,EAC9B,IAAI,SAAS,OAAO,SAAS,EAAE,UAAU,GAAG,OAAO,SAAS,EAAE,gBAAgB,CAC5E,OAAO,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAC7C,CACD,SAAQ,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC;IACrD,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAEpB,cAAuB,KAAK,IAAI,MAAM,CAErC;IAEQ,UAAU,CACjB,IAAI,EAAE,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,EAC5B,EAAE,EAAE,CACF,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAC7B,GAAG,EAAE,OAAO,SAAS,EAAE,YAAY,KAChC,OAAO,CAAC,OAAO,SAAS,EAAE,cAAc,CAAC,GAC7C,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC;gBAId,OAAO,EAAE,CAAC;cAKH,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,GAAG,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;IAyB/E,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;cAsC3E,iBAAiB,IAAI,gBAAgB;cAIrC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI;CAOlF"}
+{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../src/schemas/union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,SAAS,EACT,YAAY,EACZ,UAAU,EACV,WAAW,EACX,eAAe,EAEf,gBAAgB,EAChB,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,cAAc,EACf,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAuB,MAAM,EAAwB,MAAM,SAAS,CAAC;AAE5E,qBAAa,WAAW,CACtB,CAAC,SAAS,SAAS,SAAS,EAAE,EAC9B,IAAI,SAAS,UAAU,GAAG,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CACtE,SAAQ,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC;IACnE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAEpB,cAAuB,KAAK,IAAI,MAAM,CAErC;IAEQ,UAAU,CACjB,IAAI,EAAE,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,EAC5B,EAAE,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,KAAK,OAAO,CAAC,cAAc,CAAC,GAChF,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC;gBAId,OAAO,EAAE,CAAC;cAKH,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,GAAG,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;IAyB/E,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;cAsC3E,iBAAiB,IAAI,gBAAgB;cAIrC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI;CAOhE"}

package/dist/schemas/union.js

@@ -1,2 +1,2 @@
-import{ErrorCode as e}from"../types.js";import{SpellValidationError as t}from"../errors.js";import{Schema as n,_makeCtx as r}from"../core.js";var i=class extends n{schemas;get _kind(){return`union`}checkAsync(e){return this._addCheck(e,!0)}constructor(e){super(),this.schemas=Object.freeze([...e])}_parse(t,n){let r=[];for(let e of this.schemas){let i=e._parseFullSync(t,n);if(i.issues.length===0)return{data:i.data,issues:[],typeOk:!0};r.push(i.issues)}return{data:t,issues:[{code:e.invalid_union,message:n.messages.union.invalid(),params:{errors:r},path:[]}],typeOk:!1}}async parseAsync(n,i){let a=i??r();return this._withCatchAsync(async()=>{let r=this._prepareInput(n);if(r.skip)return r.value;let i=r.value,o=[];for(let e of this.schemas){let n=await e._parseFullAsync(i,a);if(n.issues.length>0){o.push(n.issues);continue}let r=await this._runValidatorsAsync(n.data,a);if(r.length>0)throw new t(r);return this._runPostprocessors(n.data)}throw new t([{code:e.invalid_union,message:a.messages.union.invalid(),params:{errors:o},path:[]}])})}_toDescriptorImpl(){return{...this._describeBase(),branches:this.schemas.map(e=>e.definition()),kind:`union`}}_walk(e){let t=this.schemas.map(t=>t.walk(e));return e.union?e.union(this,t):super._walk(e)}};export{i as UnionSchema};
+import{SpellValidationError as e}from"../errors.js";import{ErrorCode as t}from"../types.js";import{Schema as n,_makeCtx as r}from"../core.js";var i=class extends n{schemas;get _kind(){return`union`}checkAsync(e){return this._addCheck(e,!0)}constructor(e){super(),this.schemas=Object.freeze([...e])}_parse(e,n){let r=[];for(let t of this.schemas){let i=t._parseFullSync(e,n);if(i.issues.length===0)return{data:i.data,issues:[],typeOk:!0};r.push(i.issues)}return{data:e,issues:[{code:t.invalid_union,message:n.messages.union.invalid(),params:{errors:r},path:[]}],typeOk:!1}}async parseAsync(n,i){let a=i??r();return this._withCatchAsync(async()=>{let r=this._prepareInput(n);if(r.skip)return r.value;let i=r.value,o=[];for(let t of this.schemas){let n=await t._parseFullAsync(i,a);if(n.issues.length>0){o.push(n.issues);continue}let r=await this._runValidatorsAsync(n.data,a);if(r.length>0)throw new e(r);return this._runPostprocessors(n.data)}throw new e([{code:t.invalid_union,message:a.messages.union.invalid(),params:{errors:o},path:[]}])})}_toDescriptorImpl(){return{...this._describeBase(),branches:this.schemas.map(e=>e.definition()),kind:`union`}}_walk(e){let t=this.schemas.map(t=>t.walk(e));return e.union?e.union(this,t):super._walk(e)}};export{i as UnionSchema};
 //# sourceMappingURL=union.js.map

package/dist/schemas/union.js.map

@@ -1 +1 @@
-{"version":3,"file":"union.js","names":[],"sources":["../../src/schemas/union.ts"],"sourcesContent":["import type { AnySchema, InferOutput, Issue, ParseContext, ParseValue, SchemaDescriptor } from '../core';\n\nimport { _makeCtx, ErrorCode, Schema, SpellValidationError } from '../core';\n\nexport class UnionSchema<\n  T extends readonly AnySchema[],\n  Mode extends import('../core').SchemaMode = import('../core').MergeSchemaModes<\n    import('../core').InferSchemaMode<T[number]>\n  >,\n> extends Schema<InferOutput<T[number]>, unknown, Mode> {\n  readonly schemas: T;\n\n  protected override get _kind(): string {\n    return 'union';\n  }\n\n  override checkAsync(\n    this: UnionSchema<T, 'sync'>,\n    fn: (\n      value: InferOutput<T[number]>,\n      ctx: import('../core').CheckContext,\n    ) => Promise<import('../core').ValidateResult>,\n  ): UnionSchema<T, 'async'> {\n    return this._addCheck(fn, true) as unknown as UnionSchema<T, 'async'>;\n  }\n\n  constructor(schemas: T) {\n    super();\n    this.schemas = Object.freeze([...schemas]) as T;\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue | Promise<ParseValue> {\n    const branchErrors: Issue[][] = [];\n\n    for (const schema of this.schemas) {\n      const result = schema._parseFullSync(value, ctx);\n\n      if (result.issues.length === 0) return { data: result.data, issues: [], typeOk: true };\n\n      branchErrors.push(result.issues);\n    }\n\n    return {\n      data: value,\n      issues: [\n        {\n          code: ErrorCode.invalid_union,\n          message: ctx.messages.union.invalid(),\n          params: { errors: branchErrors },\n          path: [],\n        },\n      ],\n      typeOk: false,\n    };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferOutput<T[number]>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as InferOutput<T[number]>;\n\n      const v = prepared.value;\n\n      const branchErrors: Issue[][] = [];\n\n      for (const schema of this.schemas) {\n        const result = await schema._parseFullAsync(v, c);\n\n        if (result.issues.length > 0) {\n          branchErrors.push(result.issues);\n          continue;\n        }\n\n        const validationIssues = await this._runValidatorsAsync(result.data, c);\n\n        if (validationIssues.length > 0) throw new SpellValidationError(validationIssues);\n\n        return this._runPostprocessors(result.data) as InferOutput<T[number]>;\n      }\n\n      throw new SpellValidationError([\n        {\n          code: ErrorCode.invalid_union,\n          message: c.messages.union.invalid(),\n          params: { errors: branchErrors },\n          path: [],\n        },\n      ]);\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    return { ...this._describeBase(), branches: this.schemas.map((s) => s.definition()), kind: 'union' };\n  }\n\n  protected override _walk<R>(visitor: import('../core').SchemaWalker<R>): R | null {\n    const branches = this.schemas.map((s) => s.walk(visitor));\n\n    if (visitor.union) return visitor.union(this, branches);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"8IAIA,IAAa,EAAb,cAKU,CAA8C,CACtD,QAEA,IAAuB,OAAgB,CACrC,MAAO,OACT,CAEA,WAEE,EAIyB,CACzB,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAY,CACtB,MAAM,EACN,KAAK,QAAU,OAAO,OAAO,CAAC,GAAG,CAAO,CAAC,CAC3C,CAEA,OAA0B,EAAgB,EAAqD,CAC7F,IAAM,EAA0B,CAAC,EAEjC,IAAK,IAAM,KAAU,KAAK,QAAS,CACjC,IAAM,EAAS,EAAO,eAAe,EAAO,CAAG,EAE/C,GAAI,EAAO,OAAO,SAAW,EAAG,MAAO,CAAE,KAAM,EAAO,KAAM,OAAQ,CAAC,EAAG,OAAQ,EAAK,EAErF,EAAa,KAAK,EAAO,MAAM,CACjC,CAEA,MAAO,CACL,KAAM,EACN,OAAQ,CACN,CACE,KAAM,EAAU,cAChB,QAAS,EAAI,SAAS,MAAM,QAAQ,EACpC,OAAQ,CAAE,OAAQ,CAAa,EAC/B,KAAM,CAAC,CACT,CACF,EACA,OAAQ,EACV,CACF,CAEA,MAAe,WAAW,EAAgB,EAAqD,CAC7F,IAAM,EAAI,GAAO,EAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAI,EAAS,MAEb,EAA0B,CAAC,EAEjC,IAAK,IAAM,KAAU,KAAK,QAAS,CACjC,IAAM,EAAS,MAAM,EAAO,gBAAgB,EAAG,CAAC,EAEhD,GAAI,EAAO,OAAO,OAAS,EAAG,CAC5B,EAAa,KAAK,EAAO,MAAM,EAC/B,QACF,CAEA,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAO,KAAM,CAAC,EAEtE,GAAI,EAAiB,OAAS,EAAG,MAAM,IAAI,EAAqB,CAAgB,EAEhF,OAAO,KAAK,mBAAmB,EAAO,IAAI,CAC5C,CAEA,MAAM,IAAI,EAAqB,CAC7B,CACE,KAAM,EAAU,cAChB,QAAS,EAAE,SAAS,MAAM,QAAQ,EAClC,OAAQ,CAAE,OAAQ,CAAa,EAC/B,KAAM,CAAC,CACT,CACF,CAAC,CACH,CAAC,CACH,CAEA,mBAAyD,CACvD,MAAO,CAAE,GAAG,KAAK,cAAc,EAAG,SAAU,KAAK,QAAQ,IAAK,GAAM,EAAE,WAAW,CAAC,EAAG,KAAM,OAAQ,CACrG,CAEA,MAA4B,EAAsD,CAChF,IAAM,EAAW,KAAK,QAAQ,IAAK,GAAM,EAAE,KAAK,CAAO,CAAC,EAIxD,OAFI,EAAQ,MAAc,EAAQ,MAAM,KAAM,CAAQ,EAE/C,MAAM,MAAM,CAAO,CAC5B,CACF"}
+{"version":3,"file":"union.js","names":[],"sources":["../../src/schemas/union.ts"],"sourcesContent":["import type {\n  AnySchema,\n  CheckContext,\n  InferInput,\n  InferOutput,\n  InferSchemaMode,\n  Issue,\n  MergeSchemaModes,\n  ParseContext,\n  ParseValue,\n  SchemaDescriptor,\n  SchemaMode,\n  SchemaWalker,\n  ValidateResult,\n} from '../core';\n\nimport { _makeCtx, ErrorCode, Schema, SpellValidationError } from '../core';\n\nexport class UnionSchema<\n  T extends readonly AnySchema[],\n  Mode extends SchemaMode = MergeSchemaModes<InferSchemaMode<T[number]>>,\n> extends Schema<InferOutput<T[number]>, InferInput<T[number]>, Mode> {\n  readonly schemas: T;\n\n  protected override get _kind(): string {\n    return 'union';\n  }\n\n  override checkAsync(\n    this: UnionSchema<T, 'sync'>,\n    fn: (value: InferOutput<T[number]>, ctx: CheckContext) => Promise<ValidateResult>,\n  ): UnionSchema<T, 'async'> {\n    return this._addCheck(fn, true) as unknown as UnionSchema<T, 'async'>;\n  }\n\n  constructor(schemas: T) {\n    super();\n    this.schemas = Object.freeze([...schemas]) as T;\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue | Promise<ParseValue> {\n    const branchErrors: Issue[][] = [];\n\n    for (const schema of this.schemas) {\n      const result = schema._parseFullSync(value, ctx);\n\n      if (result.issues.length === 0) return { data: result.data, issues: [], typeOk: true };\n\n      branchErrors.push(result.issues);\n    }\n\n    return {\n      data: value,\n      issues: [\n        {\n          code: ErrorCode.invalid_union,\n          message: ctx.messages.union.invalid(),\n          params: { errors: branchErrors },\n          path: [],\n        },\n      ],\n      typeOk: false,\n    };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferOutput<T[number]>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as InferOutput<T[number]>;\n\n      const v = prepared.value;\n\n      const branchErrors: Issue[][] = [];\n\n      for (const schema of this.schemas) {\n        const result = await schema._parseFullAsync(v, c);\n\n        if (result.issues.length > 0) {\n          branchErrors.push(result.issues);\n          continue;\n        }\n\n        const validationIssues = await this._runValidatorsAsync(result.data, c);\n\n        if (validationIssues.length > 0) throw new SpellValidationError(validationIssues);\n\n        return this._runPostprocessors(result.data) as InferOutput<T[number]>;\n      }\n\n      throw new SpellValidationError([\n        {\n          code: ErrorCode.invalid_union,\n          message: c.messages.union.invalid(),\n          params: { errors: branchErrors },\n          path: [],\n        },\n      ]);\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    return { ...this._describeBase(), branches: this.schemas.map((s) => s.definition()), kind: 'union' };\n  }\n\n  protected override _walk<R>(visitor: SchemaWalker<R>): R | null {\n    const branches = this.schemas.map((s) => s.walk(visitor));\n\n    if (visitor.union) return visitor.union(this, branches);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"8IAkBA,IAAa,EAAb,cAGU,CAA4D,CACpE,QAEA,IAAuB,OAAgB,CACrC,MAAO,OACT,CAEA,WAEE,EACyB,CACzB,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAY,CACtB,MAAM,EACN,KAAK,QAAU,OAAO,OAAO,CAAC,GAAG,CAAO,CAAC,CAC3C,CAEA,OAA0B,EAAgB,EAAqD,CAC7F,IAAM,EAA0B,CAAC,EAEjC,IAAK,IAAM,KAAU,KAAK,QAAS,CACjC,IAAM,EAAS,EAAO,eAAe,EAAO,CAAG,EAE/C,GAAI,EAAO,OAAO,SAAW,EAAG,MAAO,CAAE,KAAM,EAAO,KAAM,OAAQ,CAAC,EAAG,OAAQ,EAAK,EAErF,EAAa,KAAK,EAAO,MAAM,CACjC,CAEA,MAAO,CACL,KAAM,EACN,OAAQ,CACN,CACE,KAAM,EAAU,cAChB,QAAS,EAAI,SAAS,MAAM,QAAQ,EACpC,OAAQ,CAAE,OAAQ,CAAa,EAC/B,KAAM,CAAC,CACT,CACF,EACA,OAAQ,EACV,CACF,CAEA,MAAe,WAAW,EAAgB,EAAqD,CAC7F,IAAM,EAAI,GAAO,EAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAI,EAAS,MAEb,EAA0B,CAAC,EAEjC,IAAK,IAAM,KAAU,KAAK,QAAS,CACjC,IAAM,EAAS,MAAM,EAAO,gBAAgB,EAAG,CAAC,EAEhD,GAAI,EAAO,OAAO,OAAS,EAAG,CAC5B,EAAa,KAAK,EAAO,MAAM,EAC/B,QACF,CAEA,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAO,KAAM,CAAC,EAEtE,GAAI,EAAiB,OAAS,EAAG,MAAM,IAAI,EAAqB,CAAgB,EAEhF,OAAO,KAAK,mBAAmB,EAAO,IAAI,CAC5C,CAEA,MAAM,IAAI,EAAqB,CAC7B,CACE,KAAM,EAAU,cAChB,QAAS,EAAE,SAAS,MAAM,QAAQ,EAClC,OAAQ,CAAE,OAAQ,CAAa,EAC/B,KAAM,CAAC,CACT,CACF,CAAC,CACH,CAAC,CACH,CAEA,mBAAyD,CACvD,MAAO,CAAE,GAAG,KAAK,cAAc,EAAG,SAAU,KAAK,QAAQ,IAAK,GAAM,EAAE,WAAW,CAAC,EAAG,KAAM,OAAQ,CACrG,CAEA,MAA4B,EAAoC,CAC9D,IAAM,EAAW,KAAK,QAAQ,IAAK,GAAM,EAAE,KAAK,CAAO,CAAC,EAIxD,OAFI,EAAQ,MAAc,EAAQ,MAAM,KAAM,CAAQ,EAE/C,MAAM,MAAM,CAAO,CAC5B,CACF"}

package/dist/schemas/variant.cjs

@@ -1,2 +1,2 @@
-const e=require("../types.cjs"),t=require("../errors.cjs"),n=require("../safe-object.cjs"),r=require("../core.cjs"),i=require("./literal.cjs");var a=class extends r.Schema{_map;_discriminator;get _kind(){return`variant`}checkAsync(e){return this._addCheck(e,!0)}constructor(e,n){let r=new Map;for(let[a,o]of Object.entries(n)){let n=new i.LiteralSchema(a),s=o.shape[e];if(s&&(!(s instanceof i.LiteralSchema)||s.value!==a))throw new t.SpellError(`s.discriminatedUnion(): branch "${a}" defines a conflicting discriminator schema for "${e}".`);let c={[e]:n};r.set(a,s?o:o.extend(c))}super(),this._discriminator=e,this._map=r}get discriminator(){return this._discriminator}get variantMap(){return new Map(this._map)}_resolveVariant(t,n){if(typeof t!=`object`||!t||Array.isArray(t))return{issues:[{code:e.ErrorCode.invalid_type,message:n.messages.variant.type(),path:[]}]};let r=t,i=r[this._discriminator],a=this._map.get(i);if(!a){let t=[...this._map.keys()];return{issues:[{code:e.ErrorCode.invalid_variant,message:n.messages.variant.invalidDiscriminator({discriminator:this._discriminator,expected:t}),params:{discriminator:this._discriminator,expected:t},path:[]}]}}return{matched:a,obj:r}}_parse(e,t){let n=this._resolveVariant(e,t);if(`issues`in n)return{data:e,issues:n.issues,typeOk:!1};let r=n.matched._parseFullSync(e,t);return r.issues.length===0?{data:r.data,issues:[],typeOk:!0}:{data:e,issues:r.issues,typeOk:!0}}async parseAsync(e,n){let i=n??r._makeCtx();return this._withCatchAsync(async()=>{let n=this._prepareInput(e);if(n.skip)return n.value;let r=this._resolveVariant(n.value,i);if(`issues`in r)throw new t.SpellValidationError(r.issues);let a=await r.matched.safeParseAsync(n.value,i);if(!a.success)throw a.error;let o=await this._runValidatorsAsync(a.data,i);if(o.length>0)throw new t.SpellValidationError(o);return this._runPostprocessors(a.data)})}_toDescriptorImpl(){let e={};for(let[t,r]of this._map.entries())n.defineOwnProperty(e,t,r.definition());return{...this._describeBase(),branches:e,discriminator:this._discriminator,kind:`variant`}}_walk(e){let t=n.objectFromEntries([...this._map.entries()].map(([t,n])=>[t,n.walk(e)]));return e.variant?e.variant(this,t):super._walk(e)}};exports.VariantSchema=a;
+const e=require("../errors.cjs"),t=require("../safe-object.cjs"),n=require("../types.cjs"),r=require("../core.cjs"),i=require("./literal.cjs");var a=class extends r.Schema{_map;_discriminator;get _kind(){return`variant`}checkAsync(e){return this._addCheck(e,!0)}constructor(t,n){let r=new Map;for(let[a,o]of Object.entries(n)){let n=new i.LiteralSchema(a),s=o.shape[t];if(s&&(!(s instanceof i.LiteralSchema)||s.value!==a))throw new e.SpellError(`s.discriminatedUnion(): branch "${a}" defines a conflicting discriminator schema for "${t}".`);let c={[t]:n};r.set(a,s?o:o.extend(c))}super(),this._discriminator=t,this._map=r}get discriminator(){return this._discriminator}get variantMap(){return new Map(this._map)}_resolveVariant(e,t){if(typeof e!=`object`||!e||Array.isArray(e))return{issues:[{code:n.ErrorCode.invalid_type,message:t.messages.variant.type(),path:[]}]};let r=e,i=r[this._discriminator],a=this._map.get(i);if(!a){let e=[...this._map.keys()];return{issues:[{code:n.ErrorCode.invalid_variant,message:t.messages.variant.invalidDiscriminator({discriminator:this._discriminator,expected:e}),params:{discriminator:this._discriminator,expected:e},path:[]}]}}return{matched:a,obj:r}}_parse(e,t){let n=this._resolveVariant(e,t);if(`issues`in n)return{data:e,issues:n.issues,typeOk:!1};let r=n.matched._parseFullSync(e,t);return r.issues.length===0?{data:r.data,issues:[],typeOk:!0}:{data:e,issues:r.issues,typeOk:!0}}async parseAsync(t,n){let i=n??r._makeCtx();return this._withCatchAsync(async()=>{let n=this._prepareInput(t);if(n.skip)return n.value;let r=this._resolveVariant(n.value,i);if(`issues`in r)throw new e.SpellValidationError(r.issues);let a=await r.matched.safeParseAsync(n.value,i);if(!a.success)throw a.error;let o=await this._runValidatorsAsync(a.data,i);if(o.length>0)throw new e.SpellValidationError(o);return this._runPostprocessors(a.data)})}_toDescriptorImpl(){let e={};for(let[n,r]of this._map.entries())t.defineOwnProperty(e,n,r.definition());return{...this._describeBase(),branches:e,discriminator:this._discriminator,kind:`variant`}}_walk(e){let n=t.objectFromEntries([...this._map.entries()].map(([t,n])=>[t,n.walk(e)]));return e.variant?e.variant(this,n):super._walk(e)}};exports.VariantSchema=a;
 //# sourceMappingURL=variant.cjs.map

package/dist/schemas/variant.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"variant.cjs","names":[],"sources":["../../src/schemas/variant.ts"],"sourcesContent":["import type { AnySchema, Issue, ParseContext, ParseValue, SchemaDescriptor } from '../core';\n\nimport { _makeCtx, ErrorCode, Schema, SpellValidationError } from '../core';\nimport { SpellError } from '../errors';\nimport { defineOwnProperty, objectFromEntries } from '../safe-object';\nimport { LiteralSchema } from './literal';\nimport type { InferObject, ObjectSchema, ObjectShape } from './object';\n\ntype VariantMap = Record<string, ObjectSchema<any, any>>;\ntype InferVariantMap<K extends string, M extends VariantMap> = {\n  [Tag in keyof M & string]: M[Tag] extends { shape: infer S extends ObjectShape }\n    ? InferObject<S> & { [P in K]: Tag }\n    : never;\n}[keyof M & string];\n\nexport class VariantSchema<\n  K extends string,\n  M extends VariantMap,\n  Mode extends import('../core').SchemaMode = import('../core').MergeSchemaModes<\n    import('../core').InferSchemaMode<M[keyof M]>\n  >,\n> extends Schema<InferVariantMap<K, M>, unknown, Mode> {\n  private readonly _map: Map<string, VariantMap[string]>;\n  private readonly _discriminator: K;\n\n  protected override get _kind(): string {\n    return 'variant';\n  }\n\n  override checkAsync(\n    this: VariantSchema<K, M, 'sync'>,\n    fn: (\n      value: InferVariantMap<K, M>,\n      ctx: import('../core').CheckContext,\n    ) => Promise<import('../core').ValidateResult>,\n  ): VariantSchema<K, M, 'async'> {\n    return this._addCheck(fn, true) as unknown as VariantSchema<K, M, 'async'>;\n  }\n\n  constructor(discriminator: K, variantMap: M) {\n    const map = new Map<string, VariantMap[string]>();\n\n    for (const [tag, schema] of Object.entries(variantMap)) {\n      const discriminatorSchema = new LiteralSchema(tag);\n      const existingDiscriminator = schema.shape[discriminator];\n\n      if (\n        existingDiscriminator &&\n        (!(existingDiscriminator instanceof LiteralSchema) || existingDiscriminator.value !== tag)\n      ) {\n        throw new SpellError(\n          `s.discriminatedUnion(): branch \"${tag}\" defines a conflicting discriminator schema for \"${discriminator}\".`,\n        );\n      }\n\n      const discriminatorShape = {\n        [discriminator]: discriminatorSchema,\n      } as unknown as Record<K, AnySchema>;\n\n      map.set(tag, existingDiscriminator ? schema : schema.extend(discriminatorShape));\n    }\n\n    super();\n    this._discriminator = discriminator;\n    this._map = map;\n  }\n\n  /** The discriminator field key used to select the matching variant. */\n  get discriminator(): K {\n    return this._discriminator;\n  }\n\n  /** Map from discriminator tag value to the extended ObjectSchema for that variant. */\n  get variantMap(): ReadonlyMap<string, VariantMap[string]> {\n    return new Map(this._map);\n  }\n\n  private _resolveVariant(\n    value: unknown,\n    ctx: ParseContext,\n  ): { matched: VariantMap[string]; obj: Record<string, unknown> } | { issues: Issue[] } {\n    if (value == null || typeof value !== 'object' || Array.isArray(value)) {\n      return {\n        issues: [{ code: ErrorCode.invalid_type, message: ctx.messages.variant.type(), path: [] }],\n      };\n    }\n\n    const obj = value as Record<string, unknown>;\n    const discValue = obj[this._discriminator] as string;\n    const matched = this._map.get(discValue);\n\n    if (!matched) {\n      const expected = [...this._map.keys()];\n\n      return {\n        issues: [\n          {\n            code: ErrorCode.invalid_variant,\n            message: ctx.messages.variant.invalidDiscriminator({\n              discriminator: this._discriminator,\n              expected,\n            }),\n            params: { discriminator: this._discriminator, expected },\n            path: [],\n          },\n        ],\n      };\n    }\n\n    return { matched, obj };\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue {\n    const resolved = this._resolveVariant(value, ctx);\n\n    if ('issues' in resolved) return { data: value, issues: resolved.issues, typeOk: false };\n\n    const result = resolved.matched._parseFullSync(value, ctx);\n\n    return result.issues.length === 0\n      ? { data: result.data, issues: [], typeOk: true }\n      : { data: value, issues: result.issues, typeOk: true };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferVariantMap<K, M>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as unknown as InferVariantMap<K, M>;\n\n      const resolved = this._resolveVariant(prepared.value, c);\n\n      if ('issues' in resolved) throw new SpellValidationError(resolved.issues);\n\n      const branch = await resolved.matched.safeParseAsync(prepared.value, c);\n\n      if (!branch.success) throw branch.error;\n\n      const validationIssues = await this._runValidatorsAsync(branch.data, c);\n\n      if (validationIssues.length > 0) throw new SpellValidationError(validationIssues);\n\n      return this._runPostprocessors(branch.data) as InferVariantMap<K, M>;\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    const branches: Record<string, SchemaDescriptor> = {};\n\n    for (const [key, schema] of this._map.entries()) {\n      defineOwnProperty(branches, key, schema.definition());\n    }\n\n    return { ...this._describeBase(), branches, discriminator: this._discriminator, kind: 'variant' };\n  }\n\n  protected override _walk<R>(visitor: import('../core').SchemaWalker<R>): R | null {\n    const branches = objectFromEntries([...this._map.entries()].map(([k, s]) => [k, s.walk(visitor)]));\n\n    if (visitor.variant) return visitor.variant(this, branches);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"+IAeA,IAAa,EAAb,cAMU,EAAA,MAA6C,CACrD,KACA,eAEA,IAAuB,OAAgB,CACrC,MAAO,SACT,CAEA,WAEE,EAI8B,CAC9B,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAkB,EAAe,CAC3C,IAAM,EAAM,IAAI,IAEhB,IAAK,GAAM,CAAC,EAAK,KAAW,OAAO,QAAQ,CAAU,EAAG,CACtD,IAAM,EAAsB,IAAI,EAAA,cAAc,CAAG,EAC3C,EAAwB,EAAO,MAAM,GAE3C,GACE,IACC,EAAE,aAAiC,EAAA,gBAAkB,EAAsB,QAAU,GAEtF,MAAM,IAAI,EAAA,WACR,mCAAmC,EAAI,oDAAoD,EAAc,GAC3G,EAGF,IAAM,EAAqB,EACxB,GAAgB,CACnB,EAEA,EAAI,IAAI,EAAK,EAAwB,EAAS,EAAO,OAAO,CAAkB,CAAC,CACjF,CAEA,MAAM,EACN,KAAK,eAAiB,EACtB,KAAK,KAAO,CACd,CAGA,IAAI,eAAmB,CACrB,OAAO,KAAK,cACd,CAGA,IAAI,YAAsD,CACxD,OAAO,IAAI,IAAI,KAAK,IAAI,CAC1B,CAEA,gBACE,EACA,EACqF,CACrF,GAAqB,OAAO,GAAU,WAAlC,GAA8C,MAAM,QAAQ,CAAK,EACnE,MAAO,CACL,OAAQ,CAAC,CAAE,KAAM,EAAA,UAAU,aAAc,QAAS,EAAI,SAAS,QAAQ,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,CAC3F,EAGF,IAAM,EAAM,EACN,EAAY,EAAI,KAAK,gBACrB,EAAU,KAAK,KAAK,IAAI,CAAS,EAEvC,GAAI,CAAC,EAAS,CACZ,IAAM,EAAW,CAAC,GAAG,KAAK,KAAK,KAAK,CAAC,EAErC,MAAO,CACL,OAAQ,CACN,CACE,KAAM,EAAA,UAAU,gBAChB,QAAS,EAAI,SAAS,QAAQ,qBAAqB,CACjD,cAAe,KAAK,eACpB,UACF,CAAC,EACD,OAAQ,CAAE,cAAe,KAAK,eAAgB,UAAS,EACvD,KAAM,CAAC,CACT,CACF,CACF,CACF,CAEA,MAAO,CAAE,UAAS,KAAI,CACxB,CAEA,OAA0B,EAAgB,EAA+B,CACvE,IAAM,EAAW,KAAK,gBAAgB,EAAO,CAAG,EAEhD,GAAI,WAAY,EAAU,MAAO,CAAE,KAAM,EAAO,OAAQ,EAAS,OAAQ,OAAQ,EAAM,EAEvF,IAAM,EAAS,EAAS,QAAQ,eAAe,EAAO,CAAG,EAEzD,OAAO,EAAO,OAAO,SAAW,EAC5B,CAAE,KAAM,EAAO,KAAM,OAAQ,CAAC,EAAG,OAAQ,EAAK,EAC9C,CAAE,KAAM,EAAO,OAAQ,EAAO,OAAQ,OAAQ,EAAK,CACzD,CAEA,MAAe,WAAW,EAAgB,EAAoD,CAC5F,IAAM,EAAI,GAAO,EAAA,SAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAW,KAAK,gBAAgB,EAAS,MAAO,CAAC,EAEvD,GAAI,WAAY,EAAU,MAAM,IAAI,EAAA,qBAAqB,EAAS,MAAM,EAExE,IAAM,EAAS,MAAM,EAAS,QAAQ,eAAe,EAAS,MAAO,CAAC,EAEtE,GAAI,CAAC,EAAO,QAAS,MAAM,EAAO,MAElC,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAO,KAAM,CAAC,EAEtE,GAAI,EAAiB,OAAS,EAAG,MAAM,IAAI,EAAA,qBAAqB,CAAgB,EAEhF,OAAO,KAAK,mBAAmB,EAAO,IAAI,CAC5C,CAAC,CACH,CAEA,mBAAyD,CACvD,IAAM,EAA6C,CAAC,EAEpD,IAAK,GAAM,CAAC,EAAK,KAAW,KAAK,KAAK,QAAQ,EAC5C,EAAA,kBAAkB,EAAU,EAAK,EAAO,WAAW,CAAC,EAGtD,MAAO,CAAE,GAAG,KAAK,cAAc,EAAG,WAAU,cAAe,KAAK,eAAgB,KAAM,SAAU,CAClG,CAEA,MAA4B,EAAsD,CAChF,IAAM,EAAW,EAAA,kBAAkB,CAAC,GAAG,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAG,KAAO,CAAC,EAAG,EAAE,KAAK,CAAO,CAAC,CAAC,CAAC,EAIjG,OAFI,EAAQ,QAAgB,EAAQ,QAAQ,KAAM,CAAQ,EAEnD,MAAM,MAAM,CAAO,CAC5B,CACF"}
+{"version":3,"file":"variant.cjs","names":[],"sources":["../../src/schemas/variant.ts"],"sourcesContent":["import type {\n  AnySchema,\n  CheckContext,\n  InferSchemaMode,\n  Issue,\n  MergeSchemaModes,\n  ParseContext,\n  ParseValue,\n  SchemaDescriptor,\n  SchemaMode,\n  SchemaWalker,\n  ValidateResult,\n} from '../core';\n\nimport { _makeCtx, ErrorCode, Schema, SpellValidationError } from '../core';\nimport { SpellError } from '../errors';\nimport { defineOwnProperty, objectFromEntries } from '../safe-object';\nimport { LiteralSchema } from './literal';\nimport type { InferObject, InferObjectInput, ObjectSchema, ObjectShape } from './object';\n\ntype VariantMap = Record<string, ObjectSchema<any, any>>;\ntype Simplify<T> = { [P in keyof T]: T[P] };\ntype InferVariantMap<K extends string, M extends VariantMap> = {\n  [Tag in keyof M & string]: M[Tag] extends { shape: infer S extends ObjectShape }\n    ? InferObject<S> & { [P in K]: Tag }\n    : never;\n}[keyof M & string];\ntype InferVariantInputMap<K extends string, M extends VariantMap> = {\n  [Tag in keyof M & string]: M[Tag] extends { shape: infer S extends ObjectShape }\n    ? Simplify<InferObjectInput<S> & { [P in K]: Tag }>\n    : never;\n}[keyof M & string];\n\nexport class VariantSchema<\n  K extends string,\n  M extends VariantMap,\n  Mode extends SchemaMode = MergeSchemaModes<InferSchemaMode<M[keyof M]>>,\n> extends Schema<InferVariantMap<K, M>, InferVariantInputMap<K, M>, Mode> {\n  private readonly _map: Map<string, VariantMap[string]>;\n  private readonly _discriminator: K;\n\n  protected override get _kind(): string {\n    return 'variant';\n  }\n\n  override checkAsync(\n    this: VariantSchema<K, M, 'sync'>,\n    fn: (value: InferVariantMap<K, M>, ctx: CheckContext) => Promise<ValidateResult>,\n  ): VariantSchema<K, M, 'async'> {\n    return this._addCheck(fn, true) as unknown as VariantSchema<K, M, 'async'>;\n  }\n\n  constructor(discriminator: K, variantMap: M) {\n    const map = new Map<string, VariantMap[string]>();\n\n    for (const [tag, schema] of Object.entries(variantMap)) {\n      const discriminatorSchema = new LiteralSchema(tag);\n      const existingDiscriminator = schema.shape[discriminator];\n\n      if (\n        existingDiscriminator &&\n        (!(existingDiscriminator instanceof LiteralSchema) || existingDiscriminator.value !== tag)\n      ) {\n        throw new SpellError(\n          `s.discriminatedUnion(): branch \"${tag}\" defines a conflicting discriminator schema for \"${discriminator}\".`,\n        );\n      }\n\n      const discriminatorShape = {\n        [discriminator]: discriminatorSchema,\n      } as unknown as Record<K, AnySchema>;\n\n      map.set(tag, existingDiscriminator ? schema : schema.extend(discriminatorShape));\n    }\n\n    super();\n    this._discriminator = discriminator;\n    this._map = map;\n  }\n\n  /** The discriminator field key used to select the matching variant. */\n  get discriminator(): K {\n    return this._discriminator;\n  }\n\n  /** Map from discriminator tag value to the extended ObjectSchema for that variant. */\n  get variantMap(): ReadonlyMap<string, VariantMap[string]> {\n    return new Map(this._map);\n  }\n\n  private _resolveVariant(\n    value: unknown,\n    ctx: ParseContext,\n  ): { matched: VariantMap[string]; obj: Record<string, unknown> } | { issues: Issue[] } {\n    if (value == null || typeof value !== 'object' || Array.isArray(value)) {\n      return {\n        issues: [{ code: ErrorCode.invalid_type, message: ctx.messages.variant.type(), path: [] }],\n      };\n    }\n\n    const obj = value as Record<string, unknown>;\n    const discValue = obj[this._discriminator] as string;\n    const matched = this._map.get(discValue);\n\n    if (!matched) {\n      const expected = [...this._map.keys()];\n\n      return {\n        issues: [\n          {\n            code: ErrorCode.invalid_variant,\n            message: ctx.messages.variant.invalidDiscriminator({\n              discriminator: this._discriminator,\n              expected,\n            }),\n            params: { discriminator: this._discriminator, expected },\n            path: [],\n          },\n        ],\n      };\n    }\n\n    return { matched, obj };\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue {\n    const resolved = this._resolveVariant(value, ctx);\n\n    if ('issues' in resolved) return { data: value, issues: resolved.issues, typeOk: false };\n\n    const result = resolved.matched._parseFullSync(value, ctx);\n\n    return result.issues.length === 0\n      ? { data: result.data, issues: [], typeOk: true }\n      : { data: value, issues: result.issues, typeOk: true };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferVariantMap<K, M>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as unknown as InferVariantMap<K, M>;\n\n      const resolved = this._resolveVariant(prepared.value, c);\n\n      if ('issues' in resolved) throw new SpellValidationError(resolved.issues);\n\n      const branch = await resolved.matched.safeParseAsync(prepared.value, c);\n\n      if (!branch.success) throw branch.error;\n\n      const validationIssues = await this._runValidatorsAsync(branch.data, c);\n\n      if (validationIssues.length > 0) throw new SpellValidationError(validationIssues);\n\n      return this._runPostprocessors(branch.data) as InferVariantMap<K, M>;\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    const branches: Record<string, SchemaDescriptor> = {};\n\n    for (const [key, schema] of this._map.entries()) {\n      defineOwnProperty(branches, key, schema.definition());\n    }\n\n    return { ...this._describeBase(), branches, discriminator: this._discriminator, kind: 'variant' };\n  }\n\n  protected override _walk<R>(visitor: SchemaWalker<R>): R | null {\n    const branches = objectFromEntries([...this._map.entries()].map(([k, s]) => [k, s.walk(visitor)]));\n\n    if (visitor.variant) return visitor.variant(this, branches);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"+IAiCA,IAAa,EAAb,cAIU,EAAA,MAAgE,CACxE,KACA,eAEA,IAAuB,OAAgB,CACrC,MAAO,SACT,CAEA,WAEE,EAC8B,CAC9B,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAkB,EAAe,CAC3C,IAAM,EAAM,IAAI,IAEhB,IAAK,GAAM,CAAC,EAAK,KAAW,OAAO,QAAQ,CAAU,EAAG,CACtD,IAAM,EAAsB,IAAI,EAAA,cAAc,CAAG,EAC3C,EAAwB,EAAO,MAAM,GAE3C,GACE,IACC,EAAE,aAAiC,EAAA,gBAAkB,EAAsB,QAAU,GAEtF,MAAM,IAAI,EAAA,WACR,mCAAmC,EAAI,oDAAoD,EAAc,GAC3G,EAGF,IAAM,EAAqB,EACxB,GAAgB,CACnB,EAEA,EAAI,IAAI,EAAK,EAAwB,EAAS,EAAO,OAAO,CAAkB,CAAC,CACjF,CAEA,MAAM,EACN,KAAK,eAAiB,EACtB,KAAK,KAAO,CACd,CAGA,IAAI,eAAmB,CACrB,OAAO,KAAK,cACd,CAGA,IAAI,YAAsD,CACxD,OAAO,IAAI,IAAI,KAAK,IAAI,CAC1B,CAEA,gBACE,EACA,EACqF,CACrF,GAAqB,OAAO,GAAU,WAAlC,GAA8C,MAAM,QAAQ,CAAK,EACnE,MAAO,CACL,OAAQ,CAAC,CAAE,KAAM,EAAA,UAAU,aAAc,QAAS,EAAI,SAAS,QAAQ,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,CAC3F,EAGF,IAAM,EAAM,EACN,EAAY,EAAI,KAAK,gBACrB,EAAU,KAAK,KAAK,IAAI,CAAS,EAEvC,GAAI,CAAC,EAAS,CACZ,IAAM,EAAW,CAAC,GAAG,KAAK,KAAK,KAAK,CAAC,EAErC,MAAO,CACL,OAAQ,CACN,CACE,KAAM,EAAA,UAAU,gBAChB,QAAS,EAAI,SAAS,QAAQ,qBAAqB,CACjD,cAAe,KAAK,eACpB,UACF,CAAC,EACD,OAAQ,CAAE,cAAe,KAAK,eAAgB,UAAS,EACvD,KAAM,CAAC,CACT,CACF,CACF,CACF,CAEA,MAAO,CAAE,UAAS,KAAI,CACxB,CAEA,OAA0B,EAAgB,EAA+B,CACvE,IAAM,EAAW,KAAK,gBAAgB,EAAO,CAAG,EAEhD,GAAI,WAAY,EAAU,MAAO,CAAE,KAAM,EAAO,OAAQ,EAAS,OAAQ,OAAQ,EAAM,EAEvF,IAAM,EAAS,EAAS,QAAQ,eAAe,EAAO,CAAG,EAEzD,OAAO,EAAO,OAAO,SAAW,EAC5B,CAAE,KAAM,EAAO,KAAM,OAAQ,CAAC,EAAG,OAAQ,EAAK,EAC9C,CAAE,KAAM,EAAO,OAAQ,EAAO,OAAQ,OAAQ,EAAK,CACzD,CAEA,MAAe,WAAW,EAAgB,EAAoD,CAC5F,IAAM,EAAI,GAAO,EAAA,SAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAW,KAAK,gBAAgB,EAAS,MAAO,CAAC,EAEvD,GAAI,WAAY,EAAU,MAAM,IAAI,EAAA,qBAAqB,EAAS,MAAM,EAExE,IAAM,EAAS,MAAM,EAAS,QAAQ,eAAe,EAAS,MAAO,CAAC,EAEtE,GAAI,CAAC,EAAO,QAAS,MAAM,EAAO,MAElC,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAO,KAAM,CAAC,EAEtE,GAAI,EAAiB,OAAS,EAAG,MAAM,IAAI,EAAA,qBAAqB,CAAgB,EAEhF,OAAO,KAAK,mBAAmB,EAAO,IAAI,CAC5C,CAAC,CACH,CAEA,mBAAyD,CACvD,IAAM,EAA6C,CAAC,EAEpD,IAAK,GAAM,CAAC,EAAK,KAAW,KAAK,KAAK,QAAQ,EAC5C,EAAA,kBAAkB,EAAU,EAAK,EAAO,WAAW,CAAC,EAGtD,MAAO,CAAE,GAAG,KAAK,cAAc,EAAG,WAAU,cAAe,KAAK,eAAgB,KAAM,SAAU,CAClG,CAEA,MAA4B,EAAoC,CAC9D,IAAM,EAAW,EAAA,kBAAkB,CAAC,GAAG,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAG,KAAO,CAAC,EAAG,EAAE,KAAK,CAAO,CAAC,CAAC,CAAC,EAIjG,OAFI,EAAQ,QAAgB,EAAQ,QAAQ,KAAM,CAAQ,EAEnD,MAAM,MAAM,CAAO,CAC5B,CACF"}

package/dist/schemas/variant.d.ts

@@ -1,7 +1,10 @@
-import type { ParseContext, ParseValue, SchemaDescriptor } from '../core';
+import type { CheckContext, InferSchemaMode, MergeSchemaModes, ParseContext, ParseValue, SchemaDescriptor, SchemaMode, SchemaWalker, ValidateResult } from '../core';
 import { Schema } from '../core';
-import type { InferObject, ObjectSchema, ObjectShape } from './object';
+import type { InferObject, InferObjectInput, ObjectSchema, ObjectShape } from './object';
 type VariantMap = Record<string, ObjectSchema<any, any>>;
+type Simplify<T> = {
+    [P in keyof T]: T[P];
+};
 type InferVariantMap<K extends string, M extends VariantMap> = {
     [Tag in keyof M & string]: M[Tag] extends {
         shape: infer S extends ObjectShape;
@@ -9,11 +12,18 @@ type InferVariantMap<K extends string, M extends VariantMap> = {
         [P in K]: Tag;
     } : never;
 }[keyof M & string];
-export declare class VariantSchema<K extends string, M extends VariantMap, Mode extends import('../core').SchemaMode = import('../core').MergeSchemaModes<import('../core').InferSchemaMode<M[keyof M]>>> extends Schema<InferVariantMap<K, M>, unknown, Mode> {
+type InferVariantInputMap<K extends string, M extends VariantMap> = {
+    [Tag in keyof M & string]: M[Tag] extends {
+        shape: infer S extends ObjectShape;
+    } ? Simplify<InferObjectInput<S> & {
+        [P in K]: Tag;
+    }> : never;
+}[keyof M & string];
+export declare class VariantSchema<K extends string, M extends VariantMap, Mode extends SchemaMode = MergeSchemaModes<InferSchemaMode<M[keyof M]>>> extends Schema<InferVariantMap<K, M>, InferVariantInputMap<K, M>, Mode> {
     private readonly _map;
     private readonly _discriminator;
     protected get _kind(): string;
-    checkAsync(this: VariantSchema<K, M, 'sync'>, fn: (value: InferVariantMap<K, M>, ctx: import('../core').CheckContext) => Promise<import('../core').ValidateResult>): VariantSchema<K, M, 'async'>;
+    checkAsync(this: VariantSchema<K, M, 'sync'>, fn: (value: InferVariantMap<K, M>, ctx: CheckContext) => Promise<ValidateResult>): VariantSchema<K, M, 'async'>;
     constructor(discriminator: K, variantMap: M);
     /** The discriminator field key used to select the matching variant. */
     get discriminator(): K;
@@ -23,7 +33,7 @@ export declare class VariantSchema<K extends string, M extends VariantMap, Mode
     protected _parse(value: unknown, ctx: ParseContext): ParseValue;
     parseAsync(value: unknown, ctx?: ParseContext): Promise<InferVariantMap<K, M>>;
     protected _toDescriptorImpl(): SchemaDescriptor;
-    protected _walk<R>(visitor: import('../core').SchemaWalker<R>): R | null;
+    protected _walk<R>(visitor: SchemaWalker<R>): R | null;
 }
 export {};
 //# sourceMappingURL=variant.d.ts.map

package/dist/schemas/variant.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"variant.d.ts","sourceRoot":"","sources":["../../src/schemas/variant.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAoB,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAE5F,OAAO,EAAuB,MAAM,EAAwB,MAAM,SAAS,CAAC;AAI5E,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAEvE,KAAK,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACzD,KAAK,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,UAAU,IAAI;KAC5D,GAAG,IAAI,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC,SAAS,WAAW,CAAA;KAAE,GAC5E,WAAW,CAAC,CAAC,CAAC,GAAG;SAAG,CAAC,IAAI,CAAC,GAAG,GAAG;KAAE,GAClC,KAAK;CACV,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;AAEpB,qBAAa,aAAa,CACxB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,UAAU,EACpB,IAAI,SAAS,OAAO,SAAS,EAAE,UAAU,GAAG,OAAO,SAAS,EAAE,gBAAgB,CAC5E,OAAO,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAC9C,CACD,SAAQ,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC;IACpD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAkC;IACvD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAI;IAEnC,cAAuB,KAAK,IAAI,MAAM,CAErC;IAEQ,UAAU,CACjB,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EACjC,EAAE,EAAE,CACF,KAAK,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAC5B,GAAG,EAAE,OAAO,SAAS,EAAE,YAAY,KAChC,OAAO,CAAC,OAAO,SAAS,EAAE,cAAc,CAAC,GAC7C,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC;gBAInB,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;IA4B3C,uEAAuE;IACvE,IAAI,aAAa,IAAI,CAAC,CAErB;IAED,sFAAsF;IACtF,IAAI,UAAU,IAAI,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAExD;IAED,OAAO,CAAC,eAAe;cAmCJ,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,GAAG,UAAU;IAYzD,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;cAwB1E,iBAAiB,IAAI,gBAAgB;cAUrC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI;CAOlF"}
+{"version":3,"file":"variant.d.ts","sourceRoot":"","sources":["../../src/schemas/variant.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,YAAY,EACZ,eAAe,EAEf,gBAAgB,EAChB,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,cAAc,EACf,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAuB,MAAM,EAAwB,MAAM,SAAS,CAAC;AAI5E,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAEzF,KAAK,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACzD,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAC5C,KAAK,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,UAAU,IAAI;KAC5D,GAAG,IAAI,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC,SAAS,WAAW,CAAA;KAAE,GAC5E,WAAW,CAAC,CAAC,CAAC,GAAG;SAAG,CAAC,IAAI,CAAC,GAAG,GAAG;KAAE,GAClC,KAAK;CACV,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;AACpB,KAAK,oBAAoB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,UAAU,IAAI;KACjE,GAAG,IAAI,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC,SAAS,WAAW,CAAA;KAAE,GAC5E,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG;SAAG,CAAC,IAAI,CAAC,GAAG,GAAG;KAAE,CAAC,GACjD,KAAK;CACV,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;AAEpB,qBAAa,aAAa,CACxB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,UAAU,EACpB,IAAI,SAAS,UAAU,GAAG,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CACvE,SAAQ,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC;IACvE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAkC;IACvD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAI;IAEnC,cAAuB,KAAK,IAAI,MAAM,CAErC;IAEQ,UAAU,CACjB,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EACjC,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,KAAK,OAAO,CAAC,cAAc,CAAC,GAC/E,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC;gBAInB,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;IA4B3C,uEAAuE;IACvE,IAAI,aAAa,IAAI,CAAC,CAErB;IAED,sFAAsF;IACtF,IAAI,UAAU,IAAI,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAExD;IAED,OAAO,CAAC,eAAe;cAmCJ,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,GAAG,UAAU;IAYzD,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;cAwB1E,iBAAiB,IAAI,gBAAgB;cAUrC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI;CAOhE"}

package/dist/schemas/variant.js

@@ -1,2 +1,2 @@
-import{ErrorCode as e}from"../types.js";import{SpellError as t,SpellValidationError as n}from"../errors.js";import{defineOwnProperty as r,objectFromEntries as i}from"../safe-object.js";import{Schema as a,_makeCtx as o}from"../core.js";import{LiteralSchema as s}from"./literal.js";var c=class extends a{_map;_discriminator;get _kind(){return`variant`}checkAsync(e){return this._addCheck(e,!0)}constructor(e,n){let r=new Map;for(let[i,a]of Object.entries(n)){let n=new s(i),o=a.shape[e];if(o&&(!(o instanceof s)||o.value!==i))throw new t(`s.discriminatedUnion(): branch "${i}" defines a conflicting discriminator schema for "${e}".`);let c={[e]:n};r.set(i,o?a:a.extend(c))}super(),this._discriminator=e,this._map=r}get discriminator(){return this._discriminator}get variantMap(){return new Map(this._map)}_resolveVariant(t,n){if(typeof t!=`object`||!t||Array.isArray(t))return{issues:[{code:e.invalid_type,message:n.messages.variant.type(),path:[]}]};let r=t,i=r[this._discriminator],a=this._map.get(i);if(!a){let t=[...this._map.keys()];return{issues:[{code:e.invalid_variant,message:n.messages.variant.invalidDiscriminator({discriminator:this._discriminator,expected:t}),params:{discriminator:this._discriminator,expected:t},path:[]}]}}return{matched:a,obj:r}}_parse(e,t){let n=this._resolveVariant(e,t);if(`issues`in n)return{data:e,issues:n.issues,typeOk:!1};let r=n.matched._parseFullSync(e,t);return r.issues.length===0?{data:r.data,issues:[],typeOk:!0}:{data:e,issues:r.issues,typeOk:!0}}async parseAsync(e,t){let r=t??o();return this._withCatchAsync(async()=>{let t=this._prepareInput(e);if(t.skip)return t.value;let i=this._resolveVariant(t.value,r);if(`issues`in i)throw new n(i.issues);let a=await i.matched.safeParseAsync(t.value,r);if(!a.success)throw a.error;let o=await this._runValidatorsAsync(a.data,r);if(o.length>0)throw new n(o);return this._runPostprocessors(a.data)})}_toDescriptorImpl(){let e={};for(let[t,n]of this._map.entries())r(e,t,n.definition());return{...this._describeBase(),branches:e,discriminator:this._discriminator,kind:`variant`}}_walk(e){let t=i([...this._map.entries()].map(([t,n])=>[t,n.walk(e)]));return e.variant?e.variant(this,t):super._walk(e)}};export{c as VariantSchema};
+import{SpellError as e,SpellValidationError as t}from"../errors.js";import{defineOwnProperty as n,objectFromEntries as r}from"../safe-object.js";import{ErrorCode as i}from"../types.js";import{Schema as a,_makeCtx as o}from"../core.js";import{LiteralSchema as s}from"./literal.js";var c=class extends a{_map;_discriminator;get _kind(){return`variant`}checkAsync(e){return this._addCheck(e,!0)}constructor(t,n){let r=new Map;for(let[i,a]of Object.entries(n)){let n=new s(i),o=a.shape[t];if(o&&(!(o instanceof s)||o.value!==i))throw new e(`s.discriminatedUnion(): branch "${i}" defines a conflicting discriminator schema for "${t}".`);let c={[t]:n};r.set(i,o?a:a.extend(c))}super(),this._discriminator=t,this._map=r}get discriminator(){return this._discriminator}get variantMap(){return new Map(this._map)}_resolveVariant(e,t){if(typeof e!=`object`||!e||Array.isArray(e))return{issues:[{code:i.invalid_type,message:t.messages.variant.type(),path:[]}]};let n=e,r=n[this._discriminator],a=this._map.get(r);if(!a){let e=[...this._map.keys()];return{issues:[{code:i.invalid_variant,message:t.messages.variant.invalidDiscriminator({discriminator:this._discriminator,expected:e}),params:{discriminator:this._discriminator,expected:e},path:[]}]}}return{matched:a,obj:n}}_parse(e,t){let n=this._resolveVariant(e,t);if(`issues`in n)return{data:e,issues:n.issues,typeOk:!1};let r=n.matched._parseFullSync(e,t);return r.issues.length===0?{data:r.data,issues:[],typeOk:!0}:{data:e,issues:r.issues,typeOk:!0}}async parseAsync(e,n){let r=n??o();return this._withCatchAsync(async()=>{let n=this._prepareInput(e);if(n.skip)return n.value;let i=this._resolveVariant(n.value,r);if(`issues`in i)throw new t(i.issues);let a=await i.matched.safeParseAsync(n.value,r);if(!a.success)throw a.error;let o=await this._runValidatorsAsync(a.data,r);if(o.length>0)throw new t(o);return this._runPostprocessors(a.data)})}_toDescriptorImpl(){let e={};for(let[t,r]of this._map.entries())n(e,t,r.definition());return{...this._describeBase(),branches:e,discriminator:this._discriminator,kind:`variant`}}_walk(e){let t=r([...this._map.entries()].map(([t,n])=>[t,n.walk(e)]));return e.variant?e.variant(this,t):super._walk(e)}};export{c as VariantSchema};
 //# sourceMappingURL=variant.js.map

package/dist/schemas/variant.js.map

@@ -1 +1 @@
-{"version":3,"file":"variant.js","names":[],"sources":["../../src/schemas/variant.ts"],"sourcesContent":["import type { AnySchema, Issue, ParseContext, ParseValue, SchemaDescriptor } from '../core';\n\nimport { _makeCtx, ErrorCode, Schema, SpellValidationError } from '../core';\nimport { SpellError } from '../errors';\nimport { defineOwnProperty, objectFromEntries } from '../safe-object';\nimport { LiteralSchema } from './literal';\nimport type { InferObject, ObjectSchema, ObjectShape } from './object';\n\ntype VariantMap = Record<string, ObjectSchema<any, any>>;\ntype InferVariantMap<K extends string, M extends VariantMap> = {\n  [Tag in keyof M & string]: M[Tag] extends { shape: infer S extends ObjectShape }\n    ? InferObject<S> & { [P in K]: Tag }\n    : never;\n}[keyof M & string];\n\nexport class VariantSchema<\n  K extends string,\n  M extends VariantMap,\n  Mode extends import('../core').SchemaMode = import('../core').MergeSchemaModes<\n    import('../core').InferSchemaMode<M[keyof M]>\n  >,\n> extends Schema<InferVariantMap<K, M>, unknown, Mode> {\n  private readonly _map: Map<string, VariantMap[string]>;\n  private readonly _discriminator: K;\n\n  protected override get _kind(): string {\n    return 'variant';\n  }\n\n  override checkAsync(\n    this: VariantSchema<K, M, 'sync'>,\n    fn: (\n      value: InferVariantMap<K, M>,\n      ctx: import('../core').CheckContext,\n    ) => Promise<import('../core').ValidateResult>,\n  ): VariantSchema<K, M, 'async'> {\n    return this._addCheck(fn, true) as unknown as VariantSchema<K, M, 'async'>;\n  }\n\n  constructor(discriminator: K, variantMap: M) {\n    const map = new Map<string, VariantMap[string]>();\n\n    for (const [tag, schema] of Object.entries(variantMap)) {\n      const discriminatorSchema = new LiteralSchema(tag);\n      const existingDiscriminator = schema.shape[discriminator];\n\n      if (\n        existingDiscriminator &&\n        (!(existingDiscriminator instanceof LiteralSchema) || existingDiscriminator.value !== tag)\n      ) {\n        throw new SpellError(\n          `s.discriminatedUnion(): branch \"${tag}\" defines a conflicting discriminator schema for \"${discriminator}\".`,\n        );\n      }\n\n      const discriminatorShape = {\n        [discriminator]: discriminatorSchema,\n      } as unknown as Record<K, AnySchema>;\n\n      map.set(tag, existingDiscriminator ? schema : schema.extend(discriminatorShape));\n    }\n\n    super();\n    this._discriminator = discriminator;\n    this._map = map;\n  }\n\n  /** The discriminator field key used to select the matching variant. */\n  get discriminator(): K {\n    return this._discriminator;\n  }\n\n  /** Map from discriminator tag value to the extended ObjectSchema for that variant. */\n  get variantMap(): ReadonlyMap<string, VariantMap[string]> {\n    return new Map(this._map);\n  }\n\n  private _resolveVariant(\n    value: unknown,\n    ctx: ParseContext,\n  ): { matched: VariantMap[string]; obj: Record<string, unknown> } | { issues: Issue[] } {\n    if (value == null || typeof value !== 'object' || Array.isArray(value)) {\n      return {\n        issues: [{ code: ErrorCode.invalid_type, message: ctx.messages.variant.type(), path: [] }],\n      };\n    }\n\n    const obj = value as Record<string, unknown>;\n    const discValue = obj[this._discriminator] as string;\n    const matched = this._map.get(discValue);\n\n    if (!matched) {\n      const expected = [...this._map.keys()];\n\n      return {\n        issues: [\n          {\n            code: ErrorCode.invalid_variant,\n            message: ctx.messages.variant.invalidDiscriminator({\n              discriminator: this._discriminator,\n              expected,\n            }),\n            params: { discriminator: this._discriminator, expected },\n            path: [],\n          },\n        ],\n      };\n    }\n\n    return { matched, obj };\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue {\n    const resolved = this._resolveVariant(value, ctx);\n\n    if ('issues' in resolved) return { data: value, issues: resolved.issues, typeOk: false };\n\n    const result = resolved.matched._parseFullSync(value, ctx);\n\n    return result.issues.length === 0\n      ? { data: result.data, issues: [], typeOk: true }\n      : { data: value, issues: result.issues, typeOk: true };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferVariantMap<K, M>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as unknown as InferVariantMap<K, M>;\n\n      const resolved = this._resolveVariant(prepared.value, c);\n\n      if ('issues' in resolved) throw new SpellValidationError(resolved.issues);\n\n      const branch = await resolved.matched.safeParseAsync(prepared.value, c);\n\n      if (!branch.success) throw branch.error;\n\n      const validationIssues = await this._runValidatorsAsync(branch.data, c);\n\n      if (validationIssues.length > 0) throw new SpellValidationError(validationIssues);\n\n      return this._runPostprocessors(branch.data) as InferVariantMap<K, M>;\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    const branches: Record<string, SchemaDescriptor> = {};\n\n    for (const [key, schema] of this._map.entries()) {\n      defineOwnProperty(branches, key, schema.definition());\n    }\n\n    return { ...this._describeBase(), branches, discriminator: this._discriminator, kind: 'variant' };\n  }\n\n  protected override _walk<R>(visitor: import('../core').SchemaWalker<R>): R | null {\n    const branches = objectFromEntries([...this._map.entries()].map(([k, s]) => [k, s.walk(visitor)]));\n\n    if (visitor.variant) return visitor.variant(this, branches);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"wRAeA,IAAa,EAAb,cAMU,CAA6C,CACrD,KACA,eAEA,IAAuB,OAAgB,CACrC,MAAO,SACT,CAEA,WAEE,EAI8B,CAC9B,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAkB,EAAe,CAC3C,IAAM,EAAM,IAAI,IAEhB,IAAK,GAAM,CAAC,EAAK,KAAW,OAAO,QAAQ,CAAU,EAAG,CACtD,IAAM,EAAsB,IAAI,EAAc,CAAG,EAC3C,EAAwB,EAAO,MAAM,GAE3C,GACE,IACC,EAAE,aAAiC,IAAkB,EAAsB,QAAU,GAEtF,MAAM,IAAI,EACR,mCAAmC,EAAI,oDAAoD,EAAc,GAC3G,EAGF,IAAM,EAAqB,EACxB,GAAgB,CACnB,EAEA,EAAI,IAAI,EAAK,EAAwB,EAAS,EAAO,OAAO,CAAkB,CAAC,CACjF,CAEA,MAAM,EACN,KAAK,eAAiB,EACtB,KAAK,KAAO,CACd,CAGA,IAAI,eAAmB,CACrB,OAAO,KAAK,cACd,CAGA,IAAI,YAAsD,CACxD,OAAO,IAAI,IAAI,KAAK,IAAI,CAC1B,CAEA,gBACE,EACA,EACqF,CACrF,GAAqB,OAAO,GAAU,WAAlC,GAA8C,MAAM,QAAQ,CAAK,EACnE,MAAO,CACL,OAAQ,CAAC,CAAE,KAAM,EAAU,aAAc,QAAS,EAAI,SAAS,QAAQ,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,CAC3F,EAGF,IAAM,EAAM,EACN,EAAY,EAAI,KAAK,gBACrB,EAAU,KAAK,KAAK,IAAI,CAAS,EAEvC,GAAI,CAAC,EAAS,CACZ,IAAM,EAAW,CAAC,GAAG,KAAK,KAAK,KAAK,CAAC,EAErC,MAAO,CACL,OAAQ,CACN,CACE,KAAM,EAAU,gBAChB,QAAS,EAAI,SAAS,QAAQ,qBAAqB,CACjD,cAAe,KAAK,eACpB,UACF,CAAC,EACD,OAAQ,CAAE,cAAe,KAAK,eAAgB,UAAS,EACvD,KAAM,CAAC,CACT,CACF,CACF,CACF,CAEA,MAAO,CAAE,UAAS,KAAI,CACxB,CAEA,OAA0B,EAAgB,EAA+B,CACvE,IAAM,EAAW,KAAK,gBAAgB,EAAO,CAAG,EAEhD,GAAI,WAAY,EAAU,MAAO,CAAE,KAAM,EAAO,OAAQ,EAAS,OAAQ,OAAQ,EAAM,EAEvF,IAAM,EAAS,EAAS,QAAQ,eAAe,EAAO,CAAG,EAEzD,OAAO,EAAO,OAAO,SAAW,EAC5B,CAAE,KAAM,EAAO,KAAM,OAAQ,CAAC,EAAG,OAAQ,EAAK,EAC9C,CAAE,KAAM,EAAO,OAAQ,EAAO,OAAQ,OAAQ,EAAK,CACzD,CAEA,MAAe,WAAW,EAAgB,EAAoD,CAC5F,IAAM,EAAI,GAAO,EAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAW,KAAK,gBAAgB,EAAS,MAAO,CAAC,EAEvD,GAAI,WAAY,EAAU,MAAM,IAAI,EAAqB,EAAS,MAAM,EAExE,IAAM,EAAS,MAAM,EAAS,QAAQ,eAAe,EAAS,MAAO,CAAC,EAEtE,GAAI,CAAC,EAAO,QAAS,MAAM,EAAO,MAElC,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAO,KAAM,CAAC,EAEtE,GAAI,EAAiB,OAAS,EAAG,MAAM,IAAI,EAAqB,CAAgB,EAEhF,OAAO,KAAK,mBAAmB,EAAO,IAAI,CAC5C,CAAC,CACH,CAEA,mBAAyD,CACvD,IAAM,EAA6C,CAAC,EAEpD,IAAK,GAAM,CAAC,EAAK,KAAW,KAAK,KAAK,QAAQ,EAC5C,EAAkB,EAAU,EAAK,EAAO,WAAW,CAAC,EAGtD,MAAO,CAAE,GAAG,KAAK,cAAc,EAAG,WAAU,cAAe,KAAK,eAAgB,KAAM,SAAU,CAClG,CAEA,MAA4B,EAAsD,CAChF,IAAM,EAAW,EAAkB,CAAC,GAAG,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAG,KAAO,CAAC,EAAG,EAAE,KAAK,CAAO,CAAC,CAAC,CAAC,EAIjG,OAFI,EAAQ,QAAgB,EAAQ,QAAQ,KAAM,CAAQ,EAEnD,MAAM,MAAM,CAAO,CAC5B,CACF"}
+{"version":3,"file":"variant.js","names":[],"sources":["../../src/schemas/variant.ts"],"sourcesContent":["import type {\n  AnySchema,\n  CheckContext,\n  InferSchemaMode,\n  Issue,\n  MergeSchemaModes,\n  ParseContext,\n  ParseValue,\n  SchemaDescriptor,\n  SchemaMode,\n  SchemaWalker,\n  ValidateResult,\n} from '../core';\n\nimport { _makeCtx, ErrorCode, Schema, SpellValidationError } from '../core';\nimport { SpellError } from '../errors';\nimport { defineOwnProperty, objectFromEntries } from '../safe-object';\nimport { LiteralSchema } from './literal';\nimport type { InferObject, InferObjectInput, ObjectSchema, ObjectShape } from './object';\n\ntype VariantMap = Record<string, ObjectSchema<any, any>>;\ntype Simplify<T> = { [P in keyof T]: T[P] };\ntype InferVariantMap<K extends string, M extends VariantMap> = {\n  [Tag in keyof M & string]: M[Tag] extends { shape: infer S extends ObjectShape }\n    ? InferObject<S> & { [P in K]: Tag }\n    : never;\n}[keyof M & string];\ntype InferVariantInputMap<K extends string, M extends VariantMap> = {\n  [Tag in keyof M & string]: M[Tag] extends { shape: infer S extends ObjectShape }\n    ? Simplify<InferObjectInput<S> & { [P in K]: Tag }>\n    : never;\n}[keyof M & string];\n\nexport class VariantSchema<\n  K extends string,\n  M extends VariantMap,\n  Mode extends SchemaMode = MergeSchemaModes<InferSchemaMode<M[keyof M]>>,\n> extends Schema<InferVariantMap<K, M>, InferVariantInputMap<K, M>, Mode> {\n  private readonly _map: Map<string, VariantMap[string]>;\n  private readonly _discriminator: K;\n\n  protected override get _kind(): string {\n    return 'variant';\n  }\n\n  override checkAsync(\n    this: VariantSchema<K, M, 'sync'>,\n    fn: (value: InferVariantMap<K, M>, ctx: CheckContext) => Promise<ValidateResult>,\n  ): VariantSchema<K, M, 'async'> {\n    return this._addCheck(fn, true) as unknown as VariantSchema<K, M, 'async'>;\n  }\n\n  constructor(discriminator: K, variantMap: M) {\n    const map = new Map<string, VariantMap[string]>();\n\n    for (const [tag, schema] of Object.entries(variantMap)) {\n      const discriminatorSchema = new LiteralSchema(tag);\n      const existingDiscriminator = schema.shape[discriminator];\n\n      if (\n        existingDiscriminator &&\n        (!(existingDiscriminator instanceof LiteralSchema) || existingDiscriminator.value !== tag)\n      ) {\n        throw new SpellError(\n          `s.discriminatedUnion(): branch \"${tag}\" defines a conflicting discriminator schema for \"${discriminator}\".`,\n        );\n      }\n\n      const discriminatorShape = {\n        [discriminator]: discriminatorSchema,\n      } as unknown as Record<K, AnySchema>;\n\n      map.set(tag, existingDiscriminator ? schema : schema.extend(discriminatorShape));\n    }\n\n    super();\n    this._discriminator = discriminator;\n    this._map = map;\n  }\n\n  /** The discriminator field key used to select the matching variant. */\n  get discriminator(): K {\n    return this._discriminator;\n  }\n\n  /** Map from discriminator tag value to the extended ObjectSchema for that variant. */\n  get variantMap(): ReadonlyMap<string, VariantMap[string]> {\n    return new Map(this._map);\n  }\n\n  private _resolveVariant(\n    value: unknown,\n    ctx: ParseContext,\n  ): { matched: VariantMap[string]; obj: Record<string, unknown> } | { issues: Issue[] } {\n    if (value == null || typeof value !== 'object' || Array.isArray(value)) {\n      return {\n        issues: [{ code: ErrorCode.invalid_type, message: ctx.messages.variant.type(), path: [] }],\n      };\n    }\n\n    const obj = value as Record<string, unknown>;\n    const discValue = obj[this._discriminator] as string;\n    const matched = this._map.get(discValue);\n\n    if (!matched) {\n      const expected = [...this._map.keys()];\n\n      return {\n        issues: [\n          {\n            code: ErrorCode.invalid_variant,\n            message: ctx.messages.variant.invalidDiscriminator({\n              discriminator: this._discriminator,\n              expected,\n            }),\n            params: { discriminator: this._discriminator, expected },\n            path: [],\n          },\n        ],\n      };\n    }\n\n    return { matched, obj };\n  }\n\n  protected override _parse(value: unknown, ctx: ParseContext): ParseValue {\n    const resolved = this._resolveVariant(value, ctx);\n\n    if ('issues' in resolved) return { data: value, issues: resolved.issues, typeOk: false };\n\n    const result = resolved.matched._parseFullSync(value, ctx);\n\n    return result.issues.length === 0\n      ? { data: result.data, issues: [], typeOk: true }\n      : { data: value, issues: result.issues, typeOk: true };\n  }\n\n  override async parseAsync(value: unknown, ctx?: ParseContext): Promise<InferVariantMap<K, M>> {\n    const c = ctx ?? _makeCtx();\n\n    return this._withCatchAsync(async () => {\n      const prepared = this._prepareInput(value);\n\n      if (prepared.skip) return prepared.value as unknown as InferVariantMap<K, M>;\n\n      const resolved = this._resolveVariant(prepared.value, c);\n\n      if ('issues' in resolved) throw new SpellValidationError(resolved.issues);\n\n      const branch = await resolved.matched.safeParseAsync(prepared.value, c);\n\n      if (!branch.success) throw branch.error;\n\n      const validationIssues = await this._runValidatorsAsync(branch.data, c);\n\n      if (validationIssues.length > 0) throw new SpellValidationError(validationIssues);\n\n      return this._runPostprocessors(branch.data) as InferVariantMap<K, M>;\n    });\n  }\n\n  protected override _toDescriptorImpl(): SchemaDescriptor {\n    const branches: Record<string, SchemaDescriptor> = {};\n\n    for (const [key, schema] of this._map.entries()) {\n      defineOwnProperty(branches, key, schema.definition());\n    }\n\n    return { ...this._describeBase(), branches, discriminator: this._discriminator, kind: 'variant' };\n  }\n\n  protected override _walk<R>(visitor: SchemaWalker<R>): R | null {\n    const branches = objectFromEntries([...this._map.entries()].map(([k, s]) => [k, s.walk(visitor)]));\n\n    if (visitor.variant) return visitor.variant(this, branches);\n\n    return super._walk(visitor);\n  }\n}\n"],"mappings":"wRAiCA,IAAa,EAAb,cAIU,CAAgE,CACxE,KACA,eAEA,IAAuB,OAAgB,CACrC,MAAO,SACT,CAEA,WAEE,EAC8B,CAC9B,OAAO,KAAK,UAAU,EAAI,EAAI,CAChC,CAEA,YAAY,EAAkB,EAAe,CAC3C,IAAM,EAAM,IAAI,IAEhB,IAAK,GAAM,CAAC,EAAK,KAAW,OAAO,QAAQ,CAAU,EAAG,CACtD,IAAM,EAAsB,IAAI,EAAc,CAAG,EAC3C,EAAwB,EAAO,MAAM,GAE3C,GACE,IACC,EAAE,aAAiC,IAAkB,EAAsB,QAAU,GAEtF,MAAM,IAAI,EACR,mCAAmC,EAAI,oDAAoD,EAAc,GAC3G,EAGF,IAAM,EAAqB,EACxB,GAAgB,CACnB,EAEA,EAAI,IAAI,EAAK,EAAwB,EAAS,EAAO,OAAO,CAAkB,CAAC,CACjF,CAEA,MAAM,EACN,KAAK,eAAiB,EACtB,KAAK,KAAO,CACd,CAGA,IAAI,eAAmB,CACrB,OAAO,KAAK,cACd,CAGA,IAAI,YAAsD,CACxD,OAAO,IAAI,IAAI,KAAK,IAAI,CAC1B,CAEA,gBACE,EACA,EACqF,CACrF,GAAqB,OAAO,GAAU,WAAlC,GAA8C,MAAM,QAAQ,CAAK,EACnE,MAAO,CACL,OAAQ,CAAC,CAAE,KAAM,EAAU,aAAc,QAAS,EAAI,SAAS,QAAQ,KAAK,EAAG,KAAM,CAAC,CAAE,CAAC,CAC3F,EAGF,IAAM,EAAM,EACN,EAAY,EAAI,KAAK,gBACrB,EAAU,KAAK,KAAK,IAAI,CAAS,EAEvC,GAAI,CAAC,EAAS,CACZ,IAAM,EAAW,CAAC,GAAG,KAAK,KAAK,KAAK,CAAC,EAErC,MAAO,CACL,OAAQ,CACN,CACE,KAAM,EAAU,gBAChB,QAAS,EAAI,SAAS,QAAQ,qBAAqB,CACjD,cAAe,KAAK,eACpB,UACF,CAAC,EACD,OAAQ,CAAE,cAAe,KAAK,eAAgB,UAAS,EACvD,KAAM,CAAC,CACT,CACF,CACF,CACF,CAEA,MAAO,CAAE,UAAS,KAAI,CACxB,CAEA,OAA0B,EAAgB,EAA+B,CACvE,IAAM,EAAW,KAAK,gBAAgB,EAAO,CAAG,EAEhD,GAAI,WAAY,EAAU,MAAO,CAAE,KAAM,EAAO,OAAQ,EAAS,OAAQ,OAAQ,EAAM,EAEvF,IAAM,EAAS,EAAS,QAAQ,eAAe,EAAO,CAAG,EAEzD,OAAO,EAAO,OAAO,SAAW,EAC5B,CAAE,KAAM,EAAO,KAAM,OAAQ,CAAC,EAAG,OAAQ,EAAK,EAC9C,CAAE,KAAM,EAAO,OAAQ,EAAO,OAAQ,OAAQ,EAAK,CACzD,CAEA,MAAe,WAAW,EAAgB,EAAoD,CAC5F,IAAM,EAAI,GAAO,EAAS,EAE1B,OAAO,KAAK,gBAAgB,SAAY,CACtC,IAAM,EAAW,KAAK,cAAc,CAAK,EAEzC,GAAI,EAAS,KAAM,OAAO,EAAS,MAEnC,IAAM,EAAW,KAAK,gBAAgB,EAAS,MAAO,CAAC,EAEvD,GAAI,WAAY,EAAU,MAAM,IAAI,EAAqB,EAAS,MAAM,EAExE,IAAM,EAAS,MAAM,EAAS,QAAQ,eAAe,EAAS,MAAO,CAAC,EAEtE,GAAI,CAAC,EAAO,QAAS,MAAM,EAAO,MAElC,IAAM,EAAmB,MAAM,KAAK,oBAAoB,EAAO,KAAM,CAAC,EAEtE,GAAI,EAAiB,OAAS,EAAG,MAAM,IAAI,EAAqB,CAAgB,EAEhF,OAAO,KAAK,mBAAmB,EAAO,IAAI,CAC5C,CAAC,CACH,CAEA,mBAAyD,CACvD,IAAM,EAA6C,CAAC,EAEpD,IAAK,GAAM,CAAC,EAAK,KAAW,KAAK,KAAK,QAAQ,EAC5C,EAAkB,EAAU,EAAK,EAAO,WAAW,CAAC,EAGtD,MAAO,CAAE,GAAG,KAAK,cAAc,EAAG,WAAU,cAAe,KAAK,eAAgB,KAAM,SAAU,CAClG,CAEA,MAA4B,EAAoC,CAC9D,IAAM,EAAW,EAAkB,CAAC,GAAG,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAG,KAAO,CAAC,EAAG,EAAE,KAAK,CAAO,CAAC,CAAC,CAAC,EAIjG,OAFI,EAAQ,QAAgB,EAAQ,QAAQ,KAAM,CAAQ,EAEnD,MAAM,MAAM,CAAO,CAC5B,CACF"}