ignotum 0.0.6 → 0.0.8

package/dist/runtime/file-BXf63ulU.js

@@ -0,0 +1,166 @@
+import { Predicate, Schema, SchemaGetter } from "effect";
+//#region ../contracts/dist/runtime/id.js
+const IdAlphabet = "0123456789abcdefghijklmnopqrstuvwxyz";
+const IdPrefix = Schema.String.check(Schema.isPattern(/^[a-z]+$/));
+const IdPayloadPattern = /^[0-9a-z]{24}$/;
+const withPrefix = (definition, idPrefix) => Object.assign(definition, { idPrefix });
+const defineId = (prefix, brand) => {
+	const idPrefix = Schema.decodeSync(IdPrefix)(prefix);
+	return withPrefix(Schema.String.check(Schema.isPattern(new RegExp(`^${idPrefix}_[0-9a-z]{24}$`))).pipe(Schema.brand(brand)), idPrefix);
+};
+const GeneratedId = withPrefix(Schema.String.check(Schema.isPattern(IdPayloadPattern)).pipe(Schema.brand("ignotum/id")), void 0);
+const AppId = defineId("app", "ignotum/hosted/AppId");
+const DeploymentId = defineId("dep", "ignotum/hosted/DeploymentId");
+defineId("team", "ignotum/hosted/TeamId");
+const TableId = defineId("table", "ignotum/runtime/TableId");
+defineId("prn", "ignotum/control/PlatformPrincipalId");
+const InvocationId = defineId("inv", "ignotum/sync/InvocationId");
+const SubscriptionId = defineId("sub", "ignotum/sync/SubscriptionId");
+defineId("conn", "ignotum/gateway/ConnectionId");
+const RuntimeRequestNonce = defineId("nonce", "ignotum/runtime/RequestNonce");
+const RequestId = defineId("req", "ignotum/runtime/RequestId");
+defineId("lock", "ignotum/dev/DatabaseLockId");
+//#endregion
+//#region ../contracts/dist/schema/file.js
+const fileFormats = [
+	"jpeg",
+	"png",
+	"webp",
+	"avif",
+	"gif"
+];
+const FileFormat = Schema.Literals(fileFormats);
+const fileMimeTypes = {
+	avif: "image/avif",
+	gif: "image/gif",
+	jpeg: "image/jpeg",
+	png: "image/png",
+	webp: "image/webp"
+};
+const fileLimits = {
+	activeGrantsPerConnection: 1024,
+	distinctFilesPerQuerySnapshot: 256,
+	fileBytes: 10485760,
+	filesPerMutation: 8,
+	filenameBytes: 255,
+	mutationBytes: 26214400,
+	preparationLifetimeMillis: 9e5,
+	stagedBytesPerApp: 104857600
+};
+const FileId = Object.assign(Schema.String.pipe(Schema.check(Schema.isPattern(/^file_[0-9A-Za-z_-]{20,128}$/)), Schema.brand("ignotum/file/FileId")), { idPrefix: "file" });
+defineId("upload", "ignotum/file/FileUploadToken");
+defineId("grant", "ignotum/file/FileGrantToken");
+const FileValueTypeId = Symbol.for("ignotum/file/FileValue");
+const FileGrantTypeId = Symbol.for("ignotum/file/FileGrant");
+const isFileValue = (value) => Predicate.isObject(value) && Predicate.hasProperty(value, FileValueTypeId) && Predicate.isObject(value[FileValueTypeId]) && Predicate.hasProperty(value[FileValueTypeId], "id") && Schema.is(FileId)(value[FileValueTypeId].id) && Predicate.hasProperty(value, "format") && Schema.is(FileFormat)(value.format) && Predicate.hasProperty(value, "name") && Predicate.isString(value.name) && Predicate.hasProperty(value, "size") && Predicate.isNumber(value.size) && Predicate.hasProperty(value, "mimeType") && value.mimeType === fileMimeTypes[value.format];
+const buildFileValue = (id, metadata, grantUrl) => {
+	const value = {
+		format: metadata.format,
+		mimeType: fileMimeTypes[metadata.format],
+		name: metadata.name,
+		size: metadata.size
+	};
+	Object.defineProperty(value, FileValueTypeId, {
+		configurable: false,
+		enumerable: false,
+		value: Object.freeze({ id }),
+		writable: false
+	});
+	if (grantUrl !== void 0) Object.defineProperty(value, FileGrantTypeId, {
+		configurable: false,
+		enumerable: false,
+		value: grantUrl,
+		writable: false
+	});
+	return Object.freeze(value);
+};
+const makeFileValue = (id, metadata) => buildFileValue(id, metadata);
+const fileIdOf = (value) => value[FileValueTypeId].id;
+const grantFileValue = (value, url) => {
+	return buildFileValue(fileIdOf(value), value, url);
+};
+const fileGrantUrlOf = (value) => value[FileGrantTypeId];
+const EncodedFileValue = Schema.Struct({
+	$ignotum: Schema.Literal("file"),
+	id: FileId,
+	format: FileFormat,
+	name: Schema.String,
+	size: Schema.Int.check(Schema.isBetween({
+		minimum: 0,
+		maximum: fileLimits.fileBytes
+	}))
+});
+const RuntimeFileMetadata = Schema.Struct({
+	id: FileId,
+	format: FileFormat,
+	name: Schema.String,
+	size: Schema.Int.check(Schema.isBetween({
+		minimum: 0,
+		maximum: fileLimits.fileBytes
+	}))
+});
+const FilePath = Schema.Array(Schema.Union([Schema.String, Schema.Natural]));
+const RuntimeFileOccurrence = Schema.Struct({
+	path: FilePath,
+	file: RuntimeFileMetadata
+});
+const DecodedFileValue = Schema.declare(isFileValue, { title: "FileValue" });
+const FileValue = EncodedFileValue.pipe(Schema.decodeTo(DecodedFileValue, {
+	decode: SchemaGetter.transform((encoded) => makeFileValue(encoded.id, {
+		format: encoded.format,
+		name: encoded.name,
+		size: encoded.size
+	})),
+	encode: SchemaGetter.transform((value) => ({
+		$ignotum: "file",
+		format: value.format,
+		id: fileIdOf(value),
+		name: value.name,
+		size: value.size
+	}))
+}));
+const constrainedFileValue = (formats, maxBytes) => FileValue.pipe(Schema.check(Schema.makeFilter((value) => {
+	const issues = [];
+	if (!formats.includes(value.format)) issues.push({
+		path: ["format"],
+		issue: `File format '${value.format}' is not allowed by this field.`
+	});
+	if (value.size > maxBytes) issues.push({
+		path: ["size"],
+		issue: `File size ${value.size} exceeds this field's ${maxBytes} byte limit.`
+	});
+	return issues;
+})));
+const collectFileOccurrences = (value, path, occurrences) => {
+	if (isFileValue(value)) {
+		occurrences.push({
+			file: value,
+			path
+		});
+		return;
+	}
+	if (globalThis.Array.isArray(value)) {
+		for (const [index, child] of value.entries()) collectFileOccurrences(child, [...path, index], occurrences);
+		return;
+	}
+	if (!Predicate.isObject(value) || Predicate.isDate(value)) return;
+	for (const [key, child] of Object.entries(value)) collectFileOccurrences(child, [...path, key], occurrences);
+};
+const fileOccurrencesOf = (value) => {
+	const occurrences = [];
+	collectFileOccurrences(value, [], occurrences);
+	return occurrences;
+};
+const runtimeFileOccurrencesOf = (value) => fileOccurrencesOf(value).map(({ file, path }) => ({
+	path,
+	file: {
+		format: file.format,
+		id: fileIdOf(file),
+		name: file.name,
+		size: file.size
+	}
+}));
+//#endregion
+export { RuntimeRequestNonce as C, RequestId as S, TableId as T, AppId as _, RuntimeFileMetadata as a, IdAlphabet as b, fileFormats as c, fileLimits as d, fileMimeTypes as f, runtimeFileOccurrencesOf as g, makeFileValue as h, FileValue as i, fileGrantUrlOf as l, isFileValue as m, FileFormat as n, RuntimeFileOccurrence as o, grantFileValue as p, FileId as r, constrainedFileValue as s, EncodedFileValue as t, fileIdOf as u, DeploymentId as v, SubscriptionId as w, InvocationId as x, GeneratedId as y };
+
+//# sourceMappingURL=file-BXf63ulU.js.map

package/dist/runtime/file-BXf63ulU.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-BXf63ulU.js","names":[],"sources":["../../../contracts/dist/runtime/id.js","../../../contracts/dist/schema/file.js"],"sourcesContent":["import { Schema } from \"effect\";\n//#region src/runtime/id.ts\nconst IdAlphabet = \"0123456789abcdefghijklmnopqrstuvwxyz\";\nconst IdLength = 24;\nconst IdPrefix = Schema.String.check(Schema.isPattern(/^[a-z]+$/));\nconst IdPayloadPattern = /^[0-9a-z]{24}$/;\nconst withPrefix = (definition, idPrefix) => Object.assign(definition, { idPrefix });\nconst defineId = (prefix, brand) => {\n\tconst idPrefix = Schema.decodeSync(IdPrefix)(prefix);\n\treturn withPrefix(Schema.String.check(Schema.isPattern(new RegExp(`^${idPrefix}_[0-9a-z]{24}$`))).pipe(Schema.brand(brand)), idPrefix);\n};\nconst GeneratedId = withPrefix(Schema.String.check(Schema.isPattern(IdPayloadPattern)).pipe(Schema.brand(\"ignotum/id\")), void 0);\nconst AppId = defineId(\"app\", \"ignotum/hosted/AppId\");\nconst DeploymentId = defineId(\"dep\", \"ignotum/hosted/DeploymentId\");\nconst TeamId = defineId(\"team\", \"ignotum/hosted/TeamId\");\nconst TableId = defineId(\"table\", \"ignotum/runtime/TableId\");\nconst PlatformPrincipalId = defineId(\"prn\", \"ignotum/control/PlatformPrincipalId\");\nconst InvocationId = defineId(\"inv\", \"ignotum/sync/InvocationId\");\nconst SubscriptionId = defineId(\"sub\", \"ignotum/sync/SubscriptionId\");\nconst ConnectionId = defineId(\"conn\", \"ignotum/gateway/ConnectionId\");\nconst RuntimeRequestNonce = defineId(\"nonce\", \"ignotum/runtime/RequestNonce\");\nconst RequestId = defineId(\"req\", \"ignotum/runtime/RequestId\");\nconst DevDatabaseLockId = defineId(\"lock\", \"ignotum/dev/DatabaseLockId\");\n//#endregion\nexport { AppId, ConnectionId, DeploymentId, DevDatabaseLockId, GeneratedId, IdAlphabet, IdLength, InvocationId, PlatformPrincipalId, RequestId, RuntimeRequestNonce, SubscriptionId, TableId, TeamId, defineId };\n\n//# sourceMappingURL=id.js.map","import { defineId } from \"../runtime/id.js\";\nimport { Predicate, Schema, SchemaGetter } from \"effect\";\n//#region src/schema/file.ts\nconst fileFormats = [\n\t\"jpeg\",\n\t\"png\",\n\t\"webp\",\n\t\"avif\",\n\t\"gif\"\n];\nconst FileFormat = Schema.Literals(fileFormats);\nconst fileMimeTypes = {\n\tavif: \"image/avif\",\n\tgif: \"image/gif\",\n\tjpeg: \"image/jpeg\",\n\tpng: \"image/png\",\n\twebp: \"image/webp\"\n};\nconst fileLimits = {\n\tactiveGrantsPerConnection: 1024,\n\tdistinctFilesPerQuerySnapshot: 256,\n\tfileBytes: 10485760,\n\tfilesPerMutation: 8,\n\tfilenameBytes: 255,\n\tmutationBytes: 26214400,\n\tpreparationLifetimeMillis: 9e5,\n\tstagedBytesPerApp: 104857600\n};\nconst FileId = Object.assign(Schema.String.pipe(Schema.check(Schema.isPattern(/^file_[0-9A-Za-z_-]{20,128}$/)), Schema.brand(\"ignotum/file/FileId\")), { idPrefix: \"file\" });\nconst FileUploadToken = defineId(\"upload\", \"ignotum/file/FileUploadToken\");\nconst FileGrantToken = defineId(\"grant\", \"ignotum/file/FileGrantToken\");\nconst FileValueTypeId = Symbol.for(\"ignotum/file/FileValue\");\nconst FileGrantTypeId = Symbol.for(\"ignotum/file/FileGrant\");\nconst isFileValue = (value) => Predicate.isObject(value) && Predicate.hasProperty(value, FileValueTypeId) && Predicate.isObject(value[FileValueTypeId]) && Predicate.hasProperty(value[FileValueTypeId], \"id\") && Schema.is(FileId)(value[FileValueTypeId].id) && Predicate.hasProperty(value, \"format\") && Schema.is(FileFormat)(value.format) && Predicate.hasProperty(value, \"name\") && Predicate.isString(value.name) && Predicate.hasProperty(value, \"size\") && Predicate.isNumber(value.size) && Predicate.hasProperty(value, \"mimeType\") && value.mimeType === fileMimeTypes[value.format];\nconst buildFileValue = (id, metadata, grantUrl) => {\n\tconst value = {\n\t\tformat: metadata.format,\n\t\tmimeType: fileMimeTypes[metadata.format],\n\t\tname: metadata.name,\n\t\tsize: metadata.size\n\t};\n\tObject.defineProperty(value, FileValueTypeId, {\n\t\tconfigurable: false,\n\t\tenumerable: false,\n\t\tvalue: Object.freeze({ id }),\n\t\twritable: false\n\t});\n\tif (grantUrl !== void 0) Object.defineProperty(value, FileGrantTypeId, {\n\t\tconfigurable: false,\n\t\tenumerable: false,\n\t\tvalue: grantUrl,\n\t\twritable: false\n\t});\n\treturn Object.freeze(value);\n};\nconst makeFileValue = (id, metadata) => buildFileValue(id, metadata);\nconst fileIdOf = (value) => value[FileValueTypeId].id;\nconst grantFileValue = (value, url) => {\n\treturn buildFileValue(fileIdOf(value), value, url);\n};\nconst fileGrantUrlOf = (value) => value[FileGrantTypeId];\nconst EncodedFileValue = Schema.Struct({\n\t$ignotum: Schema.Literal(\"file\"),\n\tid: FileId,\n\tformat: FileFormat,\n\tname: Schema.String,\n\tsize: Schema.Int.check(Schema.isBetween({\n\t\tminimum: 0,\n\t\tmaximum: fileLimits.fileBytes\n\t}))\n});\nconst RuntimeFileMetadata = Schema.Struct({\n\tid: FileId,\n\tformat: FileFormat,\n\tname: Schema.String,\n\tsize: Schema.Int.check(Schema.isBetween({\n\t\tminimum: 0,\n\t\tmaximum: fileLimits.fileBytes\n\t}))\n});\nconst FilePath = Schema.Array(Schema.Union([Schema.String, Schema.Natural]));\nconst RuntimeFileOccurrence = Schema.Struct({\n\tpath: FilePath,\n\tfile: RuntimeFileMetadata\n});\nconst DecodedFileValue = Schema.declare(isFileValue, { title: \"FileValue\" });\nconst FileValue = EncodedFileValue.pipe(Schema.decodeTo(DecodedFileValue, {\n\tdecode: SchemaGetter.transform((encoded) => makeFileValue(encoded.id, {\n\t\tformat: encoded.format,\n\t\tname: encoded.name,\n\t\tsize: encoded.size\n\t})),\n\tencode: SchemaGetter.transform((value) => ({\n\t\t$ignotum: \"file\",\n\t\tformat: value.format,\n\t\tid: fileIdOf(value),\n\t\tname: value.name,\n\t\tsize: value.size\n\t}))\n}));\nconst constrainedFileValue = (formats, maxBytes) => FileValue.pipe(Schema.check(Schema.makeFilter((value) => {\n\tconst issues = [];\n\tif (!formats.includes(value.format)) issues.push({\n\t\tpath: [\"format\"],\n\t\tissue: `File format '${value.format}' is not allowed by this field.`\n\t});\n\tif (value.size > maxBytes) issues.push({\n\t\tpath: [\"size\"],\n\t\tissue: `File size ${value.size} exceeds this field's ${maxBytes} byte limit.`\n\t});\n\treturn issues;\n})));\nconst collectFileOccurrences = (value, path, occurrences) => {\n\tif (isFileValue(value)) {\n\t\toccurrences.push({\n\t\t\tfile: value,\n\t\t\tpath\n\t\t});\n\t\treturn;\n\t}\n\tif (globalThis.Array.isArray(value)) {\n\t\tfor (const [index, child] of value.entries()) collectFileOccurrences(child, [...path, index], occurrences);\n\t\treturn;\n\t}\n\tif (!Predicate.isObject(value) || Predicate.isDate(value)) return;\n\tfor (const [key, child] of Object.entries(value)) collectFileOccurrences(child, [...path, key], occurrences);\n};\nconst fileOccurrencesOf = (value) => {\n\tconst occurrences = [];\n\tcollectFileOccurrences(value, [], occurrences);\n\treturn occurrences;\n};\nconst runtimeFileOccurrencesOf = (value) => fileOccurrencesOf(value).map(({ file, path }) => ({\n\tpath,\n\tfile: {\n\t\tformat: file.format,\n\t\tid: fileIdOf(file),\n\t\tname: file.name,\n\t\tsize: file.size\n\t}\n}));\nconst collectEncodedFileOccurrences = (value, path, occurrences) => {\n\tif (Schema.is(EncodedFileValue)(value)) {\n\t\tconst file = Schema.decodeUnknownSync(EncodedFileValue)(value);\n\t\toccurrences.push({\n\t\t\tpath,\n\t\t\tfile: {\n\t\t\t\tformat: file.format,\n\t\t\t\tid: file.id,\n\t\t\t\tname: file.name,\n\t\t\t\tsize: file.size\n\t\t\t}\n\t\t});\n\t\treturn;\n\t}\n\tif (globalThis.Array.isArray(value)) {\n\t\tfor (const [index, child] of value.entries()) collectEncodedFileOccurrences(child, [...path, index], occurrences);\n\t\treturn;\n\t}\n\tif (!Schema.is(Schema.JsonObject)(value)) return;\n\tfor (const [key, child] of Object.entries(value)) collectEncodedFileOccurrences(child, [...path, key], occurrences);\n};\nconst encodedFileOccurrencesOf = (value) => {\n\tconst occurrences = [];\n\tcollectEncodedFileOccurrences(value, [], occurrences);\n\treturn occurrences;\n};\n//#endregion\nexport { EncodedFileValue, FileFormat, FileGrantToken, FileGrantTypeId, FileId, FilePath, FileUploadToken, FileValue, FileValueTypeId, RuntimeFileMetadata, RuntimeFileOccurrence, constrainedFileValue, encodedFileOccurrencesOf, fileFormats, fileGrantUrlOf, fileIdOf, fileLimits, fileMimeTypes, fileOccurrencesOf, grantFileValue, isFileValue, makeFileValue, runtimeFileOccurrencesOf };\n\n//# sourceMappingURL=file.js.map"],"mappings":";;AAEA,MAAM,aAAa;AAEnB,MAAM,WAAW,OAAO,OAAO,MAAM,OAAO,UAAU,UAAU,CAAC;AACjE,MAAM,mBAAmB;AACzB,MAAM,cAAc,YAAY,aAAa,OAAO,OAAO,YAAY,EAAE,SAAS,CAAC;AACnF,MAAM,YAAY,QAAQ,UAAU;CACnC,MAAM,WAAW,OAAO,WAAW,QAAQ,CAAC,CAAC,MAAM;CACnD,OAAO,WAAW,OAAO,OAAO,MAAM,OAAO,UAAU,IAAI,OAAO,IAAI,SAAS,eAAe,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM,KAAK,CAAC,GAAG,QAAQ;AACtI;AACA,MAAM,cAAc,WAAW,OAAO,OAAO,MAAM,OAAO,UAAU,gBAAgB,CAAC,CAAC,CAAC,KAAK,OAAO,MAAM,YAAY,CAAC,GAAG,KAAK,CAAC;AAC/H,MAAM,QAAQ,SAAS,OAAO,sBAAsB;AACpD,MAAM,eAAe,SAAS,OAAO,6BAA6B;AACnD,SAAS,QAAQ,uBAAuB;AACvD,MAAM,UAAU,SAAS,SAAS,yBAAyB;AAC/B,SAAS,OAAO,qCAAqC;AACjF,MAAM,eAAe,SAAS,OAAO,2BAA2B;AAChE,MAAM,iBAAiB,SAAS,OAAO,6BAA6B;AAC/C,SAAS,QAAQ,8BAA8B;AACpE,MAAM,sBAAsB,SAAS,SAAS,8BAA8B;AAC5E,MAAM,YAAY,SAAS,OAAO,2BAA2B;AACnC,SAAS,QAAQ,4BAA4B;;;ACnBvE,MAAM,cAAc;CACnB;CACA;CACA;CACA;CACA;AACD;AACA,MAAM,aAAa,OAAO,SAAS,WAAW;AAC9C,MAAM,gBAAgB;CACrB,MAAM;CACN,KAAK;CACL,MAAM;CACN,KAAK;CACL,MAAM;AACP;AACA,MAAM,aAAa;CAClB,2BAA2B;CAC3B,+BAA+B;CAC/B,WAAW;CACX,kBAAkB;CAClB,eAAe;CACf,eAAe;CACf,2BAA2B;CAC3B,mBAAmB;AACpB;AACA,MAAM,SAAS,OAAO,OAAO,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,UAAU,8BAA8B,CAAC,GAAG,OAAO,MAAM,qBAAqB,CAAC,GAAG,EAAE,UAAU,OAAO,CAAC;AAClJ,SAAS,UAAU,8BAA8B;AAClD,SAAS,SAAS,6BAA6B;AACtE,MAAM,kBAAkB,OAAO,IAAI,wBAAwB;AAC3D,MAAM,kBAAkB,OAAO,IAAI,wBAAwB;AAC3D,MAAM,eAAe,UAAU,UAAU,SAAS,KAAK,KAAK,UAAU,YAAY,OAAO,eAAe,KAAK,UAAU,SAAS,MAAM,gBAAgB,KAAK,UAAU,YAAY,MAAM,kBAAkB,IAAI,KAAK,OAAO,GAAG,MAAM,CAAC,CAAC,MAAM,gBAAgB,CAAC,EAAE,KAAK,UAAU,YAAY,OAAO,QAAQ,KAAK,OAAO,GAAG,UAAU,CAAC,CAAC,MAAM,MAAM,KAAK,UAAU,YAAY,OAAO,MAAM,KAAK,UAAU,SAAS,MAAM,IAAI,KAAK,UAAU,YAAY,OAAO,MAAM,KAAK,UAAU,SAAS,MAAM,IAAI,KAAK,UAAU,YAAY,OAAO,UAAU,KAAK,MAAM,aAAa,cAAc,MAAM;AAC1jB,MAAM,kBAAkB,IAAI,UAAU,aAAa;CAClD,MAAM,QAAQ;EACb,QAAQ,SAAS;EACjB,UAAU,cAAc,SAAS;EACjC,MAAM,SAAS;EACf,MAAM,SAAS;CAChB;CACA,OAAO,eAAe,OAAO,iBAAiB;EAC7C,cAAc;EACd,YAAY;EACZ,OAAO,OAAO,OAAO,EAAE,GAAG,CAAC;EAC3B,UAAU;CACX,CAAC;CACD,IAAI,aAAa,KAAK,GAAG,OAAO,eAAe,OAAO,iBAAiB;EACtE,cAAc;EACd,YAAY;EACZ,OAAO;EACP,UAAU;CACX,CAAC;CACD,OAAO,OAAO,OAAO,KAAK;AAC3B;AACA,MAAM,iBAAiB,IAAI,aAAa,eAAe,IAAI,QAAQ;AACnE,MAAM,YAAY,UAAU,MAAM,gBAAgB,CAAC;AACnD,MAAM,kBAAkB,OAAO,QAAQ;CACtC,OAAO,eAAe,SAAS,KAAK,GAAG,OAAO,GAAG;AAClD;AACA,MAAM,kBAAkB,UAAU,MAAM;AACxC,MAAM,mBAAmB,OAAO,OAAO;CACtC,UAAU,OAAO,QAAQ,MAAM;CAC/B,IAAI;CACJ,QAAQ;CACR,MAAM,OAAO;CACb,MAAM,OAAO,IAAI,MAAM,OAAO,UAAU;EACvC,SAAS;EACT,SAAS,WAAW;CACrB,CAAC,CAAC;AACH,CAAC;AACD,MAAM,sBAAsB,OAAO,OAAO;CACzC,IAAI;CACJ,QAAQ;CACR,MAAM,OAAO;CACb,MAAM,OAAO,IAAI,MAAM,OAAO,UAAU;EACvC,SAAS;EACT,SAAS,WAAW;CACrB,CAAC,CAAC;AACH,CAAC;AACD,MAAM,WAAW,OAAO,MAAM,OAAO,MAAM,CAAC,OAAO,QAAQ,OAAO,OAAO,CAAC,CAAC;AAC3E,MAAM,wBAAwB,OAAO,OAAO;CAC3C,MAAM;CACN,MAAM;AACP,CAAC;AACD,MAAM,mBAAmB,OAAO,QAAQ,aAAa,EAAE,OAAO,YAAY,CAAC;AAC3E,MAAM,YAAY,iBAAiB,KAAK,OAAO,SAAS,kBAAkB;CACzE,QAAQ,aAAa,WAAW,YAAY,cAAc,QAAQ,IAAI;EACrE,QAAQ,QAAQ;EAChB,MAAM,QAAQ;EACd,MAAM,QAAQ;CACf,CAAC,CAAC;CACF,QAAQ,aAAa,WAAW,WAAW;EAC1C,UAAU;EACV,QAAQ,MAAM;EACd,IAAI,SAAS,KAAK;EAClB,MAAM,MAAM;EACZ,MAAM,MAAM;CACb,EAAE;AACH,CAAC,CAAC;AACF,MAAM,wBAAwB,SAAS,aAAa,UAAU,KAAK,OAAO,MAAM,OAAO,YAAY,UAAU;CAC5G,MAAM,SAAS,CAAC;CAChB,IAAI,CAAC,QAAQ,SAAS,MAAM,MAAM,GAAG,OAAO,KAAK;EAChD,MAAM,CAAC,QAAQ;EACf,OAAO,gBAAgB,MAAM,OAAO;CACrC,CAAC;CACD,IAAI,MAAM,OAAO,UAAU,OAAO,KAAK;EACtC,MAAM,CAAC,MAAM;EACb,OAAO,aAAa,MAAM,KAAK,wBAAwB,SAAS;CACjE,CAAC;CACD,OAAO;AACR,CAAC,CAAC,CAAC;AACH,MAAM,0BAA0B,OAAO,MAAM,gBAAgB;CAC5D,IAAI,YAAY,KAAK,GAAG;EACvB,YAAY,KAAK;GAChB,MAAM;GACN;EACD,CAAC;EACD;CACD;CACA,IAAI,WAAW,MAAM,QAAQ,KAAK,GAAG;EACpC,KAAK,MAAM,CAAC,OAAO,UAAU,MAAM,QAAQ,GAAG,uBAAuB,OAAO,CAAC,GAAG,MAAM,KAAK,GAAG,WAAW;EACzG;CACD;CACA,IAAI,CAAC,UAAU,SAAS,KAAK,KAAK,UAAU,OAAO,KAAK,GAAG;CAC3D,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,KAAK,GAAG,uBAAuB,OAAO,CAAC,GAAG,MAAM,GAAG,GAAG,WAAW;AAC5G;AACA,MAAM,qBAAqB,UAAU;CACpC,MAAM,cAAc,CAAC;CACrB,uBAAuB,OAAO,CAAC,GAAG,WAAW;CAC7C,OAAO;AACR;AACA,MAAM,4BAA4B,UAAU,kBAAkB,KAAK,CAAC,CAAC,KAAK,EAAE,MAAM,YAAY;CAC7F;CACA,MAAM;EACL,QAAQ,KAAK;EACb,IAAI,SAAS,IAAI;EACjB,MAAM,KAAK;EACX,MAAM,KAAK;CACZ;AACD,EAAE"}

package/dist/runtime/{result-BgcHn25t.d.ts → id-Btwac71X-DGj0DQuu.d.ts}

@@ -1,11 +1,57 @@
 import { Brand, Effect, Schema } from "effect";
-//#region ../contracts/dist/value-CiN-5gJo.d.ts
+//#region ../contracts/dist/file-8gh4oKiS.d.ts
+//#region src/schema/file.d.ts
+declare const fileFormats: readonly ["jpeg", "png", "webp", "avif", "gif"];
+declare const FileFormat: Schema.Literals<readonly ["jpeg", "png", "webp", "avif", "gif"]>;
+type FileFormat = typeof FileFormat.Type;
+declare const fileMimeTypes: {
+  readonly avif: "image/avif";
+  readonly gif: "image/gif";
+  readonly jpeg: "image/jpeg";
+  readonly png: "image/png";
+  readonly webp: "image/webp";
+};
+type FileMimeType<Format extends FileFormat = FileFormat> = (typeof fileMimeTypes)[Format];
+declare const FileId: Schema.brand<Schema.String, "ignotum/file/FileId"> & {
+  readonly idPrefix: "file";
+};
+type FileId = typeof FileId.Type;
+declare const FileValueTypeId: unique symbol;
+declare const FileGrantTypeId: unique symbol;
+interface FileIdentity {
+  readonly id: FileId;
+}
+interface FileValue<Format extends FileFormat = FileFormat> {
+  readonly name: string;
+  readonly format: Format;
+  readonly mimeType: FileMimeType<Format>;
+  readonly size: number;
+  readonly [FileValueTypeId]: FileIdentity;
+  readonly [FileGrantTypeId]?: string;
+}
+interface FileMetadata<Format extends FileFormat = FileFormat> {
+  readonly name: string;
+  readonly format: Format;
+  readonly mimeType: FileMimeType<Format>;
+  readonly size: number;
+}
+declare const FileValue: Schema.decodeTo<Schema.declare<FileValue<"avif" | "gif" | "jpeg" | "png" | "webp">, FileValue<"avif" | "gif" | "jpeg" | "png" | "webp">>, Schema.Struct<{
+  readonly $ignotum: Schema.Literal<"file">;
+  readonly id: Schema.brand<Schema.String, "ignotum/file/FileId"> & {
+    readonly idPrefix: "file";
+  };
+  readonly format: Schema.Literals<readonly ["jpeg", "png", "webp", "avif", "gif"]>;
+  readonly name: Schema.String;
+  readonly size: Schema.Int;
+}>, never, never>;
+//#endregion
+//#region ../contracts/dist/value-BqGe6EhK.d.ts
 //#region src/runtime/value.d.ts
 interface TransportArray extends ReadonlyArray<TransportValue> {}
 interface TransportObject {
   readonly [key: string]: TransportValue | undefined;
 }
-type TransportValue = null | boolean | number | string | Date | TransportArray | TransportObject;
+type TransportValue = null | boolean | number | string | Date | FileValue | TransportArray | TransportObject;
 //#endregion
 //#region ../contracts/dist/runtime/result.d.ts
 //#region src/runtime/result.d.ts
@@ -117,5 +163,11 @@ declare const Result: {
   try: typeof tryResult;
 };
 //#endregion
-export { Match as a, SettledResult as c, TransportValue as d, InternalServerError as i, documentNotFound as l, ErrorBrand as n, QueryResult as o, ErrorValue as r, Result as s, DocumentNotFoundValue as t, TransportObject as u };
-//# sourceMappingURL=result-BgcHn25t.d.ts.map
+//#region ../contracts/dist/id-Btwac71X.d.ts
+declare const GeneratedId: Schema.brand<Schema.String, "ignotum/id"> & {
+  readonly idPrefix: undefined;
+};
+type GeneratedId = typeof GeneratedId.Type;
+//#endregion
+export { fileFormats as _, InternalServerError as a, Result as c, TransportObject as d, TransportValue as f, FileValue as g, FileMimeType as h, ErrorValue as i, SettledResult as l, FileMetadata as m, DocumentNotFoundValue as n, Match as o, FileFormat as p, ErrorBrand as r, QueryResult as s, GeneratedId as t, documentNotFound as u };
+//# sourceMappingURL=id-Btwac71X-DGj0DQuu.d.ts.map

package/dist/runtime/{index-Dl_VQGmA.d.ts → index-CF04_Dps.d.ts}

@@ -1,68 +1,6 @@
-import { n as ErrorBrand, r as ErrorValue, s as Result, t as DocumentNotFoundValue } from "./result-BgcHn25t.js";
-import { t as GeneratedId } from "./id-Btwac71X-B9OeBzvq.js";
+import { _ as fileFormats, c as Result, g as FileValue, i as ErrorValue, n as DocumentNotFoundValue, p as FileFormat, r as ErrorBrand, t as GeneratedId } from "./id-Btwac71X-DGj0DQuu.js";
+import { a as ValueDescriptorCarrier, i as ValueDescriptor, n as PaginationPage, o as ValueFields, r as DescribedValue, t as PaginationOptions } from "./pagination-DrOowBve-Bnipd34u.js";
 import { Brand, Effect, Schema, Struct } from "effect";
-//#region ../contracts/dist/descriptor-CVZycwe2.d.ts
-//#region src/schema/descriptor.d.ts
-interface DescriptorField {
-  readonly name: string;
-  readonly value: ValueDescriptor;
-}
-type ValueDescriptor = {
-  readonly type: "array";
-  readonly value: ValueDescriptor;
-} | {
-  readonly type: "boolean";
-} | {
-  readonly type: "date";
-} | {
-  readonly type: "error";
-  readonly tag: string;
-  readonly fields: ReadonlyArray<DescriptorField>;
-} | {
-  readonly type: "id";
-  readonly table: string;
-} | {
-  readonly type: "integer";
-} | {
-  readonly type: "literal";
-  readonly value: string | number | boolean;
-} | {
-  readonly type: "literals";
-  readonly values: ReadonlyArray<string | number | boolean>;
-} | {
-  readonly type: "never";
-} | {
-  readonly type: "null";
-} | {
-  readonly type: "nullable";
-  readonly value: ValueDescriptor;
-} | {
-  readonly type: "number";
-} | {
-  readonly type: "object";
-  readonly fields: ReadonlyArray<DescriptorField>;
-} | {
-  readonly type: "optional";
-  readonly value: ValueDescriptor;
-} | {
-  readonly type: "record";
-  readonly value: ValueDescriptor;
-} | {
-  readonly type: "string";
-} | {
-  readonly type: "union";
-  readonly members: ReadonlyArray<ValueDescriptor>;
-};
-declare const ValueDescriptor: Schema.Codec<ValueDescriptor>;
-declare const ValueDescriptorTypeId: unique symbol;
-interface ValueDescriptorCarrier {
-  readonly [ValueDescriptorTypeId]: ValueDescriptor;
-}
-type DescribedValue<Value extends Schema.Constraint = Schema.Constraint> = Value & ValueDescriptorCarrier;
-type ValueFields = {
-  readonly [fieldName: PropertyKey]: DescribedValue;
-};
-//#endregion
 //#region ../contracts/dist/types-DDg3XIFc.d.ts
 //#region src/schema/types.d.ts
 /** A document identifier branded with the table it belongs to. */
@@ -119,14 +57,26 @@ interface FixedObjectValidator<Fields extends Schema.Struct.Fields> extends Sche
 type ObjectDefinition<Fields extends Schema.Struct.Fields> = DescribedValue<PreserveIdMetadata<FixedObjectValidator<Fields>, Fields[keyof Fields]>>;
 type ResolvedFields<Fields extends Schema.Struct.Fields> = { readonly [FieldName in keyof Fields]: Omit<Fields[FieldName], typeof UnresolvedReferencesTypeId>; };
 type LiteralValue = string | number | boolean;
-interface TableDefinition<Fields extends Schema.Struct.Fields> {
+interface IndexDefinition<Name extends string = string, FieldNames extends readonly string[] = readonly string[]> {
+  readonly name: Name;
+  readonly fields: FieldNames;
+}
+interface IndexDefinitions {
+  readonly [indexName: string]: IndexDefinition;
+}
+type IndexScalar = boolean | Date | number | string;
+type IndexFieldName<Fields extends Schema.Struct.Fields> = { readonly [FieldName in keyof Fields & string]: Fields[FieldName]["Type"] extends IndexScalar ? FieldName : never; }[keyof Fields & string];
+type IndexFieldTuple<Fields extends Schema.Struct.Fields> = readonly [IndexFieldName<Fields>, ...ReadonlyArray<IndexFieldName<Fields>>];
+interface TableDefinition<Fields extends Schema.Struct.Fields, Indexes extends IndexDefinitions = {}> {
   readonly _tag: "Table";
   readonly descriptor: ValueDescriptor;
   readonly fields: Fields;
+  readonly indexes: Indexes;
   readonly schema: Schema.Struct<Fields>;
+  readonly index: <const Name extends string, const FieldNames extends IndexFieldTuple<Fields>>(name: Name extends keyof Indexes ? never : Name, fields: FieldNames) => TableDefinition<Fields, Indexes & Record<Name, IndexDefinition<Name, FieldNames>>>;
 }
 interface TableDefinitions {
-  readonly [tableName: string]: TableDefinition<Schema.Struct.Fields>;
+  readonly [tableName: string]: TableDefinition<Schema.Struct.Fields, IndexDefinitions>;
 }
 type TableNameOf$1<Definition extends TableDefinitions> = keyof Definition & string;
 type ReservedFieldName = "createdAt" | "id" | "updatedAt";
@@ -149,6 +99,19 @@ declare const number: () => DescribedValue<Schema.Finite>;
 declare const integer: () => DescribedValue<Schema.Int>;
 declare const boolean: () => DescribedValue<Schema.Boolean>;
 declare const date: () => DescribedValue<Schema.DateFromMillis>;
+interface FileOptions<Formats extends readonly FileFormat[]> {
+  readonly formats?: Formats;
+  readonly maxBytes?: number;
+}
+declare const file: <const Formats extends readonly FileFormat[] = typeof fileFormats>(options?: FileOptions<Formats>) => DescribedValue<Schema.decodeTo<Schema.declare<FileValue<"avif" | "gif" | "jpeg" | "png" | "webp">, FileValue<"avif" | "gif" | "jpeg" | "png" | "webp">>, Schema.Struct<{
+  readonly $ignotum: Schema.Literal<"file">;
+  readonly id: Schema.brand<Schema.String, "ignotum/file/FileId"> & {
+    readonly idPrefix: "file";
+  };
+  readonly format: Schema.Literals<readonly ["jpeg", "png", "webp", "avif", "gif"]>;
+  readonly name: Schema.String;
+  readonly size: Schema.Int;
+}>, never, never>> & Schema.Schema<FileValue<Formats[number]>>;
 declare const never: () => DescribedValue<Schema.Never>;
 declare const nullValue: () => DescribedValue<Schema.Null>;
 declare const literal: <const Value extends LiteralValue>(value: Value) => DescribedValue<Schema.Literal<Value>>;
@@ -160,11 +123,20 @@ declare const optional: <Value extends DescribedValue>(value: Value) => Preserve
 declare const nullable: <Value extends DescribedValue>(value: Value) => PreserveValueMetadata<Schema.NullOr<Value>, Value>;
 declare const record: <Value extends DescribedValue>(value: Value) => PreserveValueMetadata<Schema.$Record<Schema.String, Value>, Value>;
 declare const union: <const Members extends ReadonlyArray<DescribedValue>>(...members: Members) => PreserveValueMetadata<Schema.Union<Members>, Members[number]>;
+declare const pagination: () => ObjectDefinition<{
+  readonly cursor: DescribedValue<Schema.NullOr<DescribedValue<Schema.brand<Schema.String, "ignotum/runtime/PaginationCursor">>> & Schema.Constraint>;
+  readonly pageSize: DescribedValue<Schema.brand<Schema.Int, "ignotum/runtime/PaginationPageSize">>;
+}>;
+declare const page: <Value extends DescribedValue>(value: Value) => ObjectDefinition<{
+  readonly items: PreserveValueMetadata<Schema.$Array<Value>, Value>;
+  readonly nextCursor: DescribedValue<Schema.NullOr<DescribedValue<Schema.brand<Schema.String, "ignotum/runtime/PaginationCursor">>> & Schema.Constraint>;
+}> & Schema.Schema<PaginationPage<Value["Type"]>>;
 declare const error: <const Tag extends string, const Fields extends ValueFields>(tag: Tag & ErrorTagValidation<Tag>, fields: Fields & ReservedErrorFieldValidation<NoInfer<Fields>>) => ErrorDefinition<Tag, Fields>;
 declare const values: {
   array: typeof array;
   boolean: typeof boolean;
   date: typeof date;
+  file: typeof file;
   error: typeof error;
   id: typeof id;
   integer: typeof integer;
@@ -188,11 +160,13 @@ type DocumentDefinition<Definition extends TableDefinitions, TableName extends T
 type BoundValues<Definition extends TableDefinitions> = Omit<typeof values, "id"> & {
   readonly doc: <const TableName extends TableNameOf$1<Definition>>(tableName: TableName) => DocumentDefinition<Definition, TableName>;
   readonly id: <const TableName extends TableNameOf$1<Definition>>(tableName: TableName) => IdDefinition<TableName>;
+  readonly page: typeof page;
+  readonly pagination: () => ReturnType<typeof pagination> & Schema.Schema<PaginationOptions>;
 };
 //#endregion
 //#region ../contracts/dist/schema/index.d.ts
 //#region src/schema/definition.d.ts
-type AnyTableDefinition = TableDefinition<Schema.Struct.Fields>;
+type AnyTableDefinition = TableDefinition<Schema.Struct.Fields, IndexDefinitions>;
 interface Tables {
   readonly [tableName: string]: AnyTableDefinition;
 }
@@ -221,6 +195,11 @@ interface ErrorSchema extends Schema.ConstraintCodec<ErrorValue, unknown, never,
 interface ResolvedFunctionValue {
   readonly [UnresolvedReferencesTypeId]?: never;
 }
+type ContainsFile<Value> = Value extends FileValue ? true : Value extends Date ? false : Value extends ReadonlyArray<infer Item> ? true extends ContainsFile<Item> ? true : false : Value extends object ? true extends { [Key in keyof Value]-?: ContainsFile<Value[Key]>; }[keyof Value] ? true : false : false;
+declare const InvalidFilePositionTypeId: unique symbol;
+type FileFree<Value, Position extends string> = true extends ContainsFile<Value> ? {
+  readonly [InvalidFilePositionTypeId]: `Files cannot appear in ${Position}`;
+} : unknown;
 type ResolvedFunctionFields<Fields extends Schema.Struct.Fields> = { readonly [FieldName in keyof Fields]: Fields[FieldName] & ResolvedFunctionValue & TransportSchema; };
 interface ForbiddenSystemFields {
   readonly id?: never;
@@ -234,8 +213,39 @@ type FunctionReturns = TransportSchema | undefined;
 type ArgsOf<Args extends FunctionArgs> = Args extends Schema.Struct.Fields ? keyof Args extends never ? void : Schema.Struct.Type<Args> : void;
 type ReturnOf<Returns extends FunctionReturns> = Returns extends TransportSchema ? Returns["Type"] : void;
 type DocumentNotFound<TableName extends string = string> = DocumentNotFoundValue<TableName, Id<TableName>>;
-interface DatabaseQuery<Definition extends Tables, Name extends TableNameOf<Definition>> {
+declare const IndexRangeTypeId: unique symbol;
+interface IndexRangeExpression {
+  readonly [IndexRangeTypeId]: true;
+}
+type IndexFields<Definition extends Tables, Name extends TableNameOf<Definition>, IndexName extends keyof Definition[Name]["indexes"]> = Definition[Name]["indexes"][IndexName]["fields"] extends (infer Fields extends readonly string[]) ? readonly [...Fields, "createdAt", "id"] : never;
+type IndexFieldValue<Definition extends Tables, Name extends TableNameOf<Definition>, FieldName extends string> = FieldName extends "createdAt" ? Date : FieldName extends "id" ? Id<Name> : FieldName extends keyof FieldsOf<Definition[Name]> ? FieldsOf<Definition[Name]>[FieldName]["Type"] : never;
+interface IndexLowerBound<Definition extends Tables, Name extends TableNameOf<Definition>, FieldName extends string> extends IndexRangeExpression {
+  lt(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexRangeExpression;
+  lte(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexRangeExpression;
+}
+interface IndexUpperBound<Definition extends Tables, Name extends TableNameOf<Definition>, FieldName extends string> extends IndexRangeExpression {
+  gt(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexRangeExpression;
+  gte(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexRangeExpression;
+}
+interface IndexRangeBuilder<Definition extends Tables, Name extends TableNameOf<Definition>, Fields extends readonly string[]> extends IndexRangeExpression {
+  eq<FieldName extends Fields[0]>(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexRangeBuilder<Definition, Name, Fields extends readonly [string, ...infer Rest extends string[]] ? Rest : []>;
+  gt<FieldName extends Fields[0]>(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexLowerBound<Definition, Name, FieldName>;
+  gte<FieldName extends Fields[0]>(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexLowerBound<Definition, Name, FieldName>;
+  lt<FieldName extends Fields[0]>(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexUpperBound<Definition, Name, FieldName>;
+  lte<FieldName extends Fields[0]>(field: FieldName, value: IndexFieldValue<Definition, Name, FieldName>): IndexUpperBound<Definition, Name, FieldName>;
+}
+interface OrderedDatabaseQuery<Definition extends Tables, Name extends TableNameOf<Definition>> {
   collect(): Result<ReadonlyArray<Document<Definition, Name>>, never>;
+  take(count: number): Result<ReadonlyArray<Document<Definition, Name>>, never>;
+  first(): Result<Document<Definition, Name> | undefined, never>;
+  unique(): Result<Document<Definition, Name> | undefined, never>;
+  paginate(options: PaginationOptions): Result<PaginationPage<Document<Definition, Name>>, never>;
+}
+interface SelectableDatabaseQuery<Definition extends Tables, Name extends TableNameOf<Definition>> extends OrderedDatabaseQuery<Definition, Name> {
+  order(direction: "asc" | "desc"): OrderedDatabaseQuery<Definition, Name>;
+}
+interface DatabaseQuery<Definition extends Tables, Name extends TableNameOf<Definition>> extends SelectableDatabaseQuery<Definition, Name> {
+  index<const IndexName extends keyof Definition[Name]["indexes"] & string>(name: IndexName, range?: (builder: IndexRangeBuilder<Definition, Name, IndexFields<Definition, Name, IndexName>>) => IndexRangeExpression): SelectableDatabaseQuery<Definition, Name>;
 }
 interface DatabaseReader<Definition extends Tables> {
   query<const Name extends TableNameOf<Definition>>(name: Name): DatabaseQuery<Definition, Name>;
@@ -243,10 +253,10 @@ interface DatabaseReader<Definition extends Tables> {
   get<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>): Result<Document<Definition, Name>, DocumentNotFound<Name>>;
 }
 interface DatabaseWriter<Definition extends Tables> extends DatabaseReader<Definition> {
-  delete<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>): Result<void, never>;
+  delete<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>): Result<void, DocumentNotFound<Name>>;
   insert<const Name extends TableNameOf<Definition>>(name: Name, value: InsertOf<Definition[NoInfer<Name>]>): Result<Id<Name>, never>;
-  patch<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>, value: PatchOf<Definition[NoInfer<Name>]>): Result<void, never>;
-  replace<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>, value: InsertOf<Definition[NoInfer<Name>]>): Result<void, never>;
+  patch<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>, value: PatchOf<Definition[NoInfer<Name>]>): Result<void, DocumentNotFound<Name>>;
+  replace<const Name extends TableNameOf<Definition>>(name: Name, id: Id<NoInfer<Name>>, value: InsertOf<Definition[NoInfer<Name>]>): Result<void, DocumentNotFound<Name>>;
 }
 interface QueryContext<Definition extends Tables> {
   readonly db: DatabaseReader<Definition>;
@@ -277,40 +287,40 @@ type FunctionDefinition<Kind extends FunctionKind, Definition extends Tables, Ar
 interface FunctionInput<Kind extends FunctionKind, Definition extends Tables, Args extends FunctionArgs, Success, Failure extends ErrorValue> {
   readonly handler: Handler<Kind, Definition, Args, Success, Failure>;
 }
-type WithArgs<Args extends Schema.Struct.Fields> = {
-  readonly args: Args & ResolvedFunctionFields<NoInfer<Args>>;
+type WithArgs<Kind extends FunctionKind, Args extends Schema.Struct.Fields> = {
+  readonly args: Args & ResolvedFunctionFields<NoInfer<Args>> & (Kind extends "Query" ? FileFree<Schema.Struct.Type<Args>, "query arguments"> : unknown);
 };
 interface WithoutArgs {
   readonly args?: never;
 }
-type WithReturns<Returns extends TransportSchema> = {
-  readonly returns: Returns & ResolvedFunctionValue;
+type WithReturns<Kind extends FunctionKind, Returns extends TransportSchema> = {
+  readonly returns: Returns & ResolvedFunctionValue & (Kind extends "Mutation" ? FileFree<Returns["Type"], "mutation returns"> : unknown);
 };
 interface WithoutReturns {
   readonly returns?: never;
 }
 interface DefineFunction<Kind extends FunctionKind, Definition extends Tables> {
-  <const Args extends Schema.Struct.Fields, Returns extends TransportSchema, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Args, Returns["Type"], Errors["Type"]> & WithArgs<Args> & WithReturns<Returns> & {
-    readonly errors: Errors & ResolvedFunctionValue;
+  <const Args extends Schema.Struct.Fields, Returns extends TransportSchema, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Args, Returns["Type"], Errors["Type"]> & WithArgs<Kind, Args> & WithReturns<Kind, Returns> & {
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
   }): FunctionDefinition<Kind, Definition, Args, Returns, Errors, Errors["Type"]>;
-  <Returns extends TransportSchema, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, undefined, Returns["Type"], Errors["Type"]> & WithoutArgs & WithReturns<Returns> & {
-    readonly errors: Errors & ResolvedFunctionValue;
+  <Returns extends TransportSchema, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, undefined, Returns["Type"], Errors["Type"]> & WithoutArgs & WithReturns<Kind, Returns> & {
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
   }): FunctionDefinition<Kind, Definition, undefined, Returns, Errors, Errors["Type"]>;
-  <const Args extends Schema.Struct.Fields, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Args, void, Errors["Type"]> & WithArgs<Args> & WithoutReturns & {
-    readonly errors: Errors & ResolvedFunctionValue;
+  <const Args extends Schema.Struct.Fields, Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, Args, void, Errors["Type"]> & WithArgs<Kind, Args> & WithoutReturns & {
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
   }): FunctionDefinition<Kind, Definition, Args, undefined, Errors, Errors["Type"]>;
   <Errors extends ErrorSchema>(definition: FunctionInput<Kind, Definition, undefined, void, Errors["Type"]> & WithoutArgs & WithoutReturns & {
-    readonly errors: Errors & ResolvedFunctionValue;
+    readonly errors: Errors & ResolvedFunctionValue & FileFree<Errors["Type"], "errors">;
   }): FunctionDefinition<Kind, Definition, undefined, undefined, Errors, Errors["Type"]>;
-  <const Args extends Schema.Struct.Fields, Returns extends TransportSchema, HandlerType extends Handler<Kind, Definition, Args, Returns["Type"], ErrorValue> = Handler<Kind, Definition, Args, Returns["Type"], never>>(definition: WithArgs<Args> & WithReturns<Returns> & {
+  <const Args extends Schema.Struct.Fields, Returns extends TransportSchema, HandlerType extends Handler<Kind, Definition, Args, Returns["Type"], ErrorValue> = Handler<Kind, Definition, Args, Returns["Type"], never>>(definition: WithArgs<Kind, Args> & WithReturns<Kind, Returns> & {
     readonly errors?: never;
     readonly handler: HandlerType;
   }): FunctionDefinition<Kind, Definition, Args, Returns, undefined, HandlerFailure<HandlerType>>;
-  <Returns extends TransportSchema, HandlerType extends Handler<Kind, Definition, undefined, Returns["Type"], ErrorValue> = Handler<Kind, Definition, undefined, Returns["Type"], never>>(definition: WithoutArgs & WithReturns<Returns> & {
+  <Returns extends TransportSchema, HandlerType extends Handler<Kind, Definition, undefined, Returns["Type"], ErrorValue> = Handler<Kind, Definition, undefined, Returns["Type"], never>>(definition: WithoutArgs & WithReturns<Kind, Returns> & {
     readonly errors?: never;
     readonly handler: HandlerType;
   }): FunctionDefinition<Kind, Definition, undefined, Returns, undefined, HandlerFailure<HandlerType>>;
-  <const Args extends Schema.Struct.Fields, HandlerType extends Handler<Kind, Definition, Args, void, ErrorValue> = Handler<Kind, Definition, Args, void, never>>(definition: WithArgs<Args> & WithoutReturns & {
+  <const Args extends Schema.Struct.Fields, HandlerType extends Handler<Kind, Definition, Args, void, ErrorValue> = Handler<Kind, Definition, Args, void, never>>(definition: WithArgs<Kind, Args> & WithoutReturns & {
     readonly errors?: never;
     readonly handler: HandlerType;
   }): FunctionDefinition<Kind, Definition, Args, undefined, undefined, HandlerFailure<HandlerType>>;
@@ -329,4 +339,4 @@ interface SchemaBindings<Definition extends Tables> extends FunctionBuilders<Def
 declare const bindSchema: <const Definition extends Tables>(schema: DefinedSchema<Definition>) => SchemaBindings<Definition>;
 //#endregion
 export { Document as a, SchemaDefinitionTypeId as c, defineSchema as i, SchemaAuthoring as n, Id as o, bindSchema as r, SchemaDefinitionOf as s, DefinedSchema as t };
-//# sourceMappingURL=index-Dl_VQGmA.d.ts.map
+//# sourceMappingURL=index-CF04_Dps.d.ts.map

package/dist/runtime/internal/api.d.ts

@@ -1,2 +1,2 @@
-import { i as functionPathOf, n as FunctionReference, r as createApi, t as Api } from "../api-D2bsAz4T.js";
-export { Api, FunctionReference, createApi, functionPathOf };
+import { a as functionPathOf, i as createApi, n as FunctionReference, r as MutationInput, t as Api } from "../api-D9lV-5av.js";
+export { Api, FunctionReference, MutationInput, createApi, functionPathOf };

package/dist/runtime/internal/api.js

@@ -1,2 +1,2 @@
-import { n as functionPathOf, t as createApi } from "../api-DtX8qPrq.js";
+import { n as functionPathOf, t as createApi } from "../api-BTeMI5tx.js";
 export { createApi, functionPathOf };

package/dist/runtime/internal/host.d.ts

@@ -1,11 +1,14 @@
-import { d as TransportValue, l as documentNotFound, r as ErrorValue, s as Result, u as TransportObject } from "../result-BgcHn25t.js";
+import { c as Result, d as TransportObject, f as TransportValue, i as ErrorValue, u as documentNotFound } from "../id-Btwac71X-DGj0DQuu.js";
+import "../sync-mIXn9eKv.js";
+import { n as PaginationPage, t as PaginationOptions } from "../pagination-DrOowBve-Bnipd34u.js";
+import "../pagination-BNFhAjns.js";
 import { Effect, Schema } from "effect";
 //#region ../contracts/dist/runtime/functions.d.ts
 //#region src/runtime/functions.d.ts
 declare const FunctionKind: Schema.Literals<readonly ["Mutation", "Query"]>;
 type FunctionKind = typeof FunctionKind.Type;
 //#endregion
-//#region ../runtime/dist/guest.d.ts
+//#region ../runtime/dist/guest-DjAV4yQ0.d.ts
 //#region src/guest.d.ts
 interface GuestFunctionDefinition {
   readonly _tag: FunctionKind;
@@ -19,18 +22,32 @@ declare const GuestFunctionArgumentsTypeId: unique symbol;
 interface GuestFunctionArguments {
   readonly [GuestFunctionArgumentsTypeId]?: never;
 }
+interface GuestQueryRange {
+  readonly eq: (field: string, value: TransportValue) => GuestQueryRange;
+  readonly gt: (field: string, value: TransportValue) => GuestQueryRange;
+  readonly gte: (field: string, value: TransportValue) => GuestQueryRange;
+  readonly lt: (field: string, value: TransportValue) => GuestQueryRange;
+  readonly lte: (field: string, value: TransportValue) => GuestQueryRange;
+}
+interface GuestDatabaseQuery {
+  readonly index: (name: string, range?: (builder: GuestQueryRange) => GuestQueryRange) => GuestDatabaseQuery;
+  readonly order: (direction: "asc" | "desc") => GuestDatabaseQuery;
+  readonly collect: () => Result<ReadonlyArray<TransportObject>, never>;
+  readonly take: (count: number) => Result<ReadonlyArray<TransportObject>, never>;
+  readonly first: () => Result<TransportObject | undefined, never>;
+  readonly unique: () => Result<TransportObject | undefined, never>;
+  readonly paginate: (options: PaginationOptions) => Result<PaginationPage<TransportObject>, never>;
+}
 interface GuestDatabaseReader {
   readonly find: (table: string, id: string) => Result<TransportObject | undefined, never>;
   readonly get: (table: string, id: string) => Result<TransportObject, ReturnType<typeof documentNotFound>>;
-  readonly query: (table: string) => {
-    readonly collect: () => Result<ReadonlyArray<TransportObject>, never>;
-  };
+  readonly query: (table: string) => GuestDatabaseQuery;
 }
 interface GuestDatabaseWriter extends GuestDatabaseReader {
-  readonly delete: (table: string, id: string) => Result<void, never>;
+  readonly delete: (table: string, id: string) => Result<void, ReturnType<typeof documentNotFound>>;
   readonly insert: (table: string, value: TransportObject) => Result<string, never>;
-  readonly patch: (table: string, id: string, value: TransportObject) => Result<void, never>;
-  readonly replace: (table: string, id: string, value: TransportObject) => Result<void, never>;
+  readonly patch: (table: string, id: string, value: TransportObject) => Result<void, ReturnType<typeof documentNotFound>>;
+  readonly replace: (table: string, id: string, value: TransportObject) => Result<void, ReturnType<typeof documentNotFound>>;
 }
 interface GuestQueryContext {
   readonly db: GuestDatabaseReader;