ignotum 0.0.2 → 0.0.4

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

@@ -1,10 +1,69 @@
-import { n as ErrorBrand, r as ErrorValue, s as Result, t as DocumentNotFoundValue } from "./result-C1ZdsM6Y.js";
-import { Brand, Effect, Schema } from "effect";
-//#region ../contracts/dist/id-BD_sn1pR.d.ts
-declare const GeneratedId: Schema.brand<Schema.String, "ignotum/id">;
-type GeneratedId = typeof GeneratedId.Type;
+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 { 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-C3kZpWHV.d.ts
+//#region ../contracts/dist/types-DDg3XIFc.d.ts
 //#region src/schema/types.d.ts
 /** A document identifier branded with the table it belongs to. */
 type Id<TableName extends string> = GeneratedId & Brand.Brand<`ignotum/id/${TableName}`>;
@@ -19,7 +78,7 @@ interface TableDefinitionLike {
 interface TablesLike {
   readonly [tableName: string]: TableDefinitionLike;
 }
-type TableNameOf$1<Definition extends TablesLike> = keyof Definition & string;
+type TableNameOf$2<Definition extends TablesLike> = keyof Definition & string;
 interface SystemFields<TableName extends string> {
   readonly id: Id<TableName>;
   readonly createdAt: Date;
@@ -27,7 +86,7 @@ interface SystemFields<TableName extends string> {
 }
 type DocumentFields<TableName extends string, Table extends TableDefinitionLike> = SystemFields<TableName> & Schema.Struct.Type<Table["fields"]>;
 /** The complete document returned for a table, including Ignotum system fields. */
-type Document<Definition extends TablesLike, TableName extends TableNameOf$1<Definition>> = { readonly [FieldName in keyof DocumentFields<TableName, Definition[TableName]>]: DocumentFields<TableName, Definition[TableName]>[FieldName]; };
+type Document<Definition extends TablesLike, TableName extends TableNameOf$2<Definition>> = { readonly [FieldName in keyof DocumentFields<TableName, Definition[TableName]>]: DocumentFields<TableName, Definition[TableName]>[FieldName]; };
 //#endregion
 //#region ../contracts/dist/schema/values.d.ts
 //#region src/schema/values.d.ts
@@ -44,14 +103,32 @@ type UnresolvedReferencesOf<Value> = Value extends UnresolvedReferences<infer Ta
 type WithIdTargets<Value, TableName extends string> = [TableName] extends [never] ? Value : Value & IdTargets<TableName>;
 type WithUnresolvedReferences<Value, TableName extends string> = [TableName] extends [never] ? Value : Value & UnresolvedReferences<TableName>;
 type PreserveIdMetadata<Value, Source> = WithUnresolvedReferences<WithIdTargets<Value, IdTargetsOf<Source>>, UnresolvedReferencesOf<Source>>;
-type IdDefinition<TableName extends string> = Schema.brand<typeof GeneratedId, `ignotum/id/${TableName}`> & IdTargets<TableName>;
+type PreserveValueMetadata<Value extends Schema.Constraint, Source> = Source extends ValueDescriptorCarrier ? DescribedValue<PreserveIdMetadata<Value, Source> & Schema.Constraint> : PreserveIdMetadata<Value, Source>;
+type IdDefinition<TableName extends string> = DescribedValue<Schema.brand<typeof GeneratedId, `ignotum/id/${TableName}`> & IdTargets<TableName>>;
 type ReferenceDefinition<TableName extends string> = IdDefinition<TableName> & UnresolvedReferences<TableName>;
+type AddedFieldValidation<Fields, AddedFields> = Extract<keyof AddedFields, keyof Fields> extends never ? readonly [] : readonly [invalidFields: never];
+type OverriddenFieldValidation<Fields, OverriddenFields> = Exclude<keyof OverriddenFields, keyof Fields> extends never ? readonly [] : readonly [invalidFields: never];
+type PartialFields<Fields extends Schema.Struct.Fields> = { readonly [FieldName in keyof Fields]: Fields[FieldName] extends Schema.Constraint ? PreserveValueMetadata<Schema.optional<Fields[FieldName]>, Fields[FieldName]> : never; };
+interface FixedObjectValidator<Fields extends Schema.Struct.Fields> extends Schema.Struct<Fields> {
+  readonly pick: <const Keys extends ReadonlyArray<keyof Fields>>(...keys: Keys) => ObjectDefinition<Pick<Fields, Keys[number]>>;
+  readonly omit: <const Keys extends ReadonlyArray<keyof Fields>>(...keys: Keys) => ObjectDefinition<Omit<Fields, Keys[number]>>;
+  readonly extend: <const AddedFields extends ValueFields>(fields: AddedFields, ...validation: AddedFieldValidation<Fields, AddedFields>) => ObjectDefinition<Struct.Assign<Fields, AddedFields>>;
+  readonly override: <const OverriddenFields extends Partial<Record<keyof Fields, DescribedValue>>>(fields: OverriddenFields, ...validation: OverriddenFieldValidation<Fields, OverriddenFields>) => ObjectDefinition<Struct.Assign<Fields, OverriddenFields>>;
+  readonly partial: () => ObjectDefinition<PartialFields<Fields>>;
+}
+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> {
   readonly _tag: "Table";
+  readonly descriptor: ValueDescriptor;
   readonly fields: Fields;
   readonly schema: Schema.Struct<Fields>;
 }
+interface TableDefinitions {
+  readonly [tableName: string]: TableDefinition<Schema.Struct.Fields>;
+}
+type TableNameOf$1<Definition extends TableDefinitions> = keyof Definition & string;
 type ReservedFieldName = "createdAt" | "id" | "updatedAt";
 type ReservedErrorTagName = "InternalServerError";
 declare const ReservedFieldTypeId: unique symbol;
@@ -65,25 +142,25 @@ interface ReservedErrorTag<Tag extends string> {
 type ErrorTagValidation<Tag extends string> = Tag extends ReservedErrorTagName ? ReservedErrorTag<Tag> : unknown;
 type ReservedFieldValidation<Fields extends Schema.Struct.Fields> = { readonly [FieldName in Extract<keyof Fields, ReservedFieldName>]: ReservedField<FieldName>; };
 type ReservedErrorFieldValidation<Fields extends Schema.Struct.Fields> = { readonly [FieldName in Extract<keyof Fields, "_tag">]: ReservedField<FieldName>; };
-type ErrorDefinition<Tag extends string, Fields extends Schema.Struct.Fields> = PreserveIdMetadata<Schema.brand<Schema.TaggedStruct<Tag, Fields>, typeof ErrorBrand> & ((fields: Schema.Struct.MakeIn<Fields>) => Schema.brand<Schema.TaggedStruct<Tag, Fields>, typeof ErrorBrand>["Type"]), Fields[keyof Fields]>;
-declare const table: <const Fields extends Schema.Struct.Fields>(fields: Fields & ReservedFieldValidation<NoInfer<Fields>>) => TableDefinition<Fields>;
-declare const string: () => Schema.String;
-declare const number: () => Schema.Finite;
-declare const integer: () => Schema.Int;
-declare const boolean: () => Schema.Boolean;
-declare const date: () => Schema.DateFromMillis;
-declare const never: () => Schema.Never;
-declare const nullValue: () => Schema.Null;
-declare const literal: <const Value extends LiteralValue>(value: Value) => Schema.Literal<Value>;
-declare const literals: <const Members extends readonly [LiteralValue, LiteralValue, ...ReadonlyArray<LiteralValue>]>(...members: Members) => Schema.Literals<Members>;
+type ErrorDefinition<Tag extends string, Fields extends Schema.Struct.Fields> = DescribedValue<PreserveIdMetadata<Schema.brand<Schema.TaggedStruct<Tag, Fields>, typeof ErrorBrand> & ((fields: Schema.Struct.MakeIn<Fields>) => Schema.brand<Schema.TaggedStruct<Tag, Fields>, typeof ErrorBrand>["Type"]), Fields[keyof Fields]>>;
+declare const table: <const Fields extends ValueFields>(fields: Fields & ReservedFieldValidation<NoInfer<Fields>>) => TableDefinition<Fields>;
+declare const string: () => DescribedValue<Schema.String>;
+declare const number: () => DescribedValue<Schema.Finite>;
+declare const integer: () => DescribedValue<Schema.Int>;
+declare const boolean: () => DescribedValue<Schema.Boolean>;
+declare const date: () => DescribedValue<Schema.DateFromMillis>;
+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>>;
+declare const literals: <const Members extends readonly [LiteralValue, LiteralValue, ...ReadonlyArray<LiteralValue>]>(...members: Members) => DescribedValue<Schema.Literals<Members>>;
 declare const id: <const TableName extends string>(tableName: TableName) => ReferenceDefinition<TableName>;
-declare const array: <Value extends Schema.Constraint>(value: Value) => PreserveIdMetadata<Schema.$Array<Value>, Value>;
-declare const object: <const Fields extends Schema.Struct.Fields>(fields: Fields) => PreserveIdMetadata<Schema.Struct<Fields>, Fields[keyof Fields]>;
-declare const optional: <Value extends Schema.Constraint>(value: Value) => PreserveIdMetadata<Schema.optional<Value>, Value>;
-declare const nullable: <Value extends Schema.Constraint>(value: Value) => PreserveIdMetadata<Schema.NullOr<Value>, Value>;
-declare const record: <Value extends Schema.Constraint>(value: Value) => PreserveIdMetadata<Schema.$Record<Schema.String, Value>, Value>;
-declare const union: <const Members extends ReadonlyArray<Schema.Constraint>>(...members: Members) => PreserveIdMetadata<Schema.Union<Members>, Members[number]>;
-declare const error: <const Tag extends string, const Fields extends Schema.Struct.Fields>(tag: Tag & ErrorTagValidation<Tag>, fields: Fields & ReservedErrorFieldValidation<NoInfer<Fields>>) => ErrorDefinition<Tag, Fields>;
+declare const array: <Value extends DescribedValue>(value: Value) => PreserveValueMetadata<Schema.$Array<Value>, Value>;
+declare const object: <const Fields extends ValueFields>(fields: Fields) => ObjectDefinition<Fields>;
+declare const optional: <Value extends DescribedValue>(value: Value) => PreserveValueMetadata<Schema.optional<Value>, Value>;
+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 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;
@@ -103,8 +180,14 @@ declare const values: {
   string: typeof string;
   union: typeof union;
 };
-type BoundValues<TableName extends string> = Omit<typeof values, "id"> & {
-  readonly id: <const Target extends TableName>(tableName: Target) => IdDefinition<Target>;
+type DocumentDefinition<Definition extends TableDefinitions, TableName extends TableNameOf$1<Definition>> = ObjectDefinition<Struct.Assign<ResolvedFields<Definition[TableName]["fields"]>, {
+  readonly id: IdDefinition<TableName>;
+  readonly createdAt: typeof Schema.DateFromMillis;
+  readonly updatedAt: typeof Schema.DateFromMillis;
+}>>;
+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>;
 };
 //#endregion
 //#region ../contracts/dist/schema/index.d.ts
@@ -241,9 +324,9 @@ interface FunctionBuilders<Definition extends Tables> {
   readonly mutation: DefineFunction<"Mutation", Definition>;
 }
 interface SchemaBindings<Definition extends Tables> extends FunctionBuilders<Definition> {
-  readonly values: BoundValues<TableNameOf<Definition>>;
+  readonly values: BoundValues<Definition>;
 }
 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-BgWROoyk.d.ts.map
+//# sourceMappingURL=index-Dl_VQGmA.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-Cpx57mk3.js";
+import { i as functionPathOf, n as FunctionReference, r as createApi, t as Api } from "../api-D2bsAz4T.js";
 export { Api, FunctionReference, createApi, functionPathOf };

package/dist/runtime/internal/api.js

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

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

@@ -0,0 +1,44 @@
+import { d as TransportValue, l as documentNotFound, r as ErrorValue, s as Result, u as TransportObject } from "../result-BgcHn25t.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 src/guest.d.ts
+interface GuestFunctionDefinition {
+  readonly _tag: FunctionKind;
+  readonly args?: Schema.Struct.Fields;
+  readonly returns?: Schema.ConstraintCodec<unknown, unknown, never, never>;
+  readonly errors?: Schema.ConstraintCodec<unknown, unknown, never, never>;
+  readonly handler: (context: GuestQueryContext | GuestMutationContext, args: GuestFunctionArguments) => Generator<Effect.Effect<unknown, ErrorValue, never>, TransportValue | void, never>;
+}
+type GuestHostCall = (request: string) => Promise<string>;
+declare const GuestFunctionArgumentsTypeId: unique symbol;
+interface GuestFunctionArguments {
+  readonly [GuestFunctionArgumentsTypeId]?: 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>;
+  };
+}
+interface GuestDatabaseWriter extends GuestDatabaseReader {
+  readonly delete: (table: string, id: string) => Result<void, never>;
+  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>;
+}
+interface GuestQueryContext {
+  readonly db: GuestDatabaseReader;
+}
+interface GuestMutationContext {
+  readonly db: GuestDatabaseWriter;
+}
+declare const invoke: (definition: GuestFunctionDefinition, encodedArgs: Schema.Json, call: GuestHostCall) => Promise<string>;
+//#endregion
+export { invoke };
+//# sourceMappingURL=host.d.ts.map

package/dist/runtime/internal/host.js

@@ -0,0 +1,213 @@
+import { r as GeneratedId } from "../id-D570vudg.js";
+import { c as documentNotFound, d as resultFromEffect, f as TransportValueSchema, m as datePathsOfObject, o as ErrorValueSchema, p as datePathsOf } from "../descriptor-t6BOEGw9-BTHR-ZMv.js";
+import { i as getFunctionSchema, t as SchemaDefinitionTypeId } from "../schema-B-jMZEbs.js";
+import { Effect, Schema } from "effect";
+//#region ../contracts/dist/runtime/host.js
+const HostDocument = Schema.Struct({
+	id: GeneratedId,
+	createdAt: Schema.Int,
+	updatedAt: Schema.Int,
+	fields: Schema.JsonObject
+});
+const HostCollect = Schema.Struct({
+	type: Schema.Literal("Collect"),
+	table: Schema.String
+});
+const HostFind = Schema.Struct({
+	type: Schema.Literal("Find"),
+	table: Schema.String,
+	id: GeneratedId
+});
+const HostInsert = Schema.Struct({
+	type: Schema.Literal("Insert"),
+	table: Schema.String,
+	fields: Schema.JsonObject
+});
+const HostDelete = Schema.Struct({
+	type: Schema.Literal("Delete"),
+	table: Schema.String,
+	id: GeneratedId
+});
+const HostPatch = Schema.Struct({
+	type: Schema.Literal("Patch"),
+	table: Schema.String,
+	id: GeneratedId,
+	fields: Schema.JsonObject
+});
+const HostReplace = Schema.Struct({
+	type: Schema.Literal("Replace"),
+	table: Schema.String,
+	id: GeneratedId,
+	fields: Schema.JsonObject
+});
+const QuickJsHostRequest = Schema.Union([
+	HostCollect,
+	HostFind,
+	HostInsert,
+	HostDelete,
+	HostPatch,
+	HostReplace
+]);
+const HostDocuments = Schema.Struct({
+	type: Schema.Literal("Documents"),
+	documents: Schema.Array(HostDocument)
+});
+const HostFound = Schema.Struct({
+	type: Schema.Literal("Found"),
+	document: Schema.NullOr(HostDocument)
+});
+const HostInserted = Schema.Struct({
+	type: Schema.Literal("Inserted"),
+	id: GeneratedId
+});
+const HostCompleted = Schema.Struct({ type: Schema.Literal("Completed") });
+Schema.Union([
+	HostDocuments,
+	HostFound,
+	HostInserted,
+	HostCompleted
+]);
+//#endregion
+//#region ../runtime/dist/guest.js
+const decodeHostResponse = Schema.decodeEffect(Schema.fromJsonString(Schema.Union([
+	HostDocuments,
+	HostFound,
+	HostInserted,
+	HostCompleted
+])));
+const encodeHostRequest = Schema.encodeSync(Schema.fromJsonString(QuickJsHostRequest));
+const callHost = Effect.fn("Guest.callHost")(function* (call, request) {
+	return yield* Effect.tryPromise(() => call(encodeHostRequest(request))).pipe(Effect.flatMap(decodeHostResponse), Effect.orDie);
+});
+const tableFor = (schema, table) => {
+	const definition = schema[SchemaDefinitionTypeId][table];
+	if (definition === void 0) throw new Error(`Unknown database table '${table}'.`);
+	return definition;
+};
+const guestCodec = (schema) => schema;
+const encodeFields = (schema, table, fields) => {
+	const definition = tableFor(schema, table);
+	return Schema.decodeUnknownSync(Schema.JsonObject)(Schema.encodeUnknownSync(Schema.toCodecJson(guestCodec(definition.schema)), { onExcessProperty: "error" })(fields));
+};
+const encodePatchFields = (schema, table, fields) => {
+	const definition = tableFor(schema, table);
+	return Schema.decodeSync(Schema.JsonObject)(Object.fromEntries(Object.entries(fields).map(([name, value]) => {
+		const field = definition.fields[name];
+		if (field === void 0) throw new Error(`Unknown field '${name}' on table '${table}'.`);
+		return [name, Schema.encodeUnknownSync(Schema.toCodecJson(guestCodec(field)))(value)];
+	})));
+};
+const documentCodec = (schema, table) => guestCodec(Schema.Struct({
+	...tableFor(schema, table).fields,
+	id: Schema.String,
+	createdAt: Schema.DateFromMillis,
+	updatedAt: Schema.DateFromMillis
+}));
+const decodeDocument = (schema, table, document) => Schema.decodeUnknownSync(Schema.Record(Schema.String, Schema.UndefinedOr(TransportValueSchema)))(Schema.decodeSync(Schema.toCodecJson(documentCodec(schema, table)))({
+	...document.fields,
+	id: document.id,
+	createdAt: document.createdAt,
+	updatedAt: document.updatedAt
+}));
+const expectResponse = (response, tag) => {
+	if (response.type !== tag) throw new Error(`Unexpected host response '${response.type}'.`);
+	return response;
+};
+const makeReader = (schema, call) => {
+	const findEffect = (table, id) => callHost(call, {
+		type: "Find",
+		table,
+		id: GeneratedId.make(id)
+	}).pipe(Effect.map((response) => expectResponse(response, "Found")), Effect.map(({ document }) => document === null ? void 0 : decodeDocument(schema, table, document)));
+	return Object.freeze({
+		find: (table, id) => resultFromEffect(findEffect(table, id)),
+		get: (table, id) => resultFromEffect(findEffect(table, id).pipe(Effect.flatMap((document) => document === void 0 ? Effect.fail(documentNotFound(table, id)) : Effect.succeed(document)))),
+		query: (table) => ({ collect: () => resultFromEffect(callHost(call, {
+			type: "Collect",
+			table
+		}).pipe(Effect.map((response) => expectResponse(response, "Documents")), Effect.map(({ documents }) => documents.map((document) => decodeDocument(schema, table, document))))) })
+	});
+};
+const makeWriter = (schema, call) => {
+	const reader = makeReader(schema, call);
+	const complete = (request) => callHost(call, request).pipe(Effect.map((response) => expectResponse(response, "Completed")), Effect.asVoid);
+	const writer = {
+		...reader,
+		delete: (table, id) => resultFromEffect(complete({
+			type: "Delete",
+			table,
+			id: GeneratedId.make(id)
+		})),
+		insert: (table, value) => resultFromEffect(callHost(call, {
+			type: "Insert",
+			table,
+			fields: encodeFields(schema, table, value)
+		}).pipe(Effect.map((response) => expectResponse(response, "Inserted").id))),
+		patch: (table, id, value) => resultFromEffect(complete({
+			type: "Patch",
+			table,
+			id: GeneratedId.make(id),
+			fields: encodePatchFields(schema, table, value)
+		})),
+		replace: (table, id, value) => resultFromEffect(complete({
+			type: "Replace",
+			table,
+			id: GeneratedId.make(id),
+			fields: encodeFields(schema, table, value)
+		}))
+	};
+	return Object.freeze(writer);
+};
+const encodeSuccess = Effect.fn("Guest.encodeSuccess")(function* (definition, value) {
+	if (definition.returns === void 0) {
+		yield* Schema.encodeUnknownEffect(Schema.Undefined)(value);
+		return { type: "Success" };
+	}
+	const result = {
+		type: "Success",
+		value: yield* Schema.encodeUnknownEffect(Schema.toCodecJson(definition.returns))(value)
+	};
+	const dates = datePathsOf(value);
+	return dates.length === 0 ? result : {
+		...result,
+		dates
+	};
+});
+const encodeFailure = Effect.fn("Guest.encodeFailure")(function* (definition, error) {
+	const result = {
+		type: "Failure",
+		error: yield* Schema.encodeUnknownEffect(Schema.toCodecJson(definition.errors ?? ErrorValueSchema))(error)
+	};
+	const dates = datePathsOfObject(error);
+	return dates.length === 0 ? result : {
+		...result,
+		dates
+	};
+});
+const runGuest = Effect.fn("Guest.invoke")(function* (definition, encodedArgs, call) {
+	const schema = getFunctionSchema(definition);
+	if (schema === void 0) return yield* Effect.die("The function has no bound schema.");
+	const decodedArgs = yield* Schema.decodeEffect(Schema.toCodecJson(guestCodec(Schema.Struct(definition.args ?? {}))))(encodedArgs).pipe(Effect.match({
+		onFailure: () => ({ valid: false }),
+		onSuccess: (value) => ({
+			valid: true,
+			value
+		})
+	}));
+	if (!decodedArgs.valid) return {
+		type: "InvocationRejected",
+		code: "InvalidArguments",
+		message: "The invocation arguments do not match the function definition."
+	};
+	const args = yield* Schema.decodeUnknownEffect(Schema.ObjectKeyword)(decodedArgs.value);
+	const context = Object.freeze({ db: definition._tag === "Query" ? makeReader(schema, call) : makeWriter(schema, call) });
+	return yield* Effect.gen(() => definition.handler(context, args)).pipe(Effect.matchEffect({
+		onFailure: (error) => encodeFailure(definition, error),
+		onSuccess: (value) => encodeSuccess(definition, value)
+	}));
+});
+const invoke = (definition, encodedArgs, call) => Effect.runPromise(runGuest(definition, encodedArgs, call)).then((result) => Schema.encodeSync(Schema.fromJsonString(Schema.Json))(result));
+//#endregion
+export { invoke };
+
+//# sourceMappingURL=host.js.map

package/dist/runtime/internal/host.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.js","names":[],"sources":["../../../../contracts/dist/runtime/host.js","../../../../runtime/dist/guest.js"],"sourcesContent":["import { GeneratedId } from \"./id.js\";\nimport { Schema } from \"effect\";\n//#region src/runtime/host.ts\nconst HostDocument = Schema.Struct({\n\tid: GeneratedId,\n\tcreatedAt: Schema.Int,\n\tupdatedAt: Schema.Int,\n\tfields: Schema.JsonObject\n});\nconst HostCollect = Schema.Struct({\n\ttype: Schema.Literal(\"Collect\"),\n\ttable: Schema.String\n});\nconst HostFind = Schema.Struct({\n\ttype: Schema.Literal(\"Find\"),\n\ttable: Schema.String,\n\tid: GeneratedId\n});\nconst HostInsert = Schema.Struct({\n\ttype: Schema.Literal(\"Insert\"),\n\ttable: Schema.String,\n\tfields: Schema.JsonObject\n});\nconst HostDelete = Schema.Struct({\n\ttype: Schema.Literal(\"Delete\"),\n\ttable: Schema.String,\n\tid: GeneratedId\n});\nconst HostPatch = Schema.Struct({\n\ttype: Schema.Literal(\"Patch\"),\n\ttable: Schema.String,\n\tid: GeneratedId,\n\tfields: Schema.JsonObject\n});\nconst HostReplace = Schema.Struct({\n\ttype: Schema.Literal(\"Replace\"),\n\ttable: Schema.String,\n\tid: GeneratedId,\n\tfields: Schema.JsonObject\n});\nconst QuickJsHostRequest = Schema.Union([\n\tHostCollect,\n\tHostFind,\n\tHostInsert,\n\tHostDelete,\n\tHostPatch,\n\tHostReplace\n]);\nconst HostDocuments = Schema.Struct({\n\ttype: Schema.Literal(\"Documents\"),\n\tdocuments: Schema.Array(HostDocument)\n});\nconst HostFound = Schema.Struct({\n\ttype: Schema.Literal(\"Found\"),\n\tdocument: Schema.NullOr(HostDocument)\n});\nconst HostInserted = Schema.Struct({\n\ttype: Schema.Literal(\"Inserted\"),\n\tid: GeneratedId\n});\nconst HostCompleted = Schema.Struct({ type: Schema.Literal(\"Completed\") });\nconst QuickJsHostResponse = Schema.Union([\n\tHostDocuments,\n\tHostFound,\n\tHostInserted,\n\tHostCompleted\n]);\n//#endregion\nexport { HostCollect, HostCompleted, HostDelete, HostDocument, HostDocuments, HostFind, HostFound, HostInsert, HostInserted, HostPatch, HostReplace, QuickJsHostRequest, QuickJsHostResponse };\n\n//# sourceMappingURL=host.js.map","import { HostCompleted, HostDocuments, HostFound, HostInserted, QuickJsHostRequest } from \"@ignotum/contracts/runtime/host\";\nimport { GeneratedId } from \"@ignotum/contracts/runtime/id\";\nimport { Effect, Schema } from \"effect\";\nimport { ErrorValueSchema, documentNotFound, resultFromEffect } from \"@ignotum/contracts/runtime/result\";\nimport { getFunctionSchema } from \"@ignotum/contracts/runtime/schema\";\nimport { TransportValueSchema, datePathsOf, datePathsOfObject } from \"@ignotum/contracts/runtime/value\";\nimport { SchemaDefinitionTypeId } from \"@ignotum/contracts/schema\";\n//#region src/guest.ts\nconst decodeHostResponse = Schema.decodeEffect(Schema.fromJsonString(Schema.Union([\n\tHostDocuments,\n\tHostFound,\n\tHostInserted,\n\tHostCompleted\n])));\nconst encodeHostRequest = Schema.encodeSync(Schema.fromJsonString(QuickJsHostRequest));\nconst callHost = Effect.fn(\"Guest.callHost\")(function* (call, request) {\n\treturn yield* Effect.tryPromise(() => call(encodeHostRequest(request))).pipe(Effect.flatMap(decodeHostResponse), Effect.orDie);\n});\nconst tableFor = (schema, table) => {\n\tconst definition = schema[SchemaDefinitionTypeId][table];\n\tif (definition === void 0) throw new Error(`Unknown database table '${table}'.`);\n\treturn definition;\n};\nconst guestCodec = (schema) => schema;\nconst encodeFields = (schema, table, fields) => {\n\tconst definition = tableFor(schema, table);\n\treturn Schema.decodeUnknownSync(Schema.JsonObject)(Schema.encodeUnknownSync(Schema.toCodecJson(guestCodec(definition.schema)), { onExcessProperty: \"error\" })(fields));\n};\nconst encodePatchFields = (schema, table, fields) => {\n\tconst definition = tableFor(schema, table);\n\treturn Schema.decodeSync(Schema.JsonObject)(Object.fromEntries(Object.entries(fields).map(([name, value]) => {\n\t\tconst field = definition.fields[name];\n\t\tif (field === void 0) throw new Error(`Unknown field '${name}' on table '${table}'.`);\n\t\treturn [name, Schema.encodeUnknownSync(Schema.toCodecJson(guestCodec(field)))(value)];\n\t})));\n};\nconst documentCodec = (schema, table) => guestCodec(Schema.Struct({\n\t...tableFor(schema, table).fields,\n\tid: Schema.String,\n\tcreatedAt: Schema.DateFromMillis,\n\tupdatedAt: Schema.DateFromMillis\n}));\nconst decodeDocument = (schema, table, document) => Schema.decodeUnknownSync(Schema.Record(Schema.String, Schema.UndefinedOr(TransportValueSchema)))(Schema.decodeSync(Schema.toCodecJson(documentCodec(schema, table)))({\n\t...document.fields,\n\tid: document.id,\n\tcreatedAt: document.createdAt,\n\tupdatedAt: document.updatedAt\n}));\nconst expectResponse = (response, tag) => {\n\tif (response.type !== tag) throw new Error(`Unexpected host response '${response.type}'.`);\n\treturn response;\n};\nconst makeReader = (schema, call) => {\n\tconst findEffect = (table, id) => callHost(call, {\n\t\ttype: \"Find\",\n\t\ttable,\n\t\tid: GeneratedId.make(id)\n\t}).pipe(Effect.map((response) => expectResponse(response, \"Found\")), Effect.map(({ document }) => document === null ? void 0 : decodeDocument(schema, table, document)));\n\treturn Object.freeze({\n\t\tfind: (table, id) => resultFromEffect(findEffect(table, id)),\n\t\tget: (table, id) => resultFromEffect(findEffect(table, id).pipe(Effect.flatMap((document) => document === void 0 ? Effect.fail(documentNotFound(table, id)) : Effect.succeed(document)))),\n\t\tquery: (table) => ({ collect: () => resultFromEffect(callHost(call, {\n\t\t\ttype: \"Collect\",\n\t\t\ttable\n\t\t}).pipe(Effect.map((response) => expectResponse(response, \"Documents\")), Effect.map(({ documents }) => documents.map((document) => decodeDocument(schema, table, document))))) })\n\t});\n};\nconst makeWriter = (schema, call) => {\n\tconst reader = makeReader(schema, call);\n\tconst complete = (request) => callHost(call, request).pipe(Effect.map((response) => expectResponse(response, \"Completed\")), Effect.asVoid);\n\tconst writer = {\n\t\t...reader,\n\t\tdelete: (table, id) => resultFromEffect(complete({\n\t\t\ttype: \"Delete\",\n\t\t\ttable,\n\t\t\tid: GeneratedId.make(id)\n\t\t})),\n\t\tinsert: (table, value) => resultFromEffect(callHost(call, {\n\t\t\ttype: \"Insert\",\n\t\t\ttable,\n\t\t\tfields: encodeFields(schema, table, value)\n\t\t}).pipe(Effect.map((response) => expectResponse(response, \"Inserted\").id))),\n\t\tpatch: (table, id, value) => resultFromEffect(complete({\n\t\t\ttype: \"Patch\",\n\t\t\ttable,\n\t\t\tid: GeneratedId.make(id),\n\t\t\tfields: encodePatchFields(schema, table, value)\n\t\t})),\n\t\treplace: (table, id, value) => resultFromEffect(complete({\n\t\t\ttype: \"Replace\",\n\t\t\ttable,\n\t\t\tid: GeneratedId.make(id),\n\t\t\tfields: encodeFields(schema, table, value)\n\t\t}))\n\t};\n\treturn Object.freeze(writer);\n};\nconst encodeSuccess = Effect.fn(\"Guest.encodeSuccess\")(function* (definition, value) {\n\tif (definition.returns === void 0) {\n\t\tyield* Schema.encodeUnknownEffect(Schema.Undefined)(value);\n\t\treturn { type: \"Success\" };\n\t}\n\tconst result = {\n\t\ttype: \"Success\",\n\t\tvalue: yield* Schema.encodeUnknownEffect(Schema.toCodecJson(definition.returns))(value)\n\t};\n\tconst dates = datePathsOf(value);\n\treturn dates.length === 0 ? result : {\n\t\t...result,\n\t\tdates\n\t};\n});\nconst encodeFailure = Effect.fn(\"Guest.encodeFailure\")(function* (definition, error) {\n\tconst result = {\n\t\ttype: \"Failure\",\n\t\terror: yield* Schema.encodeUnknownEffect(Schema.toCodecJson(definition.errors ?? ErrorValueSchema))(error)\n\t};\n\tconst dates = datePathsOfObject(error);\n\treturn dates.length === 0 ? result : {\n\t\t...result,\n\t\tdates\n\t};\n});\nconst runGuest = Effect.fn(\"Guest.invoke\")(function* (definition, encodedArgs, call) {\n\tconst schema = getFunctionSchema(definition);\n\tif (schema === void 0) return yield* Effect.die(\"The function has no bound schema.\");\n\tconst decodedArgs = yield* Schema.decodeEffect(Schema.toCodecJson(guestCodec(Schema.Struct(definition.args ?? {}))))(encodedArgs).pipe(Effect.match({\n\t\tonFailure: () => ({ valid: false }),\n\t\tonSuccess: (value) => ({\n\t\t\tvalid: true,\n\t\t\tvalue\n\t\t})\n\t}));\n\tif (!decodedArgs.valid) return {\n\t\ttype: \"InvocationRejected\",\n\t\tcode: \"InvalidArguments\",\n\t\tmessage: \"The invocation arguments do not match the function definition.\"\n\t};\n\tconst args = yield* Schema.decodeUnknownEffect(Schema.ObjectKeyword)(decodedArgs.value);\n\tconst context = Object.freeze({ db: definition._tag === \"Query\" ? makeReader(schema, call) : makeWriter(schema, call) });\n\treturn yield* Effect.gen(() => definition.handler(context, args)).pipe(Effect.matchEffect({\n\t\tonFailure: (error) => encodeFailure(definition, error),\n\t\tonSuccess: (value) => encodeSuccess(definition, value)\n\t}));\n});\nconst invoke = (definition, encodedArgs, call) => Effect.runPromise(runGuest(definition, encodedArgs, call)).then((result) => Schema.encodeSync(Schema.fromJsonString(Schema.Json))(result));\n//#endregion\nexport { invoke };\n\n//# sourceMappingURL=guest.js.map"],"mappings":";;;;;AAGA,MAAM,eAAe,OAAO,OAAO;CAClC,IAAI;CACJ,WAAW,OAAO;CAClB,WAAW,OAAO;CAClB,QAAQ,OAAO;AAChB,CAAC;AACD,MAAM,cAAc,OAAO,OAAO;CACjC,MAAM,OAAO,QAAQ,SAAS;CAC9B,OAAO,OAAO;AACf,CAAC;AACD,MAAM,WAAW,OAAO,OAAO;CAC9B,MAAM,OAAO,QAAQ,MAAM;CAC3B,OAAO,OAAO;CACd,IAAI;AACL,CAAC;AACD,MAAM,aAAa,OAAO,OAAO;CAChC,MAAM,OAAO,QAAQ,QAAQ;CAC7B,OAAO,OAAO;CACd,QAAQ,OAAO;AAChB,CAAC;AACD,MAAM,aAAa,OAAO,OAAO;CAChC,MAAM,OAAO,QAAQ,QAAQ;CAC7B,OAAO,OAAO;CACd,IAAI;AACL,CAAC;AACD,MAAM,YAAY,OAAO,OAAO;CAC/B,MAAM,OAAO,QAAQ,OAAO;CAC5B,OAAO,OAAO;CACd,IAAI;CACJ,QAAQ,OAAO;AAChB,CAAC;AACD,MAAM,cAAc,OAAO,OAAO;CACjC,MAAM,OAAO,QAAQ,SAAS;CAC9B,OAAO,OAAO;CACd,IAAI;CACJ,QAAQ,OAAO;AAChB,CAAC;AACD,MAAM,qBAAqB,OAAO,MAAM;CACvC;CACA;CACA;CACA;CACA;CACA;AACD,CAAC;AACD,MAAM,gBAAgB,OAAO,OAAO;CACnC,MAAM,OAAO,QAAQ,WAAW;CAChC,WAAW,OAAO,MAAM,YAAY;AACrC,CAAC;AACD,MAAM,YAAY,OAAO,OAAO;CAC/B,MAAM,OAAO,QAAQ,OAAO;CAC5B,UAAU,OAAO,OAAO,YAAY;AACrC,CAAC;AACD,MAAM,eAAe,OAAO,OAAO;CAClC,MAAM,OAAO,QAAQ,UAAU;CAC/B,IAAI;AACL,CAAC;AACD,MAAM,gBAAgB,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,WAAW,EAAE,CAAC;AAC7C,OAAO,MAAM;CACxC;CACA;CACA;CACA;AACD,CAAC;;;AC1DD,MAAM,qBAAqB,OAAO,aAAa,OAAO,eAAe,OAAO,MAAM;CACjF;CACA;CACA;CACA;AACD,CAAC,CAAC,CAAC;AACH,MAAM,oBAAoB,OAAO,WAAW,OAAO,eAAe,kBAAkB,CAAC;AACrF,MAAM,WAAW,OAAO,GAAG,gBAAgB,CAAC,CAAC,WAAW,MAAM,SAAS;CACtE,OAAO,OAAO,OAAO,iBAAiB,KAAK,kBAAkB,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,QAAQ,kBAAkB,GAAG,OAAO,KAAK;AAC9H,CAAC;AACD,MAAM,YAAY,QAAQ,UAAU;CACnC,MAAM,aAAa,OAAO,uBAAuB,CAAC;CAClD,IAAI,eAAe,KAAK,GAAG,MAAM,IAAI,MAAM,2BAA2B,MAAM,GAAG;CAC/E,OAAO;AACR;AACA,MAAM,cAAc,WAAW;AAC/B,MAAM,gBAAgB,QAAQ,OAAO,WAAW;CAC/C,MAAM,aAAa,SAAS,QAAQ,KAAK;CACzC,OAAO,OAAO,kBAAkB,OAAO,UAAU,CAAC,CAAC,OAAO,kBAAkB,OAAO,YAAY,WAAW,WAAW,MAAM,CAAC,GAAG,EAAE,kBAAkB,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;AACtK;AACA,MAAM,qBAAqB,QAAQ,OAAO,WAAW;CACpD,MAAM,aAAa,SAAS,QAAQ,KAAK;CACzC,OAAO,OAAO,WAAW,OAAO,UAAU,CAAC,CAAC,OAAO,YAAY,OAAO,QAAQ,MAAM,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW;EAC5G,MAAM,QAAQ,WAAW,OAAO;EAChC,IAAI,UAAU,KAAK,GAAG,MAAM,IAAI,MAAM,kBAAkB,KAAK,cAAc,MAAM,GAAG;EACpF,OAAO,CAAC,MAAM,OAAO,kBAAkB,OAAO,YAAY,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;CACrF,CAAC,CAAC,CAAC;AACJ;AACA,MAAM,iBAAiB,QAAQ,UAAU,WAAW,OAAO,OAAO;CACjE,GAAG,SAAS,QAAQ,KAAK,CAAC,CAAC;CAC3B,IAAI,OAAO;CACX,WAAW,OAAO;CAClB,WAAW,OAAO;AACnB,CAAC,CAAC;AACF,MAAM,kBAAkB,QAAQ,OAAO,aAAa,OAAO,kBAAkB,OAAO,OAAO,OAAO,QAAQ,OAAO,YAAY,oBAAoB,CAAC,CAAC,CAAC,CAAC,OAAO,WAAW,OAAO,YAAY,cAAc,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC;CACxN,GAAG,SAAS;CACZ,IAAI,SAAS;CACb,WAAW,SAAS;CACpB,WAAW,SAAS;AACrB,CAAC,CAAC;AACF,MAAM,kBAAkB,UAAU,QAAQ;CACzC,IAAI,SAAS,SAAS,KAAK,MAAM,IAAI,MAAM,6BAA6B,SAAS,KAAK,GAAG;CACzF,OAAO;AACR;AACA,MAAM,cAAc,QAAQ,SAAS;CACpC,MAAM,cAAc,OAAO,OAAO,SAAS,MAAM;EAChD,MAAM;EACN;EACA,IAAI,YAAY,KAAK,EAAE;CACxB,CAAC,CAAC,CAAC,KAAK,OAAO,KAAK,aAAa,eAAe,UAAU,OAAO,CAAC,GAAG,OAAO,KAAK,EAAE,eAAe,aAAa,OAAO,KAAK,IAAI,eAAe,QAAQ,OAAO,QAAQ,CAAC,CAAC;CACvK,OAAO,OAAO,OAAO;EACpB,OAAO,OAAO,OAAO,iBAAiB,WAAW,OAAO,EAAE,CAAC;EAC3D,MAAM,OAAO,OAAO,iBAAiB,WAAW,OAAO,EAAE,CAAC,CAAC,KAAK,OAAO,SAAS,aAAa,aAAa,KAAK,IAAI,OAAO,KAAK,iBAAiB,OAAO,EAAE,CAAC,IAAI,OAAO,QAAQ,QAAQ,CAAC,CAAC,CAAC;EACxL,QAAQ,WAAW,EAAE,eAAe,iBAAiB,SAAS,MAAM;GACnE,MAAM;GACN;EACD,CAAC,CAAC,CAAC,KAAK,OAAO,KAAK,aAAa,eAAe,UAAU,WAAW,CAAC,GAAG,OAAO,KAAK,EAAE,gBAAgB,UAAU,KAAK,aAAa,eAAe,QAAQ,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;CAChL,CAAC;AACF;AACA,MAAM,cAAc,QAAQ,SAAS;CACpC,MAAM,SAAS,WAAW,QAAQ,IAAI;CACtC,MAAM,YAAY,YAAY,SAAS,MAAM,OAAO,CAAC,CAAC,KAAK,OAAO,KAAK,aAAa,eAAe,UAAU,WAAW,CAAC,GAAG,OAAO,MAAM;CACzI,MAAM,SAAS;EACd,GAAG;EACH,SAAS,OAAO,OAAO,iBAAiB,SAAS;GAChD,MAAM;GACN;GACA,IAAI,YAAY,KAAK,EAAE;EACxB,CAAC,CAAC;EACF,SAAS,OAAO,UAAU,iBAAiB,SAAS,MAAM;GACzD,MAAM;GACN;GACA,QAAQ,aAAa,QAAQ,OAAO,KAAK;EAC1C,CAAC,CAAC,CAAC,KAAK,OAAO,KAAK,aAAa,eAAe,UAAU,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;EAC1E,QAAQ,OAAO,IAAI,UAAU,iBAAiB,SAAS;GACtD,MAAM;GACN;GACA,IAAI,YAAY,KAAK,EAAE;GACvB,QAAQ,kBAAkB,QAAQ,OAAO,KAAK;EAC/C,CAAC,CAAC;EACF,UAAU,OAAO,IAAI,UAAU,iBAAiB,SAAS;GACxD,MAAM;GACN;GACA,IAAI,YAAY,KAAK,EAAE;GACvB,QAAQ,aAAa,QAAQ,OAAO,KAAK;EAC1C,CAAC,CAAC;CACH;CACA,OAAO,OAAO,OAAO,MAAM;AAC5B;AACA,MAAM,gBAAgB,OAAO,GAAG,qBAAqB,CAAC,CAAC,WAAW,YAAY,OAAO;CACpF,IAAI,WAAW,YAAY,KAAK,GAAG;EAClC,OAAO,OAAO,oBAAoB,OAAO,SAAS,CAAC,CAAC,KAAK;EACzD,OAAO,EAAE,MAAM,UAAU;CAC1B;CACA,MAAM,SAAS;EACd,MAAM;EACN,OAAO,OAAO,OAAO,oBAAoB,OAAO,YAAY,WAAW,OAAO,CAAC,CAAC,CAAC,KAAK;CACvF;CACA,MAAM,QAAQ,YAAY,KAAK;CAC/B,OAAO,MAAM,WAAW,IAAI,SAAS;EACpC,GAAG;EACH;CACD;AACD,CAAC;AACD,MAAM,gBAAgB,OAAO,GAAG,qBAAqB,CAAC,CAAC,WAAW,YAAY,OAAO;CACpF,MAAM,SAAS;EACd,MAAM;EACN,OAAO,OAAO,OAAO,oBAAoB,OAAO,YAAY,WAAW,UAAU,gBAAgB,CAAC,CAAC,CAAC,KAAK;CAC1G;CACA,MAAM,QAAQ,kBAAkB,KAAK;CACrC,OAAO,MAAM,WAAW,IAAI,SAAS;EACpC,GAAG;EACH;CACD;AACD,CAAC;AACD,MAAM,WAAW,OAAO,GAAG,cAAc,CAAC,CAAC,WAAW,YAAY,aAAa,MAAM;CACpF,MAAM,SAAS,kBAAkB,UAAU;CAC3C,IAAI,WAAW,KAAK,GAAG,OAAO,OAAO,OAAO,IAAI,mCAAmC;CACnF,MAAM,cAAc,OAAO,OAAO,aAAa,OAAO,YAAY,WAAW,OAAO,OAAO,WAAW,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,MAAM;EACnJ,kBAAkB,EAAE,OAAO,MAAM;EACjC,YAAY,WAAW;GACtB,OAAO;GACP;EACD;CACD,CAAC,CAAC;CACF,IAAI,CAAC,YAAY,OAAO,OAAO;EAC9B,MAAM;EACN,MAAM;EACN,SAAS;CACV;CACA,MAAM,OAAO,OAAO,OAAO,oBAAoB,OAAO,aAAa,CAAC,CAAC,YAAY,KAAK;CACtF,MAAM,UAAU,OAAO,OAAO,EAAE,IAAI,WAAW,SAAS,UAAU,WAAW,QAAQ,IAAI,IAAI,WAAW,QAAQ,IAAI,EAAE,CAAC;CACvH,OAAO,OAAO,OAAO,UAAU,WAAW,QAAQ,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,YAAY;EACzF,YAAY,UAAU,cAAc,YAAY,KAAK;EACrD,YAAY,UAAU,cAAc,YAAY,KAAK;CACtD,CAAC,CAAC;AACH,CAAC;AACD,MAAM,UAAU,YAAY,aAAa,SAAS,OAAO,WAAW,SAAS,YAAY,aAAa,IAAI,CAAC,CAAC,CAAC,MAAM,WAAW,OAAO,WAAW,OAAO,eAAe,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC"}

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

@@ -1,4 +1,4 @@
-import { r as bindSchema$1 } from "../index-BgWROoyk.js";
+import { r as bindSchema$1 } from "../index-Dl_VQGmA.js";
 //#region src/internal/server.d.ts
 declare const bindSchema: typeof bindSchema$1;
 //#endregion

package/dist/runtime/internal/server.js

@@ -1,4 +1,4 @@
-import { n as bindSchema$1 } from "../schema-CNEVLF7D.js";
+import { n as bindSchema$1 } from "../schema-B-jMZEbs.js";
 //#region src/internal/server.ts
 const bindSchema = bindSchema$1;
 //#endregion

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

@@ -1,2 +1,2 @@
-import { a as Document, c as SchemaDefinitionTypeId, o as Id, s as SchemaDefinitionOf } from "../index-BgWROoyk.js";
+import { a as Document, c as SchemaDefinitionTypeId, o as Id, s as SchemaDefinitionOf } from "../index-Dl_VQGmA.js";
 export { type Document, type Id, type SchemaDefinitionOf, SchemaDefinitionTypeId };

package/dist/runtime/internal/types.js

@@ -1,2 +1,2 @@
-import { t as SchemaDefinitionTypeId } from "../schema-CNEVLF7D.js";
+import { t as SchemaDefinitionTypeId } from "../schema-B-jMZEbs.js";
 export { SchemaDefinitionTypeId };

package/dist/runtime/{result-C1ZdsM6Y.d.ts → result-BgcHn25t.d.ts}

@@ -1,4 +1,12 @@
 import { Brand, Effect, Schema } from "effect";
+//#region ../contracts/dist/value-CiN-5gJo.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;
+//#endregion
 //#region ../contracts/dist/runtime/result.d.ts
 //#region src/runtime/result.d.ts
 declare const ResultTypeId: unique symbol;
@@ -8,7 +16,9 @@ type ErrorValue = {
   readonly _tag: string;
 } & Brand.Brand<typeof ErrorBrand>;
 declare const InternalServerErrorCause_base: Schema.Class<InternalServerErrorCause, Schema.TaggedStruct<"InternalServerError", {
-  readonly requestId: Schema.String;
+  readonly requestId: Schema.brand<Schema.String, "ignotum/runtime/RequestId"> & {
+    readonly idPrefix: string;
+  };
 }>, import("effect/Cause").YieldableError>;
 declare class InternalServerErrorCause extends InternalServerErrorCause_base {}
 declare const InternalServerError: typeof InternalServerErrorCause;
@@ -16,12 +26,16 @@ declare const InternalServerErrorSchema: Schema.brand<Schema.decodeTo<Schema.dec
   readonly _tag: "InternalServerError";
   readonly requestId: string;
 }, readonly [Schema.TaggedStruct<"InternalServerError", {
-  readonly requestId: Schema.String;
+  readonly requestId: Schema.brand<Schema.String, "ignotum/runtime/RequestId"> & {
+    readonly idPrefix: string;
+  };
 }>], {
   readonly _tag: "InternalServerError";
-  readonly requestId: string;
+  readonly requestId: string & Brand.Brand<"ignotum/runtime/RequestId">;
 }>, Schema.TaggedStruct<"InternalServerError", {
-  readonly requestId: Schema.String;
+  readonly requestId: Schema.brand<Schema.String, "ignotum/runtime/RequestId"> & {
+    readonly idPrefix: string;
+  };
 }>, never, never>, "ignotum/error">;
 type InternalServerError = typeof InternalServerErrorSchema.Type;
 type DocumentNotFoundValue<TableName extends string = string, Identifier extends string = string> = ErrorValue & {
@@ -95,6 +109,7 @@ interface Match {
   <Success, Failure extends ErrorValue, Output>(matchers: CurriedQueryResultMatchers<Success, Failure, Output>): (result: QueryResult<Success, Failure>) => Output;
   <Success, Failure extends ErrorValue, Output>(matchers: CurriedResultMatchers<Success, Failure, Output>): (result: SettledResult<Success, Failure>) => Output;
 }
+declare const documentNotFound: <TableName extends string, Identifier extends string>(table: TableName, id: Identifier) => DocumentNotFoundValue<TableName, Identifier>;
 declare const Result: {
   fail: typeof fail;
   match: Match;
@@ -102,5 +117,5 @@ declare const Result: {
   try: typeof tryResult;
 };
 //#endregion
-export { Match as a, SettledResult as c, InternalServerError as i, ErrorBrand as n, QueryResult as o, ErrorValue as r, Result as s, DocumentNotFoundValue as t };
-//# sourceMappingURL=result-C1ZdsM6Y.d.ts.map
+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