@shivaedev/effect-contract 0.0.0 → 0.1.0

package/CHANGELOG.md

@@ -0,0 +1,10 @@
+# Changelog
+
+## 0.1.0 - 2026-09-26
+
+### Added
+
+- Declare queries and commands with typed rejections and reactivity keys; group
+  them into a native `RpcGroup` with namespaced tags.
+- Bind a contract to a native `AtomRpc` service: query atoms register declared
+  read keys; command runs invalidate declared keys after success.

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 ShivaeDev
+
+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/README.md

@@ -1,3 +1,89 @@
 # @shivaedev/effect-contract
 
-This version only reserves the name. Releases are published from https://github.com/ShivaeDev/platform.
+Declare queries and commands once. Each declaration becomes an ordinary native Effect `Rpc`, grouped into a native `RpcGroup`, plus the typed rejection classes and reactivity keys that application code would otherwise repeat by hand. Handlers, middleware, servers and clients stay native.
+
+```ts
+import { Schema } from "effect";
+import { collection, command, contract, fieldRejection, query } from "@shivaedev/effect-contract";
+
+class Meal extends Schema.Class<Meal>("Meal")({ id: Schema.Number, name: Schema.String, calories: Schema.Number }) {}
+class MealNotFound extends Schema.TaggedError<MealNotFound>()("MealNotFound", {}) {}
+const MealDraft = Schema.Struct({ name: Meal.fields.name, calories: Meal.fields.calories });
+
+export const meals = collection("meals", Meal.fields.id);
+
+export const GetMeal = query("get", {
+  payload: { id: Schema.Number },
+  success: Meal,
+  rejections: { MealNotFound },
+  reads: ({ id }) => [meals.item(id)],
+});
+export const ListMeals = query("list", { success: Schema.Array(Meal), reads: () => [meals.list] });
+export const SaveMeal = command("save", {
+  payload: { id: Schema.Number, ...MealDraft.fields },
+  success: Meal,
+  rejections: { MealNotFound, MealValidation: fieldRejection(MealDraft) },
+  invalidates: ({ id }) => [meals.item(id)],
+});
+
+export const Meals = contract("meals", { queries: [GetMeal, ListMeals], commands: [SaveMeal] }).middleware(Authentication);
+```
+
+## API
+
+| Export | Signature (simplified) | Result |
+| --- | --- | --- |
+| `query` | `query(name, { payload?, success?, rejections?, reads: (payload) => Key[] })` | `Query<Name, Payload, Success, Specs>` |
+| `command` | `command(name, { payload?, success?, rejections?, invalidates: (payload, result) => Key[] })` | `Command<Name, Payload, Success, Specs>` |
+| `contract` | `contract(name, { queries?, commands? })` | `Contract<Name, Queries, Commands, Rpcs>`, a native `RpcGroup<Rpcs>` |
+| `collection` | `collection(name, idSchema)` | `{ name, list, item(id) }` typed reactivity keys |
+| `fieldRejection` | `fieldRejection(struct, keys?)` | fields `{ field: Literals<keys>, message: String }` |
+| `bind` | `bind(contract, atomRpcService)` | `{ [query]: { query, run }, [command]: { run } }` |
+| `readKeys` / `invalidationKeys` | `(keys: Key[]) => string[]` | native Reactivity keys |
+
+Payload accepts struct fields or any schema, as in `Rpc.make`. Omitted payload and success are `Schema.Void`.
+
+### Operations and rejections
+
+- Each operation exposes `payload`, `success`, `error` (the rejection union, or `Schema.Never` without rejections), `Rejection.X` (the class) and `reject.X(...)`, an `Effect<never, X>`.
+- `rejections: { Tag: fields }` generates a `Schema.TaggedError` class with that `_tag`. `rejections: { Tag: ExistingClass }` reuses a class; its `_tag` must equal the key. Reuse one class when several operations or a shared service raise the same rejection. Generated classes are distinct per operation.
+- `fieldRejection(MealDraft)` derives the `field` literal union from the struct's keys, so a form can attach the rejection to one of its own fields. Pass a key list to narrow it.
+
+### Contract
+
+- RPC tags are `` `${contract}.${operation}` ``. Implement handlers with native `Meals.toLayer(Effect.gen(...))` and `Meals.of({ "meals.get": ... })`; `of` rejects wrong payloads, successes and undeclared failures.
+- Middleware is the native `.middleware(M)`. On a contract it returns a contract, keeping `declaration` (`{ name, queries, commands }`). Other native group combinators (`add`, `merge`, `prefix`, `omit`) return plain groups.
+- Operation names in one contract must all differ, across and within queries and commands. The compiler rejects duplicates in literal arrays; `contract` throws for duplicates it cannot see.
+- Operations can be declared inline in `contract(...)` or beforehand; both keep the same types and defaults.
+
+### Reactivity keys
+
+`collection("meals", Meal.fields.id)` gives `meals.list` and `meals.item(id)`; ids must be strings or numbers. The binding applies the one rule that is easy to get wrong with native keys:
+
+| Declared | Query registers | Command invalidates |
+| --- | --- | --- |
+| `meals.item(id)` | `` `meals:${id}` `` | `` `meals:${id}` `` and `"meals"` |
+| `meals.list` | `"meals"` | `"meals"` |
+
+An item change therefore refreshes that item and every list, but not other items. Invalidating `meals.list` does not refresh item queries. The strings match native Reactivity's hashing of `{ meals: [id] }`.
+
+### Client binding
+
+`bind` is browser-safe and uses no React:
+
+```ts
+class MealsClient extends AtomRpc.Service<MealsClient>()("app/MealsClient", { group: Meals, protocol }) {}
+const api = bind(Meals, MealsClient);
+
+api.get.query({ id }, { timeToLive: "1 minute" }); // native Client.query atom with the declared read keys
+api.get.run({ id });                                // one call, no registration
+api.save.run(input);                                // Effect: call, then invalidate declared keys
+```
+
+- `query` returns the native `AtomRpc` query atom; `headers`, `timeToLive` and `serializationKey` pass through.
+- `run` returns `Effect<Success, Rejection | middleware error | RpcClientError, MealsClient | Reactivity>` for that single invocation. Run it through the service's atom runtime (for example as a form's submit handler) so invalidation reaches the same registry. Keys, including result-dependent keys, are invalidated only after success.
+- There is no shared mutation atom or second cache.
+
+Authorization and transactions stay in handlers and services. For server-side invalidation after a SQL commit, see `transact` in `@shivaedev/effect-sql`.
+
+This release targets Effect `4.0.0-rc.112`.

package/dist/bind.d.ts

@@ -0,0 +1,32 @@
+import type { Duration } from "effect";
+import { Effect } from "effect";
+import type { Headers } from "effect/unstable/http";
+import type * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+import type * as AtomRpc from "effect/unstable/reactivity/AtomRpc";
+import * as Reactivity from "effect/unstable/reactivity/Reactivity";
+import type { Rpc } from "effect/unstable/rpc";
+import type { RpcClientError } from "effect/unstable/rpc/RpcClientError";
+import type { Contract, Tag } from "./contract.ts";
+import type { CommandShape, QueryShape } from "./operation.ts";
+export type Failure<R extends Rpc.Any> = R extends Rpc.Rpc<infer _Tag, infer _Payload, infer _Success, infer Error, infer Middleware, infer _Requires> ? Error["Type"] | Middleware["error"]["Type"] | RpcClientError : never;
+export type RunFailure<R extends Rpc.Any> = R extends Rpc.Rpc<infer _Tag, infer _Payload, infer _Success, infer _Error, infer Middleware, infer _Requires> ? Failure<R> | Middleware["~ClientError"] : never;
+export interface QueryOptions {
+    readonly headers?: Headers.Input;
+    readonly timeToLive?: Duration.Input;
+    readonly serializationKey?: string;
+}
+export interface BoundQuery<R extends Rpc.Any, Self> {
+    readonly query: (payload: Rpc.Payload<R>, options?: QueryOptions) => Atom.Atom<AsyncResult.AsyncResult<Rpc.Success<R>, Failure<R>>>;
+    readonly run: (payload: Rpc.Payload<R>) => Effect.Effect<Rpc.Success<R>, RunFailure<R>, Self>;
+}
+export interface BoundCommand<R extends Rpc.Any, Self> {
+    readonly run: (payload: Rpc.Payload<R>) => Effect.Effect<Rpc.Success<R>, RunFailure<R>, Self | Reactivity.Reactivity>;
+}
+export type Bound<Name extends string, Queries extends ReadonlyArray<QueryShape>, Commands extends ReadonlyArray<CommandShape>, Rpcs extends Rpc.Any, Self> = {
+    readonly [Query in Queries[number] as Query["name"]]: BoundQuery<Rpc.ExtractTag<Rpcs, Tag<Name, Query["name"]>>, Self>;
+} & {
+    readonly [Command in Commands[number] as Command["name"]]: BoundCommand<Rpc.ExtractTag<Rpcs, Tag<Name, Command["name"]>>, Self>;
+};
+export declare function bind<Name extends string, Queries extends ReadonlyArray<QueryShape>, Commands extends ReadonlyArray<CommandShape>, Rpcs extends Rpc.Any, Self, Id extends string>(contract: Contract<Name, Queries, Commands, Rpcs>, service: AtomRpc.AtomRpcClient<Self, Id, Rpcs>): Bound<Name, Queries, Commands, Rpcs, Self>;
+//# sourceMappingURL=bind.d.ts.map

package/dist/bind.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bind.d.ts","sourceRoot":"","sources":["../src/bind.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAU,MAAM,QAAQ,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,KAAK,WAAW,MAAM,wCAAwC,CAAC;AAC3E,OAAO,KAAK,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAC7D,OAAO,KAAK,KAAK,OAAO,MAAM,oCAAoC,CAAC;AACnE,OAAO,KAAK,UAAU,MAAM,uCAAuC,CAAC;AACpE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,KAAK,EAAE,QAAQ,EAAY,GAAG,EAAE,MAAM,eAAe,CAAC;AAE7D,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE/D,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,IACpC,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,QAAQ,EAAE,MAAM,QAAQ,EAAE,MAAM,KAAK,EAAE,MAAM,UAAU,EAAE,MAAM,SAAS,CAAC,GAC1G,KAAK,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG,cAAc,GAC5D,KAAK,CAAC;AAEV,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,IACvC,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,QAAQ,EAAE,MAAM,QAAQ,EAAE,MAAM,MAAM,EAAE,MAAM,UAAU,EAAE,MAAM,SAAS,CAAC,GAC3G,OAAO,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,cAAc,CAAC,GACvC,KAAK,CAAC;AAEV,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,IAAI;IAClD,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,YAAY,KAAK,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpI,QAAQ,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;CAC9F;AAED,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,IAAI;IACpD,QAAQ,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;CACtH;AAED,MAAM,MAAM,KAAK,CAChB,IAAI,SAAS,MAAM,EACnB,OAAO,SAAS,aAAa,CAAC,UAAU,CAAC,EACzC,QAAQ,SAAS,aAAa,CAAC,YAAY,CAAC,EAC5C,IAAI,SAAS,GAAG,CAAC,GAAG,EACpB,IAAI,IACD;IACH,QAAQ,EAAE,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;CACtH,GAAG;IACH,QAAQ,EAAE,OAAO,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;CAC/H,CAAC;AAqBF,wBAAgB,IAAI,CACnB,IAAI,SAAS,MAAM,EACnB,OAAO,SAAS,aAAa,CAAC,UAAU,CAAC,EACzC,QAAQ,SAAS,aAAa,CAAC,YAAY,CAAC,EAC5C,IAAI,SAAS,GAAG,CAAC,GAAG,EACpB,IAAI,EACJ,EAAE,SAAS,MAAM,EAChB,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC"}

package/dist/bind.js

@@ -0,0 +1,24 @@
+import { Effect } from "effect";
+import * as Reactivity from "effect/unstable/reactivity/Reactivity";
+import { invalidationKeys, readKeys } from "./keys.js";
+const invalidateAfter = Effect.fn("EffectContract.invalidate")(function* (keys) {
+    yield* Reactivity.invalidate(invalidationKeys(keys));
+});
+const boundQuery = (service, tag, query) => {
+    const reads = (payload) => readKeys(query.reads(payload));
+    return {
+        query: (payload, options = {}) => service.query(tag, payload, { ...options, reactivityKeys: reads(payload) }),
+        run: (payload) => service.use((client) => client(tag, payload)),
+    };
+};
+const boundCommand = (service, tag, command) => ({
+    run: (payload) => service.use((client) => client(tag, payload)).pipe(Effect.tap((result) => invalidateAfter(command.invalidates(payload, result)))),
+});
+export function bind(contract, service) {
+    const { name, queries, commands } = contract.declaration;
+    return Object.fromEntries([
+        ...queries.map((query) => [query.name, boundQuery(service, `${name}.${query.name}`, query)]),
+        ...commands.map((command) => [command.name, boundCommand(service, `${name}.${command.name}`, command)]),
+    ]);
+}
+//# sourceMappingURL=bind.js.map

package/dist/bind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bind.js","sourceRoot":"","sources":["../src/bind.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAKhC,OAAO,KAAK,UAAU,MAAM,uCAAuC,CAAC;AAIpE,OAAO,EAAE,gBAAgB,EAAY,QAAQ,EAAE,MAAM,WAAW,CAAC;AA0CjE,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAwB;IACjG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,CAAC,OAAqB,EAAE,GAAW,EAAE,KAAiB,EAAE,EAAE;IAC5E,MAAM,KAAK,GAAG,CAAC,OAAgB,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACnE,OAAO;QACN,KAAK,EAAE,CAAC,OAAgB,EAAE,UAAwB,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACpI,GAAG,EAAE,CAAC,OAAgB,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;KACxE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,OAAqB,EAAE,GAAW,EAAE,OAAqB,EAAE,EAAE,CAAC,CAAC;IACpF,GAAG,EAAE,CAAC,OAAgB,EAAE,EAAE,CACzB,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;CAClI,CAAC,CAAC;AAUH,MAAM,UAAU,IAAI,CACnB,QAA4G,EAC5G,OAAqB;IAErB,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC;IACzD,OAAO,MAAM,CAAC,WAAW,CAAC;QACzB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAU,CAAC;QACrG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAU,CAAC;KAChH,CAAC,CAAC;AACJ,CAAC"}

package/dist/contract.d.ts

@@ -0,0 +1,24 @@
+import { Rpc, RpcGroup, type RpcMiddleware } from "effect/unstable/rpc";
+import type { CommandShape, OperationShape, QueryShape } from "./operation.ts";
+export type Tag<Contract extends string, Name extends string> = `${Contract}.${Name}`;
+export type OperationRpc<Contract extends string, Operation> = Operation extends OperationShape ? Rpc.Rpc<Tag<Contract, Operation["name"]>, Operation["payload"], Operation["success"], Operation["error"]> : never;
+export interface Declared<Name extends string, Queries extends ReadonlyArray<QueryShape>, Commands extends ReadonlyArray<CommandShape>> {
+    readonly name: Name;
+    readonly queries: Queries;
+    readonly commands: Commands;
+}
+export interface Contract<Name extends string, Queries extends ReadonlyArray<QueryShape>, Commands extends ReadonlyArray<CommandShape>, Rpcs extends Rpc.Any = OperationRpc<Name, Queries[number] | Commands[number]>> extends RpcGroup.RpcGroup<Rpcs> {
+    readonly declaration: Declared<Name, Queries, Commands>;
+    middleware<M extends RpcMiddleware.AnyService>(middleware: M): Contract<Name, Queries, Commands, Rpc.AddMiddleware<Rpcs, M>>;
+}
+type Duplicated<Operations extends ReadonlyArray<OperationShape>, Seen extends string = never> = Operations extends readonly [
+    infer Head extends OperationShape,
+    ...infer Tail extends ReadonlyArray<OperationShape>
+] ? (Head["name"] extends Seen ? Head["name"] : never) | Duplicated<Tail, Seen | Head["name"]> : never;
+type Unique<Operations extends ReadonlyArray<OperationShape>> = [Duplicated<Operations>] extends [never] ? unknown : `Operation names must be unique; duplicated: ${Duplicated<Operations>}`;
+export declare function contract<const Name extends string, const Queries extends ReadonlyArray<QueryShape> = readonly [], const Commands extends ReadonlyArray<CommandShape> = readonly []>(name: Name, operations: {
+    readonly queries?: Queries & Unique<Queries>;
+    readonly commands?: Commands & Unique<[...Queries, ...Commands]>;
+}): Contract<Name, Queries, Commands>;
+export {};
+//# sourceMappingURL=contract.d.ts.map

package/dist/contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE/E,MAAM,MAAM,GAAG,CAAC,QAAQ,SAAS,MAAM,EAAE,IAAI,SAAS,MAAM,IAAI,GAAG,QAAQ,IAAI,IAAI,EAAE,CAAC;AAEtF,MAAM,MAAM,YAAY,CAAC,QAAQ,SAAS,MAAM,EAAE,SAAS,IAAI,SAAS,SAAS,cAAc,GAC5F,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,GACzG,KAAK,CAAC;AAET,MAAM,WAAW,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,aAAa,CAAC,UAAU,CAAC,EAAE,QAAQ,SAAS,aAAa,CAAC,YAAY,CAAC;IACrI,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC5B;AAED,MAAM,WAAW,QAAQ,CACxB,IAAI,SAAS,MAAM,EACnB,OAAO,SAAS,aAAa,CAAC,UAAU,CAAC,EACzC,QAAQ,SAAS,aAAa,CAAC,YAAY,CAAC,EAC5C,IAAI,SAAS,GAAG,CAAC,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAC5E,SAAQ,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACxD,UAAU,CAAC,CAAC,SAAS,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;CAC7H;AAED,KAAK,UAAU,CAAC,UAAU,SAAS,aAAa,CAAC,cAAc,CAAC,EAAE,IAAI,SAAS,MAAM,GAAG,KAAK,IAAI,UAAU,SAAS,SAAS;IAC5H,MAAM,IAAI,SAAS,cAAc;IACjC,GAAG,MAAM,IAAI,SAAS,aAAa,CAAC,cAAc,CAAC;CACnD,GACE,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAC1F,KAAK,CAAC;AAET,KAAK,MAAM,CAAC,UAAU,SAAS,aAAa,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACrG,OAAO,GACP,+CAA+C,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;AAyB3E,wBAAgB,QAAQ,CACvB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,OAAO,SAAS,aAAa,CAAC,UAAU,CAAC,GAAG,SAAS,EAAE,EAC7D,KAAK,CAAC,QAAQ,SAAS,aAAa,CAAC,YAAY,CAAC,GAAG,SAAS,EAAE,EAEhE,IAAI,EAAE,IAAI,EACV,UAAU,EAAE;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,MAAM,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAA;CAAE,GAC5H,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC"}

package/dist/contract.js

@@ -0,0 +1,20 @@
+import { Rpc, RpcGroup } from "effect/unstable/rpc";
+const assertUnique = (operations) => {
+    const duplicated = operations.map(({ name }) => name).filter((name, index, names) => names.indexOf(name) !== index);
+    if (duplicated.length > 0)
+        throw new Error(`Operation names must be unique; duplicated: ${[...new Set(duplicated)].join(", ")}`);
+};
+const withDeclaration = (group, declaration) => {
+    const nativeMiddleware = group.middleware.bind(group);
+    return Object.assign(group, {
+        declaration,
+        middleware: (middleware) => withDeclaration(nativeMiddleware(middleware), declaration),
+    });
+};
+export function contract(name, operations) {
+    const { queries = [], commands = [] } = operations;
+    assertUnique([...queries, ...commands]);
+    const rpcs = [...queries, ...commands].map((operation) => Rpc.make(`${name}.${operation.name}`, { payload: operation.payload, success: operation.success, error: operation.error }));
+    return withDeclaration(RpcGroup.make(...rpcs), { name, queries, commands });
+}
+//# sourceMappingURL=contract.js.map

package/dist/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAsB,MAAM,qBAAqB,CAAC;AAoCxE,MAAM,YAAY,GAAG,CAAC,UAAyC,EAAE,EAAE;IAClE,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC;IACpH,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAClI,CAAC,CAAC;AAYF,MAAM,eAAe,GAAG,CAAC,KAAY,EAAE,WAAwB,EAAiB,EAAE;IACjF,MAAM,gBAAgB,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE;QAC3B,WAAW;QACX,UAAU,EAAE,CAAC,UAAoC,EAAE,EAAE,CAAC,eAAe,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC;KAChH,CAAC,CAAC;AACJ,CAAC,CAAC;AAUF,MAAM,UAAU,QAAQ,CACvB,IAAY,EACZ,UAA6G;IAE7G,MAAM,EAAE,OAAO,GAAG,EAAE,EAAE,QAAQ,GAAG,EAAE,EAAE,GAAG,UAAU,CAAC;IACnD,YAAY,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACxD,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CACzH,CAAC;IACF,OAAO,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC7E,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+export { type Bound, type BoundCommand, type BoundQuery, bind, type Failure, type QueryOptions, type RunFailure } from "./bind.ts";
+export { type Contract, contract, type Declared, type OperationRpc, type Tag } from "./contract.ts";
+export { type Collection, collection, type Identity, type ItemKey, invalidationKeys, type Key, type ListKey, readKeys } from "./keys.ts";
+export { type Command, type CommandShape, command, type OperationShape, type PayloadSchema, type Query, type QueryShape, query, } from "./operation.ts";
+export { type FieldRejection, fieldRejection, type MatchingTags, type Reject, type RejectedBy, type RejectionClass, type RejectionSpecs, type Rejections, type RejectionUnion, type RejectionValue, type TaggedRejection, } from "./rejection.ts";
+//# 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,OAAO,EAAE,KAAK,KAAK,EAAE,KAAK,YAAY,EAAE,KAAK,UAAU,EAAE,IAAI,EAAE,KAAK,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,UAAU,EAAE,MAAM,WAAW,CAAC;AACnI,OAAO,EAAE,KAAK,QAAQ,EAAE,QAAQ,EAAE,KAAK,QAAQ,EAAE,KAAK,YAAY,EAAE,KAAK,GAAG,EAAE,MAAM,eAAe,CAAC;AACpG,OAAO,EAAE,KAAK,UAAU,EAAE,UAAU,EAAE,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,gBAAgB,EAAE,KAAK,GAAG,EAAE,KAAK,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACzI,OAAO,EACN,KAAK,OAAO,EACZ,KAAK,YAAY,EACjB,OAAO,EACP,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,KAAK,EACV,KAAK,UAAU,EACf,KAAK,GACL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACN,KAAK,cAAc,EACnB,cAAc,EACd,KAAK,YAAY,EACjB,KAAK,MAAM,EACX,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,eAAe,GACpB,MAAM,gBAAgB,CAAC"}

package/dist/index.js

@@ -0,0 +1,6 @@
+export { bind } from "./bind.js";
+export { contract } from "./contract.js";
+export { collection, invalidationKeys, readKeys } from "./keys.js";
+export { command, query, } from "./operation.js";
+export { fieldRejection, } from "./rejection.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,OAAO,EAAkD,IAAI,EAAoD,MAAM,WAAW,CAAC;AACnI,OAAO,EAAiB,QAAQ,EAA8C,MAAM,eAAe,CAAC;AACpG,OAAO,EAAmB,UAAU,EAA+B,gBAAgB,EAA0B,QAAQ,EAAE,MAAM,WAAW,CAAC;AACzI,OAAO,EAGN,OAAO,EAKP,KAAK,GACL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAEN,cAAc,GAUd,MAAM,gBAAgB,CAAC"}

package/dist/keys.d.ts

@@ -0,0 +1,23 @@
+import type { Schema } from "effect";
+export type Identity = string | number;
+export interface ListKey<Name extends string = string> {
+    readonly _tag: "List";
+    readonly collection: Name;
+}
+export interface ItemKey<Name extends string = string> {
+    readonly _tag: "Item";
+    readonly collection: Name;
+    readonly id: Identity;
+}
+export type Key = ListKey | ItemKey;
+export interface Collection<Name extends string, Id extends Identity> {
+    readonly name: Name;
+    readonly list: ListKey<Name>;
+    readonly item: (id: Id) => ItemKey<Name>;
+}
+export declare const collection: <const Name extends string, Id extends Schema.Top & {
+    readonly Type: Identity;
+}>(name: Name, _id: Id) => Collection<Name, Id["Type"]>;
+export declare const readKeys: (keys: ReadonlyArray<Key>) => ReadonlyArray<string>;
+export declare const invalidationKeys: (keys: ReadonlyArray<Key>) => ReadonlyArray<string>;
+//# sourceMappingURL=keys.d.ts.map

package/dist/keys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"keys.d.ts","sourceRoot":"","sources":["../src/keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;AAEvC,MAAM,WAAW,OAAO,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IACpD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,OAAO,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IACpD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;CACtB;AAED,MAAM,MAAM,GAAG,GAAG,OAAO,GAAG,OAAO,CAAC;AAEpC,MAAM,WAAW,UAAU,CAAC,IAAI,SAAS,MAAM,EAAE,EAAE,SAAS,QAAQ;IACnE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACzC;AAED,eAAO,MAAM,UAAU,GAAI,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,CAAC,GAAG,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,EACxG,MAAM,IAAI,EACV,KAAK,EAAE,KACL,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,CAI5B,CAAC;AAIH,eAAO,MAAM,QAAQ,GAAI,MAAM,aAAa,CAAC,GAAG,CAAC,KAAG,aAAa,CAAC,MAAM,CAAgC,CAAC;AAEzG,eAAO,MAAM,gBAAgB,GAAI,MAAM,aAAa,CAAC,GAAG,CAAC,KAAG,aAAa,CAAC,MAAM,CAE/E,CAAC"}

package/dist/keys.js

@@ -0,0 +1,11 @@
+export const collection = (name, _id) => ({
+    name,
+    list: { _tag: "List", collection: name },
+    item: (id) => ({ _tag: "Item", collection: name, id }),
+});
+const own = (key) => (key._tag === "List" ? key.collection : `${key.collection}:${key.id}`);
+export const readKeys = (keys) => [...new Set(keys.map(own))];
+export const invalidationKeys = (keys) => [
+    ...new Set(keys.flatMap((key) => (key._tag === "List" ? [key.collection] : [own(key), key.collection]))),
+];
+//# sourceMappingURL=keys.js.map

package/dist/keys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keys.js","sourceRoot":"","sources":["../src/keys.ts"],"names":[],"mappings":"AAuBA,MAAM,CAAC,MAAM,UAAU,GAAG,CACzB,IAAU,EACV,GAAO,EACwB,EAAE,CAAC,CAAC;IACnC,IAAI;IACJ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE;IACxC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;CACtD,CAAC,CAAC;AAEH,MAAM,GAAG,GAAG,CAAC,GAAQ,EAAU,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;AAEzG,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAwB,EAAyB,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAEzG,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAwB,EAAyB,EAAE,CAAC;IACpF,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;CACxG,CAAC"}

package/dist/operation.d.ts

@@ -0,0 +1,53 @@
+import { Schema } from "effect";
+import type { Key } from "./keys.ts";
+import { type MatchingTags, type Reject, type RejectionSpecs, type Rejections, type RejectionUnion } from "./rejection.ts";
+export type PayloadSchema<Payload extends Schema.Top | Schema.Struct.Fields> = Payload extends Schema.Struct.Fields ? Schema.Struct<Payload> : Payload;
+type NoRejections = Record<never, never>;
+export interface OperationShape {
+    readonly kind: "query" | "command";
+    readonly name: string;
+    readonly payload: Schema.Top;
+    readonly success: Schema.Top;
+    readonly error: Schema.Top;
+    readonly rejections: RejectionSpecs;
+    readonly Rejection: object;
+    readonly reject: object;
+}
+export interface QueryShape extends OperationShape {
+    readonly kind: "query";
+    reads(payload: unknown): ReadonlyArray<Key>;
+}
+export interface CommandShape extends OperationShape {
+    readonly kind: "command";
+    invalidates(payload: unknown, result: unknown): ReadonlyArray<Key>;
+}
+interface Operation<Name extends string, Payload extends Schema.Top, Success extends Schema.Top, Specs extends RejectionSpecs> extends OperationShape {
+    readonly name: Name;
+    readonly payload: Payload;
+    readonly success: Success;
+    readonly error: RejectionUnion<Specs>;
+    readonly rejections: Specs;
+    readonly Rejection: Rejections<Specs>;
+    readonly reject: Reject<Specs>;
+}
+export interface Query<Name extends string, Payload extends Schema.Top, Success extends Schema.Top, Specs extends RejectionSpecs> extends Operation<Name, Payload, Success, Specs> {
+    readonly kind: "query";
+    reads(payload: Payload["Type"]): ReadonlyArray<Key>;
+}
+export interface Command<Name extends string, Payload extends Schema.Top, Success extends Schema.Top, Specs extends RejectionSpecs> extends Operation<Name, Payload, Success, Specs> {
+    readonly kind: "command";
+    invalidates(payload: Payload["Type"], result: Success["Type"]): ReadonlyArray<Key>;
+}
+interface Declaration<Payload extends Schema.Top | Schema.Struct.Fields, Success extends Schema.Top, Specs extends RejectionSpecs> {
+    readonly payload?: Payload;
+    readonly success?: Success;
+    readonly rejections?: Specs & MatchingTags<Specs>;
+}
+export declare function query<const Name extends string, Payload extends Schema.Top | Schema.Struct.Fields = Schema.Void, Success extends Schema.Top = Schema.Void, const Specs extends RejectionSpecs = NoRejections>(name: Name, declaration: Declaration<Payload, Success, Specs> & {
+    readonly reads: (payload: PayloadSchema<Payload>["Type"]) => ReadonlyArray<Key>;
+}): NoInfer<Query<Name, PayloadSchema<Payload>, Success, Specs>>;
+export declare function command<const Name extends string, Payload extends Schema.Top | Schema.Struct.Fields = Schema.Void, Success extends Schema.Top = Schema.Void, const Specs extends RejectionSpecs = NoRejections>(name: Name, declaration: Declaration<Payload, Success, Specs> & {
+    readonly invalidates: (payload: PayloadSchema<Payload>["Type"], result: Success["Type"]) => ReadonlyArray<Key>;
+}): NoInfer<Command<Name, PayloadSchema<Payload>, Success, Specs>>;
+export {};
+//# sourceMappingURL=operation.d.ts.map

package/dist/operation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation.d.ts","sourceRoot":"","sources":["../src/operation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAE,KAAK,UAAU,EAAE,KAAK,cAAc,EAAgB,MAAM,gBAAgB,CAAC;AAEzI,MAAM,MAAM,aAAa,CAAC,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAChH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GACtB,OAAO,CAAC;AAEX,KAAK,YAAY,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAEzC,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,UAAW,SAAQ,cAAc;IACjD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,YAAa,SAAQ,cAAc;IACnD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;CACnE;AAED,UAAU,SAAS,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,CAAC,GAAG,EAAE,OAAO,SAAS,MAAM,CAAC,GAAG,EAAE,KAAK,SAAS,cAAc,CAC5H,SAAQ,cAAc;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;CAC/B;AAED,MAAM,WAAW,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,CAAC,GAAG,EAAE,OAAO,SAAS,MAAM,CAAC,GAAG,EAAE,KAAK,SAAS,cAAc,CAC/H,SAAQ,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;CACpD;AAED,MAAM,WAAW,OAAO,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,CAAC,GAAG,EAAE,OAAO,SAAS,MAAM,CAAC,GAAG,EAAE,KAAK,SAAS,cAAc,CACjI,SAAQ,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;CACnF;AAED,UAAU,WAAW,CAAC,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,SAAS,MAAM,CAAC,GAAG,EAAE,KAAK,SAAS,cAAc;IAChI,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;CAClD;AAyBD,wBAAgB,KAAK,CACpB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,EAC/D,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,IAAI,EACxC,KAAK,CAAC,KAAK,SAAS,cAAc,GAAG,YAAY,EAEjD,IAAI,EAAE,IAAI,EACV,WAAW,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG;IACnD,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,aAAa,CAAC,GAAG,CAAC,CAAC;CAChF,GACC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AAKhE,wBAAgB,OAAO,CACtB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,EAC/D,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,IAAI,EACxC,KAAK,CAAC,KAAK,SAAS,cAAc,GAAG,YAAY,EAEjD,IAAI,EAAE,IAAI,EACV,WAAW,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG;IACnD,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,aAAa,CAAC,GAAG,CAAC,CAAC;CAC/G,GACC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC"}

package/dist/operation.js

@@ -0,0 +1,25 @@
+import { Schema } from "effect";
+import { rejectionSet } from "./rejection.js";
+const payloadSchema = (payload) => {
+    if (payload === undefined)
+        return Schema.Void;
+    return Schema.isSchema(payload) ? payload : Schema.Struct(payload);
+};
+const operation = (kind, name, declaration) => {
+    const { payload, success, rejections = {} } = declaration;
+    return {
+        kind,
+        name,
+        payload: payloadSchema(payload),
+        success: success ?? Schema.Void,
+        rejections,
+        ...rejectionSet(rejections),
+    };
+};
+export function query(name, declaration) {
+    return { ...operation("query", name, declaration), reads: declaration.reads };
+}
+export function command(name, declaration) {
+    return { ...operation("command", name, declaration), invalidates: declaration.invalidates };
+}
+//# sourceMappingURL=operation.js.map

package/dist/operation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation.js","sourceRoot":"","sources":["../src/operation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,EAA6F,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAgEzI,MAAM,aAAa,GAAG,CAAC,OAAyB,EAAc,EAAE;IAC/D,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IAC9C,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAsC,IAAU,EAAE,IAAY,EAAE,WAAkB,EAAE,EAAE;IACvG,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,GAAG,EAAE,EAAE,GAAG,WAAW,CAAC;IAC1D,OAAO;QACN,IAAI;QACJ,IAAI;QACJ,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;QAC/B,OAAO,EAAE,OAAO,IAAI,MAAM,CAAC,IAAI;QAC/B,UAAU;QACV,GAAG,YAAY,CAAC,UAAU,CAAC;KAC3B,CAAC;AACH,CAAC,CAAC;AAaF,MAAM,UAAU,KAAK,CAAC,IAAY,EAAE,WAAiF;IACpH,OAAO,EAAE,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;AAC/E,CAAC;AAaD,MAAM,UAAU,OAAO,CACtB,IAAY,EACZ,WAAwG;IAExG,OAAO,EAAE,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC;AAC7F,CAAC"}

package/dist/rejection.d.ts

@@ -0,0 +1,41 @@
+import { type Cause, Effect, Schema } from "effect";
+export type RejectionValue<Tag extends string, Fields extends Schema.Struct.Fields> = Schema.TaggedStruct<Tag, Fields>["Type"] & Cause.YieldableError;
+export type RejectionClass<Tag extends string, Fields extends Schema.Struct.Fields> = Schema.Class<RejectionValue<Tag, Fields>, Schema.TaggedStruct<Tag, Fields>, Cause.YieldableError>;
+export type TaggedRejection = Schema.Top & (new (...args: never) => {
+    readonly _tag: string;
+});
+export type RejectionSpecs = {
+    readonly [tag: string]: Schema.Struct.Fields | TaggedRejection;
+};
+export type Rejections<Specs extends RejectionSpecs> = {
+    readonly [Tag in keyof Specs & string]: Specs[Tag] extends TaggedRejection ? Specs[Tag] : Specs[Tag] extends Schema.Struct.Fields ? RejectionClass<Tag, Specs[Tag]> : never;
+};
+export type RejectedBy<Specs extends RejectionSpecs> = {
+    [Tag in keyof Specs & string]: Rejections<Specs>[Tag]["Type"];
+}[keyof Specs & string];
+export type Reject<Specs extends RejectionSpecs> = {
+    readonly [Tag in keyof Specs & string]: Rejections<Specs>[Tag] extends new (...args: infer Arguments) => infer Value ? (...args: Arguments) => Effect.Effect<never, Value> : never;
+};
+export type RejectionUnion<Specs extends RejectionSpecs> = [keyof Specs & string] extends [never] ? Schema.Never : Schema.Union<ReadonlyArray<Rejections<Specs>[keyof Specs & string]>>;
+export type MatchingTags<Specs extends RejectionSpecs> = {
+    readonly [Tag in keyof Specs]: Specs[Tag] extends TaggedRejection ? Specs[Tag]["Type"] extends {
+        readonly _tag: Tag;
+    } ? Specs[Tag] : `The rejection class under "${Tag & string}" must have that _tag` : Specs[Tag];
+};
+export interface RejectionSet<Specs extends RejectionSpecs> {
+    readonly Rejection: Rejections<Specs>;
+    readonly reject: Reject<Specs>;
+    readonly error: RejectionUnion<Specs>;
+}
+export declare function rejectionSet<const Specs extends RejectionSpecs>(specs: Specs): RejectionSet<Specs>;
+export type FieldRejection<Field extends string> = {
+    readonly field: Schema.Literals<ReadonlyArray<Field>>;
+    readonly message: Schema.String;
+};
+export declare function fieldRejection<const Fields extends Schema.Struct.Fields>(struct: {
+    readonly fields: Fields;
+}): FieldRejection<keyof Fields & string>;
+export declare function fieldRejection<const Fields extends Schema.Struct.Fields, const Field extends keyof Fields & string>(struct: {
+    readonly fields: Fields;
+}, fields: ReadonlyArray<Field>): FieldRejection<Field>;
+//# sourceMappingURL=rejection.d.ts.map

package/dist/rejection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rejection.d.ts","sourceRoot":"","sources":["../src/rejection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEpD,MAAM,MAAM,cAAc,CAAC,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC;AAEtJ,MAAM,MAAM,cAAc,CAAC,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CACjG,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,EAC3B,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,EAChC,KAAK,CAAC,cAAc,CACpB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,KAAK;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE/F,MAAM,MAAM,cAAc,GAAG;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,eAAe,CAAA;CAAE,CAAC;AAEhG,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,cAAc,IAAI;IACtD,QAAQ,EAAE,GAAG,IAAI,MAAM,KAAK,GAAG,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,eAAe,GACvE,KAAK,CAAC,GAAG,CAAC,GACV,KAAK,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GACtC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAC/B,KAAK;CACT,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,cAAc,IAAI;KACrD,GAAG,IAAI,MAAM,KAAK,GAAG,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;CAC7D,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC;AAExB,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,cAAc,IAAI;IAClD,QAAQ,EAAE,GAAG,IAAI,MAAM,KAAK,GAAG,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,KACtE,GAAG,IAAI,EAAE,MAAM,SAAS,KACpB,MAAM,KAAK,GACb,CAAC,GAAG,IAAI,EAAE,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACnD,KAAK;CACR,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,KAAK,SAAS,cAAc,IAAI,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9F,MAAM,CAAC,KAAK,GACZ,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;AAExE,MAAM,MAAM,YAAY,CAAC,KAAK,SAAS,cAAc,IAAI;IACxD,QAAQ,EAAE,GAAG,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,eAAe,GAC9D,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;KAAE,GAChD,KAAK,CAAC,GAAG,CAAC,GACV,8BAA8B,GAAG,GAAG,MAAM,uBAAuB,GAClE,KAAK,CAAC,GAAG,CAAC;CACb,CAAC;AAEF,MAAM,WAAW,YAAY,CAAC,KAAK,SAAS,cAAc;IACzD,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC;CACtC;AAQD,wBAAgB,YAAY,CAAC,KAAK,CAAC,KAAK,SAAS,cAAc,EAAE,KAAK,EAAE,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;AAepG,MAAM,MAAM,cAAc,CAAC,KAAK,SAAS,MAAM,IAAI;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;CAChC,CAAC;AAEF,wBAAgB,cAAc,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,cAAc,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC;AACtJ,wBAAgB,cAAc,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,SAAS,MAAM,MAAM,GAAG,MAAM,EAClH,MAAM,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EACnC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,GAC1B,cAAc,CAAC,KAAK,CAAC,CAAC"}

package/dist/rejection.js

@@ -0,0 +1,16 @@
+import { Effect, Schema } from "effect";
+export function rejectionSet(specs) {
+    const classes = Object.entries(specs).map(([tag, spec]) => [
+        tag,
+        Schema.isSchema(spec) ? spec : Schema.TaggedError()(tag, spec),
+    ]);
+    return {
+        Rejection: Object.fromEntries(classes),
+        reject: Object.fromEntries(classes.map(([tag, Rejection]) => [tag, (...args) => Effect.fail(Reflect.construct(Rejection, args))])),
+        error: classes.length === 0 ? Schema.Never : Schema.Union(classes.map(([, schema]) => schema)),
+    };
+}
+export function fieldRejection(struct, fields) {
+    return { field: Schema.Literals(fields ?? Object.keys(struct.fields)), message: Schema.String };
+}
+//# sourceMappingURL=rejection.js.map

package/dist/rejection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rejection.js","sourceRoot":"","sources":["../src/rejection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AA2DpD,MAAM,UAAU,YAAY,CAAC,KAAqB;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAsC,EAAE,CAAC;QAC9F,GAAG;QACH,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAwB,CAAC,GAAG,EAAE,IAAI,CAAC;KACpF,CAAC,CAAC;IACH,OAAO;QACN,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,MAAM,CAAC,WAAW,CACzB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,IAA4B,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAC9H;QACD,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;KAC9F,CAAC;AACH,CAAC;AAYD,MAAM,UAAU,cAAc,CAAC,MAAiD,EAAE,MAA8B;IAC/G,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AACjG,CAAC"}

package/package.json

@@ -1,14 +1,59 @@
 {
   "name": "@shivaedev/effect-contract",
-  "version": "0.0.0",
-  "description": "Name reservation. The first release is published from https://github.com/ShivaeDev/platform.",
+  "version": "0.1.0",
+  "description": "Typed query and command contracts over native Effect RPC and reactivity",
+  "type": "module",
   "license": "MIT",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/ShivaeDev/platform.git",
     "directory": "packages/effect-contract"
   },
+  "homepage": "https://github.com/ShivaeDev/platform/tree/main/packages/effect-contract#readme",
+  "bugs": {
+    "url": "https://github.com/ShivaeDev/platform/issues"
+  },
+  "engines": {
+    "node": ">=24"
+  },
+  "sideEffects": false,
+  "files": [
+    "dist",
+    "src",
+    "CHANGELOG.md",
+    "README.md"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "source": "./src/index.ts",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    },
+    "./package.json": "./package.json"
+  },
   "publishConfig": {
-    "access": "public"
+    "access": "public",
+    "provenance": true
+  },
+  "peerDependencies": {
+    "effect": "4.0.0-rc.112"
+  },
+  "devDependencies": {
+    "@effect/vitest": "4.0.0-rc.112",
+    "@types/node": "24.10.1",
+    "@typescript/native": "npm:typescript@7.0.2",
+    "effect": "4.0.0-rc.112",
+    "typescript": "npm:@typescript/typescript6@6.0.2",
+    "vitest": "4.1.9"
+  },
+  "scripts": {
+    "build": "node --eval \"import('node:fs').then(({ rmSync }) => rmSync('dist', { force: true, recursive: true }))\" && tsc6 --project tsconfig.build.json",
+    "check": "biome check .",
+    "test": "vitest run",
+    "test:package": "node scripts/test-package.mjs",
+    "typecheck": "tsc --noEmit",
+    "typecheck:compat": "tsc6 --noEmit",
+    "ready": "pnpm check && pnpm typecheck && pnpm typecheck:compat && pnpm test && pnpm build && pnpm test:package"
   }
-}
+}

package/src/bind.ts

@@ -0,0 +1,87 @@
+import type { Duration, Schema } from "effect";
+import { Effect } from "effect";
+import type { Headers } from "effect/unstable/http";
+import type * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+import type * as AtomRpc from "effect/unstable/reactivity/AtomRpc";
+import * as Reactivity from "effect/unstable/reactivity/Reactivity";
+import type { Rpc } from "effect/unstable/rpc";
+import type { RpcClientError } from "effect/unstable/rpc/RpcClientError";
+import type { Contract, Declared, Tag } from "./contract.ts";
+import { invalidationKeys, type Key, readKeys } from "./keys.ts";
+import type { CommandShape, QueryShape } from "./operation.ts";
+
+export type Failure<R extends Rpc.Any> =
+	R extends Rpc.Rpc<infer _Tag, infer _Payload, infer _Success, infer Error, infer Middleware, infer _Requires>
+		? Error["Type"] | Middleware["error"]["Type"] | RpcClientError
+		: never;
+
+export type RunFailure<R extends Rpc.Any> =
+	R extends Rpc.Rpc<infer _Tag, infer _Payload, infer _Success, infer _Error, infer Middleware, infer _Requires>
+		? Failure<R> | Middleware["~ClientError"]
+		: never;
+
+export interface QueryOptions {
+	readonly headers?: Headers.Input;
+	readonly timeToLive?: Duration.Input;
+	readonly serializationKey?: string;
+}
+
+export interface BoundQuery<R extends Rpc.Any, Self> {
+	readonly query: (payload: Rpc.Payload<R>, options?: QueryOptions) => Atom.Atom<AsyncResult.AsyncResult<Rpc.Success<R>, Failure<R>>>;
+	readonly run: (payload: Rpc.Payload<R>) => Effect.Effect<Rpc.Success<R>, RunFailure<R>, Self>;
+}
+
+export interface BoundCommand<R extends Rpc.Any, Self> {
+	readonly run: (payload: Rpc.Payload<R>) => Effect.Effect<Rpc.Success<R>, RunFailure<R>, Self | Reactivity.Reactivity>;
+}
+
+export type Bound<
+	Name extends string,
+	Queries extends ReadonlyArray<QueryShape>,
+	Commands extends ReadonlyArray<CommandShape>,
+	Rpcs extends Rpc.Any,
+	Self,
+> = {
+	readonly [Query in Queries[number] as Query["name"]]: BoundQuery<Rpc.ExtractTag<Rpcs, Tag<Name, Query["name"]>>, Self>;
+} & {
+	readonly [Command in Commands[number] as Command["name"]]: BoundCommand<Rpc.ExtractTag<Rpcs, Tag<Name, Command["name"]>>, Self>;
+};
+
+type ErasedClient = AtomRpc.AtomRpcClient<unknown, string, Rpc.Rpc<string, Schema.Top, Schema.Top, Schema.Top>>;
+
+const invalidateAfter = Effect.fn("EffectContract.invalidate")(function* (keys: ReadonlyArray<Key>) {
+	yield* Reactivity.invalidate(invalidationKeys(keys));
+});
+
+const boundQuery = (service: ErasedClient, tag: string, query: QueryShape) => {
+	const reads = (payload: unknown) => readKeys(query.reads(payload));
+	return {
+		query: (payload: unknown, options: QueryOptions = {}) => service.query(tag, payload, { ...options, reactivityKeys: reads(payload) }),
+		run: (payload: unknown) => service.use((client) => client(tag, payload)),
+	};
+};
+
+const boundCommand = (service: ErasedClient, tag: string, command: CommandShape) => ({
+	run: (payload: unknown) =>
+		service.use((client) => client(tag, payload)).pipe(Effect.tap((result) => invalidateAfter(command.invalidates(payload, result)))),
+});
+
+export function bind<
+	Name extends string,
+	Queries extends ReadonlyArray<QueryShape>,
+	Commands extends ReadonlyArray<CommandShape>,
+	Rpcs extends Rpc.Any,
+	Self,
+	Id extends string,
+>(contract: Contract<Name, Queries, Commands, Rpcs>, service: AtomRpc.AtomRpcClient<Self, Id, Rpcs>): Bound<Name, Queries, Commands, Rpcs, Self>;
+export function bind(
+	contract: { readonly declaration: Declared<string, ReadonlyArray<QueryShape>, ReadonlyArray<CommandShape>> },
+	service: ErasedClient,
+): unknown {
+	const { name, queries, commands } = contract.declaration;
+	return Object.fromEntries([
+		...queries.map((query) => [query.name, boundQuery(service, `${name}.${query.name}`, query)] as const),
+		...commands.map((command) => [command.name, boundCommand(service, `${name}.${command.name}`, command)] as const),
+	]);
+}

package/src/contract.ts

@@ -0,0 +1,78 @@
+import { Rpc, RpcGroup, type RpcMiddleware } from "effect/unstable/rpc";
+import type { CommandShape, OperationShape, QueryShape } from "./operation.ts";
+
+export type Tag<Contract extends string, Name extends string> = `${Contract}.${Name}`;
+
+export type OperationRpc<Contract extends string, Operation> = Operation extends OperationShape
+	? Rpc.Rpc<Tag<Contract, Operation["name"]>, Operation["payload"], Operation["success"], Operation["error"]>
+	: never;
+
+export interface Declared<Name extends string, Queries extends ReadonlyArray<QueryShape>, Commands extends ReadonlyArray<CommandShape>> {
+	readonly name: Name;
+	readonly queries: Queries;
+	readonly commands: Commands;
+}
+
+export interface Contract<
+	Name extends string,
+	Queries extends ReadonlyArray<QueryShape>,
+	Commands extends ReadonlyArray<CommandShape>,
+	Rpcs extends Rpc.Any = OperationRpc<Name, Queries[number] | Commands[number]>,
+> extends RpcGroup.RpcGroup<Rpcs> {
+	readonly declaration: Declared<Name, Queries, Commands>;
+	middleware<M extends RpcMiddleware.AnyService>(middleware: M): Contract<Name, Queries, Commands, Rpc.AddMiddleware<Rpcs, M>>;
+}
+
+type Duplicated<Operations extends ReadonlyArray<OperationShape>, Seen extends string = never> = Operations extends readonly [
+	infer Head extends OperationShape,
+	...infer Tail extends ReadonlyArray<OperationShape>,
+]
+	? (Head["name"] extends Seen ? Head["name"] : never) | Duplicated<Tail, Seen | Head["name"]>
+	: never;
+
+type Unique<Operations extends ReadonlyArray<OperationShape>> = [Duplicated<Operations>] extends [never]
+	? unknown
+	: `Operation names must be unique; duplicated: ${Duplicated<Operations>}`;
+
+const assertUnique = (operations: ReadonlyArray<OperationShape>) => {
+	const duplicated = operations.map(({ name }) => name).filter((name, index, names) => names.indexOf(name) !== index);
+	if (duplicated.length > 0) throw new Error(`Operation names must be unique; duplicated: ${[...new Set(duplicated)].join(", ")}`);
+};
+
+type AnyDeclared = Declared<string, ReadonlyArray<QueryShape>, ReadonlyArray<CommandShape>>;
+
+interface Group {
+	middleware(middleware: RpcMiddleware.AnyService): Group;
+}
+
+interface DeclaredGroup extends Group {
+	readonly declaration: AnyDeclared;
+}
+
+const withDeclaration = (group: Group, declaration: AnyDeclared): DeclaredGroup => {
+	const nativeMiddleware = group.middleware.bind(group);
+	return Object.assign(group, {
+		declaration,
+		middleware: (middleware: RpcMiddleware.AnyService) => withDeclaration(nativeMiddleware(middleware), declaration),
+	});
+};
+
+export function contract<
+	const Name extends string,
+	const Queries extends ReadonlyArray<QueryShape> = readonly [],
+	const Commands extends ReadonlyArray<CommandShape> = readonly [],
+>(
+	name: Name,
+	operations: { readonly queries?: Queries & Unique<Queries>; readonly commands?: Commands & Unique<[...Queries, ...Commands]> },
+): Contract<Name, Queries, Commands>;
+export function contract(
+	name: string,
+	operations: { readonly queries?: ReadonlyArray<QueryShape>; readonly commands?: ReadonlyArray<CommandShape> },
+): DeclaredGroup {
+	const { queries = [], commands = [] } = operations;
+	assertUnique([...queries, ...commands]);
+	const rpcs = [...queries, ...commands].map((operation) =>
+		Rpc.make(`${name}.${operation.name}`, { payload: operation.payload, success: operation.success, error: operation.error }),
+	);
+	return withDeclaration(RpcGroup.make(...rpcs), { name, queries, commands });
+}

package/src/index.ts

@@ -0,0 +1,26 @@
+export { type Bound, type BoundCommand, type BoundQuery, bind, type Failure, type QueryOptions, type RunFailure } from "./bind.ts";
+export { type Contract, contract, type Declared, type OperationRpc, type Tag } from "./contract.ts";
+export { type Collection, collection, type Identity, type ItemKey, invalidationKeys, type Key, type ListKey, readKeys } from "./keys.ts";
+export {
+	type Command,
+	type CommandShape,
+	command,
+	type OperationShape,
+	type PayloadSchema,
+	type Query,
+	type QueryShape,
+	query,
+} from "./operation.ts";
+export {
+	type FieldRejection,
+	fieldRejection,
+	type MatchingTags,
+	type Reject,
+	type RejectedBy,
+	type RejectionClass,
+	type RejectionSpecs,
+	type Rejections,
+	type RejectionUnion,
+	type RejectionValue,
+	type TaggedRejection,
+} from "./rejection.ts";

package/src/keys.ts

@@ -0,0 +1,39 @@
+import type { Schema } from "effect";
+
+export type Identity = string | number;
+
+export interface ListKey<Name extends string = string> {
+	readonly _tag: "List";
+	readonly collection: Name;
+}
+
+export interface ItemKey<Name extends string = string> {
+	readonly _tag: "Item";
+	readonly collection: Name;
+	readonly id: Identity;
+}
+
+export type Key = ListKey | ItemKey;
+
+export interface Collection<Name extends string, Id extends Identity> {
+	readonly name: Name;
+	readonly list: ListKey<Name>;
+	readonly item: (id: Id) => ItemKey<Name>;
+}
+
+export const collection = <const Name extends string, Id extends Schema.Top & { readonly Type: Identity }>(
+	name: Name,
+	_id: Id,
+): Collection<Name, Id["Type"]> => ({
+	name,
+	list: { _tag: "List", collection: name },
+	item: (id) => ({ _tag: "Item", collection: name, id }),
+});
+
+const own = (key: Key): string => (key._tag === "List" ? key.collection : `${key.collection}:${key.id}`);
+
+export const readKeys = (keys: ReadonlyArray<Key>): ReadonlyArray<string> => [...new Set(keys.map(own))];
+
+export const invalidationKeys = (keys: ReadonlyArray<Key>): ReadonlyArray<string> => [
+	...new Set(keys.flatMap((key) => (key._tag === "List" ? [key.collection] : [own(key), key.collection]))),
+];

package/src/operation.ts

@@ -0,0 +1,115 @@
+import { Schema } from "effect";
+import type { Key } from "./keys.ts";
+import { type MatchingTags, type Reject, type RejectionSpecs, type Rejections, type RejectionUnion, rejectionSet } from "./rejection.ts";
+
+export type PayloadSchema<Payload extends Schema.Top | Schema.Struct.Fields> = Payload extends Schema.Struct.Fields
+	? Schema.Struct<Payload>
+	: Payload;
+
+type NoRejections = Record<never, never>;
+
+export interface OperationShape {
+	readonly kind: "query" | "command";
+	readonly name: string;
+	readonly payload: Schema.Top;
+	readonly success: Schema.Top;
+	readonly error: Schema.Top;
+	readonly rejections: RejectionSpecs;
+	readonly Rejection: object;
+	readonly reject: object;
+}
+
+export interface QueryShape extends OperationShape {
+	readonly kind: "query";
+	reads(payload: unknown): ReadonlyArray<Key>;
+}
+
+export interface CommandShape extends OperationShape {
+	readonly kind: "command";
+	invalidates(payload: unknown, result: unknown): ReadonlyArray<Key>;
+}
+
+interface Operation<Name extends string, Payload extends Schema.Top, Success extends Schema.Top, Specs extends RejectionSpecs>
+	extends OperationShape {
+	readonly name: Name;
+	readonly payload: Payload;
+	readonly success: Success;
+	readonly error: RejectionUnion<Specs>;
+	readonly rejections: Specs;
+	readonly Rejection: Rejections<Specs>;
+	readonly reject: Reject<Specs>;
+}
+
+export interface Query<Name extends string, Payload extends Schema.Top, Success extends Schema.Top, Specs extends RejectionSpecs>
+	extends Operation<Name, Payload, Success, Specs> {
+	readonly kind: "query";
+	reads(payload: Payload["Type"]): ReadonlyArray<Key>;
+}
+
+export interface Command<Name extends string, Payload extends Schema.Top, Success extends Schema.Top, Specs extends RejectionSpecs>
+	extends Operation<Name, Payload, Success, Specs> {
+	readonly kind: "command";
+	invalidates(payload: Payload["Type"], result: Success["Type"]): ReadonlyArray<Key>;
+}
+
+interface Declaration<Payload extends Schema.Top | Schema.Struct.Fields, Success extends Schema.Top, Specs extends RejectionSpecs> {
+	readonly payload?: Payload;
+	readonly success?: Success;
+	readonly rejections?: Specs & MatchingTags<Specs>;
+}
+
+interface Loose {
+	readonly payload?: Schema.Top | Schema.Struct.Fields;
+	readonly success?: Schema.Top;
+	readonly rejections?: RejectionSpecs;
+}
+
+const payloadSchema = (payload: Loose["payload"]): Schema.Top => {
+	if (payload === undefined) return Schema.Void;
+	return Schema.isSchema(payload) ? payload : Schema.Struct(payload);
+};
+
+const operation = <Kind extends OperationShape["kind"]>(kind: Kind, name: string, declaration: Loose) => {
+	const { payload, success, rejections = {} } = declaration;
+	return {
+		kind,
+		name,
+		payload: payloadSchema(payload),
+		success: success ?? Schema.Void,
+		rejections,
+		...rejectionSet(rejections),
+	};
+};
+
+export function query<
+	const Name extends string,
+	Payload extends Schema.Top | Schema.Struct.Fields = Schema.Void,
+	Success extends Schema.Top = Schema.Void,
+	const Specs extends RejectionSpecs = NoRejections,
+>(
+	name: Name,
+	declaration: Declaration<Payload, Success, Specs> & {
+		readonly reads: (payload: PayloadSchema<Payload>["Type"]) => ReadonlyArray<Key>;
+	},
+): NoInfer<Query<Name, PayloadSchema<Payload>, Success, Specs>>;
+export function query(name: string, declaration: Loose & { readonly reads: (payload: unknown) => ReadonlyArray<Key> }): QueryShape {
+	return { ...operation("query", name, declaration), reads: declaration.reads };
+}
+
+export function command<
+	const Name extends string,
+	Payload extends Schema.Top | Schema.Struct.Fields = Schema.Void,
+	Success extends Schema.Top = Schema.Void,
+	const Specs extends RejectionSpecs = NoRejections,
+>(
+	name: Name,
+	declaration: Declaration<Payload, Success, Specs> & {
+		readonly invalidates: (payload: PayloadSchema<Payload>["Type"], result: Success["Type"]) => ReadonlyArray<Key>;
+	},
+): NoInfer<Command<Name, PayloadSchema<Payload>, Success, Specs>>;
+export function command(
+	name: string,
+	declaration: Loose & { readonly invalidates: (payload: unknown, result: unknown) => ReadonlyArray<Key> },
+): CommandShape {
+	return { ...operation("command", name, declaration), invalidates: declaration.invalidates };
+}

package/src/rejection.ts

@@ -0,0 +1,86 @@
+import { type Cause, Effect, Schema } from "effect";
+
+export type RejectionValue<Tag extends string, Fields extends Schema.Struct.Fields> = Schema.TaggedStruct<Tag, Fields>["Type"] & Cause.YieldableError;
+
+export type RejectionClass<Tag extends string, Fields extends Schema.Struct.Fields> = Schema.Class<
+	RejectionValue<Tag, Fields>,
+	Schema.TaggedStruct<Tag, Fields>,
+	Cause.YieldableError
+>;
+
+export type TaggedRejection = Schema.Top & (new (...args: never) => { readonly _tag: string });
+
+export type RejectionSpecs = { readonly [tag: string]: Schema.Struct.Fields | TaggedRejection };
+
+export type Rejections<Specs extends RejectionSpecs> = {
+	readonly [Tag in keyof Specs & string]: Specs[Tag] extends TaggedRejection
+		? Specs[Tag]
+		: Specs[Tag] extends Schema.Struct.Fields
+			? RejectionClass<Tag, Specs[Tag]>
+			: never;
+};
+
+export type RejectedBy<Specs extends RejectionSpecs> = {
+	[Tag in keyof Specs & string]: Rejections<Specs>[Tag]["Type"];
+}[keyof Specs & string];
+
+export type Reject<Specs extends RejectionSpecs> = {
+	readonly [Tag in keyof Specs & string]: Rejections<Specs>[Tag] extends new (
+		...args: infer Arguments
+	) => infer Value
+		? (...args: Arguments) => Effect.Effect<never, Value>
+		: never;
+};
+
+export type RejectionUnion<Specs extends RejectionSpecs> = [keyof Specs & string] extends [never]
+	? Schema.Never
+	: Schema.Union<ReadonlyArray<Rejections<Specs>[keyof Specs & string]>>;
+
+export type MatchingTags<Specs extends RejectionSpecs> = {
+	readonly [Tag in keyof Specs]: Specs[Tag] extends TaggedRejection
+		? Specs[Tag]["Type"] extends { readonly _tag: Tag }
+			? Specs[Tag]
+			: `The rejection class under "${Tag & string}" must have that _tag`
+		: Specs[Tag];
+};
+
+export interface RejectionSet<Specs extends RejectionSpecs> {
+	readonly Rejection: Rejections<Specs>;
+	readonly reject: Reject<Specs>;
+	readonly error: RejectionUnion<Specs>;
+}
+
+interface LooseRejectionSet {
+	readonly Rejection: { readonly [tag: string]: TaggedRejection };
+	readonly reject: { readonly [tag: string]: (...args: ReadonlyArray<unknown>) => Effect.Effect<never, unknown> };
+	readonly error: Schema.Top;
+}
+
+export function rejectionSet<const Specs extends RejectionSpecs>(specs: Specs): RejectionSet<Specs>;
+export function rejectionSet(specs: RejectionSpecs): LooseRejectionSet {
+	const classes = Object.entries(specs).map(([tag, spec]): readonly [string, TaggedRejection] => [
+		tag,
+		Schema.isSchema(spec) ? spec : Schema.TaggedError<Cause.YieldableError>()(tag, spec),
+	]);
+	return {
+		Rejection: Object.fromEntries(classes),
+		reject: Object.fromEntries(
+			classes.map(([tag, Rejection]) => [tag, (...args: ReadonlyArray<unknown>) => Effect.fail(Reflect.construct(Rejection, args))]),
+		),
+		error: classes.length === 0 ? Schema.Never : Schema.Union(classes.map(([, schema]) => schema)),
+	};
+}
+
+export type FieldRejection<Field extends string> = {
+	readonly field: Schema.Literals<ReadonlyArray<Field>>;
+	readonly message: Schema.String;
+};
+
+export function fieldRejection<const Fields extends Schema.Struct.Fields>(struct: { readonly fields: Fields }): FieldRejection<keyof Fields & string>;
+export function fieldRejection<const Fields extends Schema.Struct.Fields, const Field extends keyof Fields & string>(
+	struct: { readonly fields: Fields },
+	fields: ReadonlyArray<Field>,
+): FieldRejection<Field>;
+export function fieldRejection(struct: { readonly fields: Schema.Struct.Fields }, fields?: ReadonlyArray<string>): FieldRejection<string> {
+	return { field: Schema.Literals(fields ?? Object.keys(struct.fields)), message: Schema.String };
+}