@proseql/rpc 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Simon W. Jackson
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/index.d.ts

@@ -0,0 +1,33 @@
+/**
+ * proseql-rpc — Type-safe Effect RPC layer for proseql databases.
+ *
+ * Derives an RpcGroup from a proseql DatabaseConfig, exposing all CRUD
+ * operations and queries as typed RPC procedures. The client gets full
+ * type inference including entity types, error channels, and relationship
+ * population — no schema duplication required.
+ *
+ * @example
+ * ```ts
+ * import { Effect, Layer } from "effect"
+ * import { Rpc, RpcGroup } from "@effect/rpc"
+ * import { createEffectDatabase } from "proseql"
+ * import { makeRpcGroup, makeRpcHandlers } from "proseql-rpc"
+ *
+ * // 1. Derive RPC group from your database config
+ * const BooksRpc = makeRpcGroup(config)
+ *
+ * // 2. Create handler layer (wires RPCs to a live database)
+ * const HandlerLayer = makeRpcHandlers(config, initialData)
+ *
+ * // 3. Client gets full type safety
+ * const result = yield* client.books.query({ where: { year: { $gt: 2000 } } })
+ * //    ^? ReadonlyArray<Book>
+ * ```
+ *
+ * @module
+ */
+export { type CollectionNotFoundError, CollectionNotFoundErrorSchema, type ConcurrencyError, ConcurrencyErrorSchema, type CrudError, CrudErrorSchema, type DanglingReferenceError, DanglingReferenceErrorSchema, type DuplicateKeyError, DuplicateKeyErrorSchema, type ForeignKeyError, ForeignKeyErrorSchema, type HookError, HookErrorSchema, type NotFoundError, NotFoundErrorSchema, type OperationError, OperationErrorSchema, type PopulationError, PopulationErrorSchema, type QueryError, QueryErrorSchema, type RpcError, RpcErrorSchema, type TransactionError, TransactionErrorSchema, type UniqueConstraintError, UniqueConstraintErrorSchema, type ValidationError, ValidationErrorSchema, ValidationIssueSchema, } from "./rpc-errors.js";
+export { type AggregatePayload, AggregatePayloadSchema, AggregateResultSchema, type AggregateResultType, type CreateManyPayload, CreateManyPayloadSchema, CreateManyResultSchema, type CreateManyResultType, type CreatePayload, CreatePayloadSchema, CursorConfigSchema, CursorPageInfoSchema, type CursorPageInfoType, CursorPageResultSchema, type CursorPageResultType, type DeleteManyPayload, DeleteManyPayloadSchema, DeleteManyResultSchema, type DeleteManyResultType, type DeletePayload, DeletePayloadSchema, FilterOperatorsSchema, type FindByIdPayload, FindByIdPayloadSchema, GroupedAggregateResultSchema, type GroupedAggregateResultType, GroupResultSchema, type GroupResultType, PopulateConfigSchema, type QueryPayload, QueryPayloadSchema, SearchConfigSchema, SelectConfigSchema, SortConfigSchema, SortOrderSchema, type StreamingOptions, StreamingOptionsSchema, type UpdateManyPayload, UpdateManyPayloadSchema, UpdateManyResultSchema, type UpdateManyResultType, type UpdatePayload, UpdatePayloadSchema, type UpsertManyPayload, UpsertManyPayloadSchema, UpsertManyResultSchema, type UpsertManyResultType, type UpsertPayload, UpsertPayloadSchema, UpsertResultSchema, type UpsertResultType, WhereClauseSchema, } from "./rpc-schemas.js";
+export { type AggregateRequestClass, type CollectionRpcDefinitions, type CreateManyRequestClass, type CreateRequestClass, type DeleteManyRequestClass, type DeleteRequestClass, type FindByIdRequestClass, makeAggregateRequest, makeCollectionRpcs, makeCreateManyRequest, makeCreateRequest, makeDeleteManyRequest, makeDeleteRequest, makeFindByIdRequest, makeQueryRequest, makeQueryStreamRequest, makeRpcGroup, makeUpdateManyRequest, makeUpdateRequest, makeUpsertManyRequest, makeUpsertRequest, type QueryRequestClass, type QueryStreamRequestClass, type RpcGroupFromConfig, RpcRouter, type UpdateManyRequestClass, type UpdateRequestClass, type UpsertManyRequestClass, type UpsertRequestClass, } from "./rpc-group.js";
+export { type DatabaseContext, makeDatabaseContextTag, makeRpcHandlers, makeRpcHandlersFromDatabase, makeRpcHandlersLayer, makeRpcHandlersLayerFromDatabase, type RpcHandlers, } from "./rpc-handlers.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAMH,OAAO,EACN,KAAK,uBAAuB,EAC5B,6BAA6B,EAC7B,KAAK,gBAAgB,EACrB,sBAAsB,EACtB,KAAK,SAAS,EAEd,eAAe,EACf,KAAK,sBAAsB,EAC3B,4BAA4B,EAC5B,KAAK,iBAAiB,EACtB,uBAAuB,EACvB,KAAK,eAAe,EACpB,qBAAqB,EACrB,KAAK,SAAS,EACd,eAAe,EAEf,KAAK,aAAa,EAElB,mBAAmB,EACnB,KAAK,cAAc,EACnB,oBAAoB,EACpB,KAAK,eAAe,EACpB,qBAAqB,EACrB,KAAK,UAAU,EACf,gBAAgB,EAChB,KAAK,QAAQ,EACb,cAAc,EACd,KAAK,gBAAgB,EACrB,sBAAsB,EACtB,KAAK,qBAAqB,EAC1B,2BAA2B,EAC3B,KAAK,eAAe,EACpB,qBAAqB,EACrB,qBAAqB,GACrB,MAAM,iBAAiB,CAAC;AAMzB,OAAO,EACN,KAAK,gBAAgB,EACrB,sBAAsB,EAEtB,qBAAqB,EACrB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,uBAAuB,EACvB,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,oBAAoB,EACpB,KAAK,kBAAkB,EACvB,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,uBAAuB,EACvB,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,KAAK,eAAe,EAEpB,qBAAqB,EACrB,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,iBAAiB,EACjB,KAAK,eAAe,EACpB,oBAAoB,EACpB,KAAK,YAAY,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,gBAAgB,EAEhB,eAAe,EAEf,KAAK,gBAAgB,EAErB,sBAAsB,EACtB,KAAK,iBAAiB,EACtB,uBAAuB,EACvB,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,mBAAmB,EACnB,KAAK,iBAAiB,EACtB,uBAAuB,EACvB,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,KAAK,gBAAgB,EACrB,iBAAiB,GACjB,MAAM,kBAAkB,CAAC;AAM1B,OAAO,EACN,KAAK,qBAAqB,EAC1B,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,EACvB,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,EACvB,KAAK,oBAAoB,EACzB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EAEjB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EAEtB,YAAY,EACZ,qBAAqB,EACrB,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EACjB,KAAK,iBAAiB,EACtB,KAAK,uBAAuB,EAE5B,KAAK,kBAAkB,EACvB,SAAS,EACT,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,EACvB,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,GACvB,MAAM,gBAAgB,CAAC;AAMxB,OAAO,EACN,KAAK,eAAe,EACpB,sBAAsB,EACtB,eAAe,EACf,2BAA2B,EAC3B,oBAAoB,EACpB,gCAAgC,EAChC,KAAK,WAAW,GAChB,MAAM,mBAAmB,CAAC"}

package/dist/index.js

@@ -0,0 +1,61 @@
+/**
+ * proseql-rpc — Type-safe Effect RPC layer for proseql databases.
+ *
+ * Derives an RpcGroup from a proseql DatabaseConfig, exposing all CRUD
+ * operations and queries as typed RPC procedures. The client gets full
+ * type inference including entity types, error channels, and relationship
+ * population — no schema duplication required.
+ *
+ * @example
+ * ```ts
+ * import { Effect, Layer } from "effect"
+ * import { Rpc, RpcGroup } from "@effect/rpc"
+ * import { createEffectDatabase } from "proseql"
+ * import { makeRpcGroup, makeRpcHandlers } from "proseql-rpc"
+ *
+ * // 1. Derive RPC group from your database config
+ * const BooksRpc = makeRpcGroup(config)
+ *
+ * // 2. Create handler layer (wires RPCs to a live database)
+ * const HandlerLayer = makeRpcHandlers(config, initialData)
+ *
+ * // 3. Client gets full type safety
+ * const result = yield* client.books.query({ where: { year: { $gt: 2000 } } })
+ * //    ^? ReadonlyArray<Book>
+ * ```
+ *
+ * @module
+ */
+// ============================================================================
+// Error Schemas
+// ============================================================================
+export { CollectionNotFoundErrorSchema, ConcurrencyErrorSchema, 
+// Union schemas
+CrudErrorSchema, DanglingReferenceErrorSchema, DuplicateKeyErrorSchema, ForeignKeyErrorSchema, HookErrorSchema, 
+// Individual error schemas
+NotFoundErrorSchema, OperationErrorSchema, PopulationErrorSchema, QueryErrorSchema, RpcErrorSchema, TransactionErrorSchema, UniqueConstraintErrorSchema, ValidationErrorSchema, ValidationIssueSchema, } from "./rpc-errors.js";
+// ============================================================================
+// Payload Schemas
+// ============================================================================
+export { AggregatePayloadSchema, 
+// Result schemas
+AggregateResultSchema, CreateManyPayloadSchema, CreateManyResultSchema, CreatePayloadSchema, CursorConfigSchema, CursorPageInfoSchema, CursorPageResultSchema, DeleteManyPayloadSchema, DeleteManyResultSchema, DeletePayloadSchema, FilterOperatorsSchema, 
+// Payload schemas
+FindByIdPayloadSchema, GroupedAggregateResultSchema, GroupResultSchema, PopulateConfigSchema, QueryPayloadSchema, SearchConfigSchema, SelectConfigSchema, SortConfigSchema, 
+// Common schemas
+SortOrderSchema, 
+// Streaming options
+StreamingOptionsSchema, UpdateManyPayloadSchema, UpdateManyResultSchema, UpdatePayloadSchema, UpsertManyPayloadSchema, UpsertManyResultSchema, UpsertPayloadSchema, UpsertResultSchema, WhereClauseSchema, } from "./rpc-schemas.js";
+// ============================================================================
+// RPC Group Derivation
+// ============================================================================
+export { makeAggregateRequest, makeCollectionRpcs, makeCreateManyRequest, makeCreateRequest, makeDeleteManyRequest, makeDeleteRequest, 
+// Request factory functions
+makeFindByIdRequest, makeQueryRequest, makeQueryStreamRequest, 
+// Main entry point
+makeRpcGroup, makeUpdateManyRequest, makeUpdateRequest, makeUpsertManyRequest, makeUpsertRequest, RpcRouter, } from "./rpc-group.js";
+// ============================================================================
+// RPC Handler Layer
+// ============================================================================
+export { makeDatabaseContextTag, makeRpcHandlers, makeRpcHandlersFromDatabase, makeRpcHandlersLayer, makeRpcHandlersLayerFromDatabase, } from "./rpc-handlers.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E,OAAO,EAEN,6BAA6B,EAE7B,sBAAsB;AAEtB,gBAAgB;AAChB,eAAe,EAEf,4BAA4B,EAE5B,uBAAuB,EAEvB,qBAAqB,EAErB,eAAe;AAGf,2BAA2B;AAC3B,mBAAmB,EAEnB,oBAAoB,EAEpB,qBAAqB,EAErB,gBAAgB,EAEhB,cAAc,EAEd,sBAAsB,EAEtB,2BAA2B,EAE3B,qBAAqB,EACrB,qBAAqB,GACrB,MAAM,iBAAiB,CAAC;AAEzB,+EAA+E;AAC/E,kBAAkB;AAClB,+EAA+E;AAE/E,OAAO,EAEN,sBAAsB;AACtB,iBAAiB;AACjB,qBAAqB,EAGrB,uBAAuB,EACvB,sBAAsB,EAGtB,mBAAmB,EACnB,kBAAkB,EAClB,oBAAoB,EAEpB,sBAAsB,EAGtB,uBAAuB,EACvB,sBAAsB,EAGtB,mBAAmB,EACnB,qBAAqB;AAErB,kBAAkB;AAClB,qBAAqB,EACrB,4BAA4B,EAE5B,iBAAiB,EAEjB,oBAAoB,EAEpB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,gBAAgB;AAChB,iBAAiB;AACjB,eAAe;AAGf,oBAAoB;AACpB,sBAAsB,EAEtB,uBAAuB,EACvB,sBAAsB,EAGtB,mBAAmB,EAEnB,uBAAuB,EACvB,sBAAsB,EAGtB,mBAAmB,EACnB,kBAAkB,EAElB,iBAAiB,GACjB,MAAM,kBAAkB,CAAC;AAE1B,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E,OAAO,EAQN,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB;AACjB,4BAA4B;AAC5B,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB;AACtB,mBAAmB;AACnB,YAAY,EACZ,qBAAqB,EACrB,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EAKjB,SAAS,GAKT,MAAM,gBAAgB,CAAC;AAExB,+EAA+E;AAC/E,oBAAoB;AACpB,+EAA+E;AAE/E,OAAO,EAEN,sBAAsB,EACtB,eAAe,EACf,2BAA2B,EAC3B,oBAAoB,EACpB,gCAAgC,GAEhC,MAAM,mBAAmB,CAAC"}

package/dist/rpc-errors.d.ts

@@ -0,0 +1,208 @@
+/**
+ * Serializable Effect Schemas for proseql tagged errors.
+ *
+ * These schemas enable proseql's errors to be serialized/deserialized across
+ * RPC transport, allowing typed errors to flow through to clients where they
+ * can be caught with `Effect.catchTag`.
+ *
+ * @module
+ */
+import { Schema } from "effect";
+declare const NotFoundErrorSchema_base: Schema.TaggedErrorClass<NotFoundErrorSchema, "NotFoundError", {
+    readonly _tag: Schema.tag<"NotFoundError">;
+} & {
+    collection: typeof Schema.String;
+    id: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+/**
+ * Schema for NotFoundError — entity with the given ID was not found.
+ */
+export declare class NotFoundErrorSchema extends NotFoundErrorSchema_base {
+}
+declare const DuplicateKeyErrorSchema_base: Schema.TaggedErrorClass<DuplicateKeyErrorSchema, "DuplicateKeyError", {
+    readonly _tag: Schema.tag<"DuplicateKeyError">;
+} & {
+    collection: typeof Schema.String;
+    field: typeof Schema.String;
+    value: typeof Schema.String;
+    existingId: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+/**
+ * Schema for DuplicateKeyError — entity with the same key already exists.
+ */
+export declare class DuplicateKeyErrorSchema extends DuplicateKeyErrorSchema_base {
+}
+declare const ForeignKeyErrorSchema_base: Schema.TaggedErrorClass<ForeignKeyErrorSchema, "ForeignKeyError", {
+    readonly _tag: Schema.tag<"ForeignKeyError">;
+} & {
+    collection: typeof Schema.String;
+    field: typeof Schema.String;
+    value: typeof Schema.String;
+    targetCollection: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+/**
+ * Schema for ForeignKeyError — referenced entity does not exist.
+ */
+export declare class ForeignKeyErrorSchema extends ForeignKeyErrorSchema_base {
+}
+/**
+ * Schema for a single validation issue.
+ */
+export declare const ValidationIssueSchema: Schema.Struct<{
+    field: typeof Schema.String;
+    message: typeof Schema.String;
+    value: Schema.optional<typeof Schema.Unknown>;
+    expected: Schema.optional<typeof Schema.String>;
+    received: Schema.optional<typeof Schema.String>;
+}>;
+declare const ValidationErrorSchema_base: Schema.TaggedErrorClass<ValidationErrorSchema, "ValidationError", {
+    readonly _tag: Schema.tag<"ValidationError">;
+} & {
+    message: typeof Schema.String;
+    issues: Schema.Array$<Schema.Struct<{
+        field: typeof Schema.String;
+        message: typeof Schema.String;
+        value: Schema.optional<typeof Schema.Unknown>;
+        expected: Schema.optional<typeof Schema.String>;
+        received: Schema.optional<typeof Schema.String>;
+    }>>;
+}>;
+/**
+ * Schema for ValidationError — schema validation failed.
+ */
+export declare class ValidationErrorSchema extends ValidationErrorSchema_base {
+}
+declare const UniqueConstraintErrorSchema_base: Schema.TaggedErrorClass<UniqueConstraintErrorSchema, "UniqueConstraintError", {
+    readonly _tag: Schema.tag<"UniqueConstraintError">;
+} & {
+    collection: typeof Schema.String;
+    constraint: typeof Schema.String;
+    fields: Schema.Array$<typeof Schema.String>;
+    values: Schema.Record$<typeof Schema.String, typeof Schema.Unknown>;
+    existingId: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+/**
+ * Schema for UniqueConstraintError — unique constraint was violated.
+ */
+export declare class UniqueConstraintErrorSchema extends UniqueConstraintErrorSchema_base {
+}
+declare const ConcurrencyErrorSchema_base: Schema.TaggedErrorClass<ConcurrencyErrorSchema, "ConcurrencyError", {
+    readonly _tag: Schema.tag<"ConcurrencyError">;
+} & {
+    collection: typeof Schema.String;
+    id: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+/**
+ * Schema for ConcurrencyError — concurrent modification conflict.
+ */
+export declare class ConcurrencyErrorSchema extends ConcurrencyErrorSchema_base {
+}
+declare const OperationErrorSchema_base: Schema.TaggedErrorClass<OperationErrorSchema, "OperationError", {
+    readonly _tag: Schema.tag<"OperationError">;
+} & {
+    operation: typeof Schema.String;
+    reason: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+/**
+ * Schema for OperationError — operation was rejected (e.g., update/delete on append-only).
+ */
+export declare class OperationErrorSchema extends OperationErrorSchema_base {
+}
+declare const TransactionErrorSchema_base: Schema.TaggedErrorClass<TransactionErrorSchema, "TransactionError", {
+    readonly _tag: Schema.tag<"TransactionError">;
+} & {
+    operation: Schema.Literal<["begin", "commit", "rollback"]>;
+    reason: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+/**
+ * Schema for TransactionError — transaction operation failed.
+ */
+export declare class TransactionErrorSchema extends TransactionErrorSchema_base {
+}
+declare const HookErrorSchema_base: Schema.TaggedErrorClass<HookErrorSchema, "HookError", {
+    readonly _tag: Schema.tag<"HookError">;
+} & {
+    hook: typeof Schema.String;
+    collection: typeof Schema.String;
+    operation: Schema.Literal<["create", "update", "delete"]>;
+    reason: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+/**
+ * Schema for HookError — lifecycle hook rejected the operation.
+ */
+export declare class HookErrorSchema extends HookErrorSchema_base {
+}
+declare const DanglingReferenceErrorSchema_base: Schema.TaggedErrorClass<DanglingReferenceErrorSchema, "DanglingReferenceError", {
+    readonly _tag: Schema.tag<"DanglingReferenceError">;
+} & {
+    collection: typeof Schema.String;
+    field: typeof Schema.String;
+    targetId: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+/**
+ * Schema for DanglingReferenceError — referenced entity no longer exists.
+ */
+export declare class DanglingReferenceErrorSchema extends DanglingReferenceErrorSchema_base {
+}
+declare const CollectionNotFoundErrorSchema_base: Schema.TaggedErrorClass<CollectionNotFoundErrorSchema, "CollectionNotFoundError", {
+    readonly _tag: Schema.tag<"CollectionNotFoundError">;
+} & {
+    collection: typeof Schema.String;
+    message: typeof Schema.String;
+}>;
+/**
+ * Schema for CollectionNotFoundError — collection does not exist in config.
+ */
+export declare class CollectionNotFoundErrorSchema extends CollectionNotFoundErrorSchema_base {
+}
+declare const PopulationErrorSchema_base: Schema.TaggedErrorClass<PopulationErrorSchema, "PopulationError", {
+    readonly _tag: Schema.tag<"PopulationError">;
+} & {
+    collection: typeof Schema.String;
+    relationship: typeof Schema.String;
+    message: typeof Schema.String;
+    cause: Schema.optional<typeof Schema.Unknown>;
+}>;
+/**
+ * Schema for PopulationError — relationship population failed.
+ */
+export declare class PopulationErrorSchema extends PopulationErrorSchema_base {
+}
+/**
+ * Union of all CRUD error schemas.
+ */
+export declare const CrudErrorSchema: Schema.Union<[typeof NotFoundErrorSchema, typeof DuplicateKeyErrorSchema, typeof ForeignKeyErrorSchema, typeof ValidationErrorSchema, typeof UniqueConstraintErrorSchema, typeof ConcurrencyErrorSchema, typeof OperationErrorSchema, typeof TransactionErrorSchema, typeof HookErrorSchema]>;
+/**
+ * Union of all query error schemas.
+ */
+export declare const QueryErrorSchema: Schema.Union<[typeof DanglingReferenceErrorSchema, typeof CollectionNotFoundErrorSchema, typeof PopulationErrorSchema]>;
+/**
+ * Union of all RPC error schemas.
+ */
+export declare const RpcErrorSchema: Schema.Union<[typeof NotFoundErrorSchema, typeof DuplicateKeyErrorSchema, typeof ForeignKeyErrorSchema, typeof ValidationErrorSchema, typeof UniqueConstraintErrorSchema, typeof ConcurrencyErrorSchema, typeof OperationErrorSchema, typeof TransactionErrorSchema, typeof HookErrorSchema, typeof DanglingReferenceErrorSchema, typeof CollectionNotFoundErrorSchema, typeof PopulationErrorSchema]>;
+export type NotFoundError = typeof NotFoundErrorSchema.Type;
+export type DuplicateKeyError = typeof DuplicateKeyErrorSchema.Type;
+export type ForeignKeyError = typeof ForeignKeyErrorSchema.Type;
+export type ValidationError = typeof ValidationErrorSchema.Type;
+export type UniqueConstraintError = typeof UniqueConstraintErrorSchema.Type;
+export type ConcurrencyError = typeof ConcurrencyErrorSchema.Type;
+export type OperationError = typeof OperationErrorSchema.Type;
+export type TransactionError = typeof TransactionErrorSchema.Type;
+export type HookError = typeof HookErrorSchema.Type;
+export type DanglingReferenceError = typeof DanglingReferenceErrorSchema.Type;
+export type CollectionNotFoundError = typeof CollectionNotFoundErrorSchema.Type;
+export type PopulationError = typeof PopulationErrorSchema.Type;
+export type CrudError = typeof CrudErrorSchema.Type;
+export type QueryError = typeof QueryErrorSchema.Type;
+export type RpcError = typeof RpcErrorSchema.Type;
+export {};
+//# sourceMappingURL=rpc-errors.d.ts.map

package/dist/rpc-errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc-errors.d.ts","sourceRoot":"","sources":["../src/rpc-errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;;;;;;;AAMhC;;GAEG;AACH,qBAAa,mBAAoB,SAAQ,wBAMvC;CAAG;;;;;;;;;;AAEL;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,4BAQ3C;CAAG;;;;;;;;;;AAEL;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,0BAQzC;CAAG;AAEL;;GAEG;AACH,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAC;;;;;;;;;;;;;AAEH;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,0BAKzC;CAAG;;;;;;;;;;;AAEL;;GAEG;AACH,qBAAa,2BAA4B,SAAQ,gCAS/C;CAAG;;;;;;;;AAEL;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,2BAM1C;CAAG;;;;;;;;AAEL;;GAEG;AACH,qBAAa,oBAAqB,SAAQ,yBAMxC;CAAG;;;;;;;;AAEL;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,2BAM1C;CAAG;;;;;;;;;;AAEL;;GAEG;AACH,qBAAa,eAAgB,SAAQ,oBAQnC;CAAG;;;;;;;;;AAML;;GAEG;AACH,qBAAa,4BAA6B,SAAQ,iCAOhD;CAAG;;;;;;;AAEL;;GAEG;AACH,qBAAa,6BAA8B,SAAQ,kCAKjD;CAAG;;;;;;;;;AAEL;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,0BAOzC;CAAG;AAML;;GAEG;AACH,eAAO,MAAM,eAAe,+RAU3B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,yHAI5B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,cAAc,wYAa1B,CAAC;AAMF,MAAM,MAAM,aAAa,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAC;AAC5D,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAC;AACpE,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAC;AAChE,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAC;AAChE,MAAM,MAAM,qBAAqB,GAAG,OAAO,2BAA2B,CAAC,IAAI,CAAC;AAC5E,MAAM,MAAM,gBAAgB,GAAG,OAAO,sBAAsB,CAAC,IAAI,CAAC;AAClE,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAC;AAC9D,MAAM,MAAM,gBAAgB,GAAG,OAAO,sBAAsB,CAAC,IAAI,CAAC;AAClE,MAAM,MAAM,SAAS,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;AACpD,MAAM,MAAM,sBAAsB,GAAG,OAAO,4BAA4B,CAAC,IAAI,CAAC;AAC9E,MAAM,MAAM,uBAAuB,GAAG,OAAO,6BAA6B,CAAC,IAAI,CAAC;AAChF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAC;AAChE,MAAM,MAAM,SAAS,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;AACpD,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;AACtD,MAAM,MAAM,QAAQ,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC"}

package/dist/rpc-errors.js

@@ -0,0 +1,159 @@
+/**
+ * Serializable Effect Schemas for proseql tagged errors.
+ *
+ * These schemas enable proseql's errors to be serialized/deserialized across
+ * RPC transport, allowing typed errors to flow through to clients where they
+ * can be caught with `Effect.catchTag`.
+ *
+ * @module
+ */
+import { Schema } from "effect";
+// ============================================================================
+// CRUD Error Schemas
+// ============================================================================
+/**
+ * Schema for NotFoundError — entity with the given ID was not found.
+ */
+export class NotFoundErrorSchema extends Schema.TaggedError("NotFoundError")("NotFoundError", {
+    collection: Schema.String,
+    id: Schema.String,
+    message: Schema.String,
+}) {
+}
+/**
+ * Schema for DuplicateKeyError — entity with the same key already exists.
+ */
+export class DuplicateKeyErrorSchema extends Schema.TaggedError("DuplicateKeyError")("DuplicateKeyError", {
+    collection: Schema.String,
+    field: Schema.String,
+    value: Schema.String,
+    existingId: Schema.String,
+    message: Schema.String,
+}) {
+}
+/**
+ * Schema for ForeignKeyError — referenced entity does not exist.
+ */
+export class ForeignKeyErrorSchema extends Schema.TaggedError("ForeignKeyError")("ForeignKeyError", {
+    collection: Schema.String,
+    field: Schema.String,
+    value: Schema.String,
+    targetCollection: Schema.String,
+    message: Schema.String,
+}) {
+}
+/**
+ * Schema for a single validation issue.
+ */
+export const ValidationIssueSchema = Schema.Struct({
+    field: Schema.String,
+    message: Schema.String,
+    value: Schema.optional(Schema.Unknown),
+    expected: Schema.optional(Schema.String),
+    received: Schema.optional(Schema.String),
+});
+/**
+ * Schema for ValidationError — schema validation failed.
+ */
+export class ValidationErrorSchema extends Schema.TaggedError("ValidationError")("ValidationError", {
+    message: Schema.String,
+    issues: Schema.Array(ValidationIssueSchema),
+}) {
+}
+/**
+ * Schema for UniqueConstraintError — unique constraint was violated.
+ */
+export class UniqueConstraintErrorSchema extends Schema.TaggedError("UniqueConstraintError")("UniqueConstraintError", {
+    collection: Schema.String,
+    constraint: Schema.String,
+    fields: Schema.Array(Schema.String),
+    values: Schema.Record({ key: Schema.String, value: Schema.Unknown }),
+    existingId: Schema.String,
+    message: Schema.String,
+}) {
+}
+/**
+ * Schema for ConcurrencyError — concurrent modification conflict.
+ */
+export class ConcurrencyErrorSchema extends Schema.TaggedError("ConcurrencyError")("ConcurrencyError", {
+    collection: Schema.String,
+    id: Schema.String,
+    message: Schema.String,
+}) {
+}
+/**
+ * Schema for OperationError — operation was rejected (e.g., update/delete on append-only).
+ */
+export class OperationErrorSchema extends Schema.TaggedError("OperationError")("OperationError", {
+    operation: Schema.String,
+    reason: Schema.String,
+    message: Schema.String,
+}) {
+}
+/**
+ * Schema for TransactionError — transaction operation failed.
+ */
+export class TransactionErrorSchema extends Schema.TaggedError("TransactionError")("TransactionError", {
+    operation: Schema.Literal("begin", "commit", "rollback"),
+    reason: Schema.String,
+    message: Schema.String,
+}) {
+}
+/**
+ * Schema for HookError — lifecycle hook rejected the operation.
+ */
+export class HookErrorSchema extends Schema.TaggedError("HookError")("HookError", {
+    hook: Schema.String,
+    collection: Schema.String,
+    operation: Schema.Literal("create", "update", "delete"),
+    reason: Schema.String,
+    message: Schema.String,
+}) {
+}
+// ============================================================================
+// Query Error Schemas
+// ============================================================================
+/**
+ * Schema for DanglingReferenceError — referenced entity no longer exists.
+ */
+export class DanglingReferenceErrorSchema extends Schema.TaggedError("DanglingReferenceError")("DanglingReferenceError", {
+    collection: Schema.String,
+    field: Schema.String,
+    targetId: Schema.String,
+    message: Schema.String,
+}) {
+}
+/**
+ * Schema for CollectionNotFoundError — collection does not exist in config.
+ */
+export class CollectionNotFoundErrorSchema extends Schema.TaggedError("CollectionNotFoundError")("CollectionNotFoundError", {
+    collection: Schema.String,
+    message: Schema.String,
+}) {
+}
+/**
+ * Schema for PopulationError — relationship population failed.
+ */
+export class PopulationErrorSchema extends Schema.TaggedError("PopulationError")("PopulationError", {
+    collection: Schema.String,
+    relationship: Schema.String,
+    message: Schema.String,
+    cause: Schema.optional(Schema.Unknown),
+}) {
+}
+// ============================================================================
+// Union Schemas
+// ============================================================================
+/**
+ * Union of all CRUD error schemas.
+ */
+export const CrudErrorSchema = Schema.Union(NotFoundErrorSchema, DuplicateKeyErrorSchema, ForeignKeyErrorSchema, ValidationErrorSchema, UniqueConstraintErrorSchema, ConcurrencyErrorSchema, OperationErrorSchema, TransactionErrorSchema, HookErrorSchema);
+/**
+ * Union of all query error schemas.
+ */
+export const QueryErrorSchema = Schema.Union(DanglingReferenceErrorSchema, CollectionNotFoundErrorSchema, PopulationErrorSchema);
+/**
+ * Union of all RPC error schemas.
+ */
+export const RpcErrorSchema = Schema.Union(NotFoundErrorSchema, DuplicateKeyErrorSchema, ForeignKeyErrorSchema, ValidationErrorSchema, UniqueConstraintErrorSchema, ConcurrencyErrorSchema, OperationErrorSchema, TransactionErrorSchema, HookErrorSchema, DanglingReferenceErrorSchema, CollectionNotFoundErrorSchema, PopulationErrorSchema);
+//# sourceMappingURL=rpc-errors.js.map

package/dist/rpc-errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc-errors.js","sourceRoot":"","sources":["../src/rpc-errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,+EAA+E;AAC/E,qBAAqB;AACrB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,CAC1D,eAAe,CACf,CAAC,eAAe,EAAE;IAClB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,OAAO,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,uBAAwB,SAAQ,MAAM,CAAC,WAAW,CAC9D,mBAAmB,CACnB,CAAC,mBAAmB,EAAE;IACtB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,OAAO,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,CAC5D,iBAAiB,CACjB,CAAC,iBAAiB,EAAE;IACpB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,gBAAgB,EAAE,MAAM,CAAC,MAAM;IAC/B,OAAO,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IAClD,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CACxC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,CAC5D,iBAAiB,CACjB,CAAC,iBAAiB,EAAE;IACpB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC;CAC3C,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,2BAA4B,SAAQ,MAAM,CAAC,WAAW,CAClE,uBAAuB,CACvB,CAAC,uBAAuB,EAAE;IAC1B,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACpE,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,OAAO,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,sBAAuB,SAAQ,MAAM,CAAC,WAAW,CAC7D,kBAAkB,CAClB,CAAC,kBAAkB,EAAE;IACrB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,OAAO,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,oBAAqB,SAAQ,MAAM,CAAC,WAAW,CAC3D,gBAAgB,CAChB,CAAC,gBAAgB,EAAE;IACnB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,sBAAuB,SAAQ,MAAM,CAAC,WAAW,CAC7D,kBAAkB,CAClB,CAAC,kBAAkB,EAAE;IACrB,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC;IACxD,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CACtD,WAAW,CACX,CAAC,WAAW,EAAE;IACd,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC;IACvD,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,OAAO,4BAA6B,SAAQ,MAAM,CAAC,WAAW,CACnE,wBAAwB,CACxB,CAAC,wBAAwB,EAAE;IAC3B,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,OAAO,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,6BAA8B,SAAQ,MAAM,CAAC,WAAW,CACpE,yBAAyB,CACzB,CAAC,yBAAyB,EAAE;IAC5B,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,OAAO,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,CAC5D,iBAAiB,CACjB,CAAC,iBAAiB,EAAE;IACpB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,YAAY,EAAE,MAAM,CAAC,MAAM;IAC3B,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CACtC,CAAC;CAAG;AAEL,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAC1C,mBAAmB,EACnB,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,2BAA2B,EAC3B,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,EACtB,eAAe,CACf,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAC3C,4BAA4B,EAC5B,6BAA6B,EAC7B,qBAAqB,CACrB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CACzC,mBAAmB,EACnB,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,2BAA2B,EAC3B,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,EACtB,eAAe,EACf,4BAA4B,EAC5B,6BAA6B,EAC7B,qBAAqB,CACrB,CAAC"}