@shivaedev/effect-contract 0.3.0 → 0.4.1

package/dist/rejection.d.ts.map

@@ -1 +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,WAAW,cAAc;IAC9B,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,eAAe,CAAC;CAC/D;AAED,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,SAAS,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;AAEpE,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,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;CAC/B;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,QAAQ,CAAC;IAC3D,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;IACzC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;CACvB,CAAC,CAAC;AAEH,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,SAAS,KAAK,EAAE,GACtB,cAAc,CAAC,KAAK,CAAC,CAAC"}
+{"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,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,GACjI,KAAK,CAAC,cAAc,CAAC;AAEtB,MAAM,MAAM,cAAc,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CACnG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7B,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,EAClC,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,WAAW,cAAc;IAC9B,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,eAAe,CAAC;CAC/D;AAED,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,cAAc,IAAI;IACvD,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,eAAe,GAC3E,MAAM,CAAC,IAAI,CAAC,GACZ,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GACxC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAClC,KAAK;CACT,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,cAAc,IAAI;KACtD,IAAI,IAAI,MAAM,MAAM,GAAG,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;CACjE,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC;AAEzB,MAAM,MAAM,MAAM,CAAC,MAAM,SAAS,cAAc,IAAI;IACnD,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,KAC1E,GAAG,IAAI,EAAE,MAAM,UAAU,KACrB,MAAM,MAAM,GACd,CAAC,GAAG,IAAI,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GACrD,KAAK;CACR,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,MAAM,SAAS,cAAc,IAAI,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAChG,MAAM,CAAC,KAAK,GACZ,MAAM,CAAC,KAAK,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;AAEtE,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,cAAc,IAAI;IACzD,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,eAAe,GAClE,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,GACnD,MAAM,CAAC,IAAI,CAAC,GACZ,8BAA8B,IAAI,GAAG,MAAM,uBAAuB,GACnE,MAAM,CAAC,IAAI,CAAC;CACf,CAAC;AAEF,MAAM,WAAW,YAAY,CAAC,MAAM,SAAS,cAAc;IAC1D,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;CAChC;AAQD,wBAAgB,YAAY,CAAC,KAAK,CAAC,MAAM,SAAS,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;AAevG,MAAM,MAAM,cAAc,CAAC,MAAM,SAAS,MAAM,IAAI,QAAQ,CAAC;IAC5D,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC1C,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;CACvB,CAAC,CAAC;AAEH,wBAAgB,cAAc,CAAC,KAAK,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE;IAClF,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CACzB,GAAG,cAAc,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC;AAC3C,wBAAgB,cAAc,CAAC,KAAK,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,SAAS,MAAM,OAAO,GAAG,MAAM,EACrH,MAAM,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,EACpC,MAAM,EAAE,SAAS,MAAM,EAAE,GACvB,cAAc,CAAC,MAAM,CAAC,CAAC"}

package/dist/rejection.js.map

@@ -1 +1 @@
-{"version":3,"file":"rejection.js","sourceRoot":"","sources":["../src/rejection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AA6DpD,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,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;QAC9F,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,IAAwB,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAC1H;KACD,CAAC;AACH,CAAC;AAYD,MAAM,UAAU,cAAc,CAAC,MAAiD,EAAE,MAA0B;IAC3G,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"}
+{"version":3,"file":"rejection.js","sourceRoot":"","sources":["../src/rejection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AA8DpD,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,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;QAC9F,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,IAAwB,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAC1H;KACD,CAAC;AACH,CAAC;AAcD,MAAM,UAAU,cAAc,CAAC,MAAiD,EAAE,MAA0B;IAC3G,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/dist/resume.d.ts

@@ -0,0 +1,17 @@
+import * as Atom from "effect/unstable/reactivity/Atom";
+export type ResumeSource = (resume: () => void) => () => void;
+type ResumeEvent = "online" | "visibilitychange";
+export interface ResumeWindow {
+    readonly addEventListener: (type: ResumeEvent, listener: () => void) => void;
+    readonly document: {
+        readonly visibilityState: string;
+    };
+    readonly removeEventListener: (type: ResumeEvent, listener: () => void) => void;
+}
+export interface ResumeOptions {
+    readonly native?: ResumeSource;
+    readonly window?: ResumeWindow;
+}
+export declare function resumeSignal({ window, native }: ResumeOptions): Atom.Atom<number>;
+export {};
+//# sourceMappingURL=resume.d.ts.map

package/dist/resume.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resume.d.ts","sourceRoot":"","sources":["../src/resume.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAExD,MAAM,MAAM,YAAY,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,KAAK,MAAM,IAAI,CAAC;AAE9D,KAAK,WAAW,GAAG,QAAQ,GAAG,kBAAkB,CAAC;AAEjD,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAAI,CAAC;IAC7E,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,QAAQ,CAAC,mBAAmB,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAAI,CAAC;CAChF;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;CAC/B;AAcD,wBAAgB,YAAY,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAcjF"}

package/dist/resume.js

@@ -0,0 +1,28 @@
+import * as Atom from "effect/unstable/reactivity/Atom";
+function whileVisible(target, type) {
+    return (resume) => {
+        function visible() {
+            if (target.document.visibilityState === "visible") {
+                resume();
+            }
+        }
+        target.addEventListener(type, visible);
+        return () => target.removeEventListener(type, visible);
+    };
+}
+export function resumeSignal({ window, native }) {
+    const browser = window === undefined ? [] : [whileVisible(window, "visibilitychange"), whileVisible(window, "online")];
+    const sources = native === undefined ? browser : [...browser, native];
+    return Atom.readable((get) => {
+        let count = 0;
+        function resume() {
+            count += 1;
+            get.setSelf(count);
+        }
+        for (const source of sources) {
+            get.addFinalizer(source(resume));
+        }
+        return count;
+    });
+}
+//# sourceMappingURL=resume.js.map

package/dist/resume.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resume.js","sourceRoot":"","sources":["../src/resume.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAiBxD,SAAS,YAAY,CAAC,MAAoB,EAAE,IAAiB;IAC5D,OAAO,CAAC,MAAM,EAAE,EAAE;QACjB,SAAS,OAAO;YACf,IAAI,MAAM,CAAC,QAAQ,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;gBACnD,MAAM,EAAE,CAAC;YACV,CAAC;QACF,CAAC;QACD,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,EAAE,MAAM,EAAE,MAAM,EAAiB;IAC7D,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvH,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,SAAS,MAAM;YACd,KAAK,IAAI,CAAC,CAAC;YACX,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC9B,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;AACJ,CAAC"}

package/docs/north-star.md

@@ -0,0 +1,45 @@
+# North star
+
+## The problem
+
+A feature crosses several boundaries. A service knows its input, result and expected failures. An RPC operation repeats them. A client needs the same types, then separately needs to know which queries a successful write should refresh. When those descriptions live apart, they drift: a failure becomes an untyped message, a newly created item does not refresh, or a broad invalidation replaces unrelated views.
+
+Effect already provides the underlying pieces: Schema, typed Effects, Rpc, RpcGroup, middleware, AtomRpc, Reactivity and Streams. The missing piece is a small declaration that ties the feature's boundary and read/write dependencies together. Replacing those native pieces would introduce another model to learn and another owner for errors, interruption and resource lifetime.
+
+## The ideal
+
+A feature declares its boundary once. Its payload and success come from Schema. Its expected failures are tagged rejection classes that handlers and clients share. Queries name the dependencies they read. Commands name the dependencies their successful results change, including IDs returned by a create operation.
+
+That declaration is an ordinary native RPC group. Implementing, securing, hosting and calling it uses the APIs an Effect engineer already knows. The client binding adds only the mechanical work: register declared read keys on native query atoms and invalidate declared change keys after a successful call.
+
+Freshness has one vocabulary. An item change invalidates that item and its collection list. A reconciliation request uses an explicit read scope, rather than guessing that a list key covers all item queries. Optional live hints and resume signals request those same reads again. They do not hold replacement data; the successful query remains authoritative.
+
+## What good looks like
+
+- A reader finds the input, result, rejection and dependency rule together, and an agent can infer the types without repeating them at call sites.
+- A domain service can raise a rejection class that several operations reuse. Generated field rejections name the form fields they describe.
+- An ordinary query/command feature needs no subscription. A feature needing live freshness composes a native Stream with the same registry and keys.
+- A successful command refreshes affected views. A rejected command leaves those reads alone. A reconnect reconciles the caller's explicit scope, including changes missed while disconnected.
+- Native atoms retain query state and own stale-request interruption. The helper never becomes another cache or a parallel resource owner.
+- Browser code can import declarations, bindings and resume signals without bringing in React or server implementation packages.
+- Type tests, native client tests and real HTTP tests make different claims. Each claim stops at the boundary its evidence actually exercises.
+
+## Trade-offs
+
+- **Native composition over a shorter host setup.** Applications choose their native middleware, server host, serialization and AtomRpc service. The package removes repeated declarations without concealing those decisions.
+- **Precise dependency keys over convenient broad refresh.** A feature must name its reads and changes. Reconciliation must name a common scope when it needs one. Incorrect dependency discovery is an application error the library cannot infer away.
+- **Ordinary calls over mandatory streaming.** Live invalidation is optional. No query waits for a journal sequence, subscription cursor or change acknowledgment to return its domain value.
+- **Bounded observations over replay.** Paused live coordination records a bounded observation count and asks for current values on resume. It does not retain an unbounded list of events or promise recovery of each source change.
+- **Typed expected failures over transport-owned business wording.** Rejection schemas describe domain failures. Authentication policy, user-facing text and error presentation remain with the application and neighbouring packages.
+- **Consumer evidence over speculative helpers.** Add an abstraction after a consuming feature demonstrates repeated work. Preserve the native route for cases the helper does not cover.
+
+## What it deliberately leaves out
+
+- Service implementations, repositories, SQL transactions and commit-bound publication. These belong to `effect-service`, `effect-sql` and `effect-changes`.
+- Authentication policy, session resolution and request identity implementation. The shared server boundary belongs to `platform`; the application's host supplies its policy.
+- React hooks, rendering, editable drafts and form submission state. These belong to `effect-react` and `effect-form`.
+- A second client cache, a custom RPC transport or a required mutation atom.
+- An event journal, replay cursor, authoritative data stream, offline writes or cross-process delivery policy.
+- Claims of SSR, authenticated live delivery, physical browser lifecycle or native-device behavior based only on a local library fixture.
+
+Package status belongs in [roadmap.md](roadmap.md). Framework composition and deployment decisions belong in the [framework roadmap](https://github.com/ShivaeDev/platform/blob/main/docs/framework/roadmap.md).

package/docs/roadmap.md

@@ -0,0 +1,26 @@
+# Roadmap
+
+This file owns effect-contract's implementation status and package questions. The [framework roadmap](https://github.com/ShivaeDev/platform/blob/main/docs/framework/roadmap.md) owns application composition, adoption and deployment validation; it links here instead of repeating these package milestones.
+
+## Built
+
+- [x] `query`, `command` and `contract`: Schema payloads/results, namespaced native RPC groups, inline declarations, typed defaults, native handler layers and middleware. Compiler fixtures and native client round-trips cover the declared types and failures.
+- [x] `stream(name, { payload?, success, rejections?, reads })` declarations in `contract(..., { streams })` map to native RPC with `stream: true`. Bound `run` returns a native Stream. Compiler checks cover payloads, elements, errors, duplicate names and unary-client mismatch; real HTTP tests cover delivery, declared rejection, completion and client interruption releasing the server subscription. Work Board uses this path for its live subscription.
+- [x] Shared tagged rejection classes, generated operation-specific rejection classes and typed `reject` helpers. Field rejections derive and optionally narrow a struct's field names.
+- [x] Unique operation names checked in literal declarations and at construction when arrays conceal them.
+- [x] Collection item/list keys with native read hashing, deduplication and item-to-list mutation invalidation. Native Reactivity tests distinguish affected and unrelated items.
+- [x] Native AtomRpc binding with query atoms and per-call Effects. Successful commands invalidate their declared keys, including keys derived from results; rejected commands do not invalidate. Client type checks cover matching, larger, incomplete and incompatible RPC groups.
+- [x] Optional `LiveHint`/`Key` schemas and native live coordination: precise refresh, explicit first/reconnected scope reconciliation, a paused count capped at 256, typed stream failures and registry teardown. The framework guide owns the composed HTTP fixture evidence.
+- [x] `makeLiveServer` turns committed Reactivity keys into scoped hint streams and resyncs every active read scope. [Server evidence](https://github.com/ShivaeDev/platform/blob/main/packages/effect-contract/src/makeLiveServer.test.ts).
+- [x] Shared browser/native `resumeSignal`. Synthetic event tests cover visible versus hidden browser events, injected native callbacks, native SWR composition and listener disposal. The installed consumer checks an otherwise unobserved source's initialization and cleanup through `live`.
+- [x] Installed-package runtime and type fixtures for contracts, keys, rejection fields and live pause/resume composition.
+
+## Next
+
+No additional declaration or live helper is selected beyond the server helper used by the reference order handlers. A concrete consuming feature should establish the next repeated task before this package adds an abstraction. Host/proxy behavior, authenticated subscriptions, SSR and physical browser/mobile lifecycle remain framework or application validation work.
+
+## Open questions
+
+- Should query freshness, including live coordination and resume, remain this package's long-term scope? The APIs live here and public package consumers use them; the original declaration boundary does not by itself decide every future lifecycle helper.
+- Is the exported lower-level `rejectionSet` intended for application authors as well as operation construction? It is public and the operation tests exercise its implementation; direct standalone use has no dedicated regression fixture.
+- Which concrete consumer requirement should select the next package helper? There is no package-specific committed API backlog beyond the existing declarations, binding and freshness composition.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shivaedev/effect-contract",
-  "version": "0.3.0",
+  "version": "0.4.1",
   "description": "Typed query and command contracts over native Effect RPC and reactivity",
   "homepage": "https://github.com/ShivaeDev/platform/tree/main/packages/effect-contract#readme",
   "bugs": {
@@ -15,7 +15,7 @@
   "sideEffects": false,
   "type": "module",
   "imports": {
-    "#test/*": "./test/*",
+    "#test/*": "./src/test-support/*",
     "#*.ts": {
       "source": "./src/*.ts",
       "types": "./dist/*.d.ts",
@@ -23,17 +23,63 @@
     }
   },
   "exports": {
-    "./*.ts": {
-      "types": "./dist/*.d.ts",
-      "source": "./src/*.ts",
-      "import": "./dist/*.js",
-      "default": "./dist/*.js"
+    "./package.json": "./package.json",
+    "./bind.ts": {
+      "types": "./dist/bind.d.ts",
+      "source": "./src/bind.ts",
+      "import": "./dist/bind.js",
+      "default": "./dist/bind.js"
+    },
+    "./contract.ts": {
+      "types": "./dist/contract.d.ts",
+      "source": "./src/contract.ts",
+      "import": "./dist/contract.js",
+      "default": "./dist/contract.js"
+    },
+    "./keys.ts": {
+      "types": "./dist/keys.d.ts",
+      "source": "./src/keys.ts",
+      "import": "./dist/keys.js",
+      "default": "./dist/keys.js"
     },
-    "./package.json": "./package.json"
+    "./live.ts": {
+      "types": "./dist/live.d.ts",
+      "source": "./src/live.ts",
+      "import": "./dist/live.js",
+      "default": "./dist/live.js"
+    },
+    "./makeLiveServer.ts": {
+      "types": "./dist/makeLiveServer.d.ts",
+      "source": "./src/makeLiveServer.ts",
+      "import": "./dist/makeLiveServer.js",
+      "default": "./dist/makeLiveServer.js"
+    },
+    "./operation.ts": {
+      "types": "./dist/operation.d.ts",
+      "source": "./src/operation.ts",
+      "import": "./dist/operation.js",
+      "default": "./dist/operation.js"
+    },
+    "./rejection.ts": {
+      "types": "./dist/rejection.d.ts",
+      "source": "./src/rejection.ts",
+      "import": "./dist/rejection.js",
+      "default": "./dist/rejection.js"
+    },
+    "./resume.ts": {
+      "types": "./dist/resume.d.ts",
+      "source": "./src/resume.ts",
+      "import": "./dist/resume.js",
+      "default": "./dist/resume.js"
+    }
   },
   "files": [
     "dist",
     "src",
+    "!src/**/*.test.ts",
+    "!src/**/*.spec.ts",
+    "!src/**/test-support",
+    "docs",
     "CHANGELOG.md",
     "README.md"
   ],
@@ -41,13 +87,17 @@
     "@shivaedev/types": "0.2.0"
   },
   "devDependencies": {
+    "@effect/platform-node": "4.0.0-rc.112",
     "@effect/vitest": "4.0.0-rc.112",
-    "@shivaedev/quality": "0.9.0",
-    "@types/node": "24.10.1",
+    "@shivaedev/effect-test": "0.3.2",
+    "@shivaedev/quality": "0.19.0",
+    "@types/node": "24.19.1",
     "@typescript/native": "npm:typescript@7.0.2",
     "effect": "4.0.0-rc.112",
+    "esbuild": "0.28.2",
+    "happy-dom": "20.14.5",
     "typescript": "npm:@typescript/typescript6@6.0.2",
-    "vitest": "4.1.9"
+    "vitest": "4.1.11"
   },
   "peerDependencies": {
     "effect": "4.0.0-rc.112"
@@ -60,7 +110,7 @@
     "provenance": true
   },
   "scripts": {
-    "build": "node --eval \"import('node:fs').then(({ rmSync }) => rmSync('dist', { force: true, recursive: true }))\" && tsc6 --project tsconfig.build.json",
+    "build": "node --eval \"import('node:fs').then(({ rmSync }) => rmSync('dist', { force: true, recursive: true }))\" && tsc --project tsconfig.build.json",
     "ready": "pnpm typecheck && pnpm test && pnpm build",
     "test": "vitest run",
     "typecheck": "tsc --noEmit"

package/src/bind.ts

@@ -1,24 +1,24 @@
 import type { Duration, Schema } from "effect";
-import { Effect } from "effect";
+import { Effect, Stream } 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 { Rpc, RpcSchema } 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";
+import type { CommandShape, QueryShape, StreamShape } 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
+	R extends Rpc.Rpc<infer _Tag, infer _Payload, infer _Success, infer _Error, infer TMiddleware, infer _Requires>
+		? Rpc.ErrorExit<R> | TMiddleware["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"]
+	R extends Rpc.Rpc<infer _Tag, infer _Payload, infer _Success, infer _Error, infer TMiddleware, infer _Requires>
+		? Failure<R> | TMiddleware["~ClientError"]
 		: never;
 
 export interface QueryOptions {
@@ -27,61 +27,96 @@ export interface QueryOptions {
 	readonly timeToLive?: Duration.Input;
 }
 
-export interface BoundQuery<R extends Rpc.Any, Self> {
+export interface BoundQuery<R extends Rpc.Any, TSelf> {
 	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>;
+	readonly run: (payload: Rpc.Payload<R>) => Effect.Effect<Rpc.Success<R>, RunFailure<R>, TSelf>;
 }
 
-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 interface BoundCommand<R extends Rpc.Any, TSelf> {
+	readonly run: (payload: Rpc.Payload<R>) => Effect.Effect<Rpc.Success<R>, RunFailure<R>, TSelf | Reactivity.Reactivity>;
+}
+
+export interface BoundStream<R extends Rpc.Any, TSelf> {
+	readonly run: (payload: Rpc.Payload<R>) => Stream.Stream<Rpc.SuccessChunk<R>, RunFailure<R>, TSelf | Rpc.ServicesClient<R>>;
 }
 
 export type Bound<
-	Name extends string,
-	Queries extends readonly QueryShape[],
-	Commands extends readonly CommandShape[],
-	Rpcs extends Rpc.Any,
-	Self,
+	TName extends string,
+	TQueries extends readonly QueryShape[],
+	TCommands extends readonly CommandShape[],
+	TRpcs extends Rpc.Any,
+	TSelf,
+	TStreams extends readonly StreamShape[] = readonly [],
 > = {
-	readonly [Query in Queries[number] as Query["name"]]: BoundQuery<Rpc.ExtractTag<Rpcs, Tag<Name, Query["name"]>>, Self>;
+	readonly [TQuery in TQueries[number] as TQuery["name"]]: BoundQuery<Rpc.ExtractTag<TRpcs, Tag<TName, TQuery["name"]>>, TSelf>;
 } & {
-	readonly [Command in Commands[number] as Command["name"]]: BoundCommand<Rpc.ExtractTag<Rpcs, Tag<Name, Command["name"]>>, Self>;
+	readonly [TCommand in TCommands[number] as TCommand["name"]]: BoundCommand<Rpc.ExtractTag<TRpcs, Tag<TName, TCommand["name"]>>, TSelf>;
+} & {
+	readonly [TStream in TStreams[number] as TStream["name"]]: BoundStream<Rpc.ExtractTag<TRpcs, Tag<TName, TStream["name"]>>, TSelf>;
 };
 
 type ErasedClient = AtomRpc.AtomRpcClient<unknown, string, Rpc.Rpc<string, Schema.Top, Schema.Top, Schema.Top>>;
 
-const invalidateAfter = Effect.fn("EffectContract.invalidate")(function* (keys: readonly Key[]) {
+type ErasedStreamingClient = AtomRpc.AtomRpcClient<
+	unknown,
+	string,
+	Rpc.Rpc<string, Schema.Top, RpcSchema.Stream<Schema.Top, Schema.Top>, Schema.Never>
+>;
+
+type MatchingClient<TRpcs extends Rpc.Any, TClientRpcs extends Rpc.Any> = [TRpcs] extends [Extract<TClientRpcs, { readonly _tag: TRpcs["_tag"] }>]
+	? [Extract<TClientRpcs, { readonly _tag: TRpcs["_tag"] }>] extends [TRpcs]
+		? unknown
+		: "Client must preserve the contract RPC types"
+	: "Client must implement the contract RPCs";
+
+const invalidateAfter = Effect.fn("EffectContract.invalidateAfter")(function* (keys: readonly Key[]) {
 	yield* Reactivity.invalidate(invalidationKeys(keys));
 });
 
-const boundQuery = (service: ErasedClient, tag: string, query: QueryShape) => {
-	const reads = (payload: unknown) => readKeys(query.reads(payload));
+function boundQuery(service: ErasedClient, tag: string, query: QueryShape) {
+	function reads(payload: unknown) {
+		return 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)))),
-});
+function boundCommand(service: ErasedClient, tag: string, command: CommandShape) {
+	return {
+		run: (payload: unknown) =>
+			service.use((client) => client(tag, payload)).pipe(Effect.tap((result) => invalidateAfter(command.invalidates(payload, result)))),
+	};
+}
+
+function boundStream(service: ErasedStreamingClient, tag: string) {
+	return {
+		run: (payload: unknown) => Stream.unwrap(service.use((client) => Effect.succeed(client(tag, payload)))),
+	};
+}
 
 export function bind<
-	Name extends string,
-	Queries extends readonly QueryShape[],
-	Commands extends readonly 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>;
+	TName extends string,
+	TQueries extends readonly QueryShape[],
+	TCommands extends readonly CommandShape[],
+	TRpcs extends Rpc.Any,
+	TSelf,
+	TId extends string,
+	TClientRpcs extends Rpc.Any,
+	TStreams extends readonly StreamShape[],
+>(
+	contract: Contract<TName, TQueries, TCommands, TRpcs, TStreams>,
+	service: AtomRpc.AtomRpcClient<TSelf, TId, TClientRpcs> & MatchingClient<NoInfer<TRpcs>, TClientRpcs>,
+): Bound<TName, TQueries, TCommands, TRpcs, TSelf, TStreams>;
 export function bind(
-	contract: { readonly declaration: Declared<string, readonly QueryShape[], readonly CommandShape[]> },
-	service: ErasedClient,
+	contract: { readonly declaration: Declared<string, readonly QueryShape[], readonly CommandShape[], readonly StreamShape[]> },
+	service: AtomRpc.AtomRpcClient<unknown, string, Rpc.Any>,
 ): unknown {
-	const { name, queries, commands } = contract.declaration;
+	const { name, queries, commands, streams } = 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),
+		...streams.map((stream) => [stream.name, boundStream(service, `${name}.${stream.name}`)] as const),
 	]);
 }

package/src/contract.ts

@@ -1,47 +1,57 @@
-import { Rpc, RpcGroup, type RpcMiddleware } from "effect/unstable/rpc";
-import type { CommandShape, OperationShape, QueryShape } from "./operation.ts";
+import type { Schema } from "effect";
+import { Rpc, RpcGroup, type RpcMiddleware, type RpcSchema } from "effect/unstable/rpc";
+import type { CommandShape, OperationShape, QueryShape, StreamShape } from "./operation.ts";
 
-export type Tag<Contract extends string, Name extends string> = `${Contract}.${Name}`;
+export type Tag<TContract extends string, TName extends string> = `${TContract}.${TName}`;
 
-export type OperationRpc<Contract extends string, Operation> = Operation extends OperationShape
-	? Rpc.Rpc<Tag<Contract, Operation["name"]>, Operation["payload"], Operation["success"], Operation["error"]>
+export type OperationRpc<TContract extends string, TOperation> = TOperation extends OperationShape
+	? TOperation extends StreamShape
+		? Rpc.Rpc<Tag<TContract, TOperation["name"]>, TOperation["payload"], RpcSchema.Stream<TOperation["success"], TOperation["error"]>, Schema.Never>
+		: Rpc.Rpc<Tag<TContract, TOperation["name"]>, TOperation["payload"], TOperation["success"], TOperation["error"]>
 	: never;
 
-export interface Declared<Name extends string, Queries extends readonly QueryShape[], Commands extends readonly CommandShape[]> {
-	readonly commands: Commands;
-	readonly name: Name;
-	readonly queries: Queries;
+export interface Declared<
+	TName extends string,
+	TQueries extends readonly QueryShape[],
+	TCommands extends readonly CommandShape[],
+	TStreams extends readonly StreamShape[] = readonly [],
+> {
+	readonly commands: TCommands;
+	readonly name: TName;
+	readonly queries: TQueries;
+	readonly streams: TStreams;
 }
 
 export interface Contract<
-	Name extends string,
-	Queries extends readonly QueryShape[],
-	Commands extends readonly 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>>;
+	TName extends string,
+	TQueries extends readonly QueryShape[],
+	TCommands extends readonly CommandShape[],
+	TRpcs extends Rpc.Any = OperationRpc<TName, TQueries[number] | TCommands[number]>,
+	TStreams extends readonly StreamShape[] = readonly [],
+> extends RpcGroup.RpcGroup<TRpcs> {
+	readonly declaration: Declared<TName, TQueries, TCommands, TStreams>;
+	middleware: <TM extends RpcMiddleware.AnyService>(middleware: TM) => Contract<TName, TQueries, TCommands, Rpc.AddMiddleware<TRpcs, TM>, TStreams>;
 }
 
-type Duplicated<Operations extends readonly OperationShape[], Seen extends string = never> = Operations extends readonly [
-	infer Head extends OperationShape,
-	...infer Tail extends readonly OperationShape[],
+type Duplicated<TOperations extends readonly OperationShape[], TSeen extends string = never> = TOperations extends readonly [
+	infer THead extends OperationShape,
+	...infer TTail extends readonly OperationShape[],
 ]
-	? (Head["name"] extends Seen ? Head["name"] : never) | Duplicated<Tail, Seen | Head["name"]>
+	? (THead["name"] extends TSeen ? THead["name"] : never) | Duplicated<TTail, TSeen | THead["name"]>
 	: never;
 
-type Unique<Operations extends readonly OperationShape[]> = [Duplicated<Operations>] extends [never]
+type Unique<TOperations extends readonly OperationShape[]> = [Duplicated<TOperations>] extends [never]
 	? unknown
-	: `Operation names must be unique; duplicated: ${Duplicated<Operations>}`;
+	: `Operation names must be unique; duplicated: ${Duplicated<TOperations>}`;
 
-const assertUnique = (operations: readonly OperationShape[]) => {
+function assertUnique(operations: readonly 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, readonly QueryShape[], readonly CommandShape[]>;
+type AnyDeclared = Declared<string, readonly QueryShape[], readonly CommandShape[], readonly StreamShape[]>;
 
 interface Group {
 	middleware: (middleware: RpcMiddleware.AnyService) => Group;
@@ -51,30 +61,40 @@ interface DeclaredGroup extends Group {
 	readonly declaration: AnyDeclared;
 }
 
-const withDeclaration = (group: Group, declaration: AnyDeclared): DeclaredGroup => {
+function 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 readonly QueryShape[] = readonly [],
-	const Commands extends readonly CommandShape[] = readonly [],
+	const TName extends string,
+	const TQueries extends readonly QueryShape[] = readonly [],
+	const TCommands extends readonly CommandShape[] = readonly [],
+	const TStreams extends readonly StreamShape[] = readonly [],
 >(
-	name: Name,
-	operations: { readonly queries?: Queries & Unique<Queries>; readonly commands?: Commands & Unique<[...Queries, ...Commands]> },
-): Contract<Name, Queries, Commands>;
+	name: TName,
+	operations: {
+		readonly queries?: TQueries & Unique<TQueries>;
+		readonly commands?: TCommands & Unique<[...TQueries, ...TCommands]>;
+		readonly streams?: TStreams & Unique<[...TQueries, ...TCommands, ...TStreams]>;
+	},
+): Contract<TName, TQueries, TCommands, OperationRpc<TName, TQueries[number] | TCommands[number] | TStreams[number]>, TStreams>;
 export function contract(
 	name: string,
-	operations: { readonly queries?: readonly QueryShape[]; readonly commands?: readonly CommandShape[] },
+	operations: { readonly queries?: readonly QueryShape[]; readonly commands?: readonly CommandShape[]; readonly streams?: readonly StreamShape[] },
 ): DeclaredGroup {
-	const { queries = [], commands = [] } = operations;
-	assertUnique([...queries, ...commands]);
-	const rpcs = [...queries, ...commands].map((operation) =>
-		Rpc.make(`${name}.${operation.name}`, { error: operation.error, payload: operation.payload, success: operation.success }),
+	const { queries = [], commands = [], streams = [] } = operations;
+	assertUnique([...queries, ...commands, ...streams]);
+	const rpcs = [...queries, ...commands, ...streams].map((operation) =>
+		Rpc.make(`${name}.${operation.name}`, {
+			error: operation.error,
+			payload: operation.payload,
+			stream: operation.kind === "stream",
+			success: operation.success,
+		}),
 	);
-	return withDeclaration(RpcGroup.make(...rpcs), { commands, name, queries });
+	return withDeclaration(RpcGroup.make(...rpcs), { commands, name, queries, streams });
 }