@confect/server 1.0.0-next.0

package/dist/SchemaToValidator.js

@@ -0,0 +1,155 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { Array, Cause, Data, Effect, Exit, Match, Number, Option, Predicate, Schema, SchemaAST, String, pipe } from "effect";
+import { v } from "convex/values";
+import * as GenericId$1 from "@confect/core/GenericId";
+
+//#region src/SchemaToValidator.ts
+var SchemaToValidator_exports = /* @__PURE__ */ __export({
+	EmptyTupleIsNotSupportedError: () => EmptyTupleIsNotSupportedError,
+	IndexSignaturesAreNotSupportedError: () => IndexSignaturesAreNotSupportedError,
+	MixedIndexAndPropertySignaturesAreNotSupportedError: () => MixedIndexAndPropertySignaturesAreNotSupportedError,
+	OptionalTupleElementsAreNotSupportedError: () => OptionalTupleElementsAreNotSupportedError,
+	TopLevelMustBeObjectError: () => TopLevelMustBeObjectError,
+	TopLevelMustBeObjectOrUnionError: () => TopLevelMustBeObjectOrUnionError,
+	UnsupportedPropertySignatureKeyTypeError: () => UnsupportedPropertySignatureKeyTypeError,
+	UnsupportedSchemaTypeError: () => UnsupportedSchemaTypeError,
+	compileArgsSchema: () => compileArgsSchema,
+	compileAst: () => compileAst,
+	compileReturnsSchema: () => compileReturnsSchema,
+	compileSchema: () => compileSchema,
+	compileTableSchema: () => compileTableSchema,
+	isRecursive: () => isRecursive
+});
+const compileArgsSchema = (argsSchema) => {
+	const ast = Schema.encodedSchema(argsSchema).ast;
+	return pipe(ast, Match.value, Match.tag("TypeLiteral", (typeLiteralAst) => Array.isEmptyReadonlyArray(typeLiteralAst.indexSignatures) ? handlePropertySignatures(typeLiteralAst) : Effect.fail(new IndexSignaturesAreNotSupportedError())), Match.orElse(() => Effect.fail(new TopLevelMustBeObjectError())), runSyncThrow);
+};
+const compileReturnsSchema = (schema) => runSyncThrow(compileAst(Schema.encodedSchema(schema).ast));
+const compileTableSchema = (schema) => {
+	const ast = Schema.encodedSchema(schema).ast;
+	return pipe(ast, Match.value, Match.tag("TypeLiteral", ({ indexSignatures }) => Array.isEmptyReadonlyArray(indexSignatures) ? compileAst(ast) : Effect.fail(new IndexSignaturesAreNotSupportedError())), Match.tag("Union", (unionAst) => compileAst(unionAst)), Match.orElse(() => Effect.fail(new TopLevelMustBeObjectOrUnionError())), runSyncThrow);
+};
+const compileSchema = (schema) => runSyncThrow(compileAst(schema.ast));
+const isRecursive = (ast) => pipe(ast, Match.value, Match.tag("Literal", "BooleanKeyword", "StringKeyword", "NumberKeyword", "BigIntKeyword", "UnknownKeyword", "AnyKeyword", "Declaration", "UniqueSymbol", "SymbolKeyword", "UndefinedKeyword", "VoidKeyword", "NeverKeyword", "Enums", "TemplateLiteral", "ObjectKeyword", "Transformation", () => false), Match.tag("Union", ({ types }) => Array.some(types, (type) => isRecursive(type))), Match.tag("TypeLiteral", ({ propertySignatures }) => Array.some(propertySignatures, ({ type }) => isRecursive(type))), Match.tag("TupleType", ({ elements: optionalElements, rest: elements }) => Array.some(optionalElements, (optionalElement) => isRecursive(optionalElement.type)) || Array.some(elements, (element) => isRecursive(element.type))), Match.tag("Refinement", ({ from }) => isRecursive(from)), Match.tag("Suspend", () => true), Match.exhaustive);
+const compileAst = (ast, isOptionalPropertyOfTypeLiteral = false) => isRecursive(ast) ? Effect.succeed(v.any()) : pipe(ast, Match.value, Match.tag("Literal", ({ literal }) => pipe(literal, Match.value, Match.whenOr(Match.string, Match.number, Match.bigint, Match.boolean, (l) => v.literal(l)), Match.when(Match.null, () => v.null()), Match.exhaustive, Effect.succeed)), Match.tag("BooleanKeyword", () => Effect.succeed(v.boolean())), Match.tag("StringKeyword", (stringAst) => GenericId$1.tableName(stringAst).pipe(Option.match({
+	onNone: () => Effect.succeed(v.string()),
+	onSome: (tableName) => Effect.succeed(v.id(tableName))
+}))), Match.tag("NumberKeyword", () => Effect.succeed(v.float64())), Match.tag("BigIntKeyword", () => Effect.succeed(v.int64())), Match.tag("Union", (unionAst) => handleUnion(unionAst, isOptionalPropertyOfTypeLiteral)), Match.tag("TypeLiteral", (typeLiteralAst) => handleTypeLiteral(typeLiteralAst)), Match.tag("TupleType", (tupleTypeAst) => handleTupleType(tupleTypeAst)), Match.tag("UnknownKeyword", "AnyKeyword", () => Effect.succeed(v.any())), Match.tag("Declaration", (declaration) => Effect.mapBoth(declaration.decodeUnknown(...declaration.typeParameters)(/* @__PURE__ */ new ArrayBuffer(0), {}, declaration), {
+	onSuccess: () => v.bytes(),
+	onFailure: () => new UnsupportedSchemaTypeError({ schemaType: declaration._tag })
+})), Match.tag("Refinement", ({ from }) => compileAst(from)), Match.tag("Suspend", () => Effect.succeed(v.any())), Match.tag("UniqueSymbol", "SymbolKeyword", "UndefinedKeyword", "VoidKeyword", "NeverKeyword", "Enums", "TemplateLiteral", "ObjectKeyword", "Transformation", () => new UnsupportedSchemaTypeError({ schemaType: ast._tag })), Match.exhaustive);
+const handleUnion = ({ types: [first, second, ...rest] }, isOptionalPropertyOfTypeLiteral) => Effect.gen(function* () {
+	const validatorEffects = isOptionalPropertyOfTypeLiteral ? Array.filterMap([
+		first,
+		second,
+		...rest
+	], (type) => Predicate.not(SchemaAST.isUndefinedKeyword)(type) ? Option.some(compileAst(type)) : Option.none()) : Array.map([
+		first,
+		second,
+		...rest
+	], (type) => compileAst(type));
+	const [firstValidator, secondValidator, ...restValidators] = yield* Effect.all(validatorEffects);
+	/* v8 ignore start */
+	if (firstValidator === void 0) return yield* Effect.dieMessage("First validator of union is undefined; this should be impossible.");
+	else if (secondValidator === void 0) return firstValidator;
+	else return v.union(firstValidator, secondValidator, ...restValidators);
+});
+const handleTypeLiteral = (typeLiteralAst) => pipe(typeLiteralAst.indexSignatures, Array.head, Option.match({
+	onNone: () => Effect.map(handlePropertySignatures(typeLiteralAst), v.object),
+	onSome: ({ parameter, type }) => pipe(typeLiteralAst.propertySignatures, Array.head, Option.match({
+		onNone: () => Effect.map(Effect.all({
+			parameter_: compileAst(parameter),
+			type_: compileAst(type)
+		}), ({ parameter_, type_ }) => v.record(parameter_, type_)),
+		onSome: () => Effect.fail(new MixedIndexAndPropertySignaturesAreNotSupportedError())
+	}))
+}));
+const handleTupleType = ({ elements, rest }) => Effect.gen(function* () {
+	const restValidator = pipe(rest, Array.head, Option.map(({ type }) => compileAst(type)), Effect.flatten);
+	const [f, s, ...r] = elements;
+	const elementToValidator = ({ type, isOptional }) => Effect.if(isOptional, {
+		onTrue: () => Effect.fail(new OptionalTupleElementsAreNotSupportedError()),
+		onFalse: () => compileAst(type)
+	});
+	const arrayItemsValidator = yield* f === void 0 ? pipe(restValidator, Effect.catchTag("NoSuchElementException", () => Effect.fail(new EmptyTupleIsNotSupportedError()))) : s === void 0 ? elementToValidator(f) : Effect.gen(function* () {
+		const firstValidator = yield* elementToValidator(f);
+		const secondValidator = yield* elementToValidator(s);
+		const restValidators = yield* Effect.forEach(r, elementToValidator);
+		return v.union(firstValidator, secondValidator, ...restValidators);
+	});
+	return v.array(arrayItemsValidator);
+});
+const handlePropertySignatures = (typeLiteralAst) => pipe(typeLiteralAst.propertySignatures, Effect.forEach(({ type, name, isOptional }) => {
+	if (String.isString(name)) return Option.match(Number.parse(name), {
+		onNone: () => Effect.gen(function* () {
+			const validator = yield* compileAst(type, isOptional);
+			return {
+				propertyName: name,
+				validator: isOptional ? v.optional(validator) : validator
+			};
+		}),
+		onSome: (number) => Effect.fail(new UnsupportedPropertySignatureKeyTypeError({ propertyKey: number }))
+	});
+	else return Effect.fail(new UnsupportedPropertySignatureKeyTypeError({ propertyKey: name }));
+}), Effect.andThen((propertyNamesWithValidators) => pipe(propertyNamesWithValidators, Array.reduce({}, (acc, { propertyName, validator }) => ({
+	[propertyName]: validator,
+	...acc
+})), Effect.succeed)));
+const runSyncThrow = (effect) => pipe(effect, Effect.runSyncExit, Exit.match({
+	onSuccess: (validator) => validator,
+	onFailure: (cause) => {
+		throw Cause.squash(cause);
+	}
+}));
+var TopLevelMustBeObjectError = class extends Data.TaggedError("TopLevelMustBeObjectError") {
+	/* v8 ignore start */
+	get message() {
+		return "Top level schema must be an object";
+	}
+};
+var TopLevelMustBeObjectOrUnionError = class extends Data.TaggedError("TopLevelMustBeObjectOrUnionError") {
+	/* v8 ignore start */
+	get message() {
+		return "Top level schema must be an object or a union";
+	}
+};
+var UnsupportedPropertySignatureKeyTypeError = class extends Data.TaggedError("UnsupportedPropertySignatureKeyTypeError") {
+	/* v8 ignore start */
+	get message() {
+		return `Unsupported property signature '${this.propertyKey.toString()}'. Property is of type '${typeof this.propertyKey}' but only 'string' properties are supported.`;
+	}
+};
+var EmptyTupleIsNotSupportedError = class extends Data.TaggedError("EmptyTupleIsNotSupportedError") {
+	/* v8 ignore start */
+	get message() {
+		return "Tuple must have at least one element";
+	}
+};
+var UnsupportedSchemaTypeError = class extends Data.TaggedError("UnsupportedSchemaTypeError") {
+	/* v8 ignore start */
+	get message() {
+		return `Unsupported schema type '${this.schemaType}'`;
+	}
+};
+var IndexSignaturesAreNotSupportedError = class extends Data.TaggedError("IndexSignaturesAreNotSupportedError") {
+	/* v8 ignore start */
+	get message() {
+		return "Index signatures are not supported";
+	}
+};
+var MixedIndexAndPropertySignaturesAreNotSupportedError = class extends Data.TaggedError("MixedIndexAndPropertySignaturesAreNotSupportedError") {
+	/* v8 ignore start */
+	get message() {
+		return "Mixed index and property signatures are not supported";
+	}
+};
+var OptionalTupleElementsAreNotSupportedError = class extends Data.TaggedError("OptionalTupleElementsAreNotSupportedError") {
+	/* v8 ignore start */
+	get message() {
+		return "Optional tuple elements are not supported";
+	}
+};
+
+//#endregion
+export { EmptyTupleIsNotSupportedError, IndexSignaturesAreNotSupportedError, MixedIndexAndPropertySignaturesAreNotSupportedError, OptionalTupleElementsAreNotSupportedError, SchemaToValidator_exports, TopLevelMustBeObjectError, TopLevelMustBeObjectOrUnionError, UnsupportedPropertySignatureKeyTypeError, UnsupportedSchemaTypeError, compileArgsSchema, compileAst, compileReturnsSchema, compileSchema, compileTableSchema, isRecursive };
+//# sourceMappingURL=SchemaToValidator.js.map

package/dist/SchemaToValidator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaToValidator.js","names":["GenericId"],"sources":["../src/SchemaToValidator.ts"],"sourcesContent":["import type {\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  VOptional,\n  VRecord,\n  VString,\n  VUnion,\n} from \"convex/values\";\nimport { v } from \"convex/values\";\nimport {\n  Array,\n  Cause,\n  Data,\n  Effect,\n  Exit,\n  Match,\n  Number,\n  Option,\n  type ParseResult,\n  pipe,\n  Predicate,\n  Schema,\n  SchemaAST,\n  String,\n} from \"effect\";\n\nimport * as GenericId from \"@confect/core/GenericId\";\nimport type {\n  DeepMutable,\n  IsAny,\n  IsOptional,\n  IsRecord,\n  IsRecursive,\n  IsUnion,\n  IsValueLiteral,\n  TypeError,\n  UnionToTuple,\n} from \"@confect/core/Types\";\n\n// Args\n\nexport const compileArgsSchema = <ConfectValue, ConvexValue>(\n  argsSchema: Schema.Schema<ConfectValue, ConvexValue>,\n): PropertyValidators => {\n  const ast = Schema.encodedSchema(argsSchema).ast;\n\n  return pipe(\n    ast,\n    Match.value,\n    Match.tag(\"TypeLiteral\", (typeLiteralAst) =>\n      Array.isEmptyReadonlyArray(typeLiteralAst.indexSignatures)\n        ? handlePropertySignatures(typeLiteralAst)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectError())),\n    runSyncThrow,\n  );\n};\n\n// Returns\n\nexport const compileReturnsSchema = <ConfectValue, ConvexValue>(\n  schema: Schema.Schema<ConfectValue, ConvexValue>,\n): Validator<any, any, any> =>\n  runSyncThrow(compileAst(Schema.encodedSchema(schema).ast));\n\n// Table\n\n/**\n * Convert a table `Schema` to a table `Validator`.\n */\nexport type TableSchemaToTableValidator<\n  TableSchema extends Schema.Schema.AnyNoContext,\n> =\n  ValueToValidator<TableSchema[\"Encoded\"]> extends infer Vd extends\n    | VObject<any, any, any, any>\n    | VUnion<any, any, any, any>\n    ? Vd\n    : // TODO: Add type error message\n      never;\n\nexport const compileTableSchema = <\n  TableSchema extends Schema.Schema.AnyNoContext,\n>(\n  schema: TableSchema,\n): TableSchemaToTableValidator<TableSchema> => {\n  const ast = Schema.encodedSchema(schema).ast;\n\n  return pipe(\n    ast,\n    Match.value,\n    Match.tag(\"TypeLiteral\", ({ indexSignatures }) =>\n      Array.isEmptyReadonlyArray(indexSignatures)\n        ? (compileAst(ast) as Effect.Effect<any>)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.tag(\"Union\", (unionAst) => compileAst(unionAst)),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectOrUnionError())),\n    runSyncThrow,\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\nexport type ValueToValidator<Vl> =\n  IsRecursive<Vl> extends true\n    ? VAny\n    : [Vl] extends [never]\n      ? never\n      : IsAny<Vl> extends true\n        ? VAny\n        : [Vl] extends [ReadonlyValue]\n          ? Vl extends {\n              __tableName: infer TableName extends string;\n            }\n            ? VId<GenericId.GenericId<TableName>>\n            : IsValueLiteral<Vl> extends true\n              ? VLiteral<Vl>\n              : [Vl] extends [null]\n                ? VNull\n                : [Vl] extends [boolean]\n                  ? VBoolean\n                  : IsUnion<Vl> extends true\n                    ? UnionValueToValidator<Vl>\n                    : [Vl] extends [number]\n                      ? VFloat64\n                      : [Vl] extends [bigint]\n                        ? VInt64\n                        : [Vl] extends [string]\n                          ? VString\n                          : [Vl] extends [ArrayBuffer]\n                            ? VBytes\n                            : Vl extends ReadonlyArray<ReadonlyValue>\n                              ? ArrayValueToValidator<Vl>\n                              : Vl extends ReadonlyRecordValue\n                                ? RecordValueToValidator<Vl>\n                                : TypeError<\"Unexpected value\", Vl>\n          : TypeError<\"Provided value is not a valid Convex value\", Vl>;\n\ntype ArrayValueToValidator<Vl extends ReadonlyArray<ReadonlyValue>> =\n  Vl extends ReadonlyArray<infer El extends ReadonlyValue>\n    ? ValueToValidator<El> extends infer Vd extends Validator<any, any, any>\n      ? VArray<DeepMutable<El[]>, Vd>\n      : never\n    : never;\n\ntype RecordValueToValidator<Vl> = Vl extends ReadonlyRecordValue\n  ? {\n      -readonly [K in keyof Vl]-?: IsAny<Vl[K]> extends true\n        ? IsOptional<Vl, K> extends true\n          ? VOptional<VAny>\n          : VAny\n        : UndefinedOrValueToValidator<Vl[K]>;\n    } extends infer VdRecord extends Record<string, any>\n    ? {\n        -readonly [K in keyof Vl]: undefined extends Vl[K]\n          ? DeepMutable<Exclude<Vl[K], undefined>>\n          : DeepMutable<Vl[K]>;\n      } extends infer VlRecord extends Record<string, any>\n      ? IsRecord<VlRecord> extends true\n        ? VRecord<VlRecord, VString, VdRecord[keyof VdRecord]>\n        : VObject<VlRecord, VdRecord>\n      : never\n    : never\n  : never;\n\nexport type UndefinedOrValueToValidator<Vl extends ReadonlyValue | undefined> =\n  undefined extends Vl\n    ? [Vl] extends [(infer Val extends ReadonlyValue) | undefined]\n      ? ValueToValidator<Val> extends infer Vd extends Validator<\n          any,\n          \"required\",\n          any\n        >\n        ? VOptional<Vd>\n        : never\n      : never\n    : [Vl] extends [ReadonlyValue]\n      ? ValueToValidator<Vl>\n      : never;\n\ntype UnionValueToValidator<Vl extends ReadonlyValue> = [Vl] extends [\n  ReadonlyValue,\n]\n  ? IsUnion<Vl> extends true\n    ? UnionToTuple<Vl> extends infer VlTuple extends\n        ReadonlyArray<ReadonlyValue>\n      ? ValueTupleToValidatorTuple<VlTuple> extends infer VdTuple extends\n          Validator<any, \"required\", any>[]\n        ? VUnion<DeepMutable<Vl>, VdTuple>\n        : TypeError<\"Failed to convert value tuple to validator tuple\">\n      : TypeError<\"Failed to convert union to tuple\">\n    : TypeError<\"Expected a union of values, but got a single value instead\">\n  : TypeError<\"Provided value is not a valid Convex value\">;\n\ntype ValueTupleToValidatorTuple<VlTuple extends ReadonlyArray<ReadonlyValue>> =\n  VlTuple extends\n    | [true, false, ...infer VlRest extends ReadonlyArray<ReadonlyValue>]\n    | [false, true, ...infer VlRest extends ReadonlyArray<ReadonlyValue>]\n    ? ValueTupleToValidatorTuple<VlRest> extends infer VdRest extends Validator<\n        any,\n        any,\n        any\n      >[]\n      ? [VBoolean<boolean>, ...VdRest]\n      : never\n    : VlTuple extends [\n          infer Vl extends ReadonlyValue,\n          ...infer VlRest extends ReadonlyArray<ReadonlyValue>,\n        ]\n      ? ValueToValidator<Vl> extends infer Vd extends Validator<any, any, any>\n        ? ValueTupleToValidatorTuple<VlRest> extends infer VdRest extends\n            Validator<any, \"required\", any>[]\n          ? [Vd, ...VdRest]\n          : never\n        : never\n      : [];\n\nexport const compileSchema = <T, E>(\n  schema: Schema.Schema<T, E>,\n  // TODO: Can `ValueToValidator` here just accept `E` directly?\n): ValueToValidator<(typeof schema)[\"Encoded\"]> =>\n  runSyncThrow(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      \"BooleanKeyword\",\n      \"StringKeyword\",\n      \"NumberKeyword\",\n      \"BigIntKeyword\",\n      \"UnknownKeyword\",\n      \"AnyKeyword\",\n      \"Declaration\",\n      \"UniqueSymbol\",\n      \"SymbolKeyword\",\n      \"UndefinedKeyword\",\n      \"VoidKeyword\",\n      \"NeverKeyword\",\n      \"Enums\",\n      \"TemplateLiteral\",\n      \"ObjectKeyword\",\n      \"Transformation\",\n      () => false,\n    ),\n    Match.tag(\"Union\", ({ types }) =>\n      Array.some(types, (type) => isRecursive(type)),\n    ),\n    Match.tag(\"TypeLiteral\", ({ propertySignatures }) =>\n      Array.some(propertySignatures, ({ type }) => isRecursive(type)),\n    ),\n    Match.tag(\n      \"TupleType\",\n      ({ elements: optionalElements, rest: elements }) =>\n        Array.some(optionalElements, (optionalElement) =>\n          isRecursive(optionalElement.type),\n        ) || Array.some(elements, (element) => isRecursive(element.type)),\n    ),\n    Match.tag(\"Refinement\", ({ from }) => isRecursive(from)),\n    Match.tag(\"Suspend\", () => true),\n    Match.exhaustive,\n  );\n\nexport const compileAst = (\n  ast: SchemaAST.AST,\n  isOptionalPropertyOfTypeLiteral = false,\n): Effect.Effect<\n  Validator<any, any, any>,\n  | UnsupportedSchemaTypeError\n  | UnsupportedPropertySignatureKeyTypeError\n  | IndexSignaturesAreNotSupportedError\n  | MixedIndexAndPropertySignaturesAreNotSupportedError\n  | OptionalTupleElementsAreNotSupportedError\n  | EmptyTupleIsNotSupportedError\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.when(Match.null, () => v.null()),\n            Match.exhaustive,\n            Effect.succeed,\n          ),\n        ),\n        Match.tag(\"BooleanKeyword\", () => Effect.succeed(v.boolean())),\n        Match.tag(\"StringKeyword\", (stringAst) =>\n          GenericId.tableName(stringAst).pipe(\n            Option.match({\n              onNone: () => Effect.succeed(v.string()),\n              onSome: (tableName) => Effect.succeed(v.id(tableName)),\n            }),\n          ),\n        ),\n        Match.tag(\"NumberKeyword\", () => Effect.succeed(v.float64())),\n        Match.tag(\"BigIntKeyword\", () => Effect.succeed(v.int64())),\n        Match.tag(\"Union\", (unionAst) =>\n          handleUnion(unionAst, isOptionalPropertyOfTypeLiteral),\n        ),\n        Match.tag(\"TypeLiteral\", (typeLiteralAst) =>\n          handleTypeLiteral(typeLiteralAst),\n        ),\n        Match.tag(\"TupleType\", (tupleTypeAst) => handleTupleType(tupleTypeAst)),\n        Match.tag(\"UnknownKeyword\", \"AnyKeyword\", () =>\n          Effect.succeed(v.any()),\n        ),\n        Match.tag(\"Declaration\", (declaration) =>\n          Effect.mapBoth(\n            declaration.decodeUnknown(...declaration.typeParameters)(\n              new ArrayBuffer(0),\n              {},\n              declaration,\n            ) as Effect.Effect<ArrayBuffer, ParseResult.ParseIssue>,\n            {\n              onSuccess: () => v.bytes(),\n              onFailure: () =>\n                new UnsupportedSchemaTypeError({\n                  schemaType: declaration._tag,\n                }),\n            },\n          ),\n        ),\n        Match.tag(\"Refinement\", ({ from }) => compileAst(from)),\n        Match.tag(\"Suspend\", () => Effect.succeed(v.any())),\n        Match.tag(\n          \"UniqueSymbol\",\n          \"SymbolKeyword\",\n          \"UndefinedKeyword\",\n          \"VoidKeyword\",\n          \"NeverKeyword\",\n          \"Enums\",\n          \"TemplateLiteral\",\n          \"ObjectKeyword\",\n          \"Transformation\",\n          () =>\n            new UnsupportedSchemaTypeError({\n              schemaType: ast._tag,\n            }),\n        ),\n        Match.exhaustive,\n      );\n\nconst handleUnion = (\n  { types: [first, second, ...rest] }: SchemaAST.Union,\n  isOptionalPropertyOfTypeLiteral: boolean,\n) =>\n  Effect.gen(function* () {\n    const validatorEffects = isOptionalPropertyOfTypeLiteral\n      ? Array.filterMap([first, second, ...rest], (type) =>\n          Predicate.not(SchemaAST.isUndefinedKeyword)(type)\n            ? Option.some(compileAst(type))\n            : Option.none(),\n        )\n      : Array.map([first, second, ...rest], (type) => compileAst(type));\n\n    const [firstValidator, secondValidator, ...restValidators] =\n      yield* Effect.all(validatorEffects);\n\n    /* v8 ignore start */\n    if (firstValidator === undefined) {\n      return yield* Effect.dieMessage(\n        \"First validator of union is undefined; this should be impossible.\",\n      );\n      /* v8 ignore stop */\n    } else if (secondValidator === undefined) {\n      return firstValidator;\n    } else {\n      return v.union(firstValidator, secondValidator, ...restValidators);\n    }\n  });\n\nconst handleTypeLiteral = (typeLiteralAst: SchemaAST.TypeLiteral) =>\n  pipe(\n    typeLiteralAst.indexSignatures,\n    Array.head,\n    Option.match({\n      onNone: () =>\n        Effect.map(handlePropertySignatures(typeLiteralAst), v.object),\n      onSome: ({ parameter, type }) =>\n        pipe(\n          typeLiteralAst.propertySignatures,\n          Array.head,\n          Option.match({\n            onNone: () =>\n              Effect.map(\n                Effect.all({\n                  parameter_: compileAst(parameter),\n                  type_: compileAst(type),\n                }),\n                ({ parameter_, type_ }) => v.record(parameter_, type_),\n              ),\n            onSome: () =>\n              Effect.fail(\n                new MixedIndexAndPropertySignaturesAreNotSupportedError(),\n              ),\n          }),\n        ),\n    }),\n  );\n\nconst handleTupleType = ({ elements, rest }: SchemaAST.TupleType) =>\n  Effect.gen(function* () {\n    const restValidator = pipe(\n      rest,\n      Array.head,\n      Option.map(({ type }) => compileAst(type)),\n      Effect.flatten,\n    );\n\n    const [f, s, ...r] = elements;\n\n    const elementToValidator = ({ type, isOptional }: SchemaAST.OptionalType) =>\n      Effect.if(isOptional, {\n        onTrue: () =>\n          Effect.fail(new OptionalTupleElementsAreNotSupportedError()),\n        onFalse: () => compileAst(type),\n      });\n\n    const arrayItemsValidator = yield* f === undefined\n      ? pipe(\n          restValidator,\n          Effect.catchTag(\"NoSuchElementException\", () =>\n            Effect.fail(new EmptyTupleIsNotSupportedError()),\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 = (typeLiteralAst: SchemaAST.TypeLiteral) =>\n  pipe(\n    typeLiteralAst.propertySignatures,\n    Effect.forEach(({ type, name, isOptional }) => {\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);\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\nconst runSyncThrow = <A, E>(effect: Effect.Effect<A, E>) =>\n  pipe(\n    effect,\n    Effect.runSyncExit,\n    Exit.match({\n      onSuccess: (validator) => validator,\n      onFailure: (cause) => {\n        throw Cause.squash(cause);\n      },\n    }),\n  );\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 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":";;;;;;;;;;;;;;;;;;;;;;AAmDA,MAAa,qBACX,eACuB;CACvB,MAAM,MAAM,OAAO,cAAc,WAAW,CAAC;AAE7C,QAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,gBAAgB,mBACxB,MAAM,qBAAqB,eAAe,gBAAgB,GACtD,yBAAyB,eAAe,GACxC,OAAO,KAAK,IAAI,qCAAqC,CAAC,CAC3D,EACD,MAAM,aAAa,OAAO,KAAK,IAAI,2BAA2B,CAAC,CAAC,EAChE,aACD;;AAKH,MAAa,wBACX,WAEA,aAAa,WAAW,OAAO,cAAc,OAAO,CAAC,IAAI,CAAC;AAiB5D,MAAa,sBAGX,WAC6C;CAC7C,MAAM,MAAM,OAAO,cAAc,OAAO,CAAC;AAEzC,QAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,gBAAgB,EAAE,sBAC1B,MAAM,qBAAqB,gBAAgB,GACtC,WAAW,IAAI,GAChB,OAAO,KAAK,IAAI,qCAAqC,CAAC,CAC3D,EACD,MAAM,IAAI,UAAU,aAAa,WAAW,SAAS,CAAC,EACtD,MAAM,aAAa,OAAO,KAAK,IAAI,kCAAkC,CAAC,CAAC,EACvE,aACD;;AAuIH,MAAa,iBACX,WAGA,aAAa,WAAW,OAAO,IAAI,CAAC;AAEtC,MAAa,eAAe,QAC1B,KACE,KACA,MAAM,OACN,MAAM,IACJ,WACA,kBACA,iBACA,iBACA,iBACA,kBACA,cACA,eACA,gBACA,iBACA,oBACA,eACA,gBACA,SACA,mBACA,iBACA,wBACM,MACP,EACD,MAAM,IAAI,UAAU,EAAE,YACpB,MAAM,KAAK,QAAQ,SAAS,YAAY,KAAK,CAAC,CAC/C,EACD,MAAM,IAAI,gBAAgB,EAAE,yBAC1B,MAAM,KAAK,qBAAqB,EAAE,WAAW,YAAY,KAAK,CAAC,CAChE,EACD,MAAM,IACJ,cACC,EAAE,UAAU,kBAAkB,MAAM,eACnC,MAAM,KAAK,mBAAmB,oBAC5B,YAAY,gBAAgB,KAAK,CAClC,IAAI,MAAM,KAAK,WAAW,YAAY,YAAY,QAAQ,KAAK,CAAC,CACpE,EACD,MAAM,IAAI,eAAe,EAAE,WAAW,YAAY,KAAK,CAAC,EACxD,MAAM,IAAI,iBAAiB,KAAK,EAChC,MAAM,WACP;AAEH,MAAa,cACX,KACA,kCAAkC,UAUlC,YAAY,IAAI,GACZ,OAAO,QAAQ,EAAE,KAAK,CAAC,GACvB,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,EAAE,CACpB,EACD,MAAM,KAAK,MAAM,YAAY,EAAE,MAAM,CAAC,EACtC,MAAM,YACN,OAAO,QACR,CACF,EACD,MAAM,IAAI,wBAAwB,OAAO,QAAQ,EAAE,SAAS,CAAC,CAAC,EAC9D,MAAM,IAAI,kBAAkB,cAC1BA,YAAU,UAAU,UAAU,CAAC,KAC7B,OAAO,MAAM;CACX,cAAc,OAAO,QAAQ,EAAE,QAAQ,CAAC;CACxC,SAAS,cAAc,OAAO,QAAQ,EAAE,GAAG,UAAU,CAAC;CACvD,CAAC,CACH,CACF,EACD,MAAM,IAAI,uBAAuB,OAAO,QAAQ,EAAE,SAAS,CAAC,CAAC,EAC7D,MAAM,IAAI,uBAAuB,OAAO,QAAQ,EAAE,OAAO,CAAC,CAAC,EAC3D,MAAM,IAAI,UAAU,aAClB,YAAY,UAAU,gCAAgC,CACvD,EACD,MAAM,IAAI,gBAAgB,mBACxB,kBAAkB,eAAe,CAClC,EACD,MAAM,IAAI,cAAc,iBAAiB,gBAAgB,aAAa,CAAC,EACvE,MAAM,IAAI,kBAAkB,oBAC1B,OAAO,QAAQ,EAAE,KAAK,CAAC,CACxB,EACD,MAAM,IAAI,gBAAgB,gBACxB,OAAO,QACL,YAAY,cAAc,GAAG,YAAY,eAAe,iBACtD,IAAI,YAAY,EAAE,EAClB,EAAE,EACF,YACD,EACD;CACE,iBAAiB,EAAE,OAAO;CAC1B,iBACE,IAAI,2BAA2B,EAC7B,YAAY,YAAY,MACzB,CAAC;CACL,CACF,CACF,EACD,MAAM,IAAI,eAAe,EAAE,WAAW,WAAW,KAAK,CAAC,EACvD,MAAM,IAAI,iBAAiB,OAAO,QAAQ,EAAE,KAAK,CAAC,CAAC,EACnD,MAAM,IACJ,gBACA,iBACA,oBACA,eACA,gBACA,SACA,mBACA,iBACA,wBAEE,IAAI,2BAA2B,EAC7B,YAAY,IAAI,MACjB,CAAC,CACL,EACD,MAAM,WACP;AAEP,MAAM,eACJ,EAAE,OAAO,CAAC,OAAO,QAAQ,GAAG,SAC5B,oCAEA,OAAO,IAAI,aAAa;CACtB,MAAM,mBAAmB,kCACrB,MAAM,UAAU;EAAC;EAAO;EAAQ,GAAG;EAAK,GAAG,SACzC,UAAU,IAAI,UAAU,mBAAmB,CAAC,KAAK,GAC7C,OAAO,KAAK,WAAW,KAAK,CAAC,GAC7B,OAAO,MAAM,CAClB,GACD,MAAM,IAAI;EAAC;EAAO;EAAQ,GAAG;EAAK,GAAG,SAAS,WAAW,KAAK,CAAC;CAEnE,MAAM,CAAC,gBAAgB,iBAAiB,GAAG,kBACzC,OAAO,OAAO,IAAI,iBAAiB;;AAGrC,KAAI,mBAAmB,OACrB,QAAO,OAAO,OAAO,WACnB,oEACD;UAEQ,oBAAoB,OAC7B,QAAO;KAEP,QAAO,EAAE,MAAM,gBAAgB,iBAAiB,GAAG,eAAe;EAEpE;AAEJ,MAAM,qBAAqB,mBACzB,KACE,eAAe,iBACf,MAAM,MACN,OAAO,MAAM;CACX,cACE,OAAO,IAAI,yBAAyB,eAAe,EAAE,EAAE,OAAO;CAChE,SAAS,EAAE,WAAW,WACpB,KACE,eAAe,oBACf,MAAM,MACN,OAAO,MAAM;EACX,cACE,OAAO,IACL,OAAO,IAAI;GACT,YAAY,WAAW,UAAU;GACjC,OAAO,WAAW,KAAK;GACxB,CAAC,GACD,EAAE,YAAY,YAAY,EAAE,OAAO,YAAY,MAAM,CACvD;EACH,cACE,OAAO,KACL,IAAI,qDAAqD,CAC1D;EACJ,CAAC,CACH;CACJ,CAAC,CACH;AAEH,MAAM,mBAAmB,EAAE,UAAU,WACnC,OAAO,IAAI,aAAa;CACtB,MAAM,gBAAgB,KACpB,MACA,MAAM,MACN,OAAO,KAAK,EAAE,WAAW,WAAW,KAAK,CAAC,EAC1C,OAAO,QACR;CAED,MAAM,CAAC,GAAG,GAAG,GAAG,KAAK;CAErB,MAAM,sBAAsB,EAAE,MAAM,iBAClC,OAAO,GAAG,YAAY;EACpB,cACE,OAAO,KAAK,IAAI,2CAA2C,CAAC;EAC9D,eAAe,WAAW,KAAK;EAChC,CAAC;CAEJ,MAAM,sBAAsB,OAAO,MAAM,SACrC,KACE,eACA,OAAO,SAAS,gCACd,OAAO,KAAK,IAAI,+BAA+B,CAAC,CACjD,CACF,GACD,MAAM,SACJ,mBAAmB,EAAE,GACrB,OAAO,IAAI,aAAa;EACtB,MAAM,iBAAiB,OAAO,mBAAmB,EAAE;EACnD,MAAM,kBAAkB,OAAO,mBAAmB,EAAE;EACpD,MAAM,iBAAiB,OAAO,OAAO,QAAQ,GAAG,mBAAmB;AAEnE,SAAO,EAAE,MAAM,gBAAgB,iBAAiB,GAAG,eAAe;GAClE;AAER,QAAO,EAAE,MAAM,oBAAoB;EACnC;AAEJ,MAAM,4BAA4B,mBAChC,KACE,eAAe,oBACf,OAAO,SAAS,EAAE,MAAM,MAAM,iBAAiB;AAC7C,KAAI,OAAO,SAAS,KAAK,CAEvB,QAAO,OAAO,MAAM,OAAO,MAAM,KAAK,EAAE;EACtC,cACE,OAAO,IAAI,aAAa;GACtB,MAAM,YAAY,OAAO,WAAW,MAAM,WAAW;AAErD,UAAO;IACL,cAAc;IACd,WAAW,aAAa,EAAE,SAAS,UAAU,GAAG;IACjD;IACD;EACJ,SAAS,WACP,OAAO,KACL,IAAI,yCAAyC,EAC3C,aAAa,QACd,CAAC,CACH;EACJ,CAAC;KAEF,QAAO,OAAO,KACZ,IAAI,yCAAyC,EAAE,aAAa,MAAM,CAAC,CACpE;EAEH,EACF,OAAO,SAAS,gCACd,KACE,6BACA,MAAM,OACJ,EAAE,GACD,KAAK,EAAE,cAAc,iBAAiB;EACpC,eAAe;CAChB,GAAG;CACJ,EACF,EACD,OAAO,QACR,CACF,CACF;AAIH,MAAM,gBAAsB,WAC1B,KACE,QACA,OAAO,aACP,KAAK,MAAM;CACT,YAAY,cAAc;CAC1B,YAAY,UAAU;AACpB,QAAM,MAAM,OAAO,MAAM;;CAE5B,CAAC,CACH;AAEH,IAAa,4BAAb,cAA+C,KAAK,YAClD,4BACD,CAAC;;CAEA,IAAa,UAAU;AACrB,SAAO;;;AAKX,IAAa,mCAAb,cAAsD,KAAK,YACzD,mCACD,CAAC;;CAEA,IAAa,UAAU;AACrB,SAAO;;;AAKX,IAAa,2CAAb,cAA8D,KAAK,YACjE,2CACD,CAEE;;CAED,IAAa,UAAU;AACrB,SAAO,mCAAmC,KAAK,YAAY,UAAU,CAAC,0BAA0B,OAAO,KAAK,YAAY;;;AAK5H,IAAa,gCAAb,cAAmD,KAAK,YACtD,gCACD,CAAC;;CAEA,IAAa,UAAU;AACrB,SAAO;;;AAKX,IAAa,6BAAb,cAAgD,KAAK,YACnD,6BACD,CAEE;;CAED,IAAa,UAAU;AACrB,SAAO,4BAA4B,KAAK,WAAW;;;AAKvD,IAAa,sCAAb,cAAyD,KAAK,YAC5D,sCACD,CAAC;;CAEA,IAAa,UAAU;AACrB,SAAO;;;AAKX,IAAa,sDAAb,cAAyE,KAAK,YAC5E,sDACD,CAAC;;CAEA,IAAa,UAAU;AACrB,SAAO;;;AAKX,IAAa,4CAAb,cAA+D,KAAK,YAClE,4CACD,CAAC;;CAEA,IAAa,UAAU;AACrB,SAAO"}

package/dist/Storage.d.ts

@@ -0,0 +1,69 @@
+import { Effect, Layer, Schema } from "effect";
+import { StorageActionWriter as StorageActionWriter$1, StorageReader as StorageReader$1, StorageWriter as StorageWriter$1 } from "convex/server";
+import { GenericId } from "convex/values";
+import * as effect_Context0 from "effect/Context";
+import * as effect_Cause0 from "effect/Cause";
+
+//#region src/Storage.d.ts
+declare namespace Storage_d_exports {
+  export { BlobNotFoundError, StorageActionWriter, StorageReader, StorageWriter };
+}
+declare const StorageReader_base: effect_Context0.TagClass<StorageReader, "@confect/server/Storage/StorageReader", {
+  getUrl: (storageId: GenericId<"_storage">) => Effect.Effect<URL, BlobNotFoundError, never>;
+}> & Effect.Tag.Proxy<StorageReader, {
+  getUrl: (storageId: GenericId<"_storage">) => Effect.Effect<URL, BlobNotFoundError, never>;
+}> & {
+  use: <X>(body: (_: {
+    getUrl: (storageId: GenericId<"_storage">) => Effect.Effect<URL, BlobNotFoundError, never>;
+  }) => X) => [X] extends [Effect.Effect<infer A, infer E, infer R>] ? Effect.Effect<A, E, R | StorageReader> : [X] extends [PromiseLike<infer A_1>] ? Effect.Effect<A_1, effect_Cause0.UnknownException, StorageReader> : Effect.Effect<X, never, StorageReader>;
+};
+declare class StorageReader extends StorageReader_base {
+  static readonly layer: (storageReader: StorageReader$1) => Layer.Layer<StorageReader, never, never>;
+}
+declare const StorageWriter_base: effect_Context0.TagClass<StorageWriter, "@confect/server/Storage/StorageWriter", {
+  generateUploadUrl: () => Effect.Effect<URL, never, never>;
+  delete: (storageId: GenericId<"_storage">) => Effect.Effect<void, BlobNotFoundError, never>;
+}> & Effect.Tag.Proxy<StorageWriter, {
+  generateUploadUrl: () => Effect.Effect<URL, never, never>;
+  delete: (storageId: GenericId<"_storage">) => Effect.Effect<void, BlobNotFoundError, never>;
+}> & {
+  use: <X>(body: (_: {
+    generateUploadUrl: () => Effect.Effect<URL, never, never>;
+    delete: (storageId: GenericId<"_storage">) => Effect.Effect<void, BlobNotFoundError, never>;
+  }) => X) => [X] extends [Effect.Effect<infer A, infer E, infer R>] ? Effect.Effect<A, E, R | StorageWriter> : [X] extends [PromiseLike<infer A_1>] ? Effect.Effect<A_1, effect_Cause0.UnknownException, StorageWriter> : Effect.Effect<X, never, StorageWriter>;
+};
+declare class StorageWriter extends StorageWriter_base {
+  static readonly layer: (storageWriter: StorageWriter$1) => Layer.Layer<StorageWriter, never, never>;
+}
+declare const StorageActionWriter_base: effect_Context0.TagClass<StorageActionWriter, "@confect/server/Storage/StorageActionWriter", {
+  get: (storageId: GenericId<"_storage">) => Effect.Effect<Blob, BlobNotFoundError, never>;
+  store: (blob: Blob, options?: {
+    sha256?: string;
+  }) => Effect.Effect<GenericId<"_storage">, never, never>;
+}> & Effect.Tag.Proxy<StorageActionWriter, {
+  get: (storageId: GenericId<"_storage">) => Effect.Effect<Blob, BlobNotFoundError, never>;
+  store: (blob: Blob, options?: {
+    sha256?: string;
+  }) => Effect.Effect<GenericId<"_storage">, never, never>;
+}> & {
+  use: <X>(body: (_: {
+    get: (storageId: GenericId<"_storage">) => Effect.Effect<Blob, BlobNotFoundError, never>;
+    store: (blob: Blob, options?: {
+      sha256?: string;
+    }) => Effect.Effect<GenericId<"_storage">, never, never>;
+  }) => X) => [X] extends [Effect.Effect<infer A, infer E, infer R>] ? Effect.Effect<A, E, R | StorageActionWriter> : [X] extends [PromiseLike<infer A_1>] ? Effect.Effect<A_1, effect_Cause0.UnknownException, StorageActionWriter> : Effect.Effect<X, never, StorageActionWriter>;
+};
+declare class StorageActionWriter extends StorageActionWriter_base {
+  static readonly layer: (storageActionWriter: StorageActionWriter$1) => Layer.Layer<StorageActionWriter, never, never>;
+}
+declare const BlobNotFoundError_base: Schema.TaggedErrorClass<BlobNotFoundError, "BlobNotFoundError", {
+  readonly _tag: Schema.tag<"BlobNotFoundError">;
+} & {
+  id: typeof Schema.String;
+}>;
+declare class BlobNotFoundError extends BlobNotFoundError_base {
+  get message(): string;
+}
+//#endregion
+export { BlobNotFoundError, StorageActionWriter, StorageReader, StorageWriter, Storage_d_exports };
+//# sourceMappingURL=Storage.d.ts.map

package/dist/Storage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Storage.d.ts","names":[],"sources":["../src/Storage.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;cAMmE,oBAGxB,eAAA,CAAA;sBAArB,0BAAqB,MAAA,CAAA,OAAA,KAAA;;sBAArB,0BAAqB,MAAA,CAAA,OAAA,KAAA;;;wBAArB,0BAAqB,MAAA,CAAA,OAAA,KAAA;;;cA+C9B,aAAA,SAAsB,kBAAA;yCAGO,oBAAmB,KAAA,CAAA,MAAA;AArDM;cAuDlE,oBA/B0C,eAAA,CAAA;EArBrB,iBAAA,EAAA,GAAA,gBAAA,IAAA,EAAA,KAAA,EAAA,KAAA,CAAA;EAAqB,MAAA,EAAA,CAAA,SAAA,EAqBrB,SArBqB,CAAA,UAAA,CAAA,EAAA,GAqBA,MAAA,CAAA,MArBA,CAAA,IAAA,EAqBA,iBArBA,EAAA,KAAA,CAAA;CAAA,CAAA,mBAAA,cAAA,EAAA;EAAA,iBAAA,EAAA,GAAA,gBAAA,IAAA,EAAA,KAAA,EAAA,KAAA,CAAA;EAAA,MAAA,EAAA,CAAA,SAAA,EAqBrB,SArBqB,CAAA,UAAA,CAAA,EAAA,GAqBA,MAAA,CAAA,MArBA,CAAA,IAAA,EAqBA,iBArBA,EAAA,KAAA,CAAA;;EAArB,GAAA,EAAA,CAAA,CAAA,CAAA,CAAA,IAAA,EAAA,CAAA,CAAA,EAAA;IAAqB,iBAAA,EAAA,GAAA,gBAAA,IAAA,EAAA,KAAA,EAAA,KAAA,CAAA;IAAA,MAAA,EAAA,CAAA,SAAA,EAqBrB,SArBqB,CAAA,UAAA,CAAA,EAAA,GAqBA,MAAA,CAAA,MArBA,CAAA,IAAA,EAqBA,iBArBA,EAAA,KAAA,CAAA;EAAA,CAAA,EAAA,IAAA,EAAA,GAAA,EAAA,CAAA,SAAA,cAAA,CAAA,KAAA,EAAA,EAAA,KAAA,EAAA,EAAA,KAAA,EAAA,CAAA,CAAA,gBAAA,EAAA,GAAA,GAAA,gBAAA,CAAA,GAAA,EAAA,CAAA,SAAA,YAAA,CAAA,KAAA,IAAA,CAAA,CAAA,gBAAA,IAAA,+CAAA,CAAA,gBAAA,EAAA,EAAA,KAAA,eAAA,CAAA;;AAArB,cAsDT,aAAA,SAAsB,kBAAA,CAtDb;EAAqB,gBAAA,KAAA,EAAA,CAAA,aAAA,EAyDD,eAzDC,EAAA,GAyDkB,KAAA,CAAA,KAzDlB,CAyDkB,aAzDlB,EAAA,KAAA,EAAA,KAAA,CAAA;;cA2D1C,wBA3D0C,EA2CQ,eAAA,CAAA,QA3CR,oBAAA,EAAA,6CAAA,EAAA;mBA+BxB,0BAAqB,MAAA,CAAA,OAAA,MAAA;gBAYxB;;QAAmC,MAAA,CAAA,OAAA;;mBAZhC,0BAAqB,MAAA,CAAA,OAAA,MAAA;gBAYxB;;QAAmC,MAAA,CAAA,OAAA;;;qBAZhC,0BAAqB,MAAA,CAAA,OAAA,MAAA;kBAYxB;;UAAmC,MAAA,CAAA,OAAA;;;cAkBtC,mBAAA,SAA4B,wBAAA;EAd5B,gBAAc,KAAA,EAAA,CAAA,mBAAA,EAiBqB,qBAjBrB,EAAA,GAiB8C,KAAA,CAAA,KAjB9C,CAiB8C,mBAjB9C,EAAA,KAAA,EAAA,KAAA,CAAA;;cAmB1B,sBAhB4D,yBAAA,kBAAA,EAAA,mBAAA,EAAA;EAAA,SAAA,IAAA,YAAA,CAAA,mBAAA,CAAA;CAH1B,GAAA;EAEqB,EAAA,EAAA,oBAAA;AAGvD,CAAA,CAAA;cAgBY,iBAAA,SAA0B,sBAAA"}

package/dist/Storage.js

@@ -0,0 +1,46 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { Effect, Layer, Option, Schema, flow, pipe } from "effect";
+
+//#region src/Storage.ts
+var Storage_exports = /* @__PURE__ */ __export({
+	BlobNotFoundError: () => BlobNotFoundError,
+	StorageActionWriter: () => StorageActionWriter,
+	StorageReader: () => StorageReader,
+	StorageWriter: () => StorageWriter
+});
+const makeStorageReader = (storageReader) => ({ getUrl: (storageId) => Effect.promise(() => storageReader.getUrl(storageId)).pipe(Effect.andThen(flow(Option.fromNullable, Option.match({
+	onNone: () => Effect.fail(new BlobNotFoundError({ id: storageId })),
+	onSome: (doc) => pipe(doc, Schema.decode(Schema.URL), Effect.orDie)
+})))) });
+const makeStorageWriter = (storageWriter) => ({
+	generateUploadUrl: () => Effect.promise(() => storageWriter.generateUploadUrl()).pipe(Effect.andThen((url) => pipe(url, Schema.decode(Schema.URL), Effect.orDie))),
+	delete: (storageId) => Effect.tryPromise({
+		try: () => storageWriter.delete(storageId),
+		catch: () => new BlobNotFoundError({ id: storageId })
+	})
+});
+const makeStorageActionWriter = (storageActionWriter) => ({
+	get: (storageId) => Effect.promise(() => storageActionWriter.get(storageId)).pipe(Effect.andThen(flow(Option.fromNullable, Option.match({
+		onNone: () => Effect.fail(new BlobNotFoundError({ id: storageId })),
+		onSome: Effect.succeed
+	})))),
+	store: (blob, options) => Effect.promise(() => storageActionWriter.store(blob, options))
+});
+var StorageReader = class extends Effect.Tag("@confect/server/Storage/StorageReader")() {
+	static layer = (storageReader) => Layer.succeed(this, makeStorageReader(storageReader));
+};
+var StorageWriter = class extends Effect.Tag("@confect/server/Storage/StorageWriter")() {
+	static layer = (storageWriter) => Layer.succeed(this, makeStorageWriter(storageWriter));
+};
+var StorageActionWriter = class extends Effect.Tag("@confect/server/Storage/StorageActionWriter")() {
+	static layer = (storageActionWriter) => Layer.succeed(this, makeStorageActionWriter(storageActionWriter));
+};
+var BlobNotFoundError = class extends Schema.TaggedError("BlobNotFoundError")("BlobNotFoundError", { id: Schema.String }) {
+	get message() {
+		return `File with ID '${this.id}' not found`;
+	}
+};
+
+//#endregion
+export { BlobNotFoundError, StorageActionWriter, StorageReader, StorageWriter, Storage_exports };
+//# sourceMappingURL=Storage.js.map

package/dist/Storage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Storage.js","names":[],"sources":["../src/Storage.ts"],"sourcesContent":["import type {\n  StorageActionWriter as ConvexStorageActionWriter,\n  StorageReader as ConvexStorageReader,\n  StorageWriter as ConvexStorageWriter,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\nimport { Effect, flow, Layer, Option, pipe, Schema } from \"effect\";\n\nconst makeStorageReader = (storageReader: ConvexStorageReader) => ({\n  getUrl: (storageId: GenericId<\"_storage\">) =>\n    Effect.promise(() => storageReader.getUrl(storageId)).pipe(\n      Effect.andThen(\n        flow(\n          Option.fromNullable,\n          Option.match({\n            onNone: () => Effect.fail(new BlobNotFoundError({ id: storageId })),\n            onSome: (doc) => pipe(doc, Schema.decode(Schema.URL), Effect.orDie),\n          }),\n        ),\n      ),\n    ),\n});\n\nconst makeStorageWriter = (storageWriter: ConvexStorageWriter) => ({\n  generateUploadUrl: () =>\n    Effect.promise(() => storageWriter.generateUploadUrl()).pipe(\n      Effect.andThen((url) =>\n        pipe(url, Schema.decode(Schema.URL), Effect.orDie),\n      ),\n    ),\n  delete: (storageId: GenericId<\"_storage\">) =>\n    Effect.tryPromise({\n      try: () => storageWriter.delete(storageId),\n      catch: () => new BlobNotFoundError({ id: storageId }),\n    }),\n});\n\nconst makeStorageActionWriter = (\n  storageActionWriter: ConvexStorageActionWriter,\n) => ({\n  get: (storageId: GenericId<\"_storage\">) =>\n    Effect.promise(() => storageActionWriter.get(storageId)).pipe(\n      Effect.andThen(\n        flow(\n          Option.fromNullable,\n          Option.match({\n            onNone: () => Effect.fail(new BlobNotFoundError({ id: storageId })),\n            onSome: Effect.succeed,\n          }),\n        ),\n      ),\n    ),\n  store: (blob: Blob, options?: { sha256?: string }) =>\n    Effect.promise(() => storageActionWriter.store(blob, options)),\n});\n\nexport class StorageReader extends Effect.Tag(\n  \"@confect/server/Storage/StorageReader\",\n)<StorageReader, ReturnType<typeof makeStorageReader>>() {\n  static readonly layer = (storageReader: ConvexStorageReader) =>\n    Layer.succeed(this, makeStorageReader(storageReader));\n}\n\nexport class StorageWriter extends Effect.Tag(\n  \"@confect/server/Storage/StorageWriter\",\n)<StorageWriter, ReturnType<typeof makeStorageWriter>>() {\n  static readonly layer = (storageWriter: ConvexStorageWriter) =>\n    Layer.succeed(this, makeStorageWriter(storageWriter));\n}\n\nexport class StorageActionWriter extends Effect.Tag(\n  \"@confect/server/Storage/StorageActionWriter\",\n)<StorageActionWriter, ReturnType<typeof makeStorageActionWriter>>() {\n  static readonly layer = (storageActionWriter: ConvexStorageActionWriter) =>\n    Layer.succeed(this, makeStorageActionWriter(storageActionWriter));\n}\n\nexport class BlobNotFoundError extends Schema.TaggedError<BlobNotFoundError>(\n  \"BlobNotFoundError\",\n)(\"BlobNotFoundError\", {\n  id: Schema.String,\n}) {\n  override get message(): string {\n    return `File with ID '${this.id}' not found`;\n  }\n}\n"],"mappings":";;;;;;;;;;AAQA,MAAM,qBAAqB,mBAAwC,EACjE,SAAS,cACP,OAAO,cAAc,cAAc,OAAO,UAAU,CAAC,CAAC,KACpD,OAAO,QACL,KACE,OAAO,cACP,OAAO,MAAM;CACX,cAAc,OAAO,KAAK,IAAI,kBAAkB,EAAE,IAAI,WAAW,CAAC,CAAC;CACnE,SAAS,QAAQ,KAAK,KAAK,OAAO,OAAO,OAAO,IAAI,EAAE,OAAO,MAAM;CACpE,CAAC,CACH,CACF,CACF,EACJ;AAED,MAAM,qBAAqB,mBAAwC;CACjE,yBACE,OAAO,cAAc,cAAc,mBAAmB,CAAC,CAAC,KACtD,OAAO,SAAS,QACd,KAAK,KAAK,OAAO,OAAO,OAAO,IAAI,EAAE,OAAO,MAAM,CACnD,CACF;CACH,SAAS,cACP,OAAO,WAAW;EAChB,WAAW,cAAc,OAAO,UAAU;EAC1C,aAAa,IAAI,kBAAkB,EAAE,IAAI,WAAW,CAAC;EACtD,CAAC;CACL;AAED,MAAM,2BACJ,yBACI;CACJ,MAAM,cACJ,OAAO,cAAc,oBAAoB,IAAI,UAAU,CAAC,CAAC,KACvD,OAAO,QACL,KACE,OAAO,cACP,OAAO,MAAM;EACX,cAAc,OAAO,KAAK,IAAI,kBAAkB,EAAE,IAAI,WAAW,CAAC,CAAC;EACnE,QAAQ,OAAO;EAChB,CAAC,CACH,CACF,CACF;CACH,QAAQ,MAAY,YAClB,OAAO,cAAc,oBAAoB,MAAM,MAAM,QAAQ,CAAC;CACjE;AAED,IAAa,gBAAb,cAAmC,OAAO,IACxC,wCACD,EAAuD,CAAC;CACvD,OAAgB,SAAS,kBACvB,MAAM,QAAQ,MAAM,kBAAkB,cAAc,CAAC;;AAGzD,IAAa,gBAAb,cAAmC,OAAO,IACxC,wCACD,EAAuD,CAAC;CACvD,OAAgB,SAAS,kBACvB,MAAM,QAAQ,MAAM,kBAAkB,cAAc,CAAC;;AAGzD,IAAa,sBAAb,cAAyC,OAAO,IAC9C,8CACD,EAAmE,CAAC;CACnE,OAAgB,SAAS,wBACvB,MAAM,QAAQ,MAAM,wBAAwB,oBAAoB,CAAC;;AAGrE,IAAa,oBAAb,cAAuC,OAAO,YAC5C,oBACD,CAAC,qBAAqB,EACrB,IAAI,OAAO,QACZ,CAAC,CAAC;CACD,IAAa,UAAkB;AAC7B,SAAO,iBAAiB,KAAK,GAAG"}

package/dist/Table.d.ts

@@ -0,0 +1,247 @@
+import { TableSchemaToTableValidator } from "./SchemaToValidator.js";
+import { Schema } from "effect";
+import { Expand, GenericTableIndexes, GenericTableSearchIndexes, GenericTableVectorIndexes, IndexTiebreakerField, SearchIndexConfig, SystemFields, TableDefinition, VectorIndexConfig } from "convex/server";
+import * as SystemFields$1 from "@confect/core/SystemFields";
+import * as convex_values16 from "convex/values";
+import { GenericValidator, Validator } from "convex/values";
+
+//#region src/Table.d.ts
+declare namespace Table_d_exports {
+  export { Any, AnyWithProps, Doc, Fields, Indexes, Name, SearchIndexes, SystemTables, Table, TableSchema, TableValidator, TablesRecord, TypeId, VectorIndexes, WithName, isTable, make, scheduledFunctionsTable, storageTable, systemTables };
+}
+declare const TypeId = "@confect/server/Table";
+type TypeId = typeof TypeId;
+declare const isTable: (u: unknown) => u is Any;
+interface Table<Name_ extends string, TableSchema_$1 extends Schema.Schema.AnyNoContext, TableValidator_$1 extends GenericValidator = TableSchemaToTableValidator<TableSchema_$1>, Indexes_$1 extends GenericTableIndexes = {}, SearchIndexes_$1 extends GenericTableSearchIndexes = {}, VectorIndexes_$1 extends GenericTableVectorIndexes = {}> {
+  readonly [TypeId]: TypeId;
+  readonly tableDefinition: TableDefinition<TableValidator_$1, Indexes_$1, SearchIndexes_$1, VectorIndexes_$1>;
+  readonly name: Name_;
+  readonly Fields: TableSchema_$1;
+  readonly Doc: SystemFields$1.ExtendWithSystemFields<Name_, TableSchema_$1>;
+  readonly indexes: Indexes_$1;
+  index<IndexName extends string, FirstFieldPath extends ExtractFieldPaths<TableValidator_$1>, RestFieldPaths extends ExtractFieldPaths<TableValidator_$1>[]>(name: IndexName, fields: [FirstFieldPath, ...RestFieldPaths]): Table<Name_, TableSchema_$1, TableValidator_$1, Expand<Indexes_$1 & Record<IndexName, [FirstFieldPath, ...RestFieldPaths, IndexTiebreakerField]>>, SearchIndexes_$1, VectorIndexes_$1>;
+  searchIndex<IndexName extends string, SearchField extends ExtractFieldPaths<TableValidator_$1>, FilterFields extends ExtractFieldPaths<TableValidator_$1> = never>(name: IndexName, indexConfig: Expand<SearchIndexConfig<SearchField, FilterFields>>): Table<Name_, TableSchema_$1, TableValidator_$1, Indexes_$1, Expand<SearchIndexes_$1 & Record<IndexName, {
+    searchField: SearchField;
+    filterFields: FilterFields;
+  }>>, VectorIndexes_$1>;
+  vectorIndex<IndexName extends string, VectorField extends ExtractFieldPaths<TableValidator_$1>, FilterFields extends ExtractFieldPaths<TableValidator_$1> = never>(name: IndexName, indexConfig: Expand<VectorIndexConfig<VectorField, FilterFields>>): Table<Name_, TableSchema_$1, TableValidator_$1, Indexes_$1, SearchIndexes_$1, Expand<VectorIndexes_$1 & Record<IndexName, {
+    vectorField: VectorField;
+    dimensions: number;
+    filterFields: FilterFields;
+  }>>>;
+}
+interface Any {
+  readonly [TypeId]: TypeId;
+}
+type AnyWithProps = Table<any, Schema.Schema.AnyNoContext, GenericValidator, GenericTableIndexes, GenericTableSearchIndexes, GenericTableVectorIndexes>;
+type Name<TableDef extends AnyWithProps> = TableDef extends Table<infer TableName, infer _TableSchema, infer _TableValidator, infer _Indexes, infer _SearchIndexes, infer _VectorIndexes> ? TableName & string : never;
+type TableSchema<TableDef extends AnyWithProps> = TableDef extends Table<infer _TableName, infer TableSchema_, infer _TableValidator, infer _Indexes, infer _SearchIndexes, infer _VectorIndexes> ? TableSchema_ : never;
+type TableValidator<TableDef extends AnyWithProps> = TableDef extends Table<infer _TableName, infer _TableSchema, infer TableValidator_, infer _Indexes, infer _SearchIndexes, infer _VectorIndexes> ? TableValidator_ : never;
+type Indexes<TableDef extends AnyWithProps> = TableDef extends Table<infer _TableName, infer _TableSchema, infer _TableValidator, infer Indexes_, infer _SearchIndexes, infer _VectorIndexes> ? Indexes_ : never;
+type SearchIndexes<TableDef extends AnyWithProps> = TableDef extends Table<infer _TableName, infer _TableSchema, infer _TableValidator, infer _Indexes, infer SearchIndexes_, infer _VectorIndexes> ? SearchIndexes_ : never;
+type VectorIndexes<TableDef extends AnyWithProps> = TableDef extends Table<infer _TableName, infer _TableSchema, infer _TableValidator, infer _Indexes, infer _SearchIndexes, infer VectorIndexes_> ? VectorIndexes_ : never;
+type Doc<TableDef extends AnyWithProps> = TableDef extends Table<infer TableName, infer TableSchema_, infer _TableValidator, infer _Indexes, infer _SearchIndexes, infer _VectorIndexes> ? SystemFields$1.ExtendWithSystemFields<TableName, TableSchema_> : never;
+type Fields<TableDef extends AnyWithProps> = TableDef extends Table<infer _TableName, infer TableSchema_, infer _TableValidator, infer _Indexes, infer _SearchIndexes, infer _VectorIndexes> ? TableSchema_ : never;
+type WithName<TableDef extends AnyWithProps, Name_ extends string> = TableDef extends {
+  readonly name: Name_;
+} ? TableDef : never;
+type TablesRecord<Tables extends AnyWithProps> = { readonly [TableName_ in Name<Tables>]: WithName<Tables, TableName_> };
+/**
+ * Create a table.
+ */
+declare const make: <const Name_ extends string, TableSchema_$1 extends Schema.Schema.AnyNoContext, TableValidator_$1 extends GenericValidator = TableSchemaToTableValidator<TableSchema_$1>, Indexes_$1 extends GenericTableIndexes = {}, SearchIndexes_$1 extends GenericTableSearchIndexes = {}, VectorIndexes_$1 extends GenericTableVectorIndexes = {}>(name: Name_, fields: TableSchema_$1) => Table<Name_, TableSchema_$1, TableValidator_$1, Indexes_$1, SearchIndexes_$1, VectorIndexes_$1>;
+declare const scheduledFunctionsTable: Table<"_scheduled_functions", Schema.Struct<{
+  name: typeof Schema.String;
+  args: Schema.Array$<typeof Schema.Any>;
+  scheduledTime: typeof Schema.Number;
+  completedTime: Schema.optionalWith<typeof Schema.Number, {
+    exact: true;
+  }>;
+  state: Schema.Union<[Schema.Struct<{
+    kind: Schema.Literal<["pending"]>;
+  }>, Schema.Struct<{
+    kind: Schema.Literal<["inProgress"]>;
+  }>, Schema.Struct<{
+    kind: Schema.Literal<["success"]>;
+  }>, Schema.Struct<{
+    kind: Schema.Literal<["failed"]>;
+    error: typeof Schema.String;
+  }>, Schema.Struct<{
+    kind: Schema.Literal<["canceled"]>;
+  }>]>;
+}>, convex_values16.VObject<{
+  name: string;
+  args: any[];
+  scheduledTime: number;
+  state: {
+    kind: "pending";
+  } | {
+    kind: "inProgress";
+  } | {
+    kind: "success";
+  } | {
+    kind: "failed";
+    error: string;
+  } | {
+    kind: "canceled";
+  };
+  completedTime?: number;
+}, {
+  name: convex_values16.VString<string, "required">;
+  args: convex_values16.VArray<any[], convex_values16.VAny<any, "required", string>, "required">;
+  scheduledTime: convex_values16.VFloat64<number, "required">;
+  state: convex_values16.VUnion<{
+    kind: "pending";
+  } | {
+    kind: "inProgress";
+  } | {
+    kind: "success";
+  } | {
+    kind: "failed";
+    error: string;
+  } | {
+    kind: "canceled";
+  }, [convex_values16.VObject<{
+    kind: "pending";
+  }, {
+    kind: convex_values16.VLiteral<"pending", "required">;
+  }, "required", "kind">, convex_values16.VObject<{
+    kind: "inProgress";
+  }, {
+    kind: convex_values16.VLiteral<"inProgress", "required">;
+  }, "required", "kind">, convex_values16.VObject<{
+    kind: "success";
+  }, {
+    kind: convex_values16.VLiteral<"success", "required">;
+  }, "required", "kind">, convex_values16.VObject<{
+    kind: "failed";
+    error: string;
+  }, {
+    kind: convex_values16.VLiteral<"failed", "required">;
+    error: convex_values16.VString<string, "required">;
+  }, "required", "kind" | "error">, convex_values16.VObject<{
+    kind: "canceled";
+  }, {
+    kind: convex_values16.VLiteral<"canceled", "required">;
+  }, "required", "kind">], "required", "kind" | "error">;
+  completedTime: convex_values16.VFloat64<number | undefined, "optional">;
+}, "required", "name" | "args" | "scheduledTime" | "completedTime" | "state" | "state.kind" | "state.error">, {}, {}, {}>;
+declare const storageTable: Table<"_storage", Schema.Struct<{
+  sha256: typeof Schema.String;
+  size: typeof Schema.Number;
+  contentType: Schema.optionalWith<typeof Schema.String, {
+    exact: true;
+  }>;
+}>, convex_values16.VObject<{
+  sha256: string;
+  size: number;
+  contentType?: string;
+}, {
+  sha256: convex_values16.VString<string, "required">;
+  size: convex_values16.VFloat64<number, "required">;
+  contentType: convex_values16.VString<string | undefined, "optional">;
+}, "required", "sha256" | "size" | "contentType">, {}, {}, {}>;
+declare const systemTables: {
+  readonly _scheduled_functions: Table<"_scheduled_functions", Schema.Struct<{
+    name: typeof Schema.String;
+    args: Schema.Array$<typeof Schema.Any>;
+    scheduledTime: typeof Schema.Number;
+    completedTime: Schema.optionalWith<typeof Schema.Number, {
+      exact: true;
+    }>;
+    state: Schema.Union<[Schema.Struct<{
+      kind: Schema.Literal<["pending"]>;
+    }>, Schema.Struct<{
+      kind: Schema.Literal<["inProgress"]>;
+    }>, Schema.Struct<{
+      kind: Schema.Literal<["success"]>;
+    }>, Schema.Struct<{
+      kind: Schema.Literal<["failed"]>;
+      error: typeof Schema.String;
+    }>, Schema.Struct<{
+      kind: Schema.Literal<["canceled"]>;
+    }>]>;
+  }>, convex_values16.VObject<{
+    name: string;
+    args: any[];
+    scheduledTime: number;
+    state: {
+      kind: "pending";
+    } | {
+      kind: "inProgress";
+    } | {
+      kind: "success";
+    } | {
+      kind: "failed";
+      error: string;
+    } | {
+      kind: "canceled";
+    };
+    completedTime?: number;
+  }, {
+    name: convex_values16.VString<string, "required">;
+    args: convex_values16.VArray<any[], convex_values16.VAny<any, "required", string>, "required">;
+    scheduledTime: convex_values16.VFloat64<number, "required">;
+    state: convex_values16.VUnion<{
+      kind: "pending";
+    } | {
+      kind: "inProgress";
+    } | {
+      kind: "success";
+    } | {
+      kind: "failed";
+      error: string;
+    } | {
+      kind: "canceled";
+    }, [convex_values16.VObject<{
+      kind: "pending";
+    }, {
+      kind: convex_values16.VLiteral<"pending", "required">;
+    }, "required", "kind">, convex_values16.VObject<{
+      kind: "inProgress";
+    }, {
+      kind: convex_values16.VLiteral<"inProgress", "required">;
+    }, "required", "kind">, convex_values16.VObject<{
+      kind: "success";
+    }, {
+      kind: convex_values16.VLiteral<"success", "required">;
+    }, "required", "kind">, convex_values16.VObject<{
+      kind: "failed";
+      error: string;
+    }, {
+      kind: convex_values16.VLiteral<"failed", "required">;
+      error: convex_values16.VString<string, "required">;
+    }, "required", "kind" | "error">, convex_values16.VObject<{
+      kind: "canceled";
+    }, {
+      kind: convex_values16.VLiteral<"canceled", "required">;
+    }, "required", "kind">], "required", "kind" | "error">;
+    completedTime: convex_values16.VFloat64<number | undefined, "optional">;
+  }, "required", "name" | "args" | "scheduledTime" | "completedTime" | "state" | "state.kind" | "state.error">, {}, {}, {}>;
+  readonly _storage: Table<"_storage", Schema.Struct<{
+    sha256: typeof Schema.String;
+    size: typeof Schema.Number;
+    contentType: Schema.optionalWith<typeof Schema.String, {
+      exact: true;
+    }>;
+  }>, convex_values16.VObject<{
+    sha256: string;
+    size: number;
+    contentType?: string;
+  }, {
+    sha256: convex_values16.VString<string, "required">;
+    size: convex_values16.VFloat64<number, "required">;
+    contentType: convex_values16.VString<string | undefined, "optional">;
+  }, "required", "sha256" | "size" | "contentType">, {}, {}, {}>;
+};
+type SystemTables = typeof scheduledFunctionsTable | typeof storageTable;
+/**
+ * Extract all of the index field paths within a {@link Validator}.
+ *
+ * This is used within {@link defineTable}.
+ * @public
+ */
+type ExtractFieldPaths<T extends Validator<any, any, any>> = T["fieldPaths"] | keyof SystemFields;
+//#endregion
+export { Any, AnyWithProps, Doc, Fields, Indexes, Name, SearchIndexes, SystemTables, Table, TableSchema, TableValidator, Table_d_exports, TablesRecord, TypeId, VectorIndexes, WithName, isTable, make, scheduledFunctionsTable, storageTable, systemTables };
+//# sourceMappingURL=Table.d.ts.map

package/dist/Table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Table.d.ts","names":[],"sources":["../src/Table.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;cAoBa,MAAA;KACD,MAAA,UAAgB;cAEf,8BAA6B;UAGzB,mDAEM,MAAA,CAAO,MAAA,CAAO,wCAEjC,mBAAmB,4BAA4B,oCAChC,mDACM,yDACA;YAEb,MAAA,GAAS;4BACO,gBACxB,mBACA,YACA,kBACA;iBAGa;mBAEE;gBACH,cAAA,CAAa,uBAAuB,OAAO;oBAEvC;yDAIO,kBAAkB,2CAClB,kBAAkB,4BAEnC,oBACG,mBAAmB,kBAC3B,MACD,OACA,gBACA,mBACA,OACE,aACE,OACE,YACC,mBAAmB,gBAAgB,yBAG1C,kBACA;4DAKoB,kBAAkB,yCACjB,kBAAkB,kCAEjC,wBACO,OAAO,kBAAkB,aAAa,iBAClD,MACD,OACA,gBACA,mBACA,YACA,OACE,mBACE,OACE;iBAEe;kBACC;OAItB;4DAKoB,kBAAkB,yCACjB,kBAAkB,kCAEjC,wBACO,OAAO,kBAAkB,aAAa,iBAClD,MACD,OACA,gBACA,mBACA,YACA,kBACA,OACE,mBACE,OACE;iBAEe;;kBAEC;;;UAOT,GAAA;EAxGJ,UAyGD,MAAA,CAzGO,EAyGE,MAzGF;AACnB;AAEa,KAyGD,YAAA,GAAe,KAxGO,CAAA,GAAA,EA0GhC,MAAA,CAAO,MAAA,CAAO,YA1GkB,EA2GhC,gBA3GgC,EA4GhC,mBA5GgC,EA6GhC,yBA7GgC,EA8GhC,yBA9GgC,CAAA;AAEjB,KA+GL,IA/GU,CAAA,iBA+GY,YA/GZ,CAAA,GAgHpB,QAhHoB,SAgHH,KAhHG,CAAA,KAAA,UAAA,EAAA,KAAA,aAAA,EAAA,KAAA,gBAAA,EAAA,KAAA,SAAA,EAAA,KAAA,eAAA,EAAA,KAAA,eAAA,CAAA,GAwHhB,SAxHgB,GAAA,MAAA,GAAA,KAAA;AAEC,KAyHX,WAzHyB,CAAA,iBAyHI,YAzHJ,CAAA,GA0HnC,QA1HmC,SA0HlB,KA1HkB,CAAA,KAAA,WAAA,EAAA,KAAA,aAAA,EAAA,KAAA,gBAAA,EAAA,KAAA,SAAA,EAAA,KAAA,eAAA,EAAA,KAAA,eAAA,CAAA,GAkI/B,YAlI+B,GAAA,KAAA;AAEjC,KAmIQ,cAnIR,CAAA,iBAmIwC,YAnIxC,CAAA,GAoIF,QApIE,SAoIe,KApIf,CAAA,KAAA,WAAA,EAAA,KAAA,aAAA,EAAA,KAAA,gBAAA,EAAA,KAAA,SAAA,EAAA,KAAA,eAAA,EAAA,KAAA,eAAA,CAAA,GA4IE,eA5IF,GAAA,KAAA;AAA+C,KA+IvC,OA/IuC,CAAA,iBA+Id,YA/Ic,CAAA,GAgJjD,QAhJiD,SAgJhC,KAhJgC,CAAA,KAAA,WAAA,EAAA,KAAA,aAAA,EAAA,KAAA,gBAAA,EAAA,KAAA,SAAA,EAAA,KAAA,eAAA,EAAA,KAAA,eAAA,CAAA,GAwJ7C,QAxJ6C,GAAA,KAAA;AAA5B,KA2JX,aA3JW,CAAA,iBA2JoB,YA3JpB,CAAA,GA4JrB,QA5JqB,SA4JJ,KA5JI,CAAA,KAAA,WAAA,EAAA,KAAA,aAAA,EAAA,KAAA,gBAAA,EAAA,KAAA,SAAA,EAAA,KAAA,eAAA,EAAA,KAAA,eAAA,CAAA,GAoKjB,cApKiB,GAAA,KAAA;AACJ,KAsKP,aAtKO,CAAA,iBAsKwB,YAtKxB,CAAA,GAuKjB,QAvKiB,SAuKA,KAvKA,CAAA,KAAA,WAAA,EAAA,KAAA,aAAA,EAAA,KAAA,gBAAA,EAAA,KAAA,SAAA,EAAA,KAAA,eAAA,EAAA,KAAA,eAAA,CAAA,GA+Kb,cA/Ka,GAAA,KAAA;AACM,KAiLb,GAjLa,CAAA,iBAiLQ,YAjLR,CAAA,GAkLvB,QAlLuB,SAkLN,KAlLM,CAAA,KAAA,UAAA,EAAA,KAAA,aAAA,EAAA,KAAA,gBAAA,EAAA,KAAA,SAAA,EAAA,KAAA,eAAA,EAAA,KAAA,eAAA,CAAA,GA0LnB,cAAA,CAAa,sBA1LM,CA0LiB,SA1LjB,EA0L4B,YA1L5B,CAAA,GAAA,KAAA;AACA,KA4Lb,MA5La,CAAA,iBA4LW,YA5LX,CAAA,GA6LvB,QA7LuB,SA6LN,KA7LM,CAAA,KAAA,WAAA,EAAA,KAAA,aAAA,EAAA,KAAA,gBAAA,EAAA,KAAA,SAAA,EAAA,KAAA,eAAA,EAAA,KAAA,eAAA,CAAA,GAqMnB,YArMmB,GAAA,KAAA;AAEJ,KAsMT,QAtMS,CAAA,iBAuMF,YAvME,EAAA,cAAA,MAAA,CAAA,GAyMjB,QAzMiB,SAAA;EAAT,SAAA,IAAA,EAyM0B,KAzM1B;CAER,GAuM4C,QAvM5C,GAAA,KAAA;AACA,KAwMQ,YAxMR,CAAA,eAwMoC,YAxMpC,CAAA,GAAA,0BAyMsB,IAxMtB,CAwM2B,MAxM3B,CAAA,GAwMqC,QAxMrC,CAwM8C,MAxM9C,EAwMsD,UAxMtD,CAAA,EACA;;;;AAMgD,cA8SvC,IA9SuC,EAAA,CAAA,oBAAA,MAAA,EAAA,uBAgT7B,MAAA,CAAO,MAAA,CAAO,YAhTe,EAAA,0BAkThD,gBAlTgD,GAkT7B,2BAlT6B,CAkTD,cAlTC,CAAA,EAAA,mBAmTjC,mBAnTiC,GAAA,CAAA,CAAA,EAAA,yBAoT3B,yBApT2B,GAAA,CAAA,CAAA,EAAA,yBAqT3B,yBArT2B,GAAA,CAAA,CAAA,CAAA,CAAA,IAAA,EAuT5C,KAvT4C,EAAA,MAAA,EAwT1C,cAxT0C,EAAA,GAyTjD,KAzTiD,CA0TlD,KA1TkD,EA2TlD,cA3TkD,EA4TlD,iBA5TkD,EA6TlD,UA7TkD,EA8TlD,gBA9TkD,EA+TlD,gBA/TkD,CAAA;AAAO,cAwV9C,uBAxV8C,EAwVvB,KAxVuB,CAAA,sBAAA,EAwVvB,MAAA,CAAA,MAxVuB,CAAA;EAA3C,IAAA,EAAA,oBAAa;EAET,IAAA,eAAA,CAAA,iBAAA,CAAA;EAIyB,aAAA,EAAA,oBAAA;EAAlB,aAAA,qBAAA,CAAA,oBAAA,EAAA;IACkB,KAAA,EAAA,IAAA;EAAlB,CAAA,CAAA;EAEjB,KAAA,cAAA,CAAA,cAAA,CAAA;IACG,IAAA,gBAAA,CAAA,CAAA,SAAA,CAAA,CAAA;EAAmB,CAAA,CAAA,eAAA,CAAA;IAE5B,IAAA,gBAAA,CAAA,CAAA,YAAA,CAAA,CAAA;EACA,CAAA,CAAA,eAAA,CAAA;IACA,IAAA,gBAAA,CAAA,CAAA,SAAA,CAAA,CAAA;EAEE,CAAA,CAAA,eAAA,CAAA;IAEI,IAAA,gBAAA,CAAA,CAAA,QAAA,CAAA,CAAA;IACC,KAAA,EAAA,oBAAA;EAAmB,CAAA,CAAA,eAAA,CAAA;IAAgB,IAAA,gBAAA,CAAA,CAAA,UAAA,CAAA,CAAA;EAFtC,CAAA,CAAA,CAAA,CAAA;CAFJ,CAAA,yBAAA,CAAA;EAOA,IAAA,EAAA,MAAA;EACA,IAAA,EAAA,GAAA,EAAA;EAZC,aAAA,EAAA,MAAA;EAiBqC,KAAA,EAAA;IAAlB,IAAA,EAAA,SAAA;EACmB,CAAA,GAAA;IAAlB,IAAA,EAAA,YAAA;EAEf,CAAA,GAAA;IACgC,IAAA,EAAA,SAAA;EAAa,CAAA,GAAA;IAA/B,IAAA,EAAA,QAAA;IAAP,KAAA,EAAA,MAAA;EAEb,CAAA,GAAA;IACA,IAAA,EAAA,UAAA;EACA,CAAA;EACA,aAAA,CAAA,EAAA,MAAA;CAEE,EAAA;EAEI,IAAA,EA+S0B,eAAA,CAAA,OA/S1B,CAAA,MAAA,EAAA,UAAA,CAAA;EAEe,IAAA,wBAAA,CAAA,GAAA,EAAA,sBAAA,CAAA,GAAA,EAAA,UAAA,EAAA,MAAA,CAAA,EAAA,UAAA,CAAA;EACC,aAAA,0BAAA,CAAA,MAAA,EAAA,UAAA,CAAA;EAJlB,KAAA,wBAAA,CAAA;IAFJ,IAAA,EAAA,SAAA;EAUA,CAAA,GAAA;IAfC,IAAA,EAAA,YAAA;EAoBqC,CAAA,GAAA;IAAlB,IAAA,EAAA,SAAA;EACmB,CAAA,GAAA;IAAlB,IAAA,EAAA,QAAA;IAEf,KAAA,EAAA,MAAA;EACgC,CAAA,GAAA;IAAa,IAAA,EAAA,UAAA;EAA/B,CAAA,EAAA,wBAAA,CAAA;IAAP,IAAA,EAAA,SAAA;EAEb,CAAA,EAAA;IACA,IAAA,0BAAA,CAAA,SAAA,EAAA,UAAA,CAAA;EACA,CAAA,EAAA,UAAA,EAAA,MAAA,CAAA,yBAAA,CAAA;IACA,IAAA,EAAA,YAAA;EACA,CAAA,EAAA;IAEE,IAAA,0BAAA,CAAA,YAAA,EAAA,UAAA,CAAA;EAEI,CAAA,EAAA,UAAA,EAAA,MAAA,CAAA,yBAAA,CAAA;IAEe,IAAA,EAAA,SAAA;EAEC,CAAA,EAAA;IALlB,IAAA,0BAAA,CAAA,SAAA,EAAA,UAAA,CAAA;EAFJ,CAAA,EAAA,UAAA,EAAA,MAAA,CAAA,yBAAA,CAAA;IANC,IAAA,EAAA,QAAA;IAAK,KAAA,EAAA,MAAA;EAoBO,CAAA,EAAA;IAIL,IAAA,0BAAY,CAAA,QAAA,EAAA,UAAA,CAAA;IAEf,KAAA,yBAAO,CAAA,MAAA,EAAA,UAAA,CAAA;EACd,CAAA,EAAA,UAAA,EAAA,MAAA,GAAA,OAAA,CAAA,yBAAA,CAAA;IACA,IAAA,EAAA,UAAA;EACA,CAAA,EAAA;IACA,IAAA,0BAAA,CAAA,UAAA,EAAA,UAAA,CAAA;EANyB,CAAA,EAAA,UAAA,EAAA,MAAA,CAAA,CAAA,EAAA,UAAA,EAAA,MAAA,GAAA,OAAA,CAAA;EAAK,aAAA,0BAAA,CAAA,MAAA,GAAA,SAAA,EAAA,UAAA,CAAA;AAShC,CAAA,EAAA,UAAgB,EAAA,MAAA,GAAA,MAAA,GAAA,eAAA,GAAA,eAAA,GAAA,OAAA,GAAA,YAAA,GAAA,aAAA,CAAA,EAAA,CAAA,CAAA,EAAA,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA;AAAkB,cAiRrB,YAjRqB,EAiRT,KAjRS,CAAA,UAAA,EAiRT,MAAA,CAAA,MAjRS,CAAA;EAChC,MAAA,EAAA,oBAAA;EAAiB,IAAA,EAAA,oBAAA;EAQb,WAAA,qBAAA,CAAA,oBAAA,EAAA;IAAS,KAAA,EAAA,IAAA;EAGH,CAAA,CAAA;CAA6B,CAAA,yBAAA,CAAA;EACvC,MAAA,EAAA,MAAA;EAAiB,IAAA,EAAA,MAAA;EAQb,WAAA,CAAA,EAAA,MAAA;CAAY,EAAA;EAGN,MAAA,EAyPa,eAAA,CAAA,OAzPC,CAAA,MAAA,EAAA,UAAA,CAAA;EAAkB,IAAA,0BAAA,CAAA,MAAA,EAAA,UAAA,CAAA;EAC1C,WAAA,yBAAA,CAAA,MAAA,GAAA,SAAA,EAAA,UAAA,CAAA;CAAiB,EAAA,UAAA,EAAA,QAAA,GAAA,MAAA,GAAA,aAAA,CAAA,EAAA,CAAA,CAAA,EAAA,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA;AAQb,cAyPO,YAzPP,EAAA;EAAe,SAAA,oBAAA,OAAA,CAAA,sBAAA,eAAA,CAAA;IAGT,IAAA,EAAO,oBAAA;IAAkB,IAAA,eAAA,CAAA,iBAAA,CAAA;IACnC,aAAA,EAAA,oBAAA;IAAiB,aAAA,qBAAA,CAAA,oBAAA,EAAA;MAQb,KAAA,EAAA,IAAA;IAAQ,CAAA,CAAA;IAGF,KAAA,cAAa,CAAA,cAAA,CAAA;MAAkB,IAAA,gBAAA,CAAA,CAAA,SAAA,CAAA,CAAA;IACzC,CAAA,CAAA,eAAA,CAAA;MAAiB,IAAA,gBAAA,CAAA,CAAA,YAAA,CAAA,CAAA;IAQb,CAAA,CAAA,eAAA,CAAA;MAAc,IAAA,gBAAA,CAAA,CAAA,SAAA,CAAA,CAAA;IAGR,CAAA,CAAA,eAAa,CAAA;MAAkB,IAAA,gBAAA,CAAA,CAAA,QAAA,CAAA,CAAA;MACzC,KAAA,EAAA,oBAAA;IAAiB,CAAA,CAAA,eAAA,CAAA;MAQb,IAAA,gBAAA,CAAA,CAAA,UAAA,CAAA,CAAA;IAAc,CAAA,CAAA,CAAA,CAAA;EAGR,CAAA,CAAA,yBAAG,CAAA;IAAkB,IAAA,EAAA,MAAA;IAC/B,IAAA,EAAA,GAAA,EAAA;IAAiB,aAAA,EAAA,MAAA;IAQuB,KAAA,EAAA;MAAW,IAAA,EAAA,SAAA;IAA/C,CAAA,GAAA;MAAmC,IAAA,EAAA,YAAA;IAG7B,CAAA,GAAA;MAAwB,IAAA,EAAA,SAAA;IAClC,CAAA,GAAA;MAAiB,IAAA,EAAA,QAAA;MAQb,KAAA,EAAA,MAAA;IAAY,CAAA,GAAA;MAGN,IAAQ,EAAA,UAAA;IACD,CAAA;IAEf,aAAA,CAAA,EAAA,MAAA;EAAkC,CAAA,EAAA;IAAU,IAAA,yBAAA,CAAA,MAAA,EAAA,UAAA,CAAA;IAAQ,IAAA,wBAAA,CAAA,GAAA,EAAA,sBAAA,CAAA,GAAA,EAAA,UAAA,EAAA,MAAA,CAAA,EAAA,UAAA,CAAA;IAE5C,aAAY,0BAAA,CAAA,MAAA,EAAA,UAAA,CAAA;IAAgB,KAAA,wBAAA,CAAA;MACT,IAAA,EAAA,SAAA;IAAL,CAAA,GAAA;MAAwB,IAAA,EAAA,YAAA;IAAQ,CAAA,GAAA;MAAjB,IAAA,EAAA,SAAA;IAAQ,CAAA,GAAA;MAiJhD,IAAA,EAAA,QAAA;MAlC6B,KAAO,EAAA,MAAA;IAEjC,CAAA,GAAA;MAA+C,IAAA,EAAA,UAAA;IAA5B,CAAA,EAAA,wBAAA,CAAA;MACJ,IAAA,EAAA,SAAA;IACM,CAAA,EAAA;MACA,IAAA,0BAAA,CAAA,SAAA,EAAA,UAAA,CAAA;IAEjB,CAAA,EAAA,UAAA,EAAA,MAAA,CAAA,yBAAA,CAAA;MACE,IAAA,EAAA,YAAA;IAER,CAAA,EAAA;MACA,IAAA,0BAAA,CAAA,YAAA,EAAA,UAAA,CAAA;IACA,CAAA,EAAA,UAAA,EAAA,MAAA,CAAA,yBAAA,CAAA;MACA,IAAA,EAAA,SAAA;IACA,CAAA,EAAA;MACA,IAAA,0BAAA,CAAA,SAAA,EAAA,UAAA,CAAA;IANC,CAAA,EAAA,UAAA,EAAA,MAAA,CAAA,yBAAA,CAAA;MAAK,IAAA,EAAA,QAAA;MA+BK,KAAA,EAAA,MAAA;;;;;;;;;;;;;;;;;;;IAAuB,IAAA,EAAA,MAAA;IAAA,WAAA,CAAA,EAAA,MAAA;;;;;;;KAkCxB,YAAA,UAAsB,iCAAiC;;;;;;;KAU9D,4BAA4B,4BAI/B,wBAAwB"}