@gaganref/confect-core 10.3.1-fork.4 → 10.3.1-fork.41

package/dist/Ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"Ref.js","names":["MiddlewareSpec.errorSchemas"],"sources":["../src/Ref.ts"],"sourcesContent":["import type * as MiddlewareAttachment from \"./MiddlewareAttachment\";\nimport type {\n  DefaultFunctionArgs,\n  FunctionReference as ConvexFunctionReference,\n  FunctionVisibility,\n  PaginationOptions,\n  PaginationResult,\n} from \"convex/server\";\nimport { getFunctionAddress, makeFunctionReference } from \"convex/server\";\nimport type { Value } from \"convex/values\";\nimport { ConvexError } from \"convex/values\";\nimport * as Effect from \"effect/Effect\";\nimport * as Match from \"effect/Match\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport type * as FunctionProvenance from \"./FunctionProvenance\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport * as Lazy from \"./Lazy\";\nimport * as MiddlewareSpec from \"./MiddlewareSpec\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\n\nexport const TypeId = \"~@confect/core/Ref\";\nexport type TypeId = typeof TypeId;\n\nexport interface Base<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly \"~RuntimeAndFunctionType\": RuntimeAndFunctionType_;\n  readonly \"~FunctionVisibility\": FunctionVisibility_;\n  readonly \"~Args\": Args_;\n  // Concrete call inputs must not narrow across assignments. Erased refs and\n  // pagination constraints use index signatures and keep their broad variance.\n  readonly \"~ArgsVariance\"?: string extends keyof Args_\n    ? unknown\n    : (args: Args_) => void;\n  readonly \"~Returns\": Returns_;\n  readonly \"~Error\": Error_;\n  readonly convexFunctionName: string;\n  /**\n   * Preserved for component references and function handles, which have no\n   * local name.\n   */\n  readonly functionReference?: ConvexFunctionReference<any, any>;\n}\n\n/**\n * A reference to a single Convex function, as callers see it: the wire name\n * plus the data needed to encode args, decode returns, and decode typed errors.\n * A ref is one of two shapes, keyed by the spec's provenance.\n */\nexport type Ref<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> =\n  | ConfectRefWithTypes<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_,\n      FunctionProvenance.ArgsFields,\n      Args_,\n      Returns_,\n      Error_\n    >\n  | ConvexRef<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_,\n      Args_,\n      Returns_,\n      Error_\n    >;\n\nexport type ConfectRef<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  ReturnsSchema_ extends Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any> = never,\n  MiddlewareError_ = never,\n  MiddlewareEncodedError_ = never,\n> = ConfectRefWithTypes<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  ArgsFields_,\n  Schema.Struct.Type<ArgsFields_>,\n  ReturnsSchema_[\"Type\"],\n  ErrorSchema_[\"Type\"] | MiddlewareError_,\n  ReturnsSchema_,\n  ErrorSchema_,\n  ErrorSchema_[\"Encoded\"] | MiddlewareEncodedError_\n>;\n\n/**\n * Internal form used while mapping a spec to a ref. Supplying the already\n * derived value types avoids repeatedly expanding `Schema.Struct` for every\n * leaf in a generated ref tree; the public `ConfectRef` alias still derives the\n * same values from its fields and schemas.\n *\n * The codecs keep their own types so that a ref's wire encoding stays visible\n * to type-level checks, and `~EncodedError` carries the wire form of every\n * error the function can fail with, middleware included. A ref built from value\n * types alone (`Ref`) has no codecs to keep and erases them.\n */\ninterface ConfectRefWithTypes<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_,\n  ReturnsSchema_ extends Schema.Codec<any, any> = Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any> = Schema.Codec<any, any>,\n  EncodedError_ = any,\n> extends Base<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Args_,\n  Returns_,\n  Error_\n> {\n  readonly _tag: \"Confect\";\n  readonly args: FunctionProvenance.ArgsSchema<ArgsFields_>;\n  readonly returns: ReturnsSchema_;\n  readonly kind: FunctionProvenance.ConfectKind;\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;\n  readonly middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>;\n  readonly error?: ErrorSchema_;\n  readonly \"~EncodedError\": EncodedError_;\n}\n\nexport interface ConvexRef<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> extends Base<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Args_,\n  Returns_,\n  Error_\n> {\n  readonly _tag: \"Convex\";\n}\n\n/**\n * A ref's call contract without a visibility requirement. Use this for handlers\n * shared by a component's public ref and its host's internal binding. Args,\n * returns, errors, runtime and function kind remain constrained.\n */\nexport type Callable<Ref_ extends Any> = Ref<\n  GetRuntimeAndFunctionType<Ref_>,\n  FunctionVisibility,\n  Args<Ref_>,\n  Returns<Ref_>,\n  Error<Ref_>\n>;\n\nexport type Any = Ref<any, any, any, any, any>;\n\n/**\n * Recognizes references by their runtime type identity.\n */\nexport const isRef = (value: unknown): value is Any =>\n  Predicate.hasProperty(value, TypeId);\n\n/**\n * Erased Confect-provenance ref used by provenance-specific APIs.\n */\nexport type AnyConfect = Extract<Any, { readonly _tag: \"Confect\" }>;\n\nexport type AnyInternal = Ref<any, \"internal\", any, any, any>;\n\nexport type AnyPublic = Ref<any, \"public\", any, any, any>;\n\nexport type AnyQuery = Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyPaginatedQuery = AnyQuery &\n  Base<\n    RuntimeAndFunctionType.AnyQuery,\n    FunctionVisibility,\n    {\n      [key: string]: any;\n      paginationOpts: PaginationOptions;\n    },\n    PaginationResult<any>,\n    any\n  >;\n\nexport type AnyMutation = Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyAction = Ref<\n  RuntimeAndFunctionType.AnyAction,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyPublicQuery = Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicQuery = Extract<AnyPublicQuery, AnyConfect>;\n\nexport type AnyPublicPaginatedQuery = AnyPublicQuery & AnyPaginatedQuery;\n\nexport type AnyConfectPublicPaginatedQuery = AnyConfectPublicQuery &\n  AnyPublicPaginatedQuery;\n\nexport type AnyPublicMutation = Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicMutation = Extract<AnyPublicMutation, AnyConfect>;\n\nexport type AnyPublicAction = Ref<\n  RuntimeAndFunctionType.AnyAction,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicAction = Extract<AnyPublicAction, AnyConfect>;\n\nexport type GetRuntimeAndFunctionType<Ref_> = Ref_ extends {\n  readonly \"~RuntimeAndFunctionType\": infer RuntimeAndFunctionType_ extends\n    RuntimeAndFunctionType.RuntimeAndFunctionType;\n}\n  ? RuntimeAndFunctionType_\n  : never;\n\nexport type GetRuntime<Ref_> = RuntimeAndFunctionType.GetRuntime<\n  GetRuntimeAndFunctionType<Ref_>\n>;\n\nexport type GetFunctionType<Ref_> = RuntimeAndFunctionType.GetFunctionType<\n  GetRuntimeAndFunctionType<Ref_>\n>;\n\nexport type GetFunctionVisibility<Ref_> = Ref_ extends {\n  readonly \"~FunctionVisibility\": infer FunctionVisibility_;\n}\n  ? FunctionVisibility_\n  : never;\n\nexport type Args<Ref_> = Ref_ extends { readonly \"~Args\": infer Args_ }\n  ? Args_\n  : never;\n\n/**\n * The field map captured by a Confect-provenance ref.\n */\nexport type ArgsFields<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly args: {\n    readonly fields: infer ArgsFields_ extends FunctionProvenance.ArgsFields;\n  };\n}\n  ? ArgsFields_\n  : never;\n\n/**\n * The assembled args schema carried by a Confect-provenance ref.\n */\nexport type ArgsSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly args: infer ArgsSchema_ extends FunctionProvenance.AnyArgsSchema;\n}\n  ? ArgsSchema_\n  : never;\n\nexport type OptionalArgs<Ref_ extends Any> = keyof Args<Ref_> extends never\n  ? [args?: Args<Ref_>]\n  : [args: Args<Ref_>];\n\nexport type Returns<Ref_> = Ref_ extends { readonly \"~Returns\": infer Returns_ }\n  ? Returns_\n  : never;\n\n/**\n * The returns codec carried by a Confect-provenance ref.\n */\nexport type ReturnsSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly returns: infer ReturnsSchema_ extends Schema.Codec<any, any>;\n}\n  ? ReturnsSchema_\n  : never;\n\n/**\n * The wire form of every error a ref can fail with: its function's declared\n * error and its middleware's errors.\n */\nexport type EncodedError<Ref_> = Ref_ extends {\n  readonly \"~EncodedError\": infer EncodedError_;\n}\n  ? EncodedError_\n  : never;\n\n/**\n * The function's own error codec carried by a Confect-provenance ref; errors\n * contributed by middleware are not part of it.\n */\nexport type ErrorSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly error?: infer ErrorSchema_;\n}\n  ? Extract<ErrorSchema_, Schema.Codec<any, any>>\n  : never;\n\nexport type Error<Ref_> = Ref_ extends { readonly \"~Error\": infer Error_ }\n  ? Error_\n  : never;\n\nexport type FunctionReference<Ref_ extends Any> = ConvexFunctionReference<\n  GetFunctionType<Ref_>,\n  GetFunctionVisibility<Ref_>\n>;\n\n/**\n * The ref type of a function spec. Errors from middleware attached to the\n * function are included; pass the errors of middleware attached to its groups\n * as `MiddlewareError` and `MiddlewareEncodedError`.\n */\nexport type FromFunctionSpec<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareError = never,\n  MiddlewareEncodedError = never,\n> = FromFunctionSpecHelper<\n  FunctionSpec_,\n  FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>,\n  FunctionSpec.GetFunctionVisibility<FunctionSpec_>,\n  FunctionSpec.ArgsFields<FunctionSpec_>,\n  FunctionSpec.Args<FunctionSpec_>,\n  FunctionSpec.Returns<FunctionSpec_>,\n  | FunctionSpec.Error<FunctionSpec_>\n  | MiddlewareSpec.Error<FunctionSpec.MiddlewareSpecs<FunctionSpec_>>\n  | MiddlewareError,\n  FunctionSpec.ReturnsSchema<FunctionSpec_>,\n  FunctionSpec.ErrorSchema<FunctionSpec_>,\n  | FunctionSpec.EncodedError<FunctionSpec_>\n  | MiddlewareSpec.EncodedError<FunctionSpec.MiddlewareSpecs<FunctionSpec_>>\n  | MiddlewareEncodedError\n>;\n\ntype FromFunctionSpecHelper<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_,\n  ReturnsSchema_ extends Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any>,\n  EncodedError_,\n> =\n  FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<\n    FunctionSpec_,\n    FunctionProvenance.AnyConvex\n  >\n    ? ConvexRef<\n        RuntimeAndFunctionType_,\n        FunctionVisibility_,\n        Args_ extends DefaultFunctionArgs ? Args_ : never,\n        Returns_,\n        never\n      >\n    : FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<\n          FunctionSpec_,\n          FunctionProvenance.AnyConfect\n        >\n      ? ConfectRefWithTypes<\n          RuntimeAndFunctionType_,\n          FunctionVisibility_,\n          ArgsFields_,\n          Args_,\n          Returns_,\n          Error_,\n          ReturnsSchema_,\n          ErrorSchema_,\n          EncodedError_\n        >\n      : Ref<\n          RuntimeAndFunctionType_,\n          FunctionVisibility_,\n          Args_,\n          Returns_,\n          Error_\n        >;\n\nexport const make = <\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  GroupMiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n>(\n  /**\n   * The namespace portion of a Convex function name, i.e. the part before the\n   * colon. For example, for `myGroupDir/myGroupMod:myFunc` this would be\n   * `myGroupDir/myGroupMod`.\n   */\n  convexFunctionNamespace: string,\n  functionSpec: FunctionSpec_,\n  groupMiddlewareAttachments: ReadonlyArray<\n    MiddlewareAttachment.MiddlewareAttachment<GroupMiddlewareSpec_>\n  > = [],\n): FromFunctionSpec<\n  FunctionSpec_,\n  MiddlewareSpec.Error<GroupMiddlewareSpec_>,\n  MiddlewareSpec.EncodedError<GroupMiddlewareSpec_>\n> => {\n  const convexFunctionName = `${convexFunctionNamespace}:${functionSpec.name}`;\n\n  return Match.value(functionSpec.functionProvenance).pipe(\n    Match.tag(\n      \"Convex\",\n      (): Any =>\n        ({\n          [TypeId]: TypeId,\n          _tag: \"Convex\",\n          convexFunctionName,\n        }) as Any,\n    ),\n    Match.tag(\"Confect\", (provenance): Any =>\n      fromProvenance(convexFunctionName, provenance, [\n        ...groupMiddlewareAttachments,\n        ...functionSpec.middlewareAttachments,\n      ]),\n    ),\n    Match.exhaustive,\n  ) as FromFunctionSpec<\n    FunctionSpec_,\n    MiddlewareSpec.Error<GroupMiddlewareSpec_>,\n    MiddlewareSpec.EncodedError<GroupMiddlewareSpec_>\n  >;\n};\n\n/**\n * Build a Confect ref that runs with `provenance`'s codecs. Pass\n * `functionReference` when the function has no local name: an installed\n * component's function or a function handle. The ref reads `args`, `returns`\n * and `error` from the provenance on first use, so building it forces no\n * schema.\n */\nexport const fromProvenance = (\n  convexFunctionName: string,\n  provenance: FunctionProvenance.AnyConfect,\n  middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>,\n  functionReference?: ConvexFunctionReference<any, any>,\n): AnyConfect => {\n  const ref = {\n    [TypeId]: TypeId as TypeId,\n    _tag: \"Confect\" as const,\n    convexFunctionName,\n    ...(functionReference === undefined ? {} : { functionReference }),\n    kind: provenance.kind,\n    middlewareAttachments,\n    get middlewareSpecs() {\n      return middlewareAttachments.map(({ spec }) => spec);\n    },\n  };\n\n  Lazy.defineProperty(ref, \"args\", () => provenance.args);\n  Lazy.defineProperty(ref, \"returns\", () => provenance.returns);\n  if (\"error\" in provenance) {\n    Lazy.defineProperty(ref, \"error\", () => provenance.error);\n  }\n\n  return ref as unknown as AnyConfect;\n};\n\nexport const getConvexFunctionName = (ref: Any): string =>\n  ref.convexFunctionName;\n\nconst functionReferenceCache = new Map<string, FunctionReference<Any>>();\n\nexport const getFunctionReference = <Ref_ extends Any>(\n  ref: Ref_,\n): FunctionReference<Ref_> => {\n  if (ref.functionReference !== undefined) {\n    return ref.functionReference as FunctionReference<Ref_>;\n  }\n  const convexFunctionName = getConvexFunctionName(ref);\n\n  const cached = functionReferenceCache.get(convexFunctionName);\n  if (cached !== undefined) {\n    return cached as FunctionReference<Ref_>;\n  }\n\n  const functionReference = makeFunctionReference(convexFunctionName);\n  functionReferenceCache.set(convexFunctionName, functionReference);\n\n  return functionReference as FunctionReference<Ref_>;\n};\n\n/**\n * Adapt a native reference without assigning Confect codecs or typed errors.\n */\nexport const fromFunctionReference = <\n  Type extends \"query\" | \"mutation\" | \"action\",\n  Visibility extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n>(\n  functionReference: ConvexFunctionReference<Type, Visibility, Args_, Returns_>,\n): ConvexRef<\n  Extract<\n    RuntimeAndFunctionType.RuntimeAndFunctionType,\n    { readonly runtime: \"Convex\"; readonly functionType: Type }\n  >,\n  Visibility,\n  Args_,\n  Returns_\n> => {\n  const address = getFunctionAddress(functionReference);\n  return {\n    [TypeId]: TypeId,\n    _tag: \"Convex\",\n    convexFunctionName:\n      address.name ??\n      address.reference ??\n      address.functionHandle ??\n      \"<external function>\",\n    functionReference,\n  } as ConvexRef<\n    Extract<\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n      { readonly runtime: \"Convex\"; readonly functionType: Type }\n    >,\n    Visibility,\n    Args_,\n    Returns_\n  >;\n};\n\nexport const hasErrorSchema = (ref: Any): boolean =>\n  Match.value(ref).pipe(\n    Match.tag(\n      \"Confect\",\n      (confectRef) =>\n        \"error\" in confectRef ||\n        confectRef.middlewareSpecs.some(\n          (middlewareSpec) => \"error\" in middlewareSpec,\n        ),\n    ),\n    Match.tag(\"Convex\", () => false),\n    Match.exhaustive,\n  );\n\nexport const encodeArgs = <Ref_ extends Any>(\n  ref: Ref_,\n  args: Args<Ref_>,\n): Effect.Effect<unknown, Schema.SchemaError> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeEffect(confectRef.args)(args),\n    ),\n    Match.tag(\"Convex\", () => Effect.succeed(args)),\n    Match.exhaustive,\n  );\n\nexport const decodeReturns = <Ref_ extends Any>(\n  ref: Ref_,\n  returns: unknown,\n): Effect.Effect<Returns<Ref_>, Schema.SchemaError> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownEffect(confectRef.returns)(returns),\n    ),\n    Match.tag(\"Convex\", () => Effect.succeed(returns as Returns<Ref_>)),\n    Match.exhaustive,\n  );\n\nexport const encodeArgsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  args: Args<Ref_>,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeSync(confectRef.args)(args),\n    ),\n    Match.tag(\"Convex\", () => args),\n    Match.exhaustive,\n  );\n\nexport const decodeArgsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedArgs: unknown,\n): Args<Ref_> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(confectRef.args)(encodedArgs),\n    ),\n    Match.tag(\"Convex\", () => encodedArgs),\n    Match.exhaustive,\n  ) as Args<Ref_>;\n\nexport const encodeReturnsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  returns: Returns<Ref_>,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeSync(confectRef.returns)(returns),\n    ),\n    Match.tag(\"Convex\", () => returns),\n    Match.exhaustive,\n  );\n\nexport const decodeReturnsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedReturns: unknown,\n): Returns<Ref_> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(confectRef.returns)(encodedReturns),\n    ),\n    Match.tag(\"Convex\", () => encodedReturns),\n    Match.exhaustive,\n  ) as Returns<Ref_>;\n\nconst ConvexErrorIdentifier = Symbol.for(\"ConvexError\");\n\nexport const isConvexError = (error: unknown): error is ConvexError<Value> =>\n  error instanceof ConvexError ||\n  (typeof error === \"object\" &&\n    error !== null &&\n    ConvexErrorIdentifier in error);\n\n/**\n * Build a callback-style handler that decodes the ref's typed error from a\n * caught `ConvexError`, or else forwards the value to `mapUnknownError`. The\n * fallback is also invoked when the input _is_ a `ConvexError` but the ref\n * doesn't declare a typed-error schema—by definition such a value falls outside\n * the ref's error contract. Useful when adapting non-Effect APIs (e.g. emitter\n * callbacks for streamed subscriptions) to the same error semantics that\n * `runWithCodec` provides.\n */\nexport const decodeErrorOrElse =\n  <Ref_ extends Any, E>(ref: Ref_, mapUnknownError: (error: unknown) => E) =>\n  (error: unknown): Error<Ref_> | E => {\n    if (isConvexError(error)) {\n      const decoded = decodeErrorOption(ref, error.data);\n      if (Option.isSome(decoded)) {\n        return decoded.value;\n      }\n    }\n    return mapUnknownError(error);\n  };\n\nconst errorSchemaOf = (ref: Any): Option.Option<Schema.Codec<any, any>> =>\n  Match.value(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) => {\n      const schemas = [\n        ...(\"error\" in confectRef && confectRef.error !== undefined\n          ? [confectRef.error]\n          : []),\n        ...MiddlewareSpec.errorSchemas(confectRef.middlewareSpecs),\n      ];\n      return schemas.length === 0\n        ? Option.none<Schema.Codec<any, any>>()\n        : Option.some(\n            schemas.length === 1 ? schemas[0]! : Schema.Union(schemas),\n          );\n    }),\n    Match.tag(\"Convex\", () => Option.none<Schema.Codec<any, any>>()),\n    Match.exhaustive,\n  );\n\n/**\n * Decode `encodedError` against the ref's error schema—the function's declared\n * `error` schema unioned with its covering middlewares' error schemas. Returns\n * `None` if the ref declares no typed error at all (Confect ref without an\n * `error` schema and without failing middleware, or a Convex-provenance ref)—by\n * definition there's nothing to decode the value into, and the caller is\n * responsible for deciding what to do (typically: surface the original value as\n * a defect).\n */\nexport const decodeError = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedError: unknown,\n): Effect.Effect<Option.Option<Error<Ref_>>, Schema.SchemaError> =>\n  Option.match(errorSchemaOf(ref), {\n    onNone: () => Effect.succeed(Option.none<Error<Ref_>>()),\n    onSome: (schema) =>\n      Effect.asSome(\n        Schema.decodeUnknownEffect(schema)(encodedError),\n      ) as Effect.Effect<Option.Option<Error<Ref_>>, Schema.SchemaError>,\n  });\n\n/**\n * Synchronous counterpart to `decodeError`. Returns `None` when the value is\n * not this ref's typed error—either because the ref declares no `error` schema,\n * or because `encodedError` doesn't match the one it declares.\n *\n * The second case is reachable in normal operation: Convex raises its own\n * `ConvexError`s (an `InvalidCursor` pagination error, for instance), and those\n * never match a user-declared error schema. Callers pair this with a fallback\n * that surfaces the original error, so failing to decode must not throw—a\n * `ParseError` here would replace the real error with an opaque one and lose\n * the only useful diagnostic. Hence the `Option` suffix rather than `Sync`,\n * matching `Schema.decodeUnknownOption`: the sibling `*Sync` helpers in this\n * module all throw on a parse failure, and this one deliberately doesn't.\n */\nexport const decodeErrorOption = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedError: unknown,\n): Option.Option<Error<Ref_>> =>\n  Option.flatMap(\n    errorSchemaOf(ref),\n    (schema) =>\n      Schema.decodeUnknownOption(schema)(encodedError) as Option.Option<\n        Error<Ref_>\n      >,\n  );\n\nconst missingPaginatedProvenanceError = (ref: Any) =>\n  new globalThis.Error(\n    `Paginated query ref \"${getConvexFunctionName(ref)}\" was not built with ` +\n      \"`FunctionSpec.publicPaginatedQuery` (or `FunctionSpec.internalPaginatedQuery`). \" +\n      \"Paginated encoding and decoding require the user-args and item schemas \" +\n      \"those constructors store. Define the function as, e.g.:\\n\\n\" +\n      \"  FunctionSpec.publicPaginatedQuery({\\n\" +\n      '    name: \"...\",\\n' +\n      \"    args: () => ({ ... }), // optional; without paginationOpts\\n\" +\n      \"    item: () => ItemSchema,\\n\" +\n      \"  })\",\n  );\n\nconst paginatedKind = (ref: AnyConfect): FunctionProvenance.Paginated =>\n  Match.value(ref.kind).pipe(\n    Match.tag(\"Paginated\", (kind) => kind),\n    Match.tag(\"Standard\", () => {\n      throw missingPaginatedProvenanceError(ref);\n    }),\n    Match.exhaustive,\n  );\n\n/**\n * Encode the args of a paginated query ref via its user-args\n * schema—`paginationOpts` is excluded, since the pagination protocol fields are\n * managed by the client (e.g. `usePaginatedQuery` from `convex/react`), not by\n * the caller. Requires a ref built with `FunctionSpec.publicPaginatedQuery` (or\n * `internalPaginatedQuery`).\n */\nexport const encodePaginatedQueryArgsSync = <\n  Ref_ extends AnyPublicPaginatedQuery,\n>(\n  ref: Ref_,\n  args: Omit<Args<Ref_>, \"paginationOpts\">,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeUnknownSync(paginatedKind(confectRef).userArgs)(args),\n    ),\n    Match.tag(\"Convex\", () => args),\n    Match.exhaustive,\n  );\n\n/**\n * Decode a page of a paginated query's results via the ref's item schema.\n * Requires a ref built with `FunctionSpec.publicPaginatedQuery` (or\n * `internalPaginatedQuery`).\n */\nexport const decodePaginationPageSync = <Ref_ extends AnyPublicPaginatedQuery>(\n  ref: Ref_,\n  encodedPage: unknown,\n): Returns<Ref_>[\"page\"] =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(paginatedKind(confectRef).page)(encodedPage),\n    ),\n    Match.tag(\"Convex\", () => encodedPage),\n    Match.exhaustive,\n  ) as Returns<Ref_>[\"page\"];\n\n/**\n * Encode args via the ref's args schema, invoke `call`, decode returns via the\n * ref's returns schema, and translate any thrown `ConvexError` into the ref's\n * typed error. Anything else the Promise rejects with—network failures,\n * server-side runtime errors, validation failures, etc.—is passed to\n * `mapUnknownError` to be turned into a typed `E`, or surfaced as a defect when\n * no handler is provided.\n */\nexport const runWithCodec = Effect.fnUntraced(function* <\n  Ref_ extends Any,\n  E = never,\n>(\n  ref: Ref_,\n  args: Args<Ref_>,\n  call: (\n    functionReference: FunctionReference<Ref_>,\n    encodedArgs: unknown,\n  ) => PromiseLike<unknown>,\n  mapUnknownError?: (error: unknown) => E,\n): Effect.fn.Return<Returns<Ref_>, E | Error<Ref_> | Schema.SchemaError> {\n  const functionReference = getFunctionReference(ref);\n  const invoke = (\n    encodedArgs: unknown,\n  ): Effect.Effect<unknown, Error<Ref_> | E> =>\n    Effect.tryPromise({\n      try: () => Promise.resolve(call(functionReference, encodedArgs)),\n      catch: (error): Error<Ref_> | E => {\n        if (isConvexError(error)) {\n          const decoded = decodeErrorOption(ref, error.data);\n          if (Option.isSome(decoded)) {\n            return decoded.value;\n          }\n        }\n        if (mapUnknownError !== undefined) {\n          return mapUnknownError(error);\n        }\n        throw error;\n      },\n    });\n\n  const encodedArgs = yield* encodeArgs(ref, args);\n  const encodedReturns = yield* invoke(encodedArgs);\n  return yield* decodeReturns(ref, encodedReturns);\n});\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsBA,MAAa,SAAS;;;;AAqJtB,MAAa,SAAS,UACpB,UAAU,YAAY,OAAO,MAAM;AAyPrC,MAAa,QASX,yBACA,cACA,6BAEI,CAAC,MAKF;CACH,MAAM,qBAAqB,GAAG,wBAAwB,GAAG,aAAa;CAEtE,OAAO,MAAM,MAAM,aAAa,kBAAkB,CAAC,CAAC,KAClD,MAAM,IACJ,iBAEG;GACE,SAAS;EACV,MAAM;EACN;CACF,EACJ,GACA,MAAM,IAAI,YAAY,eACpB,eAAe,oBAAoB,YAAY,CAC7C,GAAG,4BACH,GAAG,aAAa,qBAClB,CAAC,CACH,GACA,MAAM,UACR;AAKF;;;;;;;;AASA,MAAa,kBACX,oBACA,YACA,uBACA,sBACe;CACf,MAAM,MAAM;GACT,SAAS;EACV,MAAM;EACN;EACA,GAAI,sBAAsB,KAAA,IAAY,CAAC,IAAI,EAAE,kBAAkB;EAC/D,MAAM,WAAW;EACjB;EACA,IAAI,kBAAkB;GACpB,OAAO,sBAAsB,KAAK,EAAE,WAAW,IAAI;EACrD;CACF;CAEA,eAAoB,KAAK,cAAc,WAAW,IAAI;CACtD,eAAoB,KAAK,iBAAiB,WAAW,OAAO;CAC5D,IAAI,WAAW,YACb,eAAoB,KAAK,eAAe,WAAW,KAAK;CAG1D,OAAO;AACT;AAEA,MAAa,yBAAyB,QACpC,IAAI;AAEN,MAAM,yCAAyB,IAAI,IAAoC;AAEvE,MAAa,wBACX,QAC4B;CAC5B,IAAI,IAAI,sBAAsB,KAAA,GAC5B,OAAO,IAAI;CAEb,MAAM,qBAAqB,sBAAsB,GAAG;CAEpD,MAAM,SAAS,uBAAuB,IAAI,kBAAkB;CAC5D,IAAI,WAAW,KAAA,GACb,OAAO;CAGT,MAAM,oBAAoB,sBAAsB,kBAAkB;CAClE,uBAAuB,IAAI,oBAAoB,iBAAiB;CAEhE,OAAO;AACT;;;;AAKA,MAAa,yBAMX,sBASG;CACH,MAAM,UAAU,mBAAmB,iBAAiB;CACpD,OAAO;GACJ,SAAS;EACV,MAAM;EACN,oBACE,QAAQ,QACR,QAAQ,aACR,QAAQ,kBACR;EACF;CACF;AASF;AAEA,MAAa,kBAAkB,QAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,KACf,MAAM,IACJ,YACC,eACC,WAAW,cACX,WAAW,gBAAgB,MACxB,mBAAmB,WAAW,cACjC,CACJ,GACA,MAAM,IAAI,gBAAgB,KAAK,GAC/B,MAAM,UACR;AAEF,MAAa,cACX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,aAAa,WAAW,IAAI,CAAC,CAAC,IAAI,CAC3C,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,IAAI,CAAC,GAC9C,MAAM,UACR;AAEF,MAAa,iBACX,KACA,YAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,oBAAoB,WAAW,OAAO,CAAC,CAAC,OAAO,CACxD,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,OAAwB,CAAC,GAClE,MAAM,UACR;AAEF,MAAa,kBACX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,WAAW,WAAW,IAAI,CAAC,CAAC,IAAI,CACzC,GACA,MAAM,IAAI,gBAAgB,IAAI,GAC9B,MAAM,UACR;AAEF,MAAa,kBACX,KACA,gBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,WAAW,IAAI,CAAC,CAAC,WAAW,CACvD,GACA,MAAM,IAAI,gBAAgB,WAAW,GACrC,MAAM,UACR;AAEF,MAAa,qBACX,KACA,YAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,WAAW,WAAW,OAAO,CAAC,CAAC,OAAO,CAC/C,GACA,MAAM,IAAI,gBAAgB,OAAO,GACjC,MAAM,UACR;AAEF,MAAa,qBACX,KACA,mBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,WAAW,OAAO,CAAC,CAAC,cAAc,CAC7D,GACA,MAAM,IAAI,gBAAgB,cAAc,GACxC,MAAM,UACR;AAEF,MAAM,wBAAwB,OAAO,IAAI,aAAa;AAEtD,MAAa,iBAAiB,UAC5B,iBAAiB,eAChB,OAAO,UAAU,YAChB,UAAU,QACV,yBAAyB;;;;;;;;;;AAW7B,MAAa,qBACW,KAAW,qBAChC,UAAoC;CACnC,IAAI,cAAc,KAAK,GAAG;EACxB,MAAM,UAAU,kBAAkB,KAAK,MAAM,IAAI;EACjD,IAAI,OAAO,OAAO,OAAO,GACvB,OAAO,QAAQ;CAEnB;CACA,OAAO,gBAAgB,KAAK;AAC9B;AAEF,MAAM,iBAAiB,QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,KACf,MAAM,IAAI,YAAY,eAAe;CACnC,MAAM,UAAU,CACd,GAAI,WAAW,cAAc,WAAW,UAAU,KAAA,IAC9C,CAAC,WAAW,KAAK,IACjB,CAAC,GACL,GAAGA,aAA4B,WAAW,eAAe,CAC3D;CACA,OAAO,QAAQ,WAAW,IACtB,OAAO,KAA6B,IACpC,OAAO,KACL,QAAQ,WAAW,IAAI,QAAQ,KAAM,OAAO,MAAM,OAAO,CAC3D;AACN,CAAC,GACD,MAAM,IAAI,gBAAgB,OAAO,KAA6B,CAAC,GAC/D,MAAM,UACR;;;;;;;;;;AAWF,MAAa,eACX,KACA,iBAEA,OAAO,MAAM,cAAc,GAAG,GAAG;CAC/B,cAAc,OAAO,QAAQ,OAAO,KAAkB,CAAC;CACvD,SAAS,WACP,OAAO,OACL,OAAO,oBAAoB,MAAM,CAAC,CAAC,YAAY,CACjD;AACJ,CAAC;;;;;;;;;;;;;;;AAgBH,MAAa,qBACX,KACA,iBAEA,OAAO,QACL,cAAc,GAAG,IAChB,WACC,OAAO,oBAAoB,MAAM,CAAC,CAAC,YAAY,CAGnD;AAEF,MAAM,mCAAmC,QACvC,IAAI,WAAW,MACb,wBAAwB,sBAAsB,GAAG,EAAE;;;;;;KASrD;AAEF,MAAM,iBAAiB,QACrB,MAAM,MAAM,IAAI,IAAI,CAAC,CAAC,KACpB,MAAM,IAAI,cAAc,SAAS,IAAI,GACrC,MAAM,IAAI,kBAAkB;CAC1B,MAAM,gCAAgC,GAAG;AAC3C,CAAC,GACD,MAAM,UACR;;;;;;;;AASF,MAAa,gCAGX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,cAAc,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CACnE,GACA,MAAM,IAAI,gBAAgB,IAAI,GAC9B,MAAM,UACR;;;;;;AAOF,MAAa,4BACX,KACA,gBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,cAAc,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,CACtE,GACA,MAAM,IAAI,gBAAgB,WAAW,GACrC,MAAM,UACR;;;;;;;;;AAUF,MAAa,eAAe,OAAO,WAAW,WAI5C,KACA,MACA,MAIA,iBACuE;CACvE,MAAM,oBAAoB,qBAAqB,GAAG;CAClD,MAAM,UACJ,gBAEA,OAAO,WAAW;EAChB,WAAW,QAAQ,QAAQ,KAAK,mBAAmB,WAAW,CAAC;EAC/D,QAAQ,UAA2B;GACjC,IAAI,cAAc,KAAK,GAAG;IACxB,MAAM,UAAU,kBAAkB,KAAK,MAAM,IAAI;IACjD,IAAI,OAAO,OAAO,OAAO,GACvB,OAAO,QAAQ;GAEnB;GACA,IAAI,oBAAoB,KAAA,GACtB,OAAO,gBAAgB,KAAK;GAE9B,MAAM;EACR;CACF,CAAC;CAGH,MAAM,iBAAiB,OAAO,OAAO,OADV,WAAW,KAAK,IAAI,CACC;CAChD,OAAO,OAAO,cAAc,KAAK,cAAc;AACjD,CAAC"}
+{"version":3,"file":"Ref.js","names":["MiddlewareSpec.errorSchemas"],"sources":["../src/Ref.ts"],"sourcesContent":["import type * as MiddlewareAttachment from \"./MiddlewareAttachment.js\";\nimport type {\n  DefaultFunctionArgs,\n  FunctionReference as ConvexFunctionReference,\n  FunctionVisibility,\n  PaginationOptions,\n  PaginationResult,\n} from \"convex/server\";\nimport { getFunctionAddress, makeFunctionReference } from \"convex/server\";\nimport type { Value } from \"convex/values\";\nimport { ConvexError } from \"convex/values\";\nimport * as Effect from \"effect/Effect\";\nimport * as Match from \"effect/Match\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport type * as FunctionProvenance from \"./FunctionProvenance.js\";\nimport type * as FunctionSpec from \"./FunctionSpec.js\";\nimport * as Lazy from \"./Lazy.js\";\nimport * as MiddlewareSpec from \"./MiddlewareSpec.js\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType.js\";\n\nexport const TypeId = \"~@confect/core/Ref\";\nexport type TypeId = typeof TypeId;\n\nexport interface Base<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly \"~RuntimeAndFunctionType\": RuntimeAndFunctionType_;\n  readonly \"~FunctionVisibility\": FunctionVisibility_;\n  readonly \"~Args\": Args_;\n  // Concrete call inputs must not narrow across assignments. Erased refs and\n  // pagination constraints use index signatures and keep their broad variance.\n  readonly \"~ArgsVariance\"?: string extends keyof Args_\n    ? unknown\n    : (args: Args_) => void;\n  readonly \"~Returns\": Returns_;\n  readonly \"~Error\": Error_;\n  readonly functionType?: RuntimeAndFunctionType_[\"functionType\"];\n  readonly convexFunctionName: string;\n  /**\n   * Preserved for component references and function handles, which have no\n   * local name.\n   */\n  readonly functionReference?: ConvexFunctionReference<any, any>;\n}\n\n/**\n * A reference to a single Convex function, as callers see it: the wire name\n * plus the data needed to encode args, decode returns, and decode typed errors.\n * A ref is one of two shapes, keyed by the spec's provenance.\n */\nexport type Ref<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> =\n  | ConfectRefWithTypes<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_,\n      FunctionProvenance.ArgsFields,\n      Args_,\n      Returns_,\n      Error_\n    >\n  | ConvexRef<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_,\n      Args_,\n      Returns_,\n      Error_\n    >;\n\nexport type ConfectRef<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  ReturnsSchema_ extends Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any> = never,\n  MiddlewareError_ = never,\n  MiddlewareEncodedError_ = never,\n> = ConfectRefWithTypes<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  ArgsFields_,\n  Schema.Struct.Type<ArgsFields_>,\n  ReturnsSchema_[\"Type\"],\n  ErrorSchema_[\"Type\"] | MiddlewareError_,\n  ReturnsSchema_,\n  ErrorSchema_,\n  ErrorSchema_[\"Encoded\"] | MiddlewareEncodedError_\n>;\n\n/**\n * Internal form used while mapping a spec to a ref. Supplying the already\n * derived value types avoids repeatedly expanding `Schema.Struct` for every\n * leaf in a generated ref tree; the public `ConfectRef` alias still derives the\n * same values from its fields and schemas.\n *\n * The codecs keep their own types so that a ref's wire encoding stays visible\n * to type-level checks, and `~EncodedError` carries the wire form of every\n * error the function can fail with, middleware included. A ref built from value\n * types alone (`Ref`) has no codecs to keep and erases them.\n */\ninterface ConfectRefWithTypes<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_,\n  ReturnsSchema_ extends Schema.Codec<any, any> = Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any> = Schema.Codec<any, any>,\n  EncodedError_ = any,\n> extends Base<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Args_,\n  Returns_,\n  Error_\n> {\n  readonly _tag: \"Confect\";\n  readonly args: FunctionProvenance.ArgsSchema<ArgsFields_>;\n  readonly returns: ReturnsSchema_;\n  readonly kind: FunctionProvenance.ConfectKind;\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;\n  readonly middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>;\n  readonly error?: ErrorSchema_;\n  readonly \"~EncodedError\": EncodedError_;\n}\n\nexport interface ConvexRef<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> extends Base<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Args_,\n  Returns_,\n  Error_\n> {\n  readonly _tag: \"Convex\";\n}\n\n/**\n * A ref's call contract without a visibility requirement. Use this for handlers\n * shared by a component's public ref and its host's internal binding. Args,\n * returns, errors, runtime and function kind remain constrained.\n */\nexport type Callable<Ref_ extends Any> = Ref<\n  GetRuntimeAndFunctionType<Ref_>,\n  FunctionVisibility,\n  Args<Ref_>,\n  Returns<Ref_>,\n  Error<Ref_>\n>;\n\nexport type Any = Ref<any, any, any, any, any>;\n\n/**\n * Recognizes references by their runtime type identity.\n */\nexport const isRef = (value: unknown): value is Any =>\n  Predicate.hasProperty(value, TypeId);\n\n/**\n * Erased Confect-provenance ref used by provenance-specific APIs.\n */\nexport type AnyConfect = Extract<Any, { readonly _tag: \"Confect\" }>;\n\nexport type AnyInternal = Ref<any, \"internal\", any, any, any>;\n\nexport type AnyPublic = Ref<any, \"public\", any, any, any>;\n\nexport type AnyQuery = Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyPaginatedQuery = AnyQuery &\n  Base<\n    RuntimeAndFunctionType.AnyQuery,\n    FunctionVisibility,\n    {\n      [key: string]: any;\n      paginationOpts: PaginationOptions;\n    },\n    PaginationResult<any>,\n    any\n  >;\n\nexport type AnyMutation = Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyAction = Ref<\n  RuntimeAndFunctionType.AnyAction,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyPublicQuery = Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicQuery = Extract<AnyPublicQuery, AnyConfect>;\n\nexport type AnyPublicPaginatedQuery = AnyPublicQuery & AnyPaginatedQuery;\n\nexport type AnyConfectPublicPaginatedQuery = AnyConfectPublicQuery &\n  AnyPublicPaginatedQuery;\n\nexport type AnyPublicMutation = Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicMutation = Extract<AnyPublicMutation, AnyConfect>;\n\nexport type AnyPublicAction = Ref<\n  RuntimeAndFunctionType.AnyAction,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicAction = Extract<AnyPublicAction, AnyConfect>;\n\nexport type GetRuntimeAndFunctionType<Ref_> = Ref_ extends {\n  readonly \"~RuntimeAndFunctionType\": infer RuntimeAndFunctionType_ extends\n    RuntimeAndFunctionType.RuntimeAndFunctionType;\n}\n  ? RuntimeAndFunctionType_\n  : never;\n\nexport type GetRuntime<Ref_> = RuntimeAndFunctionType.GetRuntime<\n  GetRuntimeAndFunctionType<Ref_>\n>;\n\nexport type GetFunctionType<Ref_> = RuntimeAndFunctionType.GetFunctionType<\n  GetRuntimeAndFunctionType<Ref_>\n>;\n\nexport type GetFunctionVisibility<Ref_> = Ref_ extends {\n  readonly \"~FunctionVisibility\": infer FunctionVisibility_;\n}\n  ? FunctionVisibility_\n  : never;\n\nexport type Args<Ref_> = Ref_ extends { readonly \"~Args\": infer Args_ }\n  ? Args_\n  : never;\n\n/**\n * The field map captured by a Confect-provenance ref.\n */\nexport type ArgsFields<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly args: {\n    readonly fields: infer ArgsFields_ extends FunctionProvenance.ArgsFields;\n  };\n}\n  ? ArgsFields_\n  : never;\n\n/**\n * The assembled args schema carried by a Confect-provenance ref.\n */\nexport type ArgsSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly args: infer ArgsSchema_ extends FunctionProvenance.AnyArgsSchema;\n}\n  ? ArgsSchema_\n  : never;\n\nexport type OptionalArgs<Ref_ extends Any> = keyof Args<Ref_> extends never\n  ? [args?: Args<Ref_>]\n  : [args: Args<Ref_>];\n\nexport type Returns<Ref_> = Ref_ extends { readonly \"~Returns\": infer Returns_ }\n  ? Returns_\n  : never;\n\n/**\n * The returns codec carried by a Confect-provenance ref.\n */\nexport type ReturnsSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly returns: infer ReturnsSchema_ extends Schema.Codec<any, any>;\n}\n  ? ReturnsSchema_\n  : never;\n\n/**\n * The wire form of every error a ref can fail with: its function's declared\n * error and its middleware's errors.\n */\nexport type EncodedError<Ref_> = Ref_ extends {\n  readonly \"~EncodedError\": infer EncodedError_;\n}\n  ? EncodedError_\n  : never;\n\n/**\n * The function's own error codec carried by a Confect-provenance ref; errors\n * contributed by middleware are not part of it.\n */\nexport type ErrorSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly error?: infer ErrorSchema_;\n}\n  ? Extract<ErrorSchema_, Schema.Codec<any, any>>\n  : never;\n\nexport type Error<Ref_> = Ref_ extends { readonly \"~Error\": infer Error_ }\n  ? Error_\n  : never;\n\nexport type FunctionReference<Ref_ extends Any> = ConvexFunctionReference<\n  GetFunctionType<Ref_>,\n  GetFunctionVisibility<Ref_>\n>;\n\n/**\n * The ref type of a function spec. Errors from middleware attached to the\n * function are included; pass the errors of middleware attached to its groups\n * as `MiddlewareError` and `MiddlewareEncodedError`.\n */\nexport type FromFunctionSpec<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareError = never,\n  MiddlewareEncodedError = never,\n> = FromFunctionSpecHelper<\n  FunctionSpec_,\n  FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>,\n  FunctionSpec.GetFunctionVisibility<FunctionSpec_>,\n  FunctionSpec.ArgsFields<FunctionSpec_>,\n  FunctionSpec.Args<FunctionSpec_>,\n  FunctionSpec.Returns<FunctionSpec_>,\n  | FunctionSpec.Error<FunctionSpec_>\n  | MiddlewareSpec.Error<FunctionSpec.MiddlewareSpecs<FunctionSpec_>>\n  | MiddlewareError,\n  FunctionSpec.ReturnsSchema<FunctionSpec_>,\n  FunctionSpec.ErrorSchema<FunctionSpec_>,\n  | FunctionSpec.EncodedError<FunctionSpec_>\n  | MiddlewareSpec.EncodedError<FunctionSpec.MiddlewareSpecs<FunctionSpec_>>\n  | MiddlewareEncodedError\n>;\n\ntype FromFunctionSpecHelper<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_,\n  ReturnsSchema_ extends Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any>,\n  EncodedError_,\n> =\n  FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<\n    FunctionSpec_,\n    FunctionProvenance.AnyConvex\n  >\n    ? ConvexRef<\n        RuntimeAndFunctionType_,\n        FunctionVisibility_,\n        Args_ extends DefaultFunctionArgs ? Args_ : never,\n        Returns_,\n        never\n      >\n    : FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<\n          FunctionSpec_,\n          FunctionProvenance.AnyConfect\n        >\n      ? ConfectRefWithTypes<\n          RuntimeAndFunctionType_,\n          FunctionVisibility_,\n          ArgsFields_,\n          Args_,\n          Returns_,\n          Error_,\n          ReturnsSchema_,\n          ErrorSchema_,\n          EncodedError_\n        >\n      : Ref<\n          RuntimeAndFunctionType_,\n          FunctionVisibility_,\n          Args_,\n          Returns_,\n          Error_\n        >;\n\nexport const make = <\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  GroupMiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n>(\n  /**\n   * The namespace portion of a Convex function name, i.e. the part before the\n   * colon. For example, for `myGroupDir/myGroupMod:myFunc` this would be\n   * `myGroupDir/myGroupMod`.\n   */\n  convexFunctionNamespace: string,\n  functionSpec: FunctionSpec_,\n  groupMiddlewareAttachments: ReadonlyArray<\n    MiddlewareAttachment.MiddlewareAttachment<GroupMiddlewareSpec_>\n  > = [],\n): FromFunctionSpec<\n  FunctionSpec_,\n  MiddlewareSpec.Error<GroupMiddlewareSpec_>,\n  MiddlewareSpec.EncodedError<GroupMiddlewareSpec_>\n> => {\n  const convexFunctionName = `${convexFunctionNamespace}:${functionSpec.name}`;\n\n  return Match.value(functionSpec.functionProvenance).pipe(\n    Match.tag(\n      \"Convex\",\n      (): Any =>\n        ({\n          [TypeId]: TypeId,\n          _tag: \"Convex\",\n          functionType: functionSpec.runtimeAndFunctionType.functionType,\n          convexFunctionName,\n        }) as Any,\n    ),\n    Match.tag(\"Confect\", (provenance): Any =>\n      fromProvenance(\n        convexFunctionName,\n        provenance,\n        [...groupMiddlewareAttachments, ...functionSpec.middlewareAttachments],\n        undefined,\n        functionSpec.runtimeAndFunctionType.functionType,\n      ),\n    ),\n    Match.exhaustive,\n  ) as FromFunctionSpec<\n    FunctionSpec_,\n    MiddlewareSpec.Error<GroupMiddlewareSpec_>,\n    MiddlewareSpec.EncodedError<GroupMiddlewareSpec_>\n  >;\n};\n\n/**\n * Build a Confect ref that runs with `provenance`'s codecs. Pass\n * `functionReference` when the function has no local name: an installed\n * component's function or a function handle. The ref reads `args`, `returns`\n * and `error` from the provenance on first use, so building it forces no\n * schema.\n */\nexport const fromProvenance = (\n  convexFunctionName: string,\n  provenance: FunctionProvenance.AnyConfect,\n  middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>,\n  functionReference?: ConvexFunctionReference<any, any>,\n  functionType?: \"query\" | \"mutation\" | \"action\",\n): AnyConfect => {\n  const ref = {\n    [TypeId]: TypeId as TypeId,\n    _tag: \"Confect\" as const,\n    ...(functionType === undefined ? {} : { functionType }),\n    convexFunctionName,\n    ...(functionReference === undefined ? {} : { functionReference }),\n    kind: provenance.kind,\n    middlewareAttachments,\n    get middlewareSpecs() {\n      return middlewareAttachments.map(({ spec }) => spec);\n    },\n  };\n\n  Lazy.defineProperty(ref, \"args\", () => provenance.args);\n  Lazy.defineProperty(ref, \"returns\", () => provenance.returns);\n  if (\"error\" in provenance) {\n    Lazy.defineProperty(ref, \"error\", () => provenance.error);\n  }\n\n  return ref as unknown as AnyConfect;\n};\n\nexport const getConvexFunctionName = (ref: Any): string =>\n  ref.convexFunctionName;\n\nconst functionReferenceCache = new Map<string, FunctionReference<Any>>();\n\nexport const getFunctionReference = <Ref_ extends Any>(\n  ref: Ref_,\n): FunctionReference<Ref_> => {\n  if (ref.functionReference !== undefined) {\n    return ref.functionReference as FunctionReference<Ref_>;\n  }\n  const convexFunctionName = getConvexFunctionName(ref);\n\n  const cached = functionReferenceCache.get(convexFunctionName);\n  if (cached !== undefined) {\n    return cached as FunctionReference<Ref_>;\n  }\n\n  const functionReference = makeFunctionReference(convexFunctionName);\n  functionReferenceCache.set(convexFunctionName, functionReference);\n\n  return functionReference as FunctionReference<Ref_>;\n};\n\n/**\n * Adapt a native reference without assigning Confect codecs or typed errors.\n */\nexport const fromFunctionReference = <\n  Type extends \"query\" | \"mutation\" | \"action\",\n  Visibility extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n>(\n  functionReference: ConvexFunctionReference<Type, Visibility, Args_, Returns_>,\n  functionType?: NoInfer<Type>,\n): ConvexRef<\n  Extract<\n    RuntimeAndFunctionType.RuntimeAndFunctionType,\n    { readonly runtime: \"Convex\"; readonly functionType: Type }\n  >,\n  Visibility,\n  Args_,\n  Returns_\n> => {\n  const address = getFunctionAddress(functionReference);\n  return {\n    [TypeId]: TypeId,\n    _tag: \"Convex\",\n    ...(functionType === undefined ? {} : { functionType }),\n    convexFunctionName:\n      address.name ??\n      address.reference ??\n      address.functionHandle ??\n      \"<external function>\",\n    functionReference,\n  } as ConvexRef<\n    Extract<\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n      { readonly runtime: \"Convex\"; readonly functionType: Type }\n    >,\n    Visibility,\n    Args_,\n    Returns_\n  >;\n};\n\nexport const hasErrorSchema = (ref: Any): boolean =>\n  Match.value(ref).pipe(\n    Match.tag(\n      \"Confect\",\n      (confectRef) =>\n        \"error\" in confectRef ||\n        confectRef.middlewareSpecs.some(\n          (middlewareSpec) => \"error\" in middlewareSpec,\n        ),\n    ),\n    Match.tag(\"Convex\", () => false),\n    Match.exhaustive,\n  );\n\nexport const encodeArgs = <Ref_ extends Any>(\n  ref: Ref_,\n  args: Args<Ref_>,\n): Effect.Effect<unknown, Schema.SchemaError> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeEffect(confectRef.args)(args),\n    ),\n    Match.tag(\"Convex\", () => Effect.succeed(args)),\n    Match.exhaustive,\n  );\n\nexport const decodeReturns = <Ref_ extends Any>(\n  ref: Ref_,\n  returns: unknown,\n): Effect.Effect<Returns<Ref_>, Schema.SchemaError> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownEffect(confectRef.returns)(returns),\n    ),\n    Match.tag(\"Convex\", () => Effect.succeed(returns as Returns<Ref_>)),\n    Match.exhaustive,\n  );\n\nexport const encodeArgsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  args: Args<Ref_>,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeSync(confectRef.args)(args),\n    ),\n    Match.tag(\"Convex\", () => args),\n    Match.exhaustive,\n  );\n\nexport const decodeArgsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedArgs: unknown,\n): Args<Ref_> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(confectRef.args)(encodedArgs),\n    ),\n    Match.tag(\"Convex\", () => encodedArgs),\n    Match.exhaustive,\n  ) as Args<Ref_>;\n\nexport const encodeReturnsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  returns: Returns<Ref_>,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeSync(confectRef.returns)(returns),\n    ),\n    Match.tag(\"Convex\", () => returns),\n    Match.exhaustive,\n  );\n\nexport const decodeReturnsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedReturns: unknown,\n): Returns<Ref_> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(confectRef.returns)(encodedReturns),\n    ),\n    Match.tag(\"Convex\", () => encodedReturns),\n    Match.exhaustive,\n  ) as Returns<Ref_>;\n\nconst ConvexErrorIdentifier = Symbol.for(\"ConvexError\");\n\nexport const isConvexError = (error: unknown): error is ConvexError<Value> =>\n  error instanceof ConvexError ||\n  (typeof error === \"object\" &&\n    error !== null &&\n    ConvexErrorIdentifier in error);\n\n/**\n * Build a callback-style handler that decodes the ref's typed error from a\n * caught `ConvexError`, or else forwards the value to `mapUnknownError`. The\n * fallback is also invoked when the input _is_ a `ConvexError` but the ref\n * doesn't declare a typed-error schema—by definition such a value falls outside\n * the ref's error contract. Useful when adapting non-Effect APIs (e.g. emitter\n * callbacks for streamed subscriptions) to the same error semantics that\n * `runWithCodec` provides.\n */\nexport const decodeErrorOrElse =\n  <Ref_ extends Any, E>(ref: Ref_, mapUnknownError: (error: unknown) => E) =>\n  (error: unknown): Error<Ref_> | E => {\n    if (isConvexError(error)) {\n      const decoded = decodeErrorOption(ref, error.data);\n      if (Option.isSome(decoded)) {\n        return decoded.value;\n      }\n    }\n    return mapUnknownError(error);\n  };\n\nconst errorSchemaOf = (ref: Any): Option.Option<Schema.Codec<any, any>> =>\n  Match.value(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) => {\n      const schemas = [\n        ...(\"error\" in confectRef && confectRef.error !== undefined\n          ? [confectRef.error]\n          : []),\n        ...MiddlewareSpec.errorSchemas(confectRef.middlewareSpecs),\n      ];\n      return schemas.length === 0\n        ? Option.none<Schema.Codec<any, any>>()\n        : Option.some(\n            schemas.length === 1 ? schemas[0]! : Schema.Union(schemas),\n          );\n    }),\n    Match.tag(\"Convex\", () => Option.none<Schema.Codec<any, any>>()),\n    Match.exhaustive,\n  );\n\n/**\n * Decode `encodedError` against the ref's error schema—the function's declared\n * `error` schema unioned with its covering middlewares' error schemas. Returns\n * `None` if the ref declares no typed error at all (Confect ref without an\n * `error` schema and without failing middleware, or a Convex-provenance ref)—by\n * definition there's nothing to decode the value into, and the caller is\n * responsible for deciding what to do (typically: surface the original value as\n * a defect).\n */\nexport const decodeError = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedError: unknown,\n): Effect.Effect<Option.Option<Error<Ref_>>, Schema.SchemaError> =>\n  Option.match(errorSchemaOf(ref), {\n    onNone: () => Effect.succeed(Option.none<Error<Ref_>>()),\n    onSome: (schema) =>\n      Effect.asSome(\n        Schema.decodeUnknownEffect(schema)(encodedError),\n      ) as Effect.Effect<Option.Option<Error<Ref_>>, Schema.SchemaError>,\n  });\n\n/**\n * Synchronous counterpart to `decodeError`. Returns `None` when the value is\n * not this ref's typed error—either because the ref declares no `error` schema,\n * or because `encodedError` doesn't match the one it declares.\n *\n * The second case is reachable in normal operation: Convex raises its own\n * `ConvexError`s (an `InvalidCursor` pagination error, for instance), and those\n * never match a user-declared error schema. Callers pair this with a fallback\n * that surfaces the original error, so failing to decode must not throw—a\n * `ParseError` here would replace the real error with an opaque one and lose\n * the only useful diagnostic. Hence the `Option` suffix rather than `Sync`,\n * matching `Schema.decodeUnknownOption`: the sibling `*Sync` helpers in this\n * module all throw on a parse failure, and this one deliberately doesn't.\n */\nexport const decodeErrorOption = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedError: unknown,\n): Option.Option<Error<Ref_>> =>\n  Option.flatMap(\n    errorSchemaOf(ref),\n    (schema) =>\n      Schema.decodeUnknownOption(schema)(encodedError) as Option.Option<\n        Error<Ref_>\n      >,\n  );\n\nconst missingPaginatedProvenanceError = (ref: Any) =>\n  new globalThis.Error(\n    `Paginated query ref \"${getConvexFunctionName(ref)}\" was not built with ` +\n      \"`FunctionSpec.publicPaginatedQuery` (or `FunctionSpec.internalPaginatedQuery`). \" +\n      \"Paginated encoding and decoding require the user-args and item schemas \" +\n      \"those constructors store. Define the function as, e.g.:\\n\\n\" +\n      \"  FunctionSpec.publicPaginatedQuery({\\n\" +\n      '    name: \"...\",\\n' +\n      \"    args: () => ({ ... }), // optional; without paginationOpts\\n\" +\n      \"    item: () => ItemSchema,\\n\" +\n      \"  })\",\n  );\n\nconst paginatedKind = (ref: AnyConfect): FunctionProvenance.Paginated =>\n  Match.value(ref.kind).pipe(\n    Match.tag(\"Paginated\", (kind) => kind),\n    Match.tag(\"Standard\", () => {\n      throw missingPaginatedProvenanceError(ref);\n    }),\n    Match.exhaustive,\n  );\n\n/**\n * Encode the args of a paginated query ref via its user-args\n * schema—`paginationOpts` is excluded, since the pagination protocol fields are\n * managed by the client (e.g. `usePaginatedQuery` from `convex/react`), not by\n * the caller. Requires a ref built with `FunctionSpec.publicPaginatedQuery` (or\n * `internalPaginatedQuery`).\n */\nexport const encodePaginatedQueryArgsSync = <\n  Ref_ extends AnyPublicPaginatedQuery,\n>(\n  ref: Ref_,\n  args: Omit<Args<Ref_>, \"paginationOpts\">,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeUnknownSync(paginatedKind(confectRef).userArgs)(args),\n    ),\n    Match.tag(\"Convex\", () => args),\n    Match.exhaustive,\n  );\n\n/**\n * Decode a page of a paginated query's results via the ref's item schema.\n * Requires a ref built with `FunctionSpec.publicPaginatedQuery` (or\n * `internalPaginatedQuery`).\n */\nexport const decodePaginationPageSync = <Ref_ extends AnyPublicPaginatedQuery>(\n  ref: Ref_,\n  encodedPage: unknown,\n): Returns<Ref_>[\"page\"] =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(paginatedKind(confectRef).page)(encodedPage),\n    ),\n    Match.tag(\"Convex\", () => encodedPage),\n    Match.exhaustive,\n  ) as Returns<Ref_>[\"page\"];\n\n/**\n * Encode args via the ref's args schema, invoke `call`, decode returns via the\n * ref's returns schema, and translate any thrown `ConvexError` into the ref's\n * typed error. Anything else the Promise rejects with—network failures,\n * server-side runtime errors, validation failures, etc.—is passed to\n * `mapUnknownError` to be turned into a typed `E`, or surfaced as a defect when\n * no handler is provided.\n */\nexport const runWithCodec = Effect.fnUntraced(function* <\n  Ref_ extends Any,\n  E = never,\n>(\n  ref: Ref_,\n  args: Args<Ref_>,\n  call: (\n    functionReference: FunctionReference<Ref_>,\n    encodedArgs: unknown,\n  ) => PromiseLike<unknown>,\n  mapUnknownError?: (error: unknown) => E,\n): Effect.fn.Return<Returns<Ref_>, E | Error<Ref_> | Schema.SchemaError> {\n  const functionReference = getFunctionReference(ref);\n  const invoke = (\n    encodedArgs: unknown,\n  ): Effect.Effect<unknown, Error<Ref_> | E> =>\n    Effect.tryPromise({\n      try: () => Promise.resolve(call(functionReference, encodedArgs)),\n      catch: (error): Error<Ref_> | E => {\n        if (isConvexError(error)) {\n          const decoded = decodeErrorOption(ref, error.data);\n          if (Option.isSome(decoded)) {\n            return decoded.value;\n          }\n        }\n        if (mapUnknownError !== undefined) {\n          return mapUnknownError(error);\n        }\n        throw error;\n      },\n    });\n\n  const encodedArgs = yield* encodeArgs(ref, args);\n  const encodedReturns = yield* invoke(encodedArgs);\n  return yield* decodeReturns(ref, encodedReturns);\n});\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsBA,MAAa,SAAS;;;;AAsJtB,MAAa,SAAS,UACpB,UAAU,YAAY,OAAO,MAAM;AAyPrC,MAAa,QASX,yBACA,cACA,6BAEI,CAAC,MAKF;CACH,MAAM,qBAAqB,GAAG,wBAAwB,GAAG,aAAa;CAEtE,OAAO,MAAM,MAAM,aAAa,kBAAkB,CAAC,CAAC,KAClD,MAAM,IACJ,iBAEG;GACE,SAAS;EACV,MAAM;EACN,cAAc,aAAa,uBAAuB;EAClD;CACF,EACJ,GACA,MAAM,IAAI,YAAY,eACpB,eACE,oBACA,YACA,CAAC,GAAG,4BAA4B,GAAG,aAAa,qBAAqB,GACrE,KAAA,GACA,aAAa,uBAAuB,YACtC,CACF,GACA,MAAM,UACR;AAKF;;;;;;;;AASA,MAAa,kBACX,oBACA,YACA,uBACA,mBACA,iBACe;CACf,MAAM,MAAM;GACT,SAAS;EACV,MAAM;EACN,GAAI,iBAAiB,KAAA,IAAY,CAAC,IAAI,EAAE,aAAa;EACrD;EACA,GAAI,sBAAsB,KAAA,IAAY,CAAC,IAAI,EAAE,kBAAkB;EAC/D,MAAM,WAAW;EACjB;EACA,IAAI,kBAAkB;GACpB,OAAO,sBAAsB,KAAK,EAAE,WAAW,IAAI;EACrD;CACF;CAEA,eAAoB,KAAK,cAAc,WAAW,IAAI;CACtD,eAAoB,KAAK,iBAAiB,WAAW,OAAO;CAC5D,IAAI,WAAW,YACb,eAAoB,KAAK,eAAe,WAAW,KAAK;CAG1D,OAAO;AACT;AAEA,MAAa,yBAAyB,QACpC,IAAI;AAEN,MAAM,yCAAyB,IAAI,IAAoC;AAEvE,MAAa,wBACX,QAC4B;CAC5B,IAAI,IAAI,sBAAsB,KAAA,GAC5B,OAAO,IAAI;CAEb,MAAM,qBAAqB,sBAAsB,GAAG;CAEpD,MAAM,SAAS,uBAAuB,IAAI,kBAAkB;CAC5D,IAAI,WAAW,KAAA,GACb,OAAO;CAGT,MAAM,oBAAoB,sBAAsB,kBAAkB;CAClE,uBAAuB,IAAI,oBAAoB,iBAAiB;CAEhE,OAAO;AACT;;;;AAKA,MAAa,yBAMX,mBACA,iBASG;CACH,MAAM,UAAU,mBAAmB,iBAAiB;CACpD,OAAO;GACJ,SAAS;EACV,MAAM;EACN,GAAI,iBAAiB,KAAA,IAAY,CAAC,IAAI,EAAE,aAAa;EACrD,oBACE,QAAQ,QACR,QAAQ,aACR,QAAQ,kBACR;EACF;CACF;AASF;AAEA,MAAa,kBAAkB,QAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,KACf,MAAM,IACJ,YACC,eACC,WAAW,cACX,WAAW,gBAAgB,MACxB,mBAAmB,WAAW,cACjC,CACJ,GACA,MAAM,IAAI,gBAAgB,KAAK,GAC/B,MAAM,UACR;AAEF,MAAa,cACX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,aAAa,WAAW,IAAI,CAAC,CAAC,IAAI,CAC3C,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,IAAI,CAAC,GAC9C,MAAM,UACR;AAEF,MAAa,iBACX,KACA,YAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,oBAAoB,WAAW,OAAO,CAAC,CAAC,OAAO,CACxD,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,OAAwB,CAAC,GAClE,MAAM,UACR;AAEF,MAAa,kBACX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,WAAW,WAAW,IAAI,CAAC,CAAC,IAAI,CACzC,GACA,MAAM,IAAI,gBAAgB,IAAI,GAC9B,MAAM,UACR;AAEF,MAAa,kBACX,KACA,gBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,WAAW,IAAI,CAAC,CAAC,WAAW,CACvD,GACA,MAAM,IAAI,gBAAgB,WAAW,GACrC,MAAM,UACR;AAEF,MAAa,qBACX,KACA,YAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,WAAW,WAAW,OAAO,CAAC,CAAC,OAAO,CAC/C,GACA,MAAM,IAAI,gBAAgB,OAAO,GACjC,MAAM,UACR;AAEF,MAAa,qBACX,KACA,mBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,WAAW,OAAO,CAAC,CAAC,cAAc,CAC7D,GACA,MAAM,IAAI,gBAAgB,cAAc,GACxC,MAAM,UACR;AAEF,MAAM,wBAAwB,OAAO,IAAI,aAAa;AAEtD,MAAa,iBAAiB,UAC5B,iBAAiB,eAChB,OAAO,UAAU,YAChB,UAAU,QACV,yBAAyB;;;;;;;;;;AAW7B,MAAa,qBACW,KAAW,qBAChC,UAAoC;CACnC,IAAI,cAAc,KAAK,GAAG;EACxB,MAAM,UAAU,kBAAkB,KAAK,MAAM,IAAI;EACjD,IAAI,OAAO,OAAO,OAAO,GACvB,OAAO,QAAQ;CAEnB;CACA,OAAO,gBAAgB,KAAK;AAC9B;AAEF,MAAM,iBAAiB,QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,KACf,MAAM,IAAI,YAAY,eAAe;CACnC,MAAM,UAAU,CACd,GAAI,WAAW,cAAc,WAAW,UAAU,KAAA,IAC9C,CAAC,WAAW,KAAK,IACjB,CAAC,GACL,GAAGA,aAA4B,WAAW,eAAe,CAC3D;CACA,OAAO,QAAQ,WAAW,IACtB,OAAO,KAA6B,IACpC,OAAO,KACL,QAAQ,WAAW,IAAI,QAAQ,KAAM,OAAO,MAAM,OAAO,CAC3D;AACN,CAAC,GACD,MAAM,IAAI,gBAAgB,OAAO,KAA6B,CAAC,GAC/D,MAAM,UACR;;;;;;;;;;AAWF,MAAa,eACX,KACA,iBAEA,OAAO,MAAM,cAAc,GAAG,GAAG;CAC/B,cAAc,OAAO,QAAQ,OAAO,KAAkB,CAAC;CACvD,SAAS,WACP,OAAO,OACL,OAAO,oBAAoB,MAAM,CAAC,CAAC,YAAY,CACjD;AACJ,CAAC;;;;;;;;;;;;;;;AAgBH,MAAa,qBACX,KACA,iBAEA,OAAO,QACL,cAAc,GAAG,IAChB,WACC,OAAO,oBAAoB,MAAM,CAAC,CAAC,YAAY,CAGnD;AAEF,MAAM,mCAAmC,QACvC,IAAI,WAAW,MACb,wBAAwB,sBAAsB,GAAG,EAAE;;;;;;KASrD;AAEF,MAAM,iBAAiB,QACrB,MAAM,MAAM,IAAI,IAAI,CAAC,CAAC,KACpB,MAAM,IAAI,cAAc,SAAS,IAAI,GACrC,MAAM,IAAI,kBAAkB;CAC1B,MAAM,gCAAgC,GAAG;AAC3C,CAAC,GACD,MAAM,UACR;;;;;;;;AASF,MAAa,gCAGX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,cAAc,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CACnE,GACA,MAAM,IAAI,gBAAgB,IAAI,GAC9B,MAAM,UACR;;;;;;AAOF,MAAa,4BACX,KACA,gBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,cAAc,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,CACtE,GACA,MAAM,IAAI,gBAAgB,WAAW,GACrC,MAAM,UACR;;;;;;;;;AAUF,MAAa,eAAe,OAAO,WAAW,WAI5C,KACA,MACA,MAIA,iBACuE;CACvE,MAAM,oBAAoB,qBAAqB,GAAG;CAClD,MAAM,UACJ,gBAEA,OAAO,WAAW;EAChB,WAAW,QAAQ,QAAQ,KAAK,mBAAmB,WAAW,CAAC;EAC/D,QAAQ,UAA2B;GACjC,IAAI,cAAc,KAAK,GAAG;IACxB,MAAM,UAAU,kBAAkB,KAAK,MAAM,IAAI;IACjD,IAAI,OAAO,OAAO,OAAO,GACvB,OAAO,QAAQ;GAEnB;GACA,IAAI,oBAAoB,KAAA,GACtB,OAAO,gBAAgB,KAAK;GAE9B,MAAM;EACR;CACF,CAAC;CAGH,MAAM,iBAAiB,OAAO,OAAO,OADV,WAAW,KAAK,IAAI,CACC;CAChD,OAAO,OAAO,cAAc,KAAK,cAAc;AACjD,CAAC"}

package/dist/Refs.d.ts

@@ -1,9 +1,9 @@
 import type { Types } from "effect";
-import type * as FunctionSpec from "./FunctionSpec";
-import type * as GroupSpec from "./GroupSpec";
-import type * as MiddlewareSpec from "./MiddlewareSpec";
-import * as Ref from "./Ref";
-import * as Spec from "./Spec";
+import type * as FunctionSpec from "./FunctionSpec.js";
+import type * as GroupSpec from "./GroupSpec.js";
+import type * as MiddlewareSpec from "./MiddlewareSpec.js";
+import * as Ref from "./Ref.js";
+import * as Spec from "./Spec.js";
 export type Refs<Spec_ extends Spec.AnyWithProps, Predicate extends Ref.Any = Ref.Any> = Types.Simplify<OmitEmpty<Helper<Spec.Groups<Spec_>, Predicate>>>;
 export interface FromSpec<Spec_ extends Spec.AnyWithProps> {
     public: Refs<Spec_, Ref.AnyPublic>;

package/dist/Refs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Refs.d.ts","sourceRoot":"","sources":["../src/Refs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAIpC,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,GAAG,MAAM,OAAO,CAAC;AAC7B,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAE/B,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,SAAS,SAAS,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IACjC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;AAErE,MAAM,WAAW,QAAQ,CAAC,KAAK,SAAS,IAAI,CAAC,YAAY;IACvD,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IACnC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;CACxC;AAED,KAAK,SAAS,CACZ,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,SAAS,SAAS,GAAG,CAAC,GAAG,IACvB,KAAK,CAAC,QAAQ,CAChB,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,GACnD,iBAAiB,CACf,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAC1B,SAAS,EACT,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,EACtD,cAAc,CAAC,YAAY,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAC9D,CACJ,CAAC;AAEF,KAAK,SAAS,CAAC,CAAC,IAAI;KACjB,CAAC,IAAI,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC7D,CAAC;AAEF,KAAK,4BAA4B,CAC/B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,SAAS,SAAS,GAAG,CAAC,GAAG,IAEzB,GAAG,CAAC,GAAG,CACL,YAAY,CAAC,yBAAyB,CAAC,aAAa,CAAC,EACrD,YAAY,CAAC,qBAAqB,CAAC,aAAa,CAAC,EACjD,GAAG,EACH,GAAG,EACH,GAAG,CACJ,SAAS,SAAS,GACf,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,iBAAiB,CACpB,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,SAAS,SAAS,GAAG,CAAC,GAAG,EACzB,eAAe,EACf,sBAAsB,IACpB;KAEA,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,YAAY,CAAC,QAAQ,CAC/D,aAAa,EACb,IAAI,CACL,SAAS,MAAM,aAAa,SAAS,YAAY,CAAC,YAAY,GAC3D,4BAA4B,CAAC,aAAa,EAAE,SAAS,CAAC,SAAS,IAAI,GACjE,IAAI,GACJ,KAAK,GACP,KAAK,GACR,YAAY,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,SAAS,MAAM,CAAC,SAC3D,YAAY,CAAC,YAAY,GACvB,CAAC,SAAS;QAAE,QAAQ,CAAC,kBAAkB,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;SAAE,CAAA;KAAE,GACrE,GAAG,CAAC,gBAAgB,CAAC,CAAC,EAAE,eAAe,EAAE,sBAAsB,CAAC,GAChE,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,GACzB,KAAK;CACV,CAAC;AAEF,KAAK,MAAM,CACT,MAAM,SAAS,SAAS,CAAC,YAAY,EACrC,SAAS,SAAS,GAAG,CAAC,GAAG,IACvB;KACD,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,QAAQ,CACvD,MAAM,EACN,SAAS,CACV,SAAS,MAAM,KAAK,SAAS,SAAS,CAAC,YAAY,GAChD,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,GAC3B,KAAK;CACV,CAAC;AAQF,eAAO,MAAM,IAAI,GAAI,KAAK,SAAS,IAAI,CAAC,YAAY,QAC5C,KAAK,KACV,QAAQ,CAAC,KAAK,CAMhB,CAAC"}
+{"version":3,"file":"Refs.d.ts","sourceRoot":"","sources":["../src/Refs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAIpC,OAAO,KAAK,KAAK,YAAY,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,SAAS,SAAS,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IACjC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;AAErE,MAAM,WAAW,QAAQ,CAAC,KAAK,SAAS,IAAI,CAAC,YAAY;IACvD,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IACnC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;CACxC;AAED,KAAK,SAAS,CACZ,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,SAAS,SAAS,GAAG,CAAC,GAAG,IACvB,KAAK,CAAC,QAAQ,CAChB,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,GACnD,iBAAiB,CACf,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAC1B,SAAS,EACT,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,EACtD,cAAc,CAAC,YAAY,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAC9D,CACJ,CAAC;AAEF,KAAK,SAAS,CAAC,CAAC,IAAI;KACjB,CAAC,IAAI,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC7D,CAAC;AAEF,KAAK,4BAA4B,CAC/B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,SAAS,SAAS,GAAG,CAAC,GAAG,IAEzB,GAAG,CAAC,GAAG,CACL,YAAY,CAAC,yBAAyB,CAAC,aAAa,CAAC,EACrD,YAAY,CAAC,qBAAqB,CAAC,aAAa,CAAC,EACjD,GAAG,EACH,GAAG,EACH,GAAG,CACJ,SAAS,SAAS,GACf,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,iBAAiB,CACpB,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,SAAS,SAAS,GAAG,CAAC,GAAG,EACzB,eAAe,EACf,sBAAsB,IACpB;KAEA,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,YAAY,CAAC,QAAQ,CAC/D,aAAa,EACb,IAAI,CACL,SAAS,MAAM,aAAa,SAAS,YAAY,CAAC,YAAY,GAC3D,4BAA4B,CAAC,aAAa,EAAE,SAAS,CAAC,SAAS,IAAI,GACjE,IAAI,GACJ,KAAK,GACP,KAAK,GACR,YAAY,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,SAAS,MAAM,CAAC,SAC3D,YAAY,CAAC,YAAY,GACvB,CAAC,SAAS;QAAE,QAAQ,CAAC,kBAAkB,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;SAAE,CAAA;KAAE,GACrE,GAAG,CAAC,gBAAgB,CAAC,CAAC,EAAE,eAAe,EAAE,sBAAsB,CAAC,GAChE,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,GACzB,KAAK;CACV,CAAC;AAEF,KAAK,MAAM,CACT,MAAM,SAAS,SAAS,CAAC,YAAY,EACrC,SAAS,SAAS,GAAG,CAAC,GAAG,IACvB;KACD,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,QAAQ,CACvD,MAAM,EACN,SAAS,CACV,SAAS,MAAM,KAAK,SAAS,SAAS,CAAC,YAAY,GAChD,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,GAC3B,KAAK;CACV,CAAC;AAQF,eAAO,MAAM,IAAI,GAAI,KAAK,SAAS,IAAI,CAAC,YAAY,QAC5C,KAAK,KACV,QAAQ,CAAC,KAAK,CAMhB,CAAC"}

package/dist/Refs.js.map

@@ -1 +1 @@
-{"version":3,"file":"Refs.js","names":["Spec.groups","Ref.make","Ref.getConvexFunctionName"],"sources":["../src/Refs.ts"],"sourcesContent":["import type { Types } from \"effect\";\nimport { pipe } from \"effect/Function\";\nimport * as Option from \"effect/Option\";\nimport * as Record from \"effect/Record\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport type * as GroupSpec from \"./GroupSpec\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec\";\nimport * as Ref from \"./Ref\";\nimport * as Spec from \"./Spec\";\n\nexport type Refs<\n  Spec_ extends Spec.AnyWithProps,\n  Predicate extends Ref.Any = Ref.Any,\n> = Types.Simplify<OmitEmpty<Helper<Spec.Groups<Spec_>, Predicate>>>;\n\nexport interface FromSpec<Spec_ extends Spec.AnyWithProps> {\n  public: Refs<Spec_, Ref.AnyPublic>;\n  internal: Refs<Spec_, Ref.AnyInternal>;\n}\n\ntype GroupRefs<\n  Group extends GroupSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> = Types.Simplify<\n  OmitEmpty<Helper<GroupSpec.Groups<Group>, Predicate>> &\n    FilteredFunctions<\n      GroupSpec.Functions<Group>,\n      Predicate,\n      MiddlewareSpec.Error<GroupSpec.MiddlewareSpecs<Group>>,\n      MiddlewareSpec.EncodedError<GroupSpec.MiddlewareSpecs<Group>>\n    >\n>;\n\ntype OmitEmpty<T> = {\n  [K in keyof T as keyof T[K] extends never ? never : K]: T[K];\n};\n\ntype FunctionSpecMatchesPredicate<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> =\n  Ref.Ref<\n    FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>,\n    FunctionSpec.GetFunctionVisibility<FunctionSpec_>,\n    any,\n    any,\n    any\n  > extends Predicate\n    ? true\n    : false;\n\ntype FilteredFunctions<\n  FunctionSpecs extends FunctionSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n  MiddlewareError,\n  MiddlewareEncodedError,\n> = {\n  [\n    Name in FunctionSpec.Name<FunctionSpecs> as FunctionSpec.WithName<\n      FunctionSpecs,\n      Name\n    > extends infer FunctionSpec_ extends FunctionSpec.AnyWithProps\n      ? FunctionSpecMatchesPredicate<FunctionSpec_, Predicate> extends true\n        ? Name\n        : never\n      : never\n  ]: FunctionSpec.WithName<FunctionSpecs, Name> extends infer F extends\n    FunctionSpec.AnyWithProps\n    ? F extends { readonly functionProvenance: { readonly _tag: \"Confect\" } }\n      ? Ref.FromFunctionSpec<F, MiddlewareError, MiddlewareEncodedError>\n      : Ref.FromFunctionSpec<F>\n    : never;\n};\n\ntype Helper<\n  Groups extends GroupSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> = {\n  [GroupName in GroupSpec.Name<Groups>]: GroupSpec.WithName<\n    Groups,\n    GroupName\n  > extends infer Group extends GroupSpec.AnyWithProps\n    ? GroupRefs<Group, Predicate>\n    : never;\n};\n\ntype Any =\n  | {\n      readonly [key: string]: Any;\n    }\n  | Ref.Any;\n\nexport const make = <Spec_ extends Spec.AnyWithProps>(\n  spec: Spec_,\n): FromSpec<Spec_> => {\n  const refs = makeHelper(Spec.groups(spec));\n  return {\n    public: refs as Refs<Spec_, Ref.AnyPublic>,\n    internal: refs as Refs<Spec_, Ref.AnyInternal>,\n  };\n};\n\nconst makeHelper = (\n  groups: Record.ReadonlyRecord<string, GroupSpec.Any>,\n  convexFunctionNamespace: Option.Option<string> = Option.none(),\n): Any =>\n  pipe(\n    groups as Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>,\n    Record.map((group, name) => {\n      const currentConvexFunctionNamespace = Option.match(\n        convexFunctionNamespace,\n        {\n          onNone: () => name,\n          onSome: (parentNamespace) => `${parentNamespace}/${name}`,\n        },\n      );\n\n      return Record.union(\n        makeHelper(group.groups, Option.some(currentConvexFunctionNamespace)),\n        Record.map(group.functions, (function_) =>\n          Ref.make(\n            currentConvexFunctionNamespace,\n            function_,\n            group.middlewareAttachments,\n          ),\n        ),\n        (_subGroup, _function) => {\n          throw new Error(\n            `Group and function at same level have same name ('${Ref.getConvexFunctionName(_function)}')`,\n          );\n        },\n      );\n    }),\n  );\n"],"mappings":";;;;;;;;AA4FA,MAAa,QACX,SACoB;CACpB,MAAM,OAAO,WAAWA,OAAY,IAAI,CAAC;CACzC,OAAO;EACL,QAAQ;EACR,UAAU;CACZ;AACF;AAEA,MAAM,cACJ,QACA,0BAAiD,OAAO,KAAK,MAE7D,KACE,QACA,OAAO,KAAK,OAAO,SAAS;CAC1B,MAAM,iCAAiC,OAAO,MAC5C,yBACA;EACE,cAAc;EACd,SAAS,oBAAoB,GAAG,gBAAgB,GAAG;CACrD,CACF;CAEA,OAAO,OAAO,MACZ,WAAW,MAAM,QAAQ,OAAO,KAAK,8BAA8B,CAAC,GACpE,OAAO,IAAI,MAAM,YAAY,cAC3BC,OACE,gCACA,WACA,MAAM,qBACR,CACF,IACC,WAAW,cAAc;EACxB,MAAM,IAAI,MACR,qDAAqDC,sBAA0B,SAAS,EAAE,GAC5F;CACF,CACF;AACF,CAAC,CACH"}
+{"version":3,"file":"Refs.js","names":["Spec.groups","Ref.make","Ref.getConvexFunctionName"],"sources":["../src/Refs.ts"],"sourcesContent":["import type { Types } from \"effect\";\nimport { pipe } from \"effect/Function\";\nimport * as Option from \"effect/Option\";\nimport * as Record from \"effect/Record\";\nimport type * as FunctionSpec from \"./FunctionSpec.js\";\nimport type * as GroupSpec from \"./GroupSpec.js\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec.js\";\nimport * as Ref from \"./Ref.js\";\nimport * as Spec from \"./Spec.js\";\n\nexport type Refs<\n  Spec_ extends Spec.AnyWithProps,\n  Predicate extends Ref.Any = Ref.Any,\n> = Types.Simplify<OmitEmpty<Helper<Spec.Groups<Spec_>, Predicate>>>;\n\nexport interface FromSpec<Spec_ extends Spec.AnyWithProps> {\n  public: Refs<Spec_, Ref.AnyPublic>;\n  internal: Refs<Spec_, Ref.AnyInternal>;\n}\n\ntype GroupRefs<\n  Group extends GroupSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> = Types.Simplify<\n  OmitEmpty<Helper<GroupSpec.Groups<Group>, Predicate>> &\n    FilteredFunctions<\n      GroupSpec.Functions<Group>,\n      Predicate,\n      MiddlewareSpec.Error<GroupSpec.MiddlewareSpecs<Group>>,\n      MiddlewareSpec.EncodedError<GroupSpec.MiddlewareSpecs<Group>>\n    >\n>;\n\ntype OmitEmpty<T> = {\n  [K in keyof T as keyof T[K] extends never ? never : K]: T[K];\n};\n\ntype FunctionSpecMatchesPredicate<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> =\n  Ref.Ref<\n    FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>,\n    FunctionSpec.GetFunctionVisibility<FunctionSpec_>,\n    any,\n    any,\n    any\n  > extends Predicate\n    ? true\n    : false;\n\ntype FilteredFunctions<\n  FunctionSpecs extends FunctionSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n  MiddlewareError,\n  MiddlewareEncodedError,\n> = {\n  [\n    Name in FunctionSpec.Name<FunctionSpecs> as FunctionSpec.WithName<\n      FunctionSpecs,\n      Name\n    > extends infer FunctionSpec_ extends FunctionSpec.AnyWithProps\n      ? FunctionSpecMatchesPredicate<FunctionSpec_, Predicate> extends true\n        ? Name\n        : never\n      : never\n  ]: FunctionSpec.WithName<FunctionSpecs, Name> extends infer F extends\n    FunctionSpec.AnyWithProps\n    ? F extends { readonly functionProvenance: { readonly _tag: \"Confect\" } }\n      ? Ref.FromFunctionSpec<F, MiddlewareError, MiddlewareEncodedError>\n      : Ref.FromFunctionSpec<F>\n    : never;\n};\n\ntype Helper<\n  Groups extends GroupSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> = {\n  [GroupName in GroupSpec.Name<Groups>]: GroupSpec.WithName<\n    Groups,\n    GroupName\n  > extends infer Group extends GroupSpec.AnyWithProps\n    ? GroupRefs<Group, Predicate>\n    : never;\n};\n\ntype Any =\n  | {\n      readonly [key: string]: Any;\n    }\n  | Ref.Any;\n\nexport const make = <Spec_ extends Spec.AnyWithProps>(\n  spec: Spec_,\n): FromSpec<Spec_> => {\n  const refs = makeHelper(Spec.groups(spec));\n  return {\n    public: refs as Refs<Spec_, Ref.AnyPublic>,\n    internal: refs as Refs<Spec_, Ref.AnyInternal>,\n  };\n};\n\nconst makeHelper = (\n  groups: Record.ReadonlyRecord<string, GroupSpec.Any>,\n  convexFunctionNamespace: Option.Option<string> = Option.none(),\n): Any =>\n  pipe(\n    groups as Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>,\n    Record.map((group, name) => {\n      const currentConvexFunctionNamespace = Option.match(\n        convexFunctionNamespace,\n        {\n          onNone: () => name,\n          onSome: (parentNamespace) => `${parentNamespace}/${name}`,\n        },\n      );\n\n      return Record.union(\n        makeHelper(group.groups, Option.some(currentConvexFunctionNamespace)),\n        Record.map(group.functions, (function_) =>\n          Ref.make(\n            currentConvexFunctionNamespace,\n            function_,\n            group.middlewareAttachments,\n          ),\n        ),\n        (_subGroup, _function) => {\n          throw new Error(\n            `Group and function at same level have same name ('${Ref.getConvexFunctionName(_function)}')`,\n          );\n        },\n      );\n    }),\n  );\n"],"mappings":";;;;;;;;AA4FA,MAAa,QACX,SACoB;CACpB,MAAM,OAAO,WAAWA,OAAY,IAAI,CAAC;CACzC,OAAO;EACL,QAAQ;EACR,UAAU;CACZ;AACF;AAEA,MAAM,cACJ,QACA,0BAAiD,OAAO,KAAK,MAE7D,KACE,QACA,OAAO,KAAK,OAAO,SAAS;CAC1B,MAAM,iCAAiC,OAAO,MAC5C,yBACA;EACE,cAAc;EACd,SAAS,oBAAoB,GAAG,gBAAgB,GAAG;CACrD,CACF;CAEA,OAAO,OAAO,MACZ,WAAW,MAAM,QAAQ,OAAO,KAAK,8BAA8B,CAAC,GACpE,OAAO,IAAI,MAAM,YAAY,cAC3BC,OACE,gCACA,WACA,MAAM,qBACR,CACF,IACC,WAAW,cAAc;EACxB,MAAM,IAAI,MACR,qDAAqDC,sBAA0B,SAAS,EAAE,GAC5F;CACF,CACF;AACF,CAAC,CACH"}

package/dist/SchemaToValidator.d.ts

@@ -1,9 +1,9 @@
-import * as IdScope from "./IdScope";
+import * as IdScope from "./IdScope.js";
 import type { GenericId as ConvexGenericId, PropertyValidators, Validator, VAny, VArray, VBoolean, VBytes, VFloat64, VId, VInt64, VLiteral, VNull, VObject, VRecord, VString, VUnion } from "convex/values";
 import * as Effect from "effect/Effect";
 import * as Schema from "effect/Schema";
 import * as SchemaAST from "effect/SchemaAST";
-import type { IsAny, IsOptional, IsRecord, IsRecursive, IsUnion, TypeError, UnionToTuple } from "./Types";
+import type { IsAny, IsOptional, IsRecord, IsRecursive, IsUnion, TypeError, UnionToTuple } from "./Types.js";
 export declare const compileArgsSchema: <ConfectValue, ConvexValue>(argsSchema: Schema.Codec<ConfectValue, ConvexValue>, scope?: IdScope.IdScope) => PropertyValidators;
 export declare const compileReturnsSchema: <ConfectValue, ConvexValue>(schema: Schema.Codec<ConfectValue, ConvexValue>, scope?: IdScope.IdScope) => Validator<any, any, any>;
 /**

package/dist/SchemaToValidator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaToValidator.d.ts","sourceRoot":"","sources":["../src/SchemaToValidator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,EACV,SAAS,IAAI,eAAe,EAC5B,kBAAkB,EAClB,SAAS,EACT,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,GAAG,EACH,MAAM,EACN,QAAQ,EACR,KAAK,EACL,OAAO,EACP,OAAO,EACP,OAAO,EACP,MAAM,EACP,MAAM,eAAe,CAAC;AAKvB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAI9C,OAAO,KAAK,EACV,KAAK,EACL,UAAU,EACV,QAAQ,EACR,WAAW,EACX,OAAO,EACP,SAAS,EACT,YAAY,EACb,MAAM,SAAS,CAAC;AAIjB,eAAO,MAAM,iBAAiB,GAAI,YAAY,EAAE,WAAW,cAC7C,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,UAC5C,OAAO,CAAC,OAAO,KACrB,kBAcF,CAAC;AAIF,eAAO,MAAM,oBAAoB,GAAI,YAAY,EAAE,WAAW,UACpD,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,UACxC,OAAO,CAAC,OAAO,KACrB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAC8C,CAAC;AAIzE;;GAEG;AACH,MAAM,MAAM,2BAA2B,CACrC,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,IAE1C,gBAAgB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,SACrD,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC3B,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC1B,EAAE,GACF,KAAK,CAAC;AAEZ,eAAO,MAAM,kBAAkB,GAAI,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,UACnE,WAAW,UACZ,OAAO,CAAC,OAAO,KACrB,2BAA2B,CAAC,WAAW,CAgBzC,CAAC;AAIF,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,WAAW,GACX,kBAAkB,GAClB,mBAAmB,GACnB,IAAI,CAAC;AAET,KAAK,kBAAkB,GAAG,SAAS,aAAa,EAAE,CAAC;AAEnD,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAAC;CACnD,CAAC;AAEF,KAAK,YAAY,CAAC,CAAC,IACjB,CAAC,SAAS,aAAa,CAAC,MAAM,EAAE,CAAC,GAC7B,YAAY,CAAC,EAAE,CAAC,EAAE,GAClB,CAAC,SAAS,mBAAmB,GAC3B;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;CAAE,GACpE,CAAC,CAAC;AAEV,MAAM,MAAM,gBAAgB,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACnD,KAAK,GACL,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,GACpB,IAAI,GACJ,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,WAAW,CAAC,GACpE,uBAAuB,CAAC,EAAE,CAAC,GAC3B,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,IAAI,GACJ,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,uBAAuB,CAAC,EAAE,CAAC,GAC3B,SAAS,CAAC,4CAA4C,EAAE,EAAE,CAAC,CAAC;AAExE,KAAK,aAAa,CAAC,EAAE,EAAE,WAAW,IAAI,WAAW,SAAS,UAAU,GAChE,EAAE,GAAG,SAAS,GACd,EAAE,CAAC;AAEP,KAAK,uBAAuB,CAC1B,EAAE,EACF,WAAW,SAAS,UAAU,GAAG,UAAU,GAAG,UAAU,IACtD,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,KAAK,GACL,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,GACpB,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,GACjB,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACpD,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,GACpB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GACpB,QAAQ,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAC1D,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,OAAO,CAAC,EAAE,CAAC,SAAS,IAAI,GACtB,qBAAqB,CAAC,EAAE,EAAE,WAAW,CAAC,GACtC,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACzD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,sBAAsB,CAAC,EAAE,EAAE,WAAW,CAAC,GACvC,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,GACxB,MAAM,CAAC,aAAa,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAC5D,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,EAAE,SAAS,aAAa,CAAC,MAAM,EAAE,CAAC,GAChC,MAAM,CACJ,aAAa,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,EAAE,WAAW,CAAC,EAC9C,uBAAuB,CAAC,EAAE,CAAC,EAC3B,WAAW,CACZ,GACD,EAAE,SAAS,MAAM,GACf,sBAAsB,CAAC,EAAE,EAAE,WAAW,CAAC,GACvC,KAAK,CAAC;AAEhC,KAAK,sBAAsB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACzE,EAAE,SAAS,eAAe,CAAC,MAAM,CAAC,GAC9B,GAAG,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAChD,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACxD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC;AAE9D,KAAK,sBAAsB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,OAAO,SAAS,SAAS,CACpE,GAAG,EACH,UAAU,EACV,GAAG,CACJ,GACC,OAAO,CACL,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,OAAO,EACP,OAAO,EACP,WAAW,CACZ,GACD,KAAK,GACP,wBAAwB,CAAC,EAAE,CAAC,SAAS,MAAM,QAAQ,SAAS,MAAM,CAC9D,MAAM,EACN,GAAG,CACJ,GACD,OAAO,CACL,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,QAAQ,EACR,WAAW,CACZ,GACD,KAAK,CAAC;AAEd,KAAK,wBAAwB,CAAC,EAAE,IAAI;IAClC,CAAC,UAAU,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAClD,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,GAC5B,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,GACrB,IAAI,GACN,SAAS,SAAS,EAAE,CAAC,CAAC,CAAC,GACrB,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC/B,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,GAC7B,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC9B,KAAK;CACd,CAAC;AAEF,MAAM,MAAM,2BAA2B,CAAC,EAAE,SAAS,aAAa,GAAG,SAAS,IAC1E,SAAS,SAAS,EAAE,GAChB,wBAAwB,CAAC,EAAE,CAAC,GAC5B,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,gBAAgB,CAAC,EAAE,CAAC,GACpB,KAAK,CAAC;AAEd,KAAK,qBAAqB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACxE,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GACxB,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,MAAM,CACJ,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,0BAA0B,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,EAC5C,WAAW,CACZ,CAAC;AAER,KAAK,0BAA0B,CAC7B,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,GAAG,SAAS,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,IAChD,OAAO,SACP,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,GAC9B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,GAC9B,0BAA0B,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,QAAQ,CAAC,CAAC,GACtD,OAAO,SAAS,CAAC,MAAM,EAAE,EAAE,GAAG,MAAM,MAAM,CAAC,GACzC,0BAA0B,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,GACzE,GAAG,CAAC;AAEV,KAAK,wBAAwB,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS;IAC/C,CAAC,MAAM,GAAG,SAAS,aAAa,CAAC,GAAG,SAAS;CAC9C,GACG,uBAAuB,CAAC,GAAG,EAAE,UAAU,CAAC,GACxC,KAAK,CAAC;AAEV,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,UACxB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KACzB,gBAAgB,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,SAAS,CAAC,CACC,CAAC;AAEhD,eAAO,MAAM,WAAW,QAAS,SAAS,CAAC,GAAG,KAAG,OAsC9C,CAAC;AAEJ,eAAO,MAAM,UAAU,QAChB,SAAS,CAAC,GAAG,qDAEX,OAAO,CAAC,OAAO,KACrB,MAAM,CAAC,MAAM,CACd,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACtB,0BAA0B,GAC1B,wCAAwC,GACxC,mCAAmC,GACnC,mDAAmD,GACnD,yCAAyC,GACzC,6BAA6B,GAC7B,6BAA6B,CAgF1B,CAAC;;;;AAqJR,qBAAa,yBAA0B,SAAQ,8BAE9C;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,gCAAiC,SAAQ,qCAErD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,wCAAyC,SAAQ,8CAE5D;IACA,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;CACvC,CAAC;IAEA,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,6BAA8B,SAAQ,kCAElD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,6BAA8B,SAAQ,kCAElD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,0BAA2B,SAAQ,gCAE9C;IACA,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;CAC5C,CAAC;IAEA,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,mCAAoC,SAAQ,wCAExD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,mDAAoD,SAAQ,wDAExE;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,yCAA0C,SAAQ,8CAE9D;IAEC,IAAa,OAAO,WAEnB;CAEF"}
+{"version":3,"file":"SchemaToValidator.d.ts","sourceRoot":"","sources":["../src/SchemaToValidator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,EACV,SAAS,IAAI,eAAe,EAC5B,kBAAkB,EAClB,SAAS,EACT,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,GAAG,EACH,MAAM,EACN,QAAQ,EACR,KAAK,EACL,OAAO,EACP,OAAO,EACP,OAAO,EACP,MAAM,EACP,MAAM,eAAe,CAAC;AAKvB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAI9C,OAAO,KAAK,EACV,KAAK,EACL,UAAU,EACV,QAAQ,EACR,WAAW,EACX,OAAO,EACP,SAAS,EACT,YAAY,EACb,MAAM,YAAY,CAAC;AAIpB,eAAO,MAAM,iBAAiB,GAAI,YAAY,EAAE,WAAW,cAC7C,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,UAC5C,OAAO,CAAC,OAAO,KACrB,kBAcF,CAAC;AAIF,eAAO,MAAM,oBAAoB,GAAI,YAAY,EAAE,WAAW,UACpD,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,UACxC,OAAO,CAAC,OAAO,KACrB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAC8C,CAAC;AAIzE;;GAEG;AACH,MAAM,MAAM,2BAA2B,CACrC,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,IAE1C,gBAAgB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,SACrD,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC3B,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC1B,EAAE,GACF,KAAK,CAAC;AAEZ,eAAO,MAAM,kBAAkB,GAAI,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,UACnE,WAAW,UACZ,OAAO,CAAC,OAAO,KACrB,2BAA2B,CAAC,WAAW,CAgBzC,CAAC;AAIF,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,WAAW,GACX,kBAAkB,GAClB,mBAAmB,GACnB,IAAI,CAAC;AAET,KAAK,kBAAkB,GAAG,SAAS,aAAa,EAAE,CAAC;AAEnD,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAAC;CACnD,CAAC;AAEF,KAAK,YAAY,CAAC,CAAC,IACjB,CAAC,SAAS,aAAa,CAAC,MAAM,EAAE,CAAC,GAC7B,YAAY,CAAC,EAAE,CAAC,EAAE,GAClB,CAAC,SAAS,mBAAmB,GAC3B;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;CAAE,GACpE,CAAC,CAAC;AAEV,MAAM,MAAM,gBAAgB,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACnD,KAAK,GACL,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,GACpB,IAAI,GACJ,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,WAAW,CAAC,GACpE,uBAAuB,CAAC,EAAE,CAAC,GAC3B,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,IAAI,GACJ,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,uBAAuB,CAAC,EAAE,CAAC,GAC3B,SAAS,CAAC,4CAA4C,EAAE,EAAE,CAAC,CAAC;AAExE,KAAK,aAAa,CAAC,EAAE,EAAE,WAAW,IAAI,WAAW,SAAS,UAAU,GAChE,EAAE,GAAG,SAAS,GACd,EAAE,CAAC;AAEP,KAAK,uBAAuB,CAC1B,EAAE,EACF,WAAW,SAAS,UAAU,GAAG,UAAU,GAAG,UAAU,IACtD,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,KAAK,GACL,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,GACpB,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,GACjB,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACpD,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,GACpB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GACpB,QAAQ,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAC1D,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,OAAO,CAAC,EAAE,CAAC,SAAS,IAAI,GACtB,qBAAqB,CAAC,EAAE,EAAE,WAAW,CAAC,GACtC,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACzD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,sBAAsB,CAAC,EAAE,EAAE,WAAW,CAAC,GACvC,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,GACxB,MAAM,CAAC,aAAa,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAC5D,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,EAAE,SAAS,aAAa,CAAC,MAAM,EAAE,CAAC,GAChC,MAAM,CACJ,aAAa,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,EAAE,WAAW,CAAC,EAC9C,uBAAuB,CAAC,EAAE,CAAC,EAC3B,WAAW,CACZ,GACD,EAAE,SAAS,MAAM,GACf,sBAAsB,CAAC,EAAE,EAAE,WAAW,CAAC,GACvC,KAAK,CAAC;AAEhC,KAAK,sBAAsB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACzE,EAAE,SAAS,eAAe,CAAC,MAAM,CAAC,GAC9B,GAAG,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAChD,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACxD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC;AAE9D,KAAK,sBAAsB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,OAAO,SAAS,SAAS,CACpE,GAAG,EACH,UAAU,EACV,GAAG,CACJ,GACC,OAAO,CACL,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,OAAO,EACP,OAAO,EACP,WAAW,CACZ,GACD,KAAK,GACP,wBAAwB,CAAC,EAAE,CAAC,SAAS,MAAM,QAAQ,SAAS,MAAM,CAC9D,MAAM,EACN,GAAG,CACJ,GACD,OAAO,CACL,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,QAAQ,EACR,WAAW,CACZ,GACD,KAAK,CAAC;AAEd,KAAK,wBAAwB,CAAC,EAAE,IAAI;IAClC,CAAC,UAAU,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAClD,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,GAC5B,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,GACrB,IAAI,GACN,SAAS,SAAS,EAAE,CAAC,CAAC,CAAC,GACrB,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC/B,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,GAC7B,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC9B,KAAK;CACd,CAAC;AAEF,MAAM,MAAM,2BAA2B,CAAC,EAAE,SAAS,aAAa,GAAG,SAAS,IAC1E,SAAS,SAAS,EAAE,GAChB,wBAAwB,CAAC,EAAE,CAAC,GAC5B,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,gBAAgB,CAAC,EAAE,CAAC,GACpB,KAAK,CAAC;AAEd,KAAK,qBAAqB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACxE,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GACxB,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,MAAM,CACJ,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,0BAA0B,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,EAC5C,WAAW,CACZ,CAAC;AAER,KAAK,0BAA0B,CAC7B,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,GAAG,SAAS,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,IAChD,OAAO,SACP,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,GAC9B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,GAC9B,0BAA0B,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,QAAQ,CAAC,CAAC,GACtD,OAAO,SAAS,CAAC,MAAM,EAAE,EAAE,GAAG,MAAM,MAAM,CAAC,GACzC,0BAA0B,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,GACzE,GAAG,CAAC;AAEV,KAAK,wBAAwB,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS;IAC/C,CAAC,MAAM,GAAG,SAAS,aAAa,CAAC,GAAG,SAAS;CAC9C,GACG,uBAAuB,CAAC,GAAG,EAAE,UAAU,CAAC,GACxC,KAAK,CAAC;AAEV,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,UACxB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KACzB,gBAAgB,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,SAAS,CAAC,CACC,CAAC;AAEhD,eAAO,MAAM,WAAW,QAAS,SAAS,CAAC,GAAG,KAAG,OAsC9C,CAAC;AAEJ,eAAO,MAAM,UAAU,QAChB,SAAS,CAAC,GAAG,qDAEX,OAAO,CAAC,OAAO,KACrB,MAAM,CAAC,MAAM,CACd,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACtB,0BAA0B,GAC1B,wCAAwC,GACxC,mCAAmC,GACnC,mDAAmD,GACnD,yCAAyC,GACzC,6BAA6B,GAC7B,6BAA6B,CAgF1B,CAAC;;;;AAqJR,qBAAa,yBAA0B,SAAQ,8BAE9C;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,gCAAiC,SAAQ,qCAErD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,wCAAyC,SAAQ,8CAE5D;IACA,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;CACvC,CAAC;IAEA,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,6BAA8B,SAAQ,kCAElD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,6BAA8B,SAAQ,kCAElD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,0BAA2B,SAAQ,gCAE9C;IACA,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;CAC5C,CAAC;IAEA,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,mCAAoC,SAAQ,wCAExD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,mDAAoD,SAAQ,wDAExE;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,yCAA0C,SAAQ,8CAE9D;IAEC,IAAa,OAAO,WAEnB;CAEF"}

package/dist/SchemaToValidator.js

@@ -1,8 +1,8 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { app } from "./IdScope.js";
 import { scope, tableName } from "./GenericId.js";
-import * as Predicate from "effect/Predicate";
 import * as Schema from "effect/Schema";
+import * as Predicate from "effect/Predicate";
 import * as Data from "effect/Data";
 import { v } from "convex/values";
 import * as Effect from "effect/Effect";

package/dist/SchemaToValidator.js.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaToValidator.js","names":["IdScope.app","GenericId.tableName","GenericId.scope","scope"],"sources":["../src/SchemaToValidator.ts"],"sourcesContent":["import * as IdScope from \"./IdScope\";\nimport type {\n  GenericId as ConvexGenericId,\n  PropertyValidators,\n  Validator,\n  VAny,\n  VArray,\n  VBoolean,\n  VBytes,\n  VFloat64,\n  VId,\n  VInt64,\n  VLiteral,\n  VNull,\n  VObject,\n  VRecord,\n  VString,\n  VUnion,\n} from \"convex/values\";\nimport { v } from \"convex/values\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Data from \"effect/Data\";\nimport * as Effect from \"effect/Effect\";\nimport * as Match from \"effect/Match\";\nimport * as Number from \"effect/Number\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport * as String from \"effect/String\";\n\nimport * as GenericId from \"./GenericId\";\nimport type {\n  IsAny,\n  IsOptional,\n  IsRecord,\n  IsRecursive,\n  IsUnion,\n  TypeError,\n  UnionToTuple,\n} from \"./Types\";\n\n// Args\n\nexport const compileArgsSchema = <ConfectValue, ConvexValue>(\n  argsSchema: Schema.Codec<ConfectValue, ConvexValue>,\n  scope: IdScope.IdScope = IdScope.app,\n): PropertyValidators => {\n  const ast = Schema.toEncoded(argsSchema).ast;\n\n  return pipe(\n    ast,\n    Match.value,\n    Match.tag(\"Objects\", (objectsAst) =>\n      Array.isReadonlyArrayEmpty(objectsAst.indexSignatures)\n        ? handlePropertySignatures(objectsAst, scope)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectError())),\n    Effect.runSync,\n  );\n};\n\n// Returns\n\nexport const compileReturnsSchema = <ConfectValue, ConvexValue>(\n  schema: Schema.Codec<ConfectValue, ConvexValue>,\n  scope: IdScope.IdScope = IdScope.app,\n): Validator<any, any, any> =>\n  Effect.runSync(compileAst(Schema.toEncoded(schema).ast, false, scope));\n\n// Table\n\n/**\n * Convert a table `Schema` to a table `Validator`.\n */\nexport type TableSchemaToTableValidator<\n  TableSchema extends Schema.Codec<any, any>,\n> =\n  ValueToValidator<TableSchema[\"Encoded\"]> extends infer Vd extends\n    | VObject<any, any, any, any>\n    | VUnion<any, any, any, any>\n    ? Vd\n    : never;\n\nexport const compileTableSchema = <TableSchema extends Schema.Codec<any, any>>(\n  schema: TableSchema,\n  scope: IdScope.IdScope = IdScope.app,\n): TableSchemaToTableValidator<TableSchema> => {\n  const ast = Schema.toEncoded(schema).ast;\n\n  return pipe(\n    ast,\n    Match.value,\n    Match.tag(\"Objects\", ({ indexSignatures }) =>\n      Array.isReadonlyArrayEmpty(indexSignatures)\n        ? // oxlint-disable-next-line effecttsgo/unsafe-effect-type-assertion -- The return type is derived from the input schema and cannot be recovered from the runtime AST.\n          (compileAst(ast, false, scope) as Effect.Effect<any>)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.tag(\"Union\", (unionAst) => compileAst(unionAst, false, scope)),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectOrUnionError())),\n    Effect.runSync,\n  );\n};\n\n// Compiler\n\nexport type ReadonlyValue =\n  | string\n  | number\n  | bigint\n  | boolean\n  | ArrayBuffer\n  | ReadonlyArrayValue\n  | ReadonlyRecordValue\n  | null;\n\ntype ReadonlyArrayValue = readonly ReadonlyValue[];\n\nexport type ReadonlyRecordValue = {\n  readonly [key: string]: ReadonlyValue | undefined;\n};\n\ntype MutableValue<T> =\n  T extends ReadonlyArray<infer El>\n    ? MutableValue<El>[]\n    : T extends ReadonlyRecordValue\n      ? { -readonly [K in keyof T]: MutableValue<Exclude<T[K], undefined>> }\n      : T;\n\nexport type ValueToValidator<Vl> = [Vl] extends [never]\n  ? never\n  : IsAny<Vl> extends true\n    ? VAny\n    : [Vl] extends [string | number | bigint | boolean | null | ArrayBuffer]\n      ? ConvertValueToValidator<Vl>\n      : IsRecursive<Vl> extends true\n        ? VAny\n        : [Vl] extends [ReadonlyValue]\n          ? ConvertValueToValidator<Vl>\n          : TypeError<\"Provided value is not a valid Convex value\", Vl>;\n\ntype OptionalValue<Vl, Optionality> = Optionality extends \"optional\"\n  ? Vl | undefined\n  : Vl;\n\ntype ConvertValueToValidator<\n  Vl,\n  Optionality extends \"required\" | \"optional\" = \"required\",\n> = [Vl] extends [never]\n  ? never\n  : IsAny<Vl> extends true\n    ? VAny<any, Optionality>\n    : [Vl] extends [null]\n      ? VNull<OptionalValue<null, Optionality>, Optionality>\n      : [Vl] extends [boolean]\n        ? [boolean] extends [Vl]\n          ? VBoolean<OptionalValue<boolean, Optionality>, Optionality>\n          : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n        : IsUnion<Vl> extends true\n          ? UnionValueToValidator<Vl, Optionality>\n          : [Vl] extends [number]\n            ? [number] extends [Vl]\n              ? VFloat64<OptionalValue<number, Optionality>, Optionality>\n              : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n            : [Vl] extends [bigint]\n              ? [bigint] extends [Vl]\n                ? VInt64<OptionalValue<bigint, Optionality>, Optionality>\n                : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n              : [Vl] extends [string]\n                ? StringValueToValidator<Vl, Optionality>\n                : [Vl] extends [ArrayBuffer]\n                  ? VBytes<OptionalValue<ArrayBuffer, Optionality>, Optionality>\n                  : IsRecursive<Vl> extends true\n                    ? VAny<any, Optionality>\n                    : Vl extends ReadonlyArray<infer El>\n                      ? VArray<\n                          OptionalValue<MutableValue<El[]>, Optionality>,\n                          ConvertValueToValidator<El>,\n                          Optionality\n                        >\n                      : Vl extends object\n                        ? ObjectValueToValidator<Vl, Optionality>\n                        : never;\n\ntype StringValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  Vl extends ConvexGenericId<string>\n    ? VId<OptionalValue<Vl, Optionality>, Optionality>\n    : [string] extends [Vl]\n      ? VString<OptionalValue<string, Optionality>, Optionality>\n      : VLiteral<OptionalValue<Vl, Optionality>, Optionality>;\n\ntype ObjectValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  IsRecord<MutableValue<Vl>> extends true\n    ? ValueToValidator<Vl[keyof Vl]> extends infer VdValue extends Validator<\n        any,\n        \"required\",\n        any\n      >\n      ? VRecord<\n          OptionalValue<MutableValue<Vl>, Optionality>,\n          VString,\n          VdValue,\n          Optionality\n        >\n      : never\n    : ObjectFieldsToValidators<Vl> extends infer VdFields extends Record<\n          string,\n          any\n        >\n      ? VObject<\n          OptionalValue<MutableValue<Vl>, Optionality>,\n          VdFields,\n          Optionality\n        >\n      : never;\n\ntype ObjectFieldsToValidators<Vl> = {\n  -readonly [K in keyof Vl]-?: IsAny<Vl[K]> extends true\n    ? IsOptional<Vl, K> extends true\n      ? VAny<any, \"optional\">\n      : VAny\n    : undefined extends Vl[K]\n      ? OptionalValueToValidator<Vl[K]>\n      : [Vl[K]] extends [ReadonlyValue]\n        ? ConvertValueToValidator<Vl[K]>\n        : never;\n};\n\nexport type UndefinedOrValueToValidator<Vl extends ReadonlyValue | undefined> =\n  undefined extends Vl\n    ? OptionalValueToValidator<Vl>\n    : [Vl] extends [ReadonlyValue]\n      ? ValueToValidator<Vl>\n      : never;\n\ntype UnionValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  IsRecursive<Vl> extends true\n    ? VAny<any, Optionality>\n    : VUnion<\n        OptionalValue<MutableValue<Vl>, Optionality>,\n        ValueTupleToValidatorTuple<UnionToTuple<Vl>>,\n        Optionality\n      >;\n\ntype ValueTupleToValidatorTuple<\n  VlTuple extends readonly unknown[],\n  Acc extends Validator<any, \"required\", any>[] = [],\n> = VlTuple extends\n  | [true, false, ...infer VlRest]\n  | [false, true, ...infer VlRest]\n  ? ValueTupleToValidatorTuple<VlRest, [...Acc, VBoolean]>\n  : VlTuple extends [infer Vl, ...infer VlRest]\n    ? ValueTupleToValidatorTuple<VlRest, [...Acc, ConvertValueToValidator<Vl>]>\n    : Acc;\n\ntype OptionalValueToValidator<Vl> = [Vl] extends [\n  (infer Val extends ReadonlyValue) | undefined,\n]\n  ? ConvertValueToValidator<Val, \"optional\">\n  : never;\n\nexport const compileSchema = <T, E>(\n  schema: Schema.Codec<T, E>,\n): ValueToValidator<(typeof schema)[\"Encoded\"]> =>\n  Effect.runSync(compileAst(schema.ast)) as any;\n\nexport const isRecursive = (ast: SchemaAST.AST): boolean =>\n  pipe(\n    ast,\n    Match.value,\n    Match.tag(\n      \"Literal\",\n      \"Null\",\n      \"Boolean\",\n      \"String\",\n      \"Number\",\n      \"BigInt\",\n      \"Unknown\",\n      \"Any\",\n      \"Declaration\",\n      \"UniqueSymbol\",\n      \"Symbol\",\n      \"Undefined\",\n      \"Void\",\n      \"Never\",\n      \"Enum\",\n      \"TemplateLiteral\",\n      \"ObjectKeyword\",\n      () => false,\n    ),\n    Match.tag(\"Union\", ({ types }) =>\n      Array.some(types, (type) => isRecursive(type)),\n    ),\n    Match.tag(\"Objects\", ({ propertySignatures }) =>\n      Array.some(propertySignatures, ({ type }) => isRecursive(type)),\n    ),\n    Match.tag(\n      \"Arrays\",\n      ({ elements, rest }) =>\n        Array.some(elements, (element) => isRecursive(element)) ||\n        Array.some(rest, (element) => isRecursive(element)),\n    ),\n    Match.tag(\"Suspend\", () => true),\n    Match.exhaustive,\n  );\n\nexport const compileAst = (\n  ast: SchemaAST.AST,\n  isOptionalPropertyOfTypeLiteral = false,\n  scope: IdScope.IdScope = IdScope.app,\n): Effect.Effect<\n  Validator<any, any, any>,\n  | UnsupportedSchemaTypeError\n  | UnsupportedPropertySignatureKeyTypeError\n  | IndexSignaturesAreNotSupportedError\n  | MixedIndexAndPropertySignaturesAreNotSupportedError\n  | OptionalTupleElementsAreNotSupportedError\n  | EmptyTupleIsNotSupportedError\n  | EmptyUnionIsNotSupportedError\n> =>\n  isRecursive(ast)\n    ? Effect.succeed(v.any())\n    : pipe(\n        ast,\n        Match.value,\n        Match.tag(\"Literal\", ({ literal }) =>\n          pipe(\n            literal,\n            Match.value,\n            Match.whenOr(\n              Match.string,\n              Match.number,\n              Match.bigint,\n              Match.boolean,\n              (l) => v.literal(l),\n            ),\n            Match.exhaustive,\n            Effect.succeed,\n          ),\n        ),\n        Match.tag(\"Null\", () => Effect.succeed(v.null())),\n        Match.tag(\"Boolean\", () => Effect.succeed(v.boolean())),\n        Match.tag(\"String\", (stringAst) =>\n          GenericId.tableName(stringAst).pipe(\n            Option.match({\n              onNone: () => Effect.succeed(v.string()),\n              onSome: (tableName) =>\n                Effect.succeed(\n                  GenericId.scope(stringAst) === scope\n                    ? v.id(tableName)\n                    : v.string(),\n                ),\n            }),\n          ),\n        ),\n        Match.tag(\"Number\", () => Effect.succeed(v.float64())),\n        Match.tag(\"BigInt\", () => Effect.succeed(v.int64())),\n        Match.tag(\"Union\", (unionAst) =>\n          handleUnion(unionAst, isOptionalPropertyOfTypeLiteral, scope),\n        ),\n        Match.tag(\"Objects\", (objectsAst) => handleObjects(objectsAst, scope)),\n        Match.tag(\"Arrays\", (arraysAst) => handleArrays(arraysAst, scope)),\n        Match.tag(\"Unknown\", \"Any\", () => Effect.succeed(v.any())),\n        Match.tag(\"Declaration\", (declaration) =>\n          Effect.mapBoth(\n            // oxlint-disable-next-line effecttsgo/any-unknown-in-error-context -- Codec inputs are context-free, but Effect's SchemaAST.DeclarationRun erases their requirements to `any`.\n            declaration.run(declaration.typeParameters)(\n              new ArrayBuffer(0),\n              declaration,\n              {},\n            ) as Effect.Effect<ArrayBuffer, unknown, never>,\n            {\n              onSuccess: () => v.bytes(),\n              onFailure: () =>\n                new UnsupportedSchemaTypeError({\n                  schemaType: declaration._tag,\n                }),\n            },\n          ),\n        ),\n        Match.tag(\"Suspend\", () => Effect.succeed(v.any())),\n        Match.tag(\n          \"UniqueSymbol\",\n          \"Symbol\",\n          \"Undefined\",\n          \"Void\",\n          \"Never\",\n          \"Enum\",\n          \"TemplateLiteral\",\n          \"ObjectKeyword\",\n          () =>\n            Effect.fail(\n              new UnsupportedSchemaTypeError({\n                schemaType: ast._tag,\n              }),\n            ),\n        ),\n        Match.exhaustive,\n      );\n\nconst handleUnion = (\n  { types }: SchemaAST.Union,\n  isOptionalPropertyOfTypeLiteral: boolean,\n  scope: IdScope.IdScope,\n) => handleUnionTypes(types, isOptionalPropertyOfTypeLiteral, scope);\n\nconst handleUnionTypes = Effect.fnUntraced(function* (\n  types: SchemaAST.Union[\"types\"],\n  isOptionalPropertyOfTypeLiteral: boolean,\n  scope: IdScope.IdScope,\n) {\n  const members = isOptionalPropertyOfTypeLiteral\n    ? Array.filter(types, Predicate.not(SchemaAST.isUndefined))\n    : types;\n\n  const [firstValidator, secondValidator, ...restValidators] =\n    yield* Effect.all(\n      Array.map(members, (type) => compileAst(type, false, scope)),\n    );\n\n  if (firstValidator === undefined) {\n    return yield* new EmptyUnionIsNotSupportedError();\n  } else if (secondValidator === undefined) {\n    return firstValidator;\n  } else {\n    return v.union(firstValidator, secondValidator, ...restValidators);\n  }\n});\n\nconst handleObjects = (objectsAst: SchemaAST.Objects, scope: IdScope.IdScope) =>\n  pipe(\n    objectsAst.indexSignatures,\n    Array.head,\n    Option.match({\n      onNone: () =>\n        Effect.map(handlePropertySignatures(objectsAst, scope), v.object),\n      onSome: ({ parameter, type }) =>\n        pipe(\n          objectsAst.propertySignatures,\n          Array.head,\n          Option.match({\n            onNone: () =>\n              Effect.map(\n                Effect.all({\n                  parameter_: compileAst(parameter, false, scope),\n                  type_: compileAst(type, false, scope),\n                }),\n                ({ parameter_, type_ }) => v.record(parameter_, type_),\n              ),\n            onSome: () =>\n              Effect.fail(\n                new MixedIndexAndPropertySignaturesAreNotSupportedError(),\n              ),\n          }),\n        ),\n    }),\n  );\n\nconst handleArrays = (\n  { elements, rest }: SchemaAST.Arrays,\n  scope: IdScope.IdScope,\n) => handleArrayElements(elements, rest, scope);\n\nconst handleArrayElements = Effect.fnUntraced(function* (\n  elements: SchemaAST.Arrays[\"elements\"],\n  rest: SchemaAST.Arrays[\"rest\"],\n  scope: IdScope.IdScope,\n) {\n  const [f, s, ...r] = elements;\n\n  const elementToValidator = (element: SchemaAST.AST) =>\n    SchemaAST.isOptional(element)\n      ? Effect.fail(new OptionalTupleElementsAreNotSupportedError())\n      : compileAst(element, false, scope);\n\n  const arrayItemsValidator = yield* f === undefined\n    ? pipe(\n        rest,\n        Array.head,\n        Option.match({\n          onNone: () => Effect.fail(new EmptyTupleIsNotSupportedError()),\n          onSome: (type) => compileAst(type, false, scope),\n        }),\n      )\n    : s === undefined\n      ? elementToValidator(f)\n      : Effect.gen(function* () {\n          const firstValidator = yield* elementToValidator(f);\n          const secondValidator = yield* elementToValidator(s);\n          const restValidators = yield* Effect.forEach(r, elementToValidator);\n\n          return v.union(firstValidator, secondValidator, ...restValidators);\n        });\n\n  return v.array(arrayItemsValidator);\n});\n\nconst handlePropertySignatures = (\n  objectsAst: SchemaAST.Objects,\n  scope: IdScope.IdScope,\n) =>\n  pipe(\n    objectsAst.propertySignatures,\n    Effect.forEach(({ type, name }) => {\n      const isOptional = SchemaAST.isOptional(type);\n      if (String.isString(name)) {\n        // Somehow, somewhere, keys of type number are being coerced to strings…\n        return Option.match(Number.parse(name), {\n          onNone: () =>\n            Effect.gen(function* () {\n              const validator = yield* compileAst(type, isOptional, scope);\n\n              return {\n                propertyName: name,\n                validator: isOptional ? v.optional(validator) : validator,\n              };\n            }),\n          onSome: (number) =>\n            Effect.fail(\n              new UnsupportedPropertySignatureKeyTypeError({\n                propertyKey: number,\n              }),\n            ),\n        });\n      } else {\n        return Effect.fail(\n          new UnsupportedPropertySignatureKeyTypeError({ propertyKey: name }),\n        );\n      }\n    }),\n    Effect.andThen((propertyNamesWithValidators) =>\n      pipe(\n        propertyNamesWithValidators,\n        Array.reduce(\n          {} as Record<string, Validator<any, any, any>>,\n          (acc, { propertyName, validator }) => ({\n            [propertyName]: validator,\n            ...acc,\n          }),\n        ),\n        Effect.succeed,\n      ),\n    ),\n  );\n\n// Errors\n\nexport class TopLevelMustBeObjectError extends Data.TaggedError(\n  \"TopLevelMustBeObjectError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Top level schema must be an object\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class TopLevelMustBeObjectOrUnionError extends Data.TaggedError(\n  \"TopLevelMustBeObjectOrUnionError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Top level schema must be an object or a union\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class UnsupportedPropertySignatureKeyTypeError extends Data.TaggedError(\n  \"UnsupportedPropertySignatureKeyTypeError\",\n)<{\n  readonly propertyKey: number | symbol;\n}> {\n  /* v8 ignore start */\n  override get message() {\n    return `Unsupported property signature '${this.propertyKey.toString()}'. Property is of type '${typeof this.propertyKey}' but only 'string' properties are supported.`;\n  }\n  /* v8 ignore stop */\n}\n\nexport class EmptyTupleIsNotSupportedError extends Data.TaggedError(\n  \"EmptyTupleIsNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Tuple must have at least one element\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class EmptyUnionIsNotSupportedError extends Data.TaggedError(\n  \"EmptyUnionIsNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Union must have at least one member that compiles to a validator\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class UnsupportedSchemaTypeError extends Data.TaggedError(\n  \"UnsupportedSchemaTypeError\",\n)<{\n  readonly schemaType: SchemaAST.AST[\"_tag\"];\n}> {\n  /* v8 ignore start */\n  override get message() {\n    return `Unsupported schema type '${this.schemaType}'`;\n  }\n  /* v8 ignore stop */\n}\n\nexport class IndexSignaturesAreNotSupportedError extends Data.TaggedError(\n  \"IndexSignaturesAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Index signatures are not supported\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class MixedIndexAndPropertySignaturesAreNotSupportedError extends Data.TaggedError(\n  \"MixedIndexAndPropertySignaturesAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Mixed index and property signatures are not supported\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class OptionalTupleElementsAreNotSupportedError extends Data.TaggedError(\n  \"OptionalTupleElementsAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Optional tuple elements are not supported\";\n  }\n  /* v8 ignore stop */\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6CA,MAAa,qBACX,YACA,QAAyBA,QACF;CACvB,MAAM,MAAM,OAAO,UAAU,UAAU,CAAC,CAAC;CAEzC,OAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,YAAY,eACpB,MAAM,qBAAqB,WAAW,eAAe,IACjD,yBAAyB,YAAY,KAAK,IAC1C,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,aAAa,OAAO,KAAK,IAAI,0BAA0B,CAAC,CAAC,GAC/D,OAAO,OACT;AACF;AAIA,MAAa,wBACX,QACA,QAAyBA,QAEzB,OAAO,QAAQ,WAAW,OAAO,UAAU,MAAM,CAAC,CAAC,KAAK,OAAO,KAAK,CAAC;AAgBvE,MAAa,sBACX,QACA,QAAyBA,QACoB;CAC7C,MAAM,MAAM,OAAO,UAAU,MAAM,CAAC,CAAC;CAErC,OAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,YAAY,EAAE,sBACtB,MAAM,qBAAqB,eAAe,IAErC,WAAW,KAAK,OAAO,KAAK,IAC7B,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,IAAI,UAAU,aAAa,WAAW,UAAU,OAAO,KAAK,CAAC,GACnE,MAAM,aAAa,OAAO,KAAK,IAAI,iCAAiC,CAAC,CAAC,GACtE,OAAO,OACT;AACF;AA+JA,MAAa,iBACX,WAEA,OAAO,QAAQ,WAAW,OAAO,GAAG,CAAC;AAEvC,MAAa,eAAe,QAC1B,KACE,KACA,MAAM,OACN,MAAM,IACJ,WACA,QACA,WACA,UACA,UACA,UACA,WACA,OACA,eACA,gBACA,UACA,aACA,QACA,SACA,QACA,mBACA,uBACM,KACR,GACA,MAAM,IAAI,UAAU,EAAE,YACpB,MAAM,KAAK,QAAQ,SAAS,YAAY,IAAI,CAAC,CAC/C,GACA,MAAM,IAAI,YAAY,EAAE,yBACtB,MAAM,KAAK,qBAAqB,EAAE,WAAW,YAAY,IAAI,CAAC,CAChE,GACA,MAAM,IACJ,WACC,EAAE,UAAU,WACX,MAAM,KAAK,WAAW,YAAY,YAAY,OAAO,CAAC,KACtD,MAAM,KAAK,OAAO,YAAY,YAAY,OAAO,CAAC,CACtD,GACA,MAAM,IAAI,iBAAiB,IAAI,GAC/B,MAAM,UACR;AAEF,MAAa,cACX,KACA,kCAAkC,OAClC,UAAyBA,QAWzB,YAAY,GAAG,IACX,OAAO,QAAQ,EAAE,IAAI,CAAC,IACtB,KACE,KACA,MAAM,OACN,MAAM,IAAI,YAAY,EAAE,cACtB,KACE,SACA,MAAM,OACN,MAAM,OACJ,MAAM,QACN,MAAM,QACN,MAAM,QACN,MAAM,UACL,MAAM,EAAE,QAAQ,CAAC,CACpB,GACA,MAAM,YACN,OAAO,OACT,CACF,GACA,MAAM,IAAI,cAAc,OAAO,QAAQ,EAAE,KAAK,CAAC,CAAC,GAChD,MAAM,IAAI,iBAAiB,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GACtD,MAAM,IAAI,WAAW,cACnBC,UAAoB,SAAS,CAAC,CAAC,KAC7B,OAAO,MAAM;CACX,cAAc,OAAO,QAAQ,EAAE,OAAO,CAAC;CACvC,SAAS,cACP,OAAO,QACLC,MAAgB,SAAS,MAAMC,UAC3B,EAAE,GAAG,SAAS,IACd,EAAE,OAAO,CACf;AACJ,CAAC,CACH,CACF,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GACrD,MAAM,IAAI,gBAAgB,OAAO,QAAQ,EAAE,MAAM,CAAC,CAAC,GACnD,MAAM,IAAI,UAAU,aAClB,YAAY,UAAU,iCAAiCA,OAAK,CAC9D,GACA,MAAM,IAAI,YAAY,eAAe,cAAc,YAAYA,OAAK,CAAC,GACrE,MAAM,IAAI,WAAW,cAAc,aAAa,WAAWA,OAAK,CAAC,GACjE,MAAM,IAAI,WAAW,aAAa,OAAO,QAAQ,EAAE,IAAI,CAAC,CAAC,GACzD,MAAM,IAAI,gBAAgB,gBACxB,OAAO,QAEL,YAAY,IAAI,YAAY,cAAc,CAAC,iBACzC,IAAI,YAAY,CAAC,GACjB,aACA,CAAC,CACH,GACA;CACE,iBAAiB,EAAE,MAAM;CACzB,iBACE,IAAI,2BAA2B,EAC7B,YAAY,YAAY,KAC1B,CAAC;AACL,CACF,CACF,GACA,MAAM,IAAI,iBAAiB,OAAO,QAAQ,EAAE,IAAI,CAAC,CAAC,GAClD,MAAM,IACJ,gBACA,UACA,aACA,QACA,SACA,QACA,mBACA,uBAEE,OAAO,KACL,IAAI,2BAA2B,EAC7B,YAAY,IAAI,KAClB,CAAC,CACH,CACJ,GACA,MAAM,UACR;AAEN,MAAM,eACJ,EAAE,SACF,iCACA,UACG,iBAAiB,OAAO,iCAAiC,KAAK;AAEnE,MAAM,mBAAmB,OAAO,WAAW,WACzC,OACA,iCACA,OACA;CACA,MAAM,UAAU,kCACZ,MAAM,OAAO,OAAO,UAAU,IAAI,UAAU,WAAW,CAAC,IACxD;CAEJ,MAAM,CAAC,gBAAgB,iBAAiB,GAAG,kBACzC,OAAO,OAAO,IACZ,MAAM,IAAI,UAAU,SAAS,WAAW,MAAM,OAAO,KAAK,CAAC,CAC7D;CAEF,IAAI,mBAAmB,KAAA,GACrB,OAAO,OAAO,IAAI,8BAA8B;MAC3C,IAAI,oBAAoB,KAAA,GAC7B,OAAO;MAEP,OAAO,EAAE,MAAM,gBAAgB,iBAAiB,GAAG,cAAc;AAErE,CAAC;AAED,MAAM,iBAAiB,YAA+B,UACpD,KACE,WAAW,iBACX,MAAM,MACN,OAAO,MAAM;CACX,cACE,OAAO,IAAI,yBAAyB,YAAY,KAAK,GAAG,EAAE,MAAM;CAClE,SAAS,EAAE,WAAW,WACpB,KACE,WAAW,oBACX,MAAM,MACN,OAAO,MAAM;EACX,cACE,OAAO,IACL,OAAO,IAAI;GACT,YAAY,WAAW,WAAW,OAAO,KAAK;GAC9C,OAAO,WAAW,MAAM,OAAO,KAAK;EACtC,CAAC,IACA,EAAE,YAAY,YAAY,EAAE,OAAO,YAAY,KAAK,CACvD;EACF,cACE,OAAO,KACL,IAAI,oDAAoD,CAC1D;CACJ,CAAC,CACH;AACJ,CAAC,CACH;AAEF,MAAM,gBACJ,EAAE,UAAU,QACZ,UACG,oBAAoB,UAAU,MAAM,KAAK;AAE9C,MAAM,sBAAsB,OAAO,WAAW,WAC5C,UACA,MACA,OACA;CACA,MAAM,CAAC,GAAG,GAAG,GAAG,KAAK;CAErB,MAAM,sBAAsB,YAC1B,UAAU,WAAW,OAAO,IACxB,OAAO,KAAK,IAAI,0CAA0C,CAAC,IAC3D,WAAW,SAAS,OAAO,KAAK;CAEtC,MAAM,sBAAsB,OAAO,MAAM,KAAA,IACrC,KACE,MACA,MAAM,MACN,OAAO,MAAM;EACX,cAAc,OAAO,KAAK,IAAI,8BAA8B,CAAC;EAC7D,SAAS,SAAS,WAAW,MAAM,OAAO,KAAK;CACjD,CAAC,CACH,IACA,MAAM,KAAA,IACJ,mBAAmB,CAAC,IACpB,OAAO,IAAI,aAAa;EACtB,MAAM,iBAAiB,OAAO,mBAAmB,CAAC;EAClD,MAAM,kBAAkB,OAAO,mBAAmB,CAAC;EACnD,MAAM,iBAAiB,OAAO,OAAO,QAAQ,GAAG,kBAAkB;EAElE,OAAO,EAAE,MAAM,gBAAgB,iBAAiB,GAAG,cAAc;CACnE,CAAC;CAEP,OAAO,EAAE,MAAM,mBAAmB;AACpC,CAAC;AAED,MAAM,4BACJ,YACA,UAEA,KACE,WAAW,oBACX,OAAO,SAAS,EAAE,MAAM,WAAW;CACjC,MAAM,aAAa,UAAU,WAAW,IAAI;CAC5C,IAAI,OAAO,SAAS,IAAI,GAEtB,OAAO,OAAO,MAAM,OAAO,MAAM,IAAI,GAAG;EACtC,cACE,OAAO,IAAI,aAAa;GACtB,MAAM,YAAY,OAAO,WAAW,MAAM,YAAY,KAAK;GAE3D,OAAO;IACL,cAAc;IACd,WAAW,aAAa,EAAE,SAAS,SAAS,IAAI;GAClD;EACF,CAAC;EACH,SAAS,WACP,OAAO,KACL,IAAI,yCAAyC,EAC3C,aAAa,OACf,CAAC,CACH;CACJ,CAAC;MAED,OAAO,OAAO,KACZ,IAAI,yCAAyC,EAAE,aAAa,KAAK,CAAC,CACpE;AAEJ,CAAC,GACD,OAAO,SAAS,gCACd,KACE,6BACA,MAAM,OACJ,CAAC,IACA,KAAK,EAAE,cAAc,iBAAiB;EACpC,eAAe;CAChB,GAAG;AACL,EACF,GACA,OAAO,OACT,CACF,CACF;AAIF,IAAa,4BAAb,cAA+C,KAAK,YAClD,2BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,mCAAb,cAAsD,KAAK,YACzD,kCACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,2CAAb,cAA8D,KAAK,YACjE,0CACF,CAAC,CAEE;;CAED,IAAa,UAAU;EACrB,OAAO,mCAAmC,KAAK,YAAY,SAAS,EAAE,0BAA0B,OAAO,KAAK,YAAY;CAC1H;AAEF;AAEA,IAAa,gCAAb,cAAmD,KAAK,YACtD,+BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,gCAAb,cAAmD,KAAK,YACtD,+BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,6BAAb,cAAgD,KAAK,YACnD,4BACF,CAAC,CAEE;;CAED,IAAa,UAAU;EACrB,OAAO,4BAA4B,KAAK,WAAW;CACrD;AAEF;AAEA,IAAa,sCAAb,cAAyD,KAAK,YAC5D,qCACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,sDAAb,cAAyE,KAAK,YAC5E,qDACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,4CAAb,cAA+D,KAAK,YAClE,2CACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF"}
+{"version":3,"file":"SchemaToValidator.js","names":["IdScope.app","GenericId.tableName","GenericId.scope","scope"],"sources":["../src/SchemaToValidator.ts"],"sourcesContent":["import * as IdScope from \"./IdScope.js\";\nimport type {\n  GenericId as ConvexGenericId,\n  PropertyValidators,\n  Validator,\n  VAny,\n  VArray,\n  VBoolean,\n  VBytes,\n  VFloat64,\n  VId,\n  VInt64,\n  VLiteral,\n  VNull,\n  VObject,\n  VRecord,\n  VString,\n  VUnion,\n} from \"convex/values\";\nimport { v } from \"convex/values\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Data from \"effect/Data\";\nimport * as Effect from \"effect/Effect\";\nimport * as Match from \"effect/Match\";\nimport * as Number from \"effect/Number\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport * as String from \"effect/String\";\n\nimport * as GenericId from \"./GenericId.js\";\nimport type {\n  IsAny,\n  IsOptional,\n  IsRecord,\n  IsRecursive,\n  IsUnion,\n  TypeError,\n  UnionToTuple,\n} from \"./Types.js\";\n\n// Args\n\nexport const compileArgsSchema = <ConfectValue, ConvexValue>(\n  argsSchema: Schema.Codec<ConfectValue, ConvexValue>,\n  scope: IdScope.IdScope = IdScope.app,\n): PropertyValidators => {\n  const ast = Schema.toEncoded(argsSchema).ast;\n\n  return pipe(\n    ast,\n    Match.value,\n    Match.tag(\"Objects\", (objectsAst) =>\n      Array.isReadonlyArrayEmpty(objectsAst.indexSignatures)\n        ? handlePropertySignatures(objectsAst, scope)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectError())),\n    Effect.runSync,\n  );\n};\n\n// Returns\n\nexport const compileReturnsSchema = <ConfectValue, ConvexValue>(\n  schema: Schema.Codec<ConfectValue, ConvexValue>,\n  scope: IdScope.IdScope = IdScope.app,\n): Validator<any, any, any> =>\n  Effect.runSync(compileAst(Schema.toEncoded(schema).ast, false, scope));\n\n// Table\n\n/**\n * Convert a table `Schema` to a table `Validator`.\n */\nexport type TableSchemaToTableValidator<\n  TableSchema extends Schema.Codec<any, any>,\n> =\n  ValueToValidator<TableSchema[\"Encoded\"]> extends infer Vd extends\n    | VObject<any, any, any, any>\n    | VUnion<any, any, any, any>\n    ? Vd\n    : never;\n\nexport const compileTableSchema = <TableSchema extends Schema.Codec<any, any>>(\n  schema: TableSchema,\n  scope: IdScope.IdScope = IdScope.app,\n): TableSchemaToTableValidator<TableSchema> => {\n  const ast = Schema.toEncoded(schema).ast;\n\n  return pipe(\n    ast,\n    Match.value,\n    Match.tag(\"Objects\", ({ indexSignatures }) =>\n      Array.isReadonlyArrayEmpty(indexSignatures)\n        ? // oxlint-disable-next-line effecttsgo/unsafe-effect-type-assertion -- The return type is derived from the input schema and cannot be recovered from the runtime AST.\n          (compileAst(ast, false, scope) as Effect.Effect<any>)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.tag(\"Union\", (unionAst) => compileAst(unionAst, false, scope)),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectOrUnionError())),\n    Effect.runSync,\n  );\n};\n\n// Compiler\n\nexport type ReadonlyValue =\n  | string\n  | number\n  | bigint\n  | boolean\n  | ArrayBuffer\n  | ReadonlyArrayValue\n  | ReadonlyRecordValue\n  | null;\n\ntype ReadonlyArrayValue = readonly ReadonlyValue[];\n\nexport type ReadonlyRecordValue = {\n  readonly [key: string]: ReadonlyValue | undefined;\n};\n\ntype MutableValue<T> =\n  T extends ReadonlyArray<infer El>\n    ? MutableValue<El>[]\n    : T extends ReadonlyRecordValue\n      ? { -readonly [K in keyof T]: MutableValue<Exclude<T[K], undefined>> }\n      : T;\n\nexport type ValueToValidator<Vl> = [Vl] extends [never]\n  ? never\n  : IsAny<Vl> extends true\n    ? VAny\n    : [Vl] extends [string | number | bigint | boolean | null | ArrayBuffer]\n      ? ConvertValueToValidator<Vl>\n      : IsRecursive<Vl> extends true\n        ? VAny\n        : [Vl] extends [ReadonlyValue]\n          ? ConvertValueToValidator<Vl>\n          : TypeError<\"Provided value is not a valid Convex value\", Vl>;\n\ntype OptionalValue<Vl, Optionality> = Optionality extends \"optional\"\n  ? Vl | undefined\n  : Vl;\n\ntype ConvertValueToValidator<\n  Vl,\n  Optionality extends \"required\" | \"optional\" = \"required\",\n> = [Vl] extends [never]\n  ? never\n  : IsAny<Vl> extends true\n    ? VAny<any, Optionality>\n    : [Vl] extends [null]\n      ? VNull<OptionalValue<null, Optionality>, Optionality>\n      : [Vl] extends [boolean]\n        ? [boolean] extends [Vl]\n          ? VBoolean<OptionalValue<boolean, Optionality>, Optionality>\n          : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n        : IsUnion<Vl> extends true\n          ? UnionValueToValidator<Vl, Optionality>\n          : [Vl] extends [number]\n            ? [number] extends [Vl]\n              ? VFloat64<OptionalValue<number, Optionality>, Optionality>\n              : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n            : [Vl] extends [bigint]\n              ? [bigint] extends [Vl]\n                ? VInt64<OptionalValue<bigint, Optionality>, Optionality>\n                : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n              : [Vl] extends [string]\n                ? StringValueToValidator<Vl, Optionality>\n                : [Vl] extends [ArrayBuffer]\n                  ? VBytes<OptionalValue<ArrayBuffer, Optionality>, Optionality>\n                  : IsRecursive<Vl> extends true\n                    ? VAny<any, Optionality>\n                    : Vl extends ReadonlyArray<infer El>\n                      ? VArray<\n                          OptionalValue<MutableValue<El[]>, Optionality>,\n                          ConvertValueToValidator<El>,\n                          Optionality\n                        >\n                      : Vl extends object\n                        ? ObjectValueToValidator<Vl, Optionality>\n                        : never;\n\ntype StringValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  Vl extends ConvexGenericId<string>\n    ? VId<OptionalValue<Vl, Optionality>, Optionality>\n    : [string] extends [Vl]\n      ? VString<OptionalValue<string, Optionality>, Optionality>\n      : VLiteral<OptionalValue<Vl, Optionality>, Optionality>;\n\ntype ObjectValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  IsRecord<MutableValue<Vl>> extends true\n    ? ValueToValidator<Vl[keyof Vl]> extends infer VdValue extends Validator<\n        any,\n        \"required\",\n        any\n      >\n      ? VRecord<\n          OptionalValue<MutableValue<Vl>, Optionality>,\n          VString,\n          VdValue,\n          Optionality\n        >\n      : never\n    : ObjectFieldsToValidators<Vl> extends infer VdFields extends Record<\n          string,\n          any\n        >\n      ? VObject<\n          OptionalValue<MutableValue<Vl>, Optionality>,\n          VdFields,\n          Optionality\n        >\n      : never;\n\ntype ObjectFieldsToValidators<Vl> = {\n  -readonly [K in keyof Vl]-?: IsAny<Vl[K]> extends true\n    ? IsOptional<Vl, K> extends true\n      ? VAny<any, \"optional\">\n      : VAny\n    : undefined extends Vl[K]\n      ? OptionalValueToValidator<Vl[K]>\n      : [Vl[K]] extends [ReadonlyValue]\n        ? ConvertValueToValidator<Vl[K]>\n        : never;\n};\n\nexport type UndefinedOrValueToValidator<Vl extends ReadonlyValue | undefined> =\n  undefined extends Vl\n    ? OptionalValueToValidator<Vl>\n    : [Vl] extends [ReadonlyValue]\n      ? ValueToValidator<Vl>\n      : never;\n\ntype UnionValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  IsRecursive<Vl> extends true\n    ? VAny<any, Optionality>\n    : VUnion<\n        OptionalValue<MutableValue<Vl>, Optionality>,\n        ValueTupleToValidatorTuple<UnionToTuple<Vl>>,\n        Optionality\n      >;\n\ntype ValueTupleToValidatorTuple<\n  VlTuple extends readonly unknown[],\n  Acc extends Validator<any, \"required\", any>[] = [],\n> = VlTuple extends\n  | [true, false, ...infer VlRest]\n  | [false, true, ...infer VlRest]\n  ? ValueTupleToValidatorTuple<VlRest, [...Acc, VBoolean]>\n  : VlTuple extends [infer Vl, ...infer VlRest]\n    ? ValueTupleToValidatorTuple<VlRest, [...Acc, ConvertValueToValidator<Vl>]>\n    : Acc;\n\ntype OptionalValueToValidator<Vl> = [Vl] extends [\n  (infer Val extends ReadonlyValue) | undefined,\n]\n  ? ConvertValueToValidator<Val, \"optional\">\n  : never;\n\nexport const compileSchema = <T, E>(\n  schema: Schema.Codec<T, E>,\n): ValueToValidator<(typeof schema)[\"Encoded\"]> =>\n  Effect.runSync(compileAst(schema.ast)) as any;\n\nexport const isRecursive = (ast: SchemaAST.AST): boolean =>\n  pipe(\n    ast,\n    Match.value,\n    Match.tag(\n      \"Literal\",\n      \"Null\",\n      \"Boolean\",\n      \"String\",\n      \"Number\",\n      \"BigInt\",\n      \"Unknown\",\n      \"Any\",\n      \"Declaration\",\n      \"UniqueSymbol\",\n      \"Symbol\",\n      \"Undefined\",\n      \"Void\",\n      \"Never\",\n      \"Enum\",\n      \"TemplateLiteral\",\n      \"ObjectKeyword\",\n      () => false,\n    ),\n    Match.tag(\"Union\", ({ types }) =>\n      Array.some(types, (type) => isRecursive(type)),\n    ),\n    Match.tag(\"Objects\", ({ propertySignatures }) =>\n      Array.some(propertySignatures, ({ type }) => isRecursive(type)),\n    ),\n    Match.tag(\n      \"Arrays\",\n      ({ elements, rest }) =>\n        Array.some(elements, (element) => isRecursive(element)) ||\n        Array.some(rest, (element) => isRecursive(element)),\n    ),\n    Match.tag(\"Suspend\", () => true),\n    Match.exhaustive,\n  );\n\nexport const compileAst = (\n  ast: SchemaAST.AST,\n  isOptionalPropertyOfTypeLiteral = false,\n  scope: IdScope.IdScope = IdScope.app,\n): Effect.Effect<\n  Validator<any, any, any>,\n  | UnsupportedSchemaTypeError\n  | UnsupportedPropertySignatureKeyTypeError\n  | IndexSignaturesAreNotSupportedError\n  | MixedIndexAndPropertySignaturesAreNotSupportedError\n  | OptionalTupleElementsAreNotSupportedError\n  | EmptyTupleIsNotSupportedError\n  | EmptyUnionIsNotSupportedError\n> =>\n  isRecursive(ast)\n    ? Effect.succeed(v.any())\n    : pipe(\n        ast,\n        Match.value,\n        Match.tag(\"Literal\", ({ literal }) =>\n          pipe(\n            literal,\n            Match.value,\n            Match.whenOr(\n              Match.string,\n              Match.number,\n              Match.bigint,\n              Match.boolean,\n              (l) => v.literal(l),\n            ),\n            Match.exhaustive,\n            Effect.succeed,\n          ),\n        ),\n        Match.tag(\"Null\", () => Effect.succeed(v.null())),\n        Match.tag(\"Boolean\", () => Effect.succeed(v.boolean())),\n        Match.tag(\"String\", (stringAst) =>\n          GenericId.tableName(stringAst).pipe(\n            Option.match({\n              onNone: () => Effect.succeed(v.string()),\n              onSome: (tableName) =>\n                Effect.succeed(\n                  GenericId.scope(stringAst) === scope\n                    ? v.id(tableName)\n                    : v.string(),\n                ),\n            }),\n          ),\n        ),\n        Match.tag(\"Number\", () => Effect.succeed(v.float64())),\n        Match.tag(\"BigInt\", () => Effect.succeed(v.int64())),\n        Match.tag(\"Union\", (unionAst) =>\n          handleUnion(unionAst, isOptionalPropertyOfTypeLiteral, scope),\n        ),\n        Match.tag(\"Objects\", (objectsAst) => handleObjects(objectsAst, scope)),\n        Match.tag(\"Arrays\", (arraysAst) => handleArrays(arraysAst, scope)),\n        Match.tag(\"Unknown\", \"Any\", () => Effect.succeed(v.any())),\n        Match.tag(\"Declaration\", (declaration) =>\n          Effect.mapBoth(\n            // oxlint-disable-next-line effecttsgo/any-unknown-in-error-context -- Codec inputs are context-free, but Effect's SchemaAST.DeclarationRun erases their requirements to `any`.\n            declaration.run(declaration.typeParameters)(\n              new ArrayBuffer(0),\n              declaration,\n              {},\n            ) as Effect.Effect<ArrayBuffer, unknown, never>,\n            {\n              onSuccess: () => v.bytes(),\n              onFailure: () =>\n                new UnsupportedSchemaTypeError({\n                  schemaType: declaration._tag,\n                }),\n            },\n          ),\n        ),\n        Match.tag(\"Suspend\", () => Effect.succeed(v.any())),\n        Match.tag(\n          \"UniqueSymbol\",\n          \"Symbol\",\n          \"Undefined\",\n          \"Void\",\n          \"Never\",\n          \"Enum\",\n          \"TemplateLiteral\",\n          \"ObjectKeyword\",\n          () =>\n            Effect.fail(\n              new UnsupportedSchemaTypeError({\n                schemaType: ast._tag,\n              }),\n            ),\n        ),\n        Match.exhaustive,\n      );\n\nconst handleUnion = (\n  { types }: SchemaAST.Union,\n  isOptionalPropertyOfTypeLiteral: boolean,\n  scope: IdScope.IdScope,\n) => handleUnionTypes(types, isOptionalPropertyOfTypeLiteral, scope);\n\nconst handleUnionTypes = Effect.fnUntraced(function* (\n  types: SchemaAST.Union[\"types\"],\n  isOptionalPropertyOfTypeLiteral: boolean,\n  scope: IdScope.IdScope,\n) {\n  const members = isOptionalPropertyOfTypeLiteral\n    ? Array.filter(types, Predicate.not(SchemaAST.isUndefined))\n    : types;\n\n  const [firstValidator, secondValidator, ...restValidators] =\n    yield* Effect.all(\n      Array.map(members, (type) => compileAst(type, false, scope)),\n    );\n\n  if (firstValidator === undefined) {\n    return yield* new EmptyUnionIsNotSupportedError();\n  } else if (secondValidator === undefined) {\n    return firstValidator;\n  } else {\n    return v.union(firstValidator, secondValidator, ...restValidators);\n  }\n});\n\nconst handleObjects = (objectsAst: SchemaAST.Objects, scope: IdScope.IdScope) =>\n  pipe(\n    objectsAst.indexSignatures,\n    Array.head,\n    Option.match({\n      onNone: () =>\n        Effect.map(handlePropertySignatures(objectsAst, scope), v.object),\n      onSome: ({ parameter, type }) =>\n        pipe(\n          objectsAst.propertySignatures,\n          Array.head,\n          Option.match({\n            onNone: () =>\n              Effect.map(\n                Effect.all({\n                  parameter_: compileAst(parameter, false, scope),\n                  type_: compileAst(type, false, scope),\n                }),\n                ({ parameter_, type_ }) => v.record(parameter_, type_),\n              ),\n            onSome: () =>\n              Effect.fail(\n                new MixedIndexAndPropertySignaturesAreNotSupportedError(),\n              ),\n          }),\n        ),\n    }),\n  );\n\nconst handleArrays = (\n  { elements, rest }: SchemaAST.Arrays,\n  scope: IdScope.IdScope,\n) => handleArrayElements(elements, rest, scope);\n\nconst handleArrayElements = Effect.fnUntraced(function* (\n  elements: SchemaAST.Arrays[\"elements\"],\n  rest: SchemaAST.Arrays[\"rest\"],\n  scope: IdScope.IdScope,\n) {\n  const [f, s, ...r] = elements;\n\n  const elementToValidator = (element: SchemaAST.AST) =>\n    SchemaAST.isOptional(element)\n      ? Effect.fail(new OptionalTupleElementsAreNotSupportedError())\n      : compileAst(element, false, scope);\n\n  const arrayItemsValidator = yield* f === undefined\n    ? pipe(\n        rest,\n        Array.head,\n        Option.match({\n          onNone: () => Effect.fail(new EmptyTupleIsNotSupportedError()),\n          onSome: (type) => compileAst(type, false, scope),\n        }),\n      )\n    : s === undefined\n      ? elementToValidator(f)\n      : Effect.gen(function* () {\n          const firstValidator = yield* elementToValidator(f);\n          const secondValidator = yield* elementToValidator(s);\n          const restValidators = yield* Effect.forEach(r, elementToValidator);\n\n          return v.union(firstValidator, secondValidator, ...restValidators);\n        });\n\n  return v.array(arrayItemsValidator);\n});\n\nconst handlePropertySignatures = (\n  objectsAst: SchemaAST.Objects,\n  scope: IdScope.IdScope,\n) =>\n  pipe(\n    objectsAst.propertySignatures,\n    Effect.forEach(({ type, name }) => {\n      const isOptional = SchemaAST.isOptional(type);\n      if (String.isString(name)) {\n        // Somehow, somewhere, keys of type number are being coerced to strings…\n        return Option.match(Number.parse(name), {\n          onNone: () =>\n            Effect.gen(function* () {\n              const validator = yield* compileAst(type, isOptional, scope);\n\n              return {\n                propertyName: name,\n                validator: isOptional ? v.optional(validator) : validator,\n              };\n            }),\n          onSome: (number) =>\n            Effect.fail(\n              new UnsupportedPropertySignatureKeyTypeError({\n                propertyKey: number,\n              }),\n            ),\n        });\n      } else {\n        return Effect.fail(\n          new UnsupportedPropertySignatureKeyTypeError({ propertyKey: name }),\n        );\n      }\n    }),\n    Effect.andThen((propertyNamesWithValidators) =>\n      pipe(\n        propertyNamesWithValidators,\n        Array.reduce(\n          {} as Record<string, Validator<any, any, any>>,\n          (acc, { propertyName, validator }) => ({\n            [propertyName]: validator,\n            ...acc,\n          }),\n        ),\n        Effect.succeed,\n      ),\n    ),\n  );\n\n// Errors\n\nexport class TopLevelMustBeObjectError extends Data.TaggedError(\n  \"TopLevelMustBeObjectError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Top level schema must be an object\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class TopLevelMustBeObjectOrUnionError extends Data.TaggedError(\n  \"TopLevelMustBeObjectOrUnionError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Top level schema must be an object or a union\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class UnsupportedPropertySignatureKeyTypeError extends Data.TaggedError(\n  \"UnsupportedPropertySignatureKeyTypeError\",\n)<{\n  readonly propertyKey: number | symbol;\n}> {\n  /* v8 ignore start */\n  override get message() {\n    return `Unsupported property signature '${this.propertyKey.toString()}'. Property is of type '${typeof this.propertyKey}' but only 'string' properties are supported.`;\n  }\n  /* v8 ignore stop */\n}\n\nexport class EmptyTupleIsNotSupportedError extends Data.TaggedError(\n  \"EmptyTupleIsNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Tuple must have at least one element\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class EmptyUnionIsNotSupportedError extends Data.TaggedError(\n  \"EmptyUnionIsNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Union must have at least one member that compiles to a validator\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class UnsupportedSchemaTypeError extends Data.TaggedError(\n  \"UnsupportedSchemaTypeError\",\n)<{\n  readonly schemaType: SchemaAST.AST[\"_tag\"];\n}> {\n  /* v8 ignore start */\n  override get message() {\n    return `Unsupported schema type '${this.schemaType}'`;\n  }\n  /* v8 ignore stop */\n}\n\nexport class IndexSignaturesAreNotSupportedError extends Data.TaggedError(\n  \"IndexSignaturesAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Index signatures are not supported\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class MixedIndexAndPropertySignaturesAreNotSupportedError extends Data.TaggedError(\n  \"MixedIndexAndPropertySignaturesAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Mixed index and property signatures are not supported\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class OptionalTupleElementsAreNotSupportedError extends Data.TaggedError(\n  \"OptionalTupleElementsAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Optional tuple elements are not supported\";\n  }\n  /* v8 ignore stop */\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6CA,MAAa,qBACX,YACA,QAAyBA,QACF;CACvB,MAAM,MAAM,OAAO,UAAU,UAAU,CAAC,CAAC;CAEzC,OAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,YAAY,eACpB,MAAM,qBAAqB,WAAW,eAAe,IACjD,yBAAyB,YAAY,KAAK,IAC1C,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,aAAa,OAAO,KAAK,IAAI,0BAA0B,CAAC,CAAC,GAC/D,OAAO,OACT;AACF;AAIA,MAAa,wBACX,QACA,QAAyBA,QAEzB,OAAO,QAAQ,WAAW,OAAO,UAAU,MAAM,CAAC,CAAC,KAAK,OAAO,KAAK,CAAC;AAgBvE,MAAa,sBACX,QACA,QAAyBA,QACoB;CAC7C,MAAM,MAAM,OAAO,UAAU,MAAM,CAAC,CAAC;CAErC,OAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,YAAY,EAAE,sBACtB,MAAM,qBAAqB,eAAe,IAErC,WAAW,KAAK,OAAO,KAAK,IAC7B,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,IAAI,UAAU,aAAa,WAAW,UAAU,OAAO,KAAK,CAAC,GACnE,MAAM,aAAa,OAAO,KAAK,IAAI,iCAAiC,CAAC,CAAC,GACtE,OAAO,OACT;AACF;AA+JA,MAAa,iBACX,WAEA,OAAO,QAAQ,WAAW,OAAO,GAAG,CAAC;AAEvC,MAAa,eAAe,QAC1B,KACE,KACA,MAAM,OACN,MAAM,IACJ,WACA,QACA,WACA,UACA,UACA,UACA,WACA,OACA,eACA,gBACA,UACA,aACA,QACA,SACA,QACA,mBACA,uBACM,KACR,GACA,MAAM,IAAI,UAAU,EAAE,YACpB,MAAM,KAAK,QAAQ,SAAS,YAAY,IAAI,CAAC,CAC/C,GACA,MAAM,IAAI,YAAY,EAAE,yBACtB,MAAM,KAAK,qBAAqB,EAAE,WAAW,YAAY,IAAI,CAAC,CAChE,GACA,MAAM,IACJ,WACC,EAAE,UAAU,WACX,MAAM,KAAK,WAAW,YAAY,YAAY,OAAO,CAAC,KACtD,MAAM,KAAK,OAAO,YAAY,YAAY,OAAO,CAAC,CACtD,GACA,MAAM,IAAI,iBAAiB,IAAI,GAC/B,MAAM,UACR;AAEF,MAAa,cACX,KACA,kCAAkC,OAClC,UAAyBA,QAWzB,YAAY,GAAG,IACX,OAAO,QAAQ,EAAE,IAAI,CAAC,IACtB,KACE,KACA,MAAM,OACN,MAAM,IAAI,YAAY,EAAE,cACtB,KACE,SACA,MAAM,OACN,MAAM,OACJ,MAAM,QACN,MAAM,QACN,MAAM,QACN,MAAM,UACL,MAAM,EAAE,QAAQ,CAAC,CACpB,GACA,MAAM,YACN,OAAO,OACT,CACF,GACA,MAAM,IAAI,cAAc,OAAO,QAAQ,EAAE,KAAK,CAAC,CAAC,GAChD,MAAM,IAAI,iBAAiB,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GACtD,MAAM,IAAI,WAAW,cACnBC,UAAoB,SAAS,CAAC,CAAC,KAC7B,OAAO,MAAM;CACX,cAAc,OAAO,QAAQ,EAAE,OAAO,CAAC;CACvC,SAAS,cACP,OAAO,QACLC,MAAgB,SAAS,MAAMC,UAC3B,EAAE,GAAG,SAAS,IACd,EAAE,OAAO,CACf;AACJ,CAAC,CACH,CACF,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GACrD,MAAM,IAAI,gBAAgB,OAAO,QAAQ,EAAE,MAAM,CAAC,CAAC,GACnD,MAAM,IAAI,UAAU,aAClB,YAAY,UAAU,iCAAiCA,OAAK,CAC9D,GACA,MAAM,IAAI,YAAY,eAAe,cAAc,YAAYA,OAAK,CAAC,GACrE,MAAM,IAAI,WAAW,cAAc,aAAa,WAAWA,OAAK,CAAC,GACjE,MAAM,IAAI,WAAW,aAAa,OAAO,QAAQ,EAAE,IAAI,CAAC,CAAC,GACzD,MAAM,IAAI,gBAAgB,gBACxB,OAAO,QAEL,YAAY,IAAI,YAAY,cAAc,CAAC,iBACzC,IAAI,YAAY,CAAC,GACjB,aACA,CAAC,CACH,GACA;CACE,iBAAiB,EAAE,MAAM;CACzB,iBACE,IAAI,2BAA2B,EAC7B,YAAY,YAAY,KAC1B,CAAC;AACL,CACF,CACF,GACA,MAAM,IAAI,iBAAiB,OAAO,QAAQ,EAAE,IAAI,CAAC,CAAC,GAClD,MAAM,IACJ,gBACA,UACA,aACA,QACA,SACA,QACA,mBACA,uBAEE,OAAO,KACL,IAAI,2BAA2B,EAC7B,YAAY,IAAI,KAClB,CAAC,CACH,CACJ,GACA,MAAM,UACR;AAEN,MAAM,eACJ,EAAE,SACF,iCACA,UACG,iBAAiB,OAAO,iCAAiC,KAAK;AAEnE,MAAM,mBAAmB,OAAO,WAAW,WACzC,OACA,iCACA,OACA;CACA,MAAM,UAAU,kCACZ,MAAM,OAAO,OAAO,UAAU,IAAI,UAAU,WAAW,CAAC,IACxD;CAEJ,MAAM,CAAC,gBAAgB,iBAAiB,GAAG,kBACzC,OAAO,OAAO,IACZ,MAAM,IAAI,UAAU,SAAS,WAAW,MAAM,OAAO,KAAK,CAAC,CAC7D;CAEF,IAAI,mBAAmB,KAAA,GACrB,OAAO,OAAO,IAAI,8BAA8B;MAC3C,IAAI,oBAAoB,KAAA,GAC7B,OAAO;MAEP,OAAO,EAAE,MAAM,gBAAgB,iBAAiB,GAAG,cAAc;AAErE,CAAC;AAED,MAAM,iBAAiB,YAA+B,UACpD,KACE,WAAW,iBACX,MAAM,MACN,OAAO,MAAM;CACX,cACE,OAAO,IAAI,yBAAyB,YAAY,KAAK,GAAG,EAAE,MAAM;CAClE,SAAS,EAAE,WAAW,WACpB,KACE,WAAW,oBACX,MAAM,MACN,OAAO,MAAM;EACX,cACE,OAAO,IACL,OAAO,IAAI;GACT,YAAY,WAAW,WAAW,OAAO,KAAK;GAC9C,OAAO,WAAW,MAAM,OAAO,KAAK;EACtC,CAAC,IACA,EAAE,YAAY,YAAY,EAAE,OAAO,YAAY,KAAK,CACvD;EACF,cACE,OAAO,KACL,IAAI,oDAAoD,CAC1D;CACJ,CAAC,CACH;AACJ,CAAC,CACH;AAEF,MAAM,gBACJ,EAAE,UAAU,QACZ,UACG,oBAAoB,UAAU,MAAM,KAAK;AAE9C,MAAM,sBAAsB,OAAO,WAAW,WAC5C,UACA,MACA,OACA;CACA,MAAM,CAAC,GAAG,GAAG,GAAG,KAAK;CAErB,MAAM,sBAAsB,YAC1B,UAAU,WAAW,OAAO,IACxB,OAAO,KAAK,IAAI,0CAA0C,CAAC,IAC3D,WAAW,SAAS,OAAO,KAAK;CAEtC,MAAM,sBAAsB,OAAO,MAAM,KAAA,IACrC,KACE,MACA,MAAM,MACN,OAAO,MAAM;EACX,cAAc,OAAO,KAAK,IAAI,8BAA8B,CAAC;EAC7D,SAAS,SAAS,WAAW,MAAM,OAAO,KAAK;CACjD,CAAC,CACH,IACA,MAAM,KAAA,IACJ,mBAAmB,CAAC,IACpB,OAAO,IAAI,aAAa;EACtB,MAAM,iBAAiB,OAAO,mBAAmB,CAAC;EAClD,MAAM,kBAAkB,OAAO,mBAAmB,CAAC;EACnD,MAAM,iBAAiB,OAAO,OAAO,QAAQ,GAAG,kBAAkB;EAElE,OAAO,EAAE,MAAM,gBAAgB,iBAAiB,GAAG,cAAc;CACnE,CAAC;CAEP,OAAO,EAAE,MAAM,mBAAmB;AACpC,CAAC;AAED,MAAM,4BACJ,YACA,UAEA,KACE,WAAW,oBACX,OAAO,SAAS,EAAE,MAAM,WAAW;CACjC,MAAM,aAAa,UAAU,WAAW,IAAI;CAC5C,IAAI,OAAO,SAAS,IAAI,GAEtB,OAAO,OAAO,MAAM,OAAO,MAAM,IAAI,GAAG;EACtC,cACE,OAAO,IAAI,aAAa;GACtB,MAAM,YAAY,OAAO,WAAW,MAAM,YAAY,KAAK;GAE3D,OAAO;IACL,cAAc;IACd,WAAW,aAAa,EAAE,SAAS,SAAS,IAAI;GAClD;EACF,CAAC;EACH,SAAS,WACP,OAAO,KACL,IAAI,yCAAyC,EAC3C,aAAa,OACf,CAAC,CACH;CACJ,CAAC;MAED,OAAO,OAAO,KACZ,IAAI,yCAAyC,EAAE,aAAa,KAAK,CAAC,CACpE;AAEJ,CAAC,GACD,OAAO,SAAS,gCACd,KACE,6BACA,MAAM,OACJ,CAAC,IACA,KAAK,EAAE,cAAc,iBAAiB;EACpC,eAAe;CAChB,GAAG;AACL,EACF,GACA,OAAO,OACT,CACF,CACF;AAIF,IAAa,4BAAb,cAA+C,KAAK,YAClD,2BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,mCAAb,cAAsD,KAAK,YACzD,kCACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,2CAAb,cAA8D,KAAK,YACjE,0CACF,CAAC,CAEE;;CAED,IAAa,UAAU;EACrB,OAAO,mCAAmC,KAAK,YAAY,SAAS,EAAE,0BAA0B,OAAO,KAAK,YAAY;CAC1H;AAEF;AAEA,IAAa,gCAAb,cAAmD,KAAK,YACtD,+BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,gCAAb,cAAmD,KAAK,YACtD,+BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,6BAAb,cAAgD,KAAK,YACnD,4BACF,CAAC,CAEE;;CAED,IAAa,UAAU;EACrB,OAAO,4BAA4B,KAAK,WAAW;CACrD;AAEF;AAEA,IAAa,sCAAb,cAAyD,KAAK,YAC5D,qCACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,sDAAb,cAAyE,KAAK,YAC5E,qDACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,4CAAb,cAA+D,KAAK,YAClE,2CACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF"}

package/dist/Spec.d.ts

@@ -1,5 +1,5 @@
 import * as Record from "effect/Record";
-import * as GroupSpec from "./GroupSpec";
+import * as GroupSpec from "./GroupSpec.js";
 export declare const TypeId = "~@confect/core/Spec";
 export type TypeId = typeof TypeId;
 export declare const isSpec: (u: unknown) => u is AnyWithProps;

package/dist/Spec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Spec.d.ts","sourceRoot":"","sources":["../src/Spec.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AAEzC,eAAO,MAAM,MAAM,wBAAwB,CAAC;AAC5C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,MAAM,MAAO,OAAO,KAAG,CAAC,IAAI,YACP,CAAC;AAEnC;;;;;;GAMG;AACH,MAAM,WAAW,IAAI,CACnB,OAAO,SAAS,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,GAAG,EAAE;IAE1E,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,YAAa,SAAQ,GAAG;IACvC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;CAC1E;AAED,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,YAAY,IAC3C,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,YAAY,QACzC,KAAK,KACV,KAAK,CAAC,MAAM,CAAiB,CAAC;AAEjC,eAAO,MAAM,UAAU,WACb,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,KAC5D,YAID,CAAC"}
+{"version":3,"file":"Spec.d.ts","sourceRoot":"","sources":["../src/Spec.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAE5C,eAAO,MAAM,MAAM,wBAAwB,CAAC;AAC5C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,MAAM,MAAO,OAAO,KAAG,CAAC,IAAI,YACP,CAAC;AAEnC;;;;;;GAMG;AACH,MAAM,WAAW,IAAI,CACnB,OAAO,SAAS,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,GAAG,EAAE;IAE1E,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,YAAa,SAAQ,GAAG;IACvC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;CAC1E;AAED,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,YAAY,IAC3C,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,YAAY,QACzC,KAAK,KACV,KAAK,CAAC,MAAM,CAAiB,CAAC;AAEjC,eAAO,MAAM,UAAU,WACb,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,KAC5D,YAID,CAAC"}

package/dist/Spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"Spec.js","names":["GroupSpec.withName"],"sources":["../src/Spec.ts"],"sourcesContent":["import * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as GroupSpec from \"./GroupSpec\";\n\nexport const TypeId = \"~@confect/core/Spec\";\nexport type TypeId = typeof TypeId;\n\nexport const isSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\n/**\n * A Confect spec: a flat container of function groups. Groups may be of any\n * runtime—a group built with `GroupSpec.makeNode()` (a Node action group) sits\n * alongside `GroupSpec.make()` groups in the same namespace. The runtime of a\n * group lives on the group itself (`GroupSpec.runtime`) and on each function's\n * `RuntimeAndFunctionType`; the spec does not carry a runtime of its own.\n */\nexport interface Spec<\n  Groups_ extends Record.ReadonlyRecord<string, GroupSpec.AnyWithProps> = {},\n> {\n  readonly [TypeId]: Readonly<Groups_>;\n}\n\nexport interface Any {\n  readonly [TypeId]: unknown;\n}\n\nexport interface AnyWithProps extends Any {\n  readonly [TypeId]: Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>;\n}\n\nexport type Groups<Spec_ extends AnyWithProps> =\n  Spec_[TypeId][keyof Spec_[TypeId]];\n\n/**\n * The group record stored by a spec, with its precise member types.\n */\nexport const groups = <Spec_ extends AnyWithProps>(\n  self: Spec_,\n): Spec_[TypeId] => self[TypeId];\n\nexport const fromGroups = (\n  record: Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>,\n): AnyWithProps => ({\n  [TypeId]: Record.map(record, (group, name) =>\n    GroupSpec.withName(name, group),\n  ),\n});\n"],"mappings":";;;;;;;;;;;AAIA,MAAa,SAAS;AAGtB,MAAa,UAAU,MACrB,UAAU,YAAY,GAAG,MAAM;;;;AA6BjC,MAAa,UACX,SACkB,KAAK;AAEzB,MAAa,cACX,YACkB,GACjB,SAAS,OAAO,IAAI,SAAS,OAAO,SACnCA,SAAmB,MAAM,KAAK,CAChC,EACF"}
+{"version":3,"file":"Spec.js","names":["GroupSpec.withName"],"sources":["../src/Spec.ts"],"sourcesContent":["import * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as GroupSpec from \"./GroupSpec.js\";\n\nexport const TypeId = \"~@confect/core/Spec\";\nexport type TypeId = typeof TypeId;\n\nexport const isSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\n/**\n * A Confect spec: a flat container of function groups. Groups may be of any\n * runtime—a group built with `GroupSpec.makeNode()` (a Node action group) sits\n * alongside `GroupSpec.make()` groups in the same namespace. The runtime of a\n * group lives on the group itself (`GroupSpec.runtime`) and on each function's\n * `RuntimeAndFunctionType`; the spec does not carry a runtime of its own.\n */\nexport interface Spec<\n  Groups_ extends Record.ReadonlyRecord<string, GroupSpec.AnyWithProps> = {},\n> {\n  readonly [TypeId]: Readonly<Groups_>;\n}\n\nexport interface Any {\n  readonly [TypeId]: unknown;\n}\n\nexport interface AnyWithProps extends Any {\n  readonly [TypeId]: Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>;\n}\n\nexport type Groups<Spec_ extends AnyWithProps> =\n  Spec_[TypeId][keyof Spec_[TypeId]];\n\n/**\n * The group record stored by a spec, with its precise member types.\n */\nexport const groups = <Spec_ extends AnyWithProps>(\n  self: Spec_,\n): Spec_[TypeId] => self[TypeId];\n\nexport const fromGroups = (\n  record: Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>,\n): AnyWithProps => ({\n  [TypeId]: Record.map(record, (group, name) =>\n    GroupSpec.withName(name, group),\n  ),\n});\n"],"mappings":";;;;;;;;;;;AAIA,MAAa,SAAS;AAGtB,MAAa,UAAU,MACrB,UAAU,YAAY,GAAG,MAAM;;;;AA6BjC,MAAa,UACX,SACkB,KAAK;AAEzB,MAAa,cACX,YACkB,GACjB,SAAS,OAAO,IAAI,SAAS,OAAO,SACnCA,SAAmB,MAAM,KAAK,CAChC,EACF"}

package/dist/SystemFields.d.ts

@@ -1,8 +1,8 @@
-import type * as IdScope from "./IdScope";
+import type * as IdScope from "./IdScope.js";
 import type { SystemFields as NonIdSystemFields } from "convex/server";
 import * as Schema from "effect/Schema";
 import * as Struct from "effect/Struct";
-import * as GenericId from "./GenericId";
+import * as GenericId from "./GenericId.js";
 /**
  * Produces a schema for Convex system fields. In Confect, system fields include
  * `_id`.

package/dist/SystemFields.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SystemFields.d.ts","sourceRoot":"","sources":["../src/SystemFields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,OAAO,MAAM,WAAW,CAAC;AAC1C,OAAO,KAAK,EAAE,YAAY,IAAI,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAOvE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AAEzC;;;GAGG;AACH,eAAO,MAAM,YAAY,GACvB,SAAS,SAAS,MAAM,EACxB,KAAK,CAAC,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,aAEtC,SAAS,UACZ,KAAK;;;EAKX,CAAC;AAEL;;;GAGG;AACH,KAAK,eAAe,CAClB,SAAS,SAAS,MAAM,EACxB,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,IACzC,UAAU,CAAC,OAAO,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AA0HhE;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,sBAAsB,GACjC,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC1C,KAAK,CAAC,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,aAEtC,SAAS,UACZ,WAAW,UACX,KAAK,KACZ,sBAAsB,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CA0CtD,CAAC;AAEF;;;;GAIG;AACH,KAAK,iBAAiB,CACpB,SAAS,SAAS,MAAM,EACxB,OAAO,EACP,KAAK,SAAS,OAAO,CAAC,OAAO,IAE7B,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GACpE,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CACzD,CACF,GACD,OAAO,SAAS,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,MAAM,OAAO,CAAC,GACrD,MAAM,CAAC,KAAK,CACV,gBAAgB,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,EACxC,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAC5C,GACD,KAAK,CAAC;AAEd;;;;;;;;;;GAUG;AACH,MAAM,MAAM,sBAAsB,CAChC,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,MAAM,CAAC,GAAG,EAC9B,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,IAE3C,WAAW,SAAS,MAAM,CAAC,KAAK,CAC9B,MAAM,OAAO,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAChD,GACG,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,QAAQ,CACb,QAAQ,CAAC;KACN,WAAW,IAAI,MAAM,OAAO,GAAG,sBAAsB,CACpD,SAAS,EACT,OAAO,CAAC,WAAW,CAAC,EACpB,KAAK,CACN;CACF,CAAC,CACH,CACF,GACD,iBAAiB,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,CAC1B,SAAS,SAAS,MAAM,EACxB,QAAQ,EACR,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,IACzC,QAAQ,SAAS,OAAO,GACxB;IAAE,GAAG,EAAE,SAAS,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;CAAE,GAAG,iBAAiB,GAChE,QAAQ,GACV,KAAK,CAAC"}
+{"version":3,"file":"SystemFields.d.ts","sourceRoot":"","sources":["../src/SystemFields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAC;AAC7C,OAAO,KAAK,EAAE,YAAY,IAAI,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAOvE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAE5C;;;GAGG;AACH,eAAO,MAAM,YAAY,GACvB,SAAS,SAAS,MAAM,EACxB,KAAK,CAAC,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,aAEtC,SAAS,UACZ,KAAK;;;EAKX,CAAC;AAEL;;;GAGG;AACH,KAAK,eAAe,CAClB,SAAS,SAAS,MAAM,EACxB,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,IACzC,UAAU,CAAC,OAAO,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AA0HhE;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,sBAAsB,GACjC,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC1C,KAAK,CAAC,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,aAEtC,SAAS,UACZ,WAAW,UACX,KAAK,KACZ,sBAAsB,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CA0CtD,CAAC;AAEF;;;;GAIG;AACH,KAAK,iBAAiB,CACpB,SAAS,SAAS,MAAM,EACxB,OAAO,EACP,KAAK,SAAS,OAAO,CAAC,OAAO,IAE7B,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GACpE,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CACzD,CACF,GACD,OAAO,SAAS,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,MAAM,OAAO,CAAC,GACrD,MAAM,CAAC,KAAK,CACV,gBAAgB,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,EACxC,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAC5C,GACD,KAAK,CAAC;AAEd;;;;;;;;;;GAUG;AACH,MAAM,MAAM,sBAAsB,CAChC,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,MAAM,CAAC,GAAG,EAC9B,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,IAE3C,WAAW,SAAS,MAAM,CAAC,KAAK,CAC9B,MAAM,OAAO,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAChD,GACG,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,QAAQ,CACb,QAAQ,CAAC;KACN,WAAW,IAAI,MAAM,OAAO,GAAG,sBAAsB,CACpD,SAAS,EACT,OAAO,CAAC,WAAW,CAAC,EACpB,KAAK,CACN;CACF,CAAC,CACH,CACF,GACD,iBAAiB,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,CAC1B,SAAS,SAAS,MAAM,EACxB,QAAQ,EACR,KAAK,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,IACzC,QAAQ,SAAS,OAAO,GACxB;IAAE,GAAG,EAAE,SAAS,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;CAAE,GAAG,iBAAiB,GAChE,QAAQ,GACV,KAAK,CAAC"}

package/dist/SystemFields.js

@@ -1,7 +1,7 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { GenericId } from "./GenericId.js";
-import * as Predicate from "effect/Predicate";
 import * as Schema from "effect/Schema";
+import * as Predicate from "effect/Predicate";
 import * as SchemaGetter from "effect/SchemaGetter";
 import * as Effect from "effect/Effect";
 import * as Option from "effect/Option";

package/dist/SystemFields.js.map

@@ -1 +1 @@
-{"version":3,"file":"SystemFields.js","names":["GenericId.GenericId"],"sources":["../src/SystemFields.ts"],"sourcesContent":["import type * as IdScope from \"./IdScope\";\nimport type { SystemFields as NonIdSystemFields } from \"convex/server\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Effect from \"effect/Effect\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport * as SchemaGetter from \"effect/SchemaGetter\";\nimport * as SchemaTransformation from \"effect/SchemaTransformation\";\nimport * as Struct from \"effect/Struct\";\nimport * as GenericId from \"./GenericId\";\n\n/**\n * Produces a schema for Convex system fields. In Confect, system fields include\n * `_id`.\n */\nexport const SystemFields = <\n  TableName extends string,\n  const Scope extends IdScope.IdScope = IdScope.App,\n>(\n  tableName: TableName,\n  scope?: Scope,\n) =>\n  Schema.Struct({\n    _id: GenericId.GenericId(tableName, scope),\n    _creationTime: Schema.Finite,\n  });\n\n/**\n * The field map added to a table schema, derived from {@link SystemFields} so it\n * stays in lockstep with the runtime schema.\n */\ntype SystemFieldsFor<\n  TableName extends string,\n  Scope extends IdScope.IdScope = IdScope.App,\n> = ReturnType<typeof SystemFields<TableName, Scope>>[\"fields\"];\n\n/**\n * The system field names, derived from {@link SystemFields} so they stay in\n * lockstep with the schema.\n */\nconst systemFieldNames: ReadonlyArray<string> = Record.keys(\n  SystemFields(\"\").fields,\n);\n\nconst isSystemFieldKey = (key: string | symbol): key is string =>\n  Predicate.isString(key) && Array.contains(systemFieldNames, key);\n\nconst splitSystemFields = (input: { [key: PropertyKey]: unknown }) => {\n  const keys = Reflect.ownKeys(input);\n  const pick = (pickedKeys: ReadonlyArray<string | symbol>) =>\n    Record.fromEntries(\n      Array.map(pickedKeys, (key) => [key, input[key]] as const),\n    );\n  return {\n    system: pick(Array.filter(keys, isSystemFieldKey)),\n    rest: pick(Array.filter(keys, Predicate.not(isSystemFieldKey))),\n  };\n};\n\n/**\n * Wraps a transformation getter so the system fields bypass it: they are split\n * off the input before the user-defined getter runs and merged back into its\n * output. Transformations construct fresh objects, so without this the system\n * fields would be dropped at every transformation step.\n */\nconst wrapGetter = <R>(\n  getter: SchemaGetter.Getter<any, any, R>,\n): SchemaGetter.Getter<any, any, R> =>\n  SchemaGetter.transformOptionalEffect((input, options) => {\n    if (Option.isNone(input) || !Predicate.isObject(input.value)) {\n      return SchemaGetter.run(getter, input, options);\n    }\n    const { system, rest } = splitSystemFields(input.value);\n    return SchemaGetter.run(getter, Option.some(rest), options).pipe(\n      Effect.map(\n        Option.map((output) =>\n          Predicate.isObject(output) ? Struct.assign(output, system) : output,\n        ),\n      ),\n    );\n  });\n\nconst wrapTransformation = (\n  transformation: SchemaAST.Link[\"transformation\"],\n): SchemaTransformation.Transformation<any, any, any, any> => {\n  if (!SchemaTransformation.isTransformation(transformation)) {\n    throw new Error(\n      \"Cannot extend a table schema that uses decoding/encoding middleware with system fields\",\n    );\n  }\n  return new SchemaTransformation.Transformation(\n    wrapGetter(transformation.decode),\n    wrapGetter(transformation.encode),\n  );\n};\n\n/**\n * Builds an AST walker that adds the given system-field property signatures to\n * every object node of a schema's AST—including each step of its encoding\n * chain—wrapping transformations so the fields survive them.\n */\nconst makeExtendAst = (\n  systemPropertySignatures: ReadonlyArray<SchemaAST.PropertySignature>,\n) => {\n  const extendEncoding = (encoding: SchemaAST.Encoding): SchemaAST.Encoding =>\n    Array.map(\n      encoding,\n      (link) =>\n        new SchemaAST.Link(\n          extendAst(link.to),\n          wrapTransformation(link.transformation),\n        ),\n    );\n\n  const extendAst = (ast: SchemaAST.AST): SchemaAST.AST => {\n    if (SchemaAST.isUnion(ast)) {\n      return new SchemaAST.Union(\n        Array.map(ast.types, extendAst),\n        ast.options,\n        ast.annotations,\n        ast.checks,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n        ast.encodingChecks,\n      );\n    }\n    if (SchemaAST.isSuspend(ast)) {\n      return new SchemaAST.Suspend(\n        () => extendAst(ast.thunk()),\n        ast.annotations,\n        undefined,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n      );\n    }\n    if (SchemaAST.isObjects(ast)) {\n      return new SchemaAST.Objects(\n        Array.appendAll(ast.propertySignatures, systemPropertySignatures),\n        ast.indexSignatures,\n        ast.annotations,\n        ast.checks,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n        ast.encodingChecks,\n      );\n    }\n    throw new Error(\n      ast._tag === \"Declaration\"\n        ? \"Cannot extend a `Declaration` schema (such as a `Schema.Class`) with system fields: its decoded values are constructed instances, which cannot gain extra fields. Use a plain `Schema.Struct`, or transform to one with `Schema.decodeTo`.\"\n        : `Cannot extend a \\`${ast._tag}\\` schema node with system fields: a table schema must resolve to an object shape at every step of its encoding.`,\n    );\n  };\n\n  return extendAst;\n};\n\n/**\n * Extend a table schema with Convex system fields.\n *\n * A plain `Struct` gains the fields via `mapFields` and a `Union` has them\n * distributed across its members via `mapMembers`, preserving the schema's\n * checks and `Struct`/`Union` structure. Any other object-shaped schema—one\n * built with `Schema.decodeTo`/`Schema.encodeKeys`, a branded struct, a\n * suspended schema—is extended at the AST level: every object node in its\n * encoding chain gains the system fields, and each transformation is wrapped so\n * the fields bypass the user-defined getters. Schemas that do not resolve to an\n * object shape at every step (such as `Schema.Class`, whose decoded values are\n * class instances) are rejected with a descriptive error.\n *\n * Note that struct-level checks on an extended schema observe the value with\n * the system fields attached, and encoding an extended schema emits the system\n * fields alongside the table fields.\n */\nexport const extendWithSystemFields = <\n  TableName extends string,\n  TableSchema extends Schema.Codec<any, any>,\n  const Scope extends IdScope.IdScope = IdScope.App,\n>(\n  tableName: TableName,\n  schema: TableSchema,\n  scope?: Scope,\n): ExtendWithSystemFields<TableName, TableSchema, Scope> => {\n  const system = SystemFields(tableName, scope).fields;\n\n  const extendAst = makeExtendAst(\n    pipe(\n      system,\n      Record.toEntries,\n      Array.map(\n        ([name, field]) => new SchemaAST.PropertySignature(name, field.ast),\n      ),\n    ),\n  );\n\n  const extend = (s: Schema.Top): Schema.Top => {\n    if (\n      s.ast.encoding === undefined &&\n      SchemaAST.isUnion(s.ast) &&\n      Array.isArray((s as { readonly members?: unknown }).members)\n    ) {\n      return (s as Schema.Union<ReadonlyArray<Schema.Top>>).mapMembers(\n        Array.map(extend),\n        { unsafePreserveChecks: true },\n      );\n    }\n    if (\n      s.ast.encoding === undefined &&\n      SchemaAST.isObjects(s.ast) &&\n      typeof (s as { readonly mapFields?: unknown }).mapFields === \"function\"\n    ) {\n      return (s as Schema.Struct<Schema.Struct.Fields>).mapFields(\n        Struct.assign(system),\n        { unsafePreserveChecks: true },\n      );\n    }\n    return Schema.make(extendAst(s.ast));\n  };\n\n  return extend(schema) as unknown as ExtendWithSystemFields<\n    TableName,\n    TableSchema,\n    Scope\n  >;\n};\n\n/**\n * Applies the system fields to a single struct, mirroring\n * `Schema.fieldsAssign`. Any other (already-extended or opaque) schema falls\n * back to a `Codec` carrying the system-field document shape.\n */\ntype ApplySystemFields<\n  TableName extends string,\n  Schema_,\n  Scope extends IdScope.IdScope,\n> =\n  Schema_ extends Schema.Struct<infer Fields extends Schema.Struct.Fields>\n    ? Schema.Struct<\n        Struct.Simplify<\n          Struct.Assign<Fields, SystemFieldsFor<TableName, Scope>>\n        >\n      >\n    : Schema_ extends Schema.Codec<infer Type, infer Encoded>\n      ? Schema.Codec<\n          WithSystemFields<TableName, Type, Scope>,\n          WithSystemFields<TableName, Encoded, Scope>\n        >\n      : never;\n\n/**\n * Extend a table schema with Convex system fields at the type level.\n *\n * This mirrors the runtime {@link extendWithSystemFields}: a `Struct` gains the\n * system fields directly (matching `Schema.fieldsAssign`), and a `Union` has\n * them distributed across its members (matching\n * `union.mapMembers(Tuple.map(Schema.fieldsAssign(...)))`). The\n * `Struct`/`Union` structure is preserved rather than collapsed to a bare\n * `Codec`; any other schema falls back to a `Codec` carrying the system-field\n * document shape, matching the runtime's AST-level extension.\n */\nexport type ExtendWithSystemFields<\n  TableName extends string,\n  TableSchema extends Schema.Top,\n  Scope extends IdScope.IdScope = IdScope.App,\n> =\n  TableSchema extends Schema.Union<\n    infer Members extends ReadonlyArray<Schema.Top>\n  >\n    ? Schema.Union<\n        Struct.Simplify<\n          Readonly<{\n            [MemberIndex in keyof Members]: ExtendWithSystemFields<\n              TableName,\n              Members[MemberIndex],\n              Scope\n            >;\n          }>\n        >\n      >\n    : ApplySystemFields<TableName, TableSchema, Scope>;\n\n/**\n * The decoded/encoded document shape: a table's fields plus Convex's system\n * fields. Deliberately a bare intersection (no `Expand`/`Simplify`)—flattening\n * it with a homomorphic mapped type collapses to `{ [x: string]: any }` when\n * `Document` is still an unresolved generic, which breaks structural\n * comparability in the database reader/writer plumbing.\n */\nexport type WithSystemFields<\n  TableName extends string,\n  Document,\n  Scope extends IdScope.IdScope = IdScope.App,\n> = Document extends unknown\n  ? { _id: GenericId.GenericId<TableName, Scope> } & NonIdSystemFields &\n      Document\n  : never;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAmBA,MAAa,gBAIX,WACA,UAEA,OAAO,OAAO;CACZ,KAAKA,UAAoB,WAAW,KAAK;CACzC,eAAe,OAAO;AACxB,CAAC;;;;;AAeH,MAAM,mBAA0C,OAAO,KACrD,aAAa,EAAE,CAAC,CAAC,MACnB;AAEA,MAAM,oBAAoB,QACxB,UAAU,SAAS,GAAG,KAAK,MAAM,SAAS,kBAAkB,GAAG;AAEjE,MAAM,qBAAqB,UAA2C;CACpE,MAAM,OAAO,QAAQ,QAAQ,KAAK;CAClC,MAAM,QAAQ,eACZ,OAAO,YACL,MAAM,IAAI,aAAa,QAAQ,CAAC,KAAK,MAAM,IAAI,CAAU,CAC3D;CACF,OAAO;EACL,QAAQ,KAAK,MAAM,OAAO,MAAM,gBAAgB,CAAC;EACjD,MAAM,KAAK,MAAM,OAAO,MAAM,UAAU,IAAI,gBAAgB,CAAC,CAAC;CAChE;AACF;;;;;;;AAQA,MAAM,cACJ,WAEA,aAAa,yBAAyB,OAAO,YAAY;CACvD,IAAI,OAAO,OAAO,KAAK,KAAK,CAAC,UAAU,SAAS,MAAM,KAAK,GACzD,OAAO,aAAa,IAAI,QAAQ,OAAO,OAAO;CAEhD,MAAM,EAAE,QAAQ,SAAS,kBAAkB,MAAM,KAAK;CACtD,OAAO,aAAa,IAAI,QAAQ,OAAO,KAAK,IAAI,GAAG,OAAO,CAAC,CAAC,KAC1D,OAAO,IACL,OAAO,KAAK,WACV,UAAU,SAAS,MAAM,IAAI,OAAO,OAAO,QAAQ,MAAM,IAAI,MAC/D,CACF,CACF;AACF,CAAC;AAEH,MAAM,sBACJ,mBAC4D;CAC5D,IAAI,CAAC,qBAAqB,iBAAiB,cAAc,GACvD,MAAM,IAAI,MACR,wFACF;CAEF,OAAO,IAAI,qBAAqB,eAC9B,WAAW,eAAe,MAAM,GAChC,WAAW,eAAe,MAAM,CAClC;AACF;;;;;;AAOA,MAAM,iBACJ,6BACG;CACH,MAAM,kBAAkB,aACtB,MAAM,IACJ,WACC,SACC,IAAI,UAAU,KACZ,UAAU,KAAK,EAAE,GACjB,mBAAmB,KAAK,cAAc,CACxC,CACJ;CAEF,MAAM,aAAa,QAAsC;EACvD,IAAI,UAAU,QAAQ,GAAG,GACvB,OAAO,IAAI,UAAU,MACnB,MAAM,IAAI,IAAI,OAAO,SAAS,GAC9B,IAAI,SACJ,IAAI,aACJ,IAAI,QACJ,IAAI,aAAa,KAAA,IAAY,KAAA,IAAY,eAAe,IAAI,QAAQ,GACpE,IAAI,SACJ,IAAI,cACN;EAEF,IAAI,UAAU,UAAU,GAAG,GACzB,OAAO,IAAI,UAAU,cACb,UAAU,IAAI,MAAM,CAAC,GAC3B,IAAI,aACJ,KAAA,GACA,IAAI,aAAa,KAAA,IAAY,KAAA,IAAY,eAAe,IAAI,QAAQ,GACpE,IAAI,OACN;EAEF,IAAI,UAAU,UAAU,GAAG,GACzB,OAAO,IAAI,UAAU,QACnB,MAAM,UAAU,IAAI,oBAAoB,wBAAwB,GAChE,IAAI,iBACJ,IAAI,aACJ,IAAI,QACJ,IAAI,aAAa,KAAA,IAAY,KAAA,IAAY,eAAe,IAAI,QAAQ,GACpE,IAAI,SACJ,IAAI,cACN;EAEF,MAAM,IAAI,MACR,IAAI,SAAS,gBACT,+OACA,qBAAqB,IAAI,KAAK,iHACpC;CACF;CAEA,OAAO;AACT;;;;;;;;;;;;;;;;;;AAmBA,MAAa,0BAKX,WACA,QACA,UAC0D;CAC1D,MAAM,SAAS,aAAa,WAAW,KAAK,CAAC,CAAC;CAE9C,MAAM,YAAY,cAChB,KACE,QACA,OAAO,WACP,MAAM,KACH,CAAC,MAAM,WAAW,IAAI,UAAU,kBAAkB,MAAM,MAAM,GAAG,CACpE,CACF,CACF;CAEA,MAAM,UAAU,MAA8B;EAC5C,IACE,EAAE,IAAI,aAAa,KAAA,KACnB,UAAU,QAAQ,EAAE,GAAG,KACvB,MAAM,QAAS,EAAqC,OAAO,GAE3D,OAAQ,EAA8C,WACpD,MAAM,IAAI,MAAM,GAChB,EAAE,sBAAsB,KAAK,CAC/B;EAEF,IACE,EAAE,IAAI,aAAa,KAAA,KACnB,UAAU,UAAU,EAAE,GAAG,KACzB,OAAQ,EAAuC,cAAc,YAE7D,OAAQ,EAA0C,UAChD,OAAO,OAAO,MAAM,GACpB,EAAE,sBAAsB,KAAK,CAC/B;EAEF,OAAO,OAAO,KAAK,UAAU,EAAE,GAAG,CAAC;CACrC;CAEA,OAAO,OAAO,MAAM;AAKtB"}
+{"version":3,"file":"SystemFields.js","names":["GenericId.GenericId"],"sources":["../src/SystemFields.ts"],"sourcesContent":["import type * as IdScope from \"./IdScope.js\";\nimport type { SystemFields as NonIdSystemFields } from \"convex/server\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Effect from \"effect/Effect\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport * as SchemaGetter from \"effect/SchemaGetter\";\nimport * as SchemaTransformation from \"effect/SchemaTransformation\";\nimport * as Struct from \"effect/Struct\";\nimport * as GenericId from \"./GenericId.js\";\n\n/**\n * Produces a schema for Convex system fields. In Confect, system fields include\n * `_id`.\n */\nexport const SystemFields = <\n  TableName extends string,\n  const Scope extends IdScope.IdScope = IdScope.App,\n>(\n  tableName: TableName,\n  scope?: Scope,\n) =>\n  Schema.Struct({\n    _id: GenericId.GenericId(tableName, scope),\n    _creationTime: Schema.Finite,\n  });\n\n/**\n * The field map added to a table schema, derived from {@link SystemFields} so it\n * stays in lockstep with the runtime schema.\n */\ntype SystemFieldsFor<\n  TableName extends string,\n  Scope extends IdScope.IdScope = IdScope.App,\n> = ReturnType<typeof SystemFields<TableName, Scope>>[\"fields\"];\n\n/**\n * The system field names, derived from {@link SystemFields} so they stay in\n * lockstep with the schema.\n */\nconst systemFieldNames: ReadonlyArray<string> = Record.keys(\n  SystemFields(\"\").fields,\n);\n\nconst isSystemFieldKey = (key: string | symbol): key is string =>\n  Predicate.isString(key) && Array.contains(systemFieldNames, key);\n\nconst splitSystemFields = (input: { [key: PropertyKey]: unknown }) => {\n  const keys = Reflect.ownKeys(input);\n  const pick = (pickedKeys: ReadonlyArray<string | symbol>) =>\n    Record.fromEntries(\n      Array.map(pickedKeys, (key) => [key, input[key]] as const),\n    );\n  return {\n    system: pick(Array.filter(keys, isSystemFieldKey)),\n    rest: pick(Array.filter(keys, Predicate.not(isSystemFieldKey))),\n  };\n};\n\n/**\n * Wraps a transformation getter so the system fields bypass it: they are split\n * off the input before the user-defined getter runs and merged back into its\n * output. Transformations construct fresh objects, so without this the system\n * fields would be dropped at every transformation step.\n */\nconst wrapGetter = <R>(\n  getter: SchemaGetter.Getter<any, any, R>,\n): SchemaGetter.Getter<any, any, R> =>\n  SchemaGetter.transformOptionalEffect((input, options) => {\n    if (Option.isNone(input) || !Predicate.isObject(input.value)) {\n      return SchemaGetter.run(getter, input, options);\n    }\n    const { system, rest } = splitSystemFields(input.value);\n    return SchemaGetter.run(getter, Option.some(rest), options).pipe(\n      Effect.map(\n        Option.map((output) =>\n          Predicate.isObject(output) ? Struct.assign(output, system) : output,\n        ),\n      ),\n    );\n  });\n\nconst wrapTransformation = (\n  transformation: SchemaAST.Link[\"transformation\"],\n): SchemaTransformation.Transformation<any, any, any, any> => {\n  if (!SchemaTransformation.isTransformation(transformation)) {\n    throw new Error(\n      \"Cannot extend a table schema that uses decoding/encoding middleware with system fields\",\n    );\n  }\n  return new SchemaTransformation.Transformation(\n    wrapGetter(transformation.decode),\n    wrapGetter(transformation.encode),\n  );\n};\n\n/**\n * Builds an AST walker that adds the given system-field property signatures to\n * every object node of a schema's AST—including each step of its encoding\n * chain—wrapping transformations so the fields survive them.\n */\nconst makeExtendAst = (\n  systemPropertySignatures: ReadonlyArray<SchemaAST.PropertySignature>,\n) => {\n  const extendEncoding = (encoding: SchemaAST.Encoding): SchemaAST.Encoding =>\n    Array.map(\n      encoding,\n      (link) =>\n        new SchemaAST.Link(\n          extendAst(link.to),\n          wrapTransformation(link.transformation),\n        ),\n    );\n\n  const extendAst = (ast: SchemaAST.AST): SchemaAST.AST => {\n    if (SchemaAST.isUnion(ast)) {\n      return new SchemaAST.Union(\n        Array.map(ast.types, extendAst),\n        ast.options,\n        ast.annotations,\n        ast.checks,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n        ast.encodingChecks,\n      );\n    }\n    if (SchemaAST.isSuspend(ast)) {\n      return new SchemaAST.Suspend(\n        () => extendAst(ast.thunk()),\n        ast.annotations,\n        undefined,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n      );\n    }\n    if (SchemaAST.isObjects(ast)) {\n      return new SchemaAST.Objects(\n        Array.appendAll(ast.propertySignatures, systemPropertySignatures),\n        ast.indexSignatures,\n        ast.annotations,\n        ast.checks,\n        ast.encoding === undefined ? undefined : extendEncoding(ast.encoding),\n        ast.context,\n        ast.encodingChecks,\n      );\n    }\n    throw new Error(\n      ast._tag === \"Declaration\"\n        ? \"Cannot extend a `Declaration` schema (such as a `Schema.Class`) with system fields: its decoded values are constructed instances, which cannot gain extra fields. Use a plain `Schema.Struct`, or transform to one with `Schema.decodeTo`.\"\n        : `Cannot extend a \\`${ast._tag}\\` schema node with system fields: a table schema must resolve to an object shape at every step of its encoding.`,\n    );\n  };\n\n  return extendAst;\n};\n\n/**\n * Extend a table schema with Convex system fields.\n *\n * A plain `Struct` gains the fields via `mapFields` and a `Union` has them\n * distributed across its members via `mapMembers`, preserving the schema's\n * checks and `Struct`/`Union` structure. Any other object-shaped schema—one\n * built with `Schema.decodeTo`/`Schema.encodeKeys`, a branded struct, a\n * suspended schema—is extended at the AST level: every object node in its\n * encoding chain gains the system fields, and each transformation is wrapped so\n * the fields bypass the user-defined getters. Schemas that do not resolve to an\n * object shape at every step (such as `Schema.Class`, whose decoded values are\n * class instances) are rejected with a descriptive error.\n *\n * Note that struct-level checks on an extended schema observe the value with\n * the system fields attached, and encoding an extended schema emits the system\n * fields alongside the table fields.\n */\nexport const extendWithSystemFields = <\n  TableName extends string,\n  TableSchema extends Schema.Codec<any, any>,\n  const Scope extends IdScope.IdScope = IdScope.App,\n>(\n  tableName: TableName,\n  schema: TableSchema,\n  scope?: Scope,\n): ExtendWithSystemFields<TableName, TableSchema, Scope> => {\n  const system = SystemFields(tableName, scope).fields;\n\n  const extendAst = makeExtendAst(\n    pipe(\n      system,\n      Record.toEntries,\n      Array.map(\n        ([name, field]) => new SchemaAST.PropertySignature(name, field.ast),\n      ),\n    ),\n  );\n\n  const extend = (s: Schema.Top): Schema.Top => {\n    if (\n      s.ast.encoding === undefined &&\n      SchemaAST.isUnion(s.ast) &&\n      Array.isArray((s as { readonly members?: unknown }).members)\n    ) {\n      return (s as Schema.Union<ReadonlyArray<Schema.Top>>).mapMembers(\n        Array.map(extend),\n        { unsafePreserveChecks: true },\n      );\n    }\n    if (\n      s.ast.encoding === undefined &&\n      SchemaAST.isObjects(s.ast) &&\n      typeof (s as { readonly mapFields?: unknown }).mapFields === \"function\"\n    ) {\n      return (s as Schema.Struct<Schema.Struct.Fields>).mapFields(\n        Struct.assign(system),\n        { unsafePreserveChecks: true },\n      );\n    }\n    return Schema.make(extendAst(s.ast));\n  };\n\n  return extend(schema) as unknown as ExtendWithSystemFields<\n    TableName,\n    TableSchema,\n    Scope\n  >;\n};\n\n/**\n * Applies the system fields to a single struct, mirroring\n * `Schema.fieldsAssign`. Any other (already-extended or opaque) schema falls\n * back to a `Codec` carrying the system-field document shape.\n */\ntype ApplySystemFields<\n  TableName extends string,\n  Schema_,\n  Scope extends IdScope.IdScope,\n> =\n  Schema_ extends Schema.Struct<infer Fields extends Schema.Struct.Fields>\n    ? Schema.Struct<\n        Struct.Simplify<\n          Struct.Assign<Fields, SystemFieldsFor<TableName, Scope>>\n        >\n      >\n    : Schema_ extends Schema.Codec<infer Type, infer Encoded>\n      ? Schema.Codec<\n          WithSystemFields<TableName, Type, Scope>,\n          WithSystemFields<TableName, Encoded, Scope>\n        >\n      : never;\n\n/**\n * Extend a table schema with Convex system fields at the type level.\n *\n * This mirrors the runtime {@link extendWithSystemFields}: a `Struct` gains the\n * system fields directly (matching `Schema.fieldsAssign`), and a `Union` has\n * them distributed across its members (matching\n * `union.mapMembers(Tuple.map(Schema.fieldsAssign(...)))`). The\n * `Struct`/`Union` structure is preserved rather than collapsed to a bare\n * `Codec`; any other schema falls back to a `Codec` carrying the system-field\n * document shape, matching the runtime's AST-level extension.\n */\nexport type ExtendWithSystemFields<\n  TableName extends string,\n  TableSchema extends Schema.Top,\n  Scope extends IdScope.IdScope = IdScope.App,\n> =\n  TableSchema extends Schema.Union<\n    infer Members extends ReadonlyArray<Schema.Top>\n  >\n    ? Schema.Union<\n        Struct.Simplify<\n          Readonly<{\n            [MemberIndex in keyof Members]: ExtendWithSystemFields<\n              TableName,\n              Members[MemberIndex],\n              Scope\n            >;\n          }>\n        >\n      >\n    : ApplySystemFields<TableName, TableSchema, Scope>;\n\n/**\n * The decoded/encoded document shape: a table's fields plus Convex's system\n * fields. Deliberately a bare intersection (no `Expand`/`Simplify`)—flattening\n * it with a homomorphic mapped type collapses to `{ [x: string]: any }` when\n * `Document` is still an unresolved generic, which breaks structural\n * comparability in the database reader/writer plumbing.\n */\nexport type WithSystemFields<\n  TableName extends string,\n  Document,\n  Scope extends IdScope.IdScope = IdScope.App,\n> = Document extends unknown\n  ? { _id: GenericId.GenericId<TableName, Scope> } & NonIdSystemFields &\n      Document\n  : never;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAmBA,MAAa,gBAIX,WACA,UAEA,OAAO,OAAO;CACZ,KAAKA,UAAoB,WAAW,KAAK;CACzC,eAAe,OAAO;AACxB,CAAC;;;;;AAeH,MAAM,mBAA0C,OAAO,KACrD,aAAa,EAAE,CAAC,CAAC,MACnB;AAEA,MAAM,oBAAoB,QACxB,UAAU,SAAS,GAAG,KAAK,MAAM,SAAS,kBAAkB,GAAG;AAEjE,MAAM,qBAAqB,UAA2C;CACpE,MAAM,OAAO,QAAQ,QAAQ,KAAK;CAClC,MAAM,QAAQ,eACZ,OAAO,YACL,MAAM,IAAI,aAAa,QAAQ,CAAC,KAAK,MAAM,IAAI,CAAU,CAC3D;CACF,OAAO;EACL,QAAQ,KAAK,MAAM,OAAO,MAAM,gBAAgB,CAAC;EACjD,MAAM,KAAK,MAAM,OAAO,MAAM,UAAU,IAAI,gBAAgB,CAAC,CAAC;CAChE;AACF;;;;;;;AAQA,MAAM,cACJ,WAEA,aAAa,yBAAyB,OAAO,YAAY;CACvD,IAAI,OAAO,OAAO,KAAK,KAAK,CAAC,UAAU,SAAS,MAAM,KAAK,GACzD,OAAO,aAAa,IAAI,QAAQ,OAAO,OAAO;CAEhD,MAAM,EAAE,QAAQ,SAAS,kBAAkB,MAAM,KAAK;CACtD,OAAO,aAAa,IAAI,QAAQ,OAAO,KAAK,IAAI,GAAG,OAAO,CAAC,CAAC,KAC1D,OAAO,IACL,OAAO,KAAK,WACV,UAAU,SAAS,MAAM,IAAI,OAAO,OAAO,QAAQ,MAAM,IAAI,MAC/D,CACF,CACF;AACF,CAAC;AAEH,MAAM,sBACJ,mBAC4D;CAC5D,IAAI,CAAC,qBAAqB,iBAAiB,cAAc,GACvD,MAAM,IAAI,MACR,wFACF;CAEF,OAAO,IAAI,qBAAqB,eAC9B,WAAW,eAAe,MAAM,GAChC,WAAW,eAAe,MAAM,CAClC;AACF;;;;;;AAOA,MAAM,iBACJ,6BACG;CACH,MAAM,kBAAkB,aACtB,MAAM,IACJ,WACC,SACC,IAAI,UAAU,KACZ,UAAU,KAAK,EAAE,GACjB,mBAAmB,KAAK,cAAc,CACxC,CACJ;CAEF,MAAM,aAAa,QAAsC;EACvD,IAAI,UAAU,QAAQ,GAAG,GACvB,OAAO,IAAI,UAAU,MACnB,MAAM,IAAI,IAAI,OAAO,SAAS,GAC9B,IAAI,SACJ,IAAI,aACJ,IAAI,QACJ,IAAI,aAAa,KAAA,IAAY,KAAA,IAAY,eAAe,IAAI,QAAQ,GACpE,IAAI,SACJ,IAAI,cACN;EAEF,IAAI,UAAU,UAAU,GAAG,GACzB,OAAO,IAAI,UAAU,cACb,UAAU,IAAI,MAAM,CAAC,GAC3B,IAAI,aACJ,KAAA,GACA,IAAI,aAAa,KAAA,IAAY,KAAA,IAAY,eAAe,IAAI,QAAQ,GACpE,IAAI,OACN;EAEF,IAAI,UAAU,UAAU,GAAG,GACzB,OAAO,IAAI,UAAU,QACnB,MAAM,UAAU,IAAI,oBAAoB,wBAAwB,GAChE,IAAI,iBACJ,IAAI,aACJ,IAAI,QACJ,IAAI,aAAa,KAAA,IAAY,KAAA,IAAY,eAAe,IAAI,QAAQ,GACpE,IAAI,SACJ,IAAI,cACN;EAEF,MAAM,IAAI,MACR,IAAI,SAAS,gBACT,+OACA,qBAAqB,IAAI,KAAK,iHACpC;CACF;CAEA,OAAO;AACT;;;;;;;;;;;;;;;;;;AAmBA,MAAa,0BAKX,WACA,QACA,UAC0D;CAC1D,MAAM,SAAS,aAAa,WAAW,KAAK,CAAC,CAAC;CAE9C,MAAM,YAAY,cAChB,KACE,QACA,OAAO,WACP,MAAM,KACH,CAAC,MAAM,WAAW,IAAI,UAAU,kBAAkB,MAAM,MAAM,GAAG,CACpE,CACF,CACF;CAEA,MAAM,UAAU,MAA8B;EAC5C,IACE,EAAE,IAAI,aAAa,KAAA,KACnB,UAAU,QAAQ,EAAE,GAAG,KACvB,MAAM,QAAS,EAAqC,OAAO,GAE3D,OAAQ,EAA8C,WACpD,MAAM,IAAI,MAAM,GAChB,EAAE,sBAAsB,KAAK,CAC/B;EAEF,IACE,EAAE,IAAI,aAAa,KAAA,KACnB,UAAU,UAAU,EAAE,GAAG,KACzB,OAAQ,EAAuC,cAAc,YAE7D,OAAQ,EAA0C,UAChD,OAAO,OAAO,MAAM,GACpB,EAAE,sBAAsB,KAAK,CAC/B;EAEF,OAAO,OAAO,KAAK,UAAU,EAAE,GAAG,CAAC;CACrC;CAEA,OAAO,OAAO,MAAM;AAKtB"}

package/dist/Table.d.ts

@@ -1,6 +1,6 @@
-import * as IdScope from "./IdScope";
-import * as SystemFields from "./SystemFields";
-import type { TableSchemaToTableValidator } from "./SchemaToValidator";
+import * as IdScope from "./IdScope.js";
+import * as SystemFields from "./SystemFields.js";
+import type { TableSchemaToTableValidator } from "./SchemaToValidator.js";
 import type { SystemFields as ConvexSystemFields, Expand, GenericTableIndexes, GenericTableSearchIndexes, GenericTableVectorIndexes, IndexTiebreakerField, SearchIndexConfig, VectorIndexConfig } from "convex/server";
 import type { GenericValidator, Validator } from "convex/values";
 import type * as Schema from "effect/Schema";

package/dist/Table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Table.d.ts","sourceRoot":"","sources":["../src/Table.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AAErC,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,KAAK,EACV,YAAY,IAAI,kBAAkB,EAClC,MAAM,EACN,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EAClB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAEjE,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,eAAO,MAAM,MAAM,yBAAyB,CAAC;AAC7C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAanC,eAAO,MAAM,OAAO,MAAO,OAAO,KAAG,CAAC,IAAI,GACiC,CAAC;AAE5E,eAAO,MAAM,cAAc,MAAO,OAAO,KAAG,CAAC,IAAI,UAC2B,CAAC;AAW7E,MAAM,WAAW,KAAK,CACpB,KAAK,SAAS,MAAM,EACpB,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,eAAe,SAAS,gBAAgB,GACtC,2BAA2B,CAAC,YAAY,CAAC,EAC3C,QAAQ,SAAS,mBAAmB,GAAG,EAAE,EACzC,cAAc,SAAS,yBAAyB,GAAG,EAAE,EACrD,cAAc,SAAS,yBAAyB,GAAG,EAAE,EACrD,MAAM,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG;IAE5C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,sBAAsB,CAC/C,KAAK,EACL,YAAY,EACZ,MAAM,CACP,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAC;CAC7C;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,MAAM,YAAY,GAAG,KAAK,CAC9B,GAAG,EACH,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtB,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,EACzB,OAAO,CAAC,OAAO,CAChB,CAAC;AAeF,MAAM,WAAW,YAAY,CAC3B,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,eAAe,SAAS,gBAAgB,GACtC,2BAA2B,CAAC,YAAY,CAAC,EAC3C,QAAQ,SAAS,mBAAmB,GAAG,EAAE,EACzC,cAAc,SAAS,yBAAyB,GAAG,EAAE,EACrD,cAAc,SAAS,yBAAyB,GAAG,EAAE;IAErD,CACE,KAAK,CAAC,KAAK,SAAS,MAAM,EAC1B,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,EAElD,SAAS,EAAE,KAAK,EAChB,KAAK,CAAC,EAAE,MAAM,GACb,KAAK,CACN,KAAK,EACL,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,cAAc,EACd,cAAc,EACd,MAAM,CACP,CAAC;IAEF,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAC;IAE5C,KAAK,CACH,SAAS,SAAS,MAAM,EACxB,cAAc,SAAS,iBAAiB,CAAC,eAAe,CAAC,EACzD,cAAc,SAAS,iBAAiB,CAAC,eAAe,CAAC,EAAE,EAE3D,IAAI,EAAE,SAAS,EACf,MAAM,EAAE,CAAC,cAAc,EAAE,GAAG,cAAc,CAAC,GAC1C,YAAY,CACb,YAAY,EACZ,eAAe,EACf,MAAM,CACJ,QAAQ,GACN,MAAM,CACJ,SAAS,EACT;QAAC,cAAc;QAAE,GAAG,cAAc;QAAE,oBAAoB;KAAC,CAC1D,CACJ,EACD,cAAc,EACd,cAAc,CACf,CAAC;IAEF,WAAW,CACT,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,iBAAiB,CAAC,eAAe,CAAC,EACtD,YAAY,SAAS,iBAAiB,CAAC,eAAe,CAAC,GAAG,KAAK,EAE/D,IAAI,EAAE,SAAS,EACf,WAAW,EAAE,MAAM,CAAC,iBAAiB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,GAChE,YAAY,CACb,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,MAAM,CACJ,cAAc,GACZ,MAAM,CACJ,SAAS,EACT;QACE,WAAW,EAAE,WAAW,CAAC;QACzB,YAAY,EAAE,YAAY,CAAC;KAC5B,CACF,CACJ,EACD,cAAc,CACf,CAAC;IAEF,WAAW,CACT,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,iBAAiB,CAAC,eAAe,CAAC,EACtD,YAAY,SAAS,iBAAiB,CAAC,eAAe,CAAC,GAAG,KAAK,EAE/D,IAAI,EAAE,SAAS,EACf,WAAW,EAAE,MAAM,CAAC,iBAAiB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,GAChE,YAAY,CACb,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,cAAc,EACd,MAAM,CACJ,cAAc,GACZ,MAAM,CACJ,SAAS,EACT;QACE,WAAW,EAAE,WAAW,CAAC;QACzB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,YAAY,CAAC;KAC5B,CACF,CACJ,CACF,CAAC;CACH;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,MAAM,mBAAmB,GAAG,YAAY,CAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtB,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,CAC1B,CAAC;AAMF,MAAM,MAAM,IAAI,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,WAAW,CAAC,GACrE,MAAM,CAAC;AAET,MAAM,MAAM,WAAW,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAE5E,MAAM,MAAM,cAAc,CAAC,QAAQ,SAAS,YAAY,IACtD,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAE9B,MAAM,MAAM,OAAO,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,SAAS,CAAC,CAAC;AAEzE,MAAM,MAAM,aAAa,CAAC,QAAQ,SAAS,YAAY,IACrD,QAAQ,CAAC,eAAe,CAAC,CAAC;AAE5B,MAAM,MAAM,aAAa,CAAC,QAAQ,SAAS,YAAY,IACrD,QAAQ,CAAC,eAAe,CAAC,CAAC;AAE5B,MAAM,MAAM,GAAG,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;AAEjE,MAAM,MAAM,MAAM,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACvE,MAAM,MAAM,KAAK,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC;AAErE,MAAM,MAAM,QAAQ,CAClB,QAAQ,SAAS,YAAY,EAC7B,KAAK,SAAS,MAAM,IAClB,QAAQ,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GAAG,QAAQ,GAAG,KAAK,CAAC;AAEtE,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,YAAY,IAAI;IACtD,QAAQ,EAAE,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CACpE,CAAC;AAoLF,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,cACxD,MAAM,YAAY,KAC7B,YAAY,CAAC,YAAY,EAAE,2BAA2B,CAAC,YAAY,CAAC,CAUtE,CAAC;AAIF;;;;;;GAMG;AACH,KAAK,iBAAiB,CAAC,eAAe,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAIrE,eAAe,CAAC,YAAY,CAAC,GAAG,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"Table.d.ts","sourceRoot":"","sources":["../src/Table.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAExC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EACV,YAAY,IAAI,kBAAkB,EAClC,MAAM,EACN,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EAClB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAEjE,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,eAAO,MAAM,MAAM,yBAAyB,CAAC;AAC7C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAanC,eAAO,MAAM,OAAO,MAAO,OAAO,KAAG,CAAC,IAAI,GACiC,CAAC;AAE5E,eAAO,MAAM,cAAc,MAAO,OAAO,KAAG,CAAC,IAAI,UAC2B,CAAC;AAW7E,MAAM,WAAW,KAAK,CACpB,KAAK,SAAS,MAAM,EACpB,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,eAAe,SAAS,gBAAgB,GACtC,2BAA2B,CAAC,YAAY,CAAC,EAC3C,QAAQ,SAAS,mBAAmB,GAAG,EAAE,EACzC,cAAc,SAAS,yBAAyB,GAAG,EAAE,EACrD,cAAc,SAAS,yBAAyB,GAAG,EAAE,EACrD,MAAM,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG;IAE5C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,sBAAsB,CAC/C,KAAK,EACL,YAAY,EACZ,MAAM,CACP,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAC;CAC7C;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,MAAM,YAAY,GAAG,KAAK,CAC9B,GAAG,EACH,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtB,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,EACzB,OAAO,CAAC,OAAO,CAChB,CAAC;AAeF,MAAM,WAAW,YAAY,CAC3B,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,eAAe,SAAS,gBAAgB,GACtC,2BAA2B,CAAC,YAAY,CAAC,EAC3C,QAAQ,SAAS,mBAAmB,GAAG,EAAE,EACzC,cAAc,SAAS,yBAAyB,GAAG,EAAE,EACrD,cAAc,SAAS,yBAAyB,GAAG,EAAE;IAErD,CACE,KAAK,CAAC,KAAK,SAAS,MAAM,EAC1B,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,EAElD,SAAS,EAAE,KAAK,EAChB,KAAK,CAAC,EAAE,MAAM,GACb,KAAK,CACN,KAAK,EACL,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,cAAc,EACd,cAAc,EACd,MAAM,CACP,CAAC;IAEF,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAC;IAE5C,KAAK,CACH,SAAS,SAAS,MAAM,EACxB,cAAc,SAAS,iBAAiB,CAAC,eAAe,CAAC,EACzD,cAAc,SAAS,iBAAiB,CAAC,eAAe,CAAC,EAAE,EAE3D,IAAI,EAAE,SAAS,EACf,MAAM,EAAE,CAAC,cAAc,EAAE,GAAG,cAAc,CAAC,GAC1C,YAAY,CACb,YAAY,EACZ,eAAe,EACf,MAAM,CACJ,QAAQ,GACN,MAAM,CACJ,SAAS,EACT;QAAC,cAAc;QAAE,GAAG,cAAc;QAAE,oBAAoB;KAAC,CAC1D,CACJ,EACD,cAAc,EACd,cAAc,CACf,CAAC;IAEF,WAAW,CACT,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,iBAAiB,CAAC,eAAe,CAAC,EACtD,YAAY,SAAS,iBAAiB,CAAC,eAAe,CAAC,GAAG,KAAK,EAE/D,IAAI,EAAE,SAAS,EACf,WAAW,EAAE,MAAM,CAAC,iBAAiB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,GAChE,YAAY,CACb,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,MAAM,CACJ,cAAc,GACZ,MAAM,CACJ,SAAS,EACT;QACE,WAAW,EAAE,WAAW,CAAC;QACzB,YAAY,EAAE,YAAY,CAAC;KAC5B,CACF,CACJ,EACD,cAAc,CACf,CAAC;IAEF,WAAW,CACT,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,iBAAiB,CAAC,eAAe,CAAC,EACtD,YAAY,SAAS,iBAAiB,CAAC,eAAe,CAAC,GAAG,KAAK,EAE/D,IAAI,EAAE,SAAS,EACf,WAAW,EAAE,MAAM,CAAC,iBAAiB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,GAChE,YAAY,CACb,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,cAAc,EACd,MAAM,CACJ,cAAc,GACZ,MAAM,CACJ,SAAS,EACT;QACE,WAAW,EAAE,WAAW,CAAC;QACzB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,YAAY,CAAC;KAC5B,CACF,CACJ,CACF,CAAC;CACH;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,MAAM,mBAAmB,GAAG,YAAY,CAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtB,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,CAC1B,CAAC;AAMF,MAAM,MAAM,IAAI,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,WAAW,CAAC,GACrE,MAAM,CAAC;AAET,MAAM,MAAM,WAAW,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAE5E,MAAM,MAAM,cAAc,CAAC,QAAQ,SAAS,YAAY,IACtD,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAE9B,MAAM,MAAM,OAAO,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,SAAS,CAAC,CAAC;AAEzE,MAAM,MAAM,aAAa,CAAC,QAAQ,SAAS,YAAY,IACrD,QAAQ,CAAC,eAAe,CAAC,CAAC;AAE5B,MAAM,MAAM,aAAa,CAAC,QAAQ,SAAS,YAAY,IACrD,QAAQ,CAAC,eAAe,CAAC,CAAC;AAE5B,MAAM,MAAM,GAAG,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;AAEjE,MAAM,MAAM,MAAM,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACvE,MAAM,MAAM,KAAK,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC;AAErE,MAAM,MAAM,QAAQ,CAClB,QAAQ,SAAS,YAAY,EAC7B,KAAK,SAAS,MAAM,IAClB,QAAQ,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GAAG,QAAQ,GAAG,KAAK,CAAC;AAEtE,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,YAAY,IAAI;IACtD,QAAQ,EAAE,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CACpE,CAAC;AAoLF,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,cACxD,MAAM,YAAY,KAC7B,YAAY,CAAC,YAAY,EAAE,2BAA2B,CAAC,YAAY,CAAC,CAUtE,CAAC;AAIF;;;;;;GAMG;AACH,KAAK,iBAAiB,CAAC,eAAe,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAIrE,eAAe,CAAC,YAAY,CAAC,GAAG,MAAM,kBAAkB,CAAC"}