@evolu/react 11.0.0-next.0 → 11.0.0

package/LICENSE

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

package/dist/src/Task.d.ts

@@ -1,9 +1,10 @@
-import { type Run } from "@evolu/common";
+import { type DisposableRun, type Run } from "@evolu/common";
 import { type ReactNode } from "react";
 /**
  * Creates typed React Context and hook for {@link Run}.
  *
- * The `run` argument is used to infer the deps type for the returned API.
+ * The {@link DisposableRun} type argument is used to infer the deps type for the
+ * returned API, which exposes only {@link Run}.
  *
  * `useRun` throws when the provider is missing.
  *
@@ -11,7 +12,7 @@ import { type ReactNode } from "react";
  *
  * ```tsx
  * const run = createRun(createEvoluDeps());
- * const { RunContext, useRun } = createRunBinding(run);
+ * const { RunContext, useRun } = createRunBinding<typeof run>();
  *
  * <RunContext value={run}>
  *   <App />
@@ -25,18 +26,18 @@ import { type ReactNode } from "react";
  *
  * ```tsx
  * const testRun = testCreateRun({ api: testApi });
- * const { RunContext } = createRunBinding(testRun);
+ * const { RunContext } = createRunBinding<typeof testRun>();
  *
  * <RunContext value={testRun}>
  *   <MyComponent />
  * </RunContext>;
  * ```
  */
-export declare const createRunBinding: <D>(run: Run<D>) => {
+export declare const createRunBinding: <R extends DisposableRun<any> = DisposableRun<unknown>>() => {
     readonly RunContext: React.FC<{
-        readonly value: Run<D>;
+        readonly value: Run<R extends DisposableRun<infer D> ? D : never>;
         readonly children?: ReactNode;
     }>;
-    readonly useRun: () => Run<D>;
+    readonly useRun: () => Run<R extends DisposableRun<infer D> ? D : never>;
 };
 //# sourceMappingURL=Task.d.ts.map

package/dist/src/Task.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Task.d.ts","sourceRoot":"","sources":["../../src/Task.tsx"],"names":[],"mappings":"AAEA,OAAO,EAAU,KAAK,GAAG,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,OAAO,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,eAAO,MAAM,gBAAgB,GAAI,CAAC,EAEhC,KAAK,GAAG,CAAC,CAAC,CAAC,KACV;IACD,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;KAC/B,CAAC,CAAC;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;CAY/B,CAAC"}
+{"version":3,"file":"Task.d.ts","sourceRoot":"","sources":["../../src/Task.tsx"],"names":[],"mappings":"AAEA,OAAO,EAAU,KAAK,aAAa,EAAE,KAAK,GAAG,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,OAAO,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,gBAAgB,GAC3B,CAAC,SAAS,aAAa,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,OAClD;IACH,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAClE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;KAC/B,CAAC,CAAC;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;CAc1E,CAAC"}

package/dist/src/Task.js

@@ -4,7 +4,8 @@ import { createContext, use } from "react";
 /**
  * Creates typed React Context and hook for {@link Run}.
  *
- * The `run` argument is used to infer the deps type for the returned API.
+ * The {@link DisposableRun} type argument is used to infer the deps type for the
+ * returned API, which exposes only {@link Run}.
  *
  * `useRun` throws when the provider is missing.
  *
@@ -12,7 +13,7 @@ import { createContext, use } from "react";
  *
  * ```tsx
  * const run = createRun(createEvoluDeps());
- * const { RunContext, useRun } = createRunBinding(run);
+ * const { RunContext, useRun } = createRunBinding<typeof run>();
  *
  * <RunContext value={run}>
  *   <App />
@@ -26,16 +27,14 @@ import { createContext, use } from "react";
  *
  * ```tsx
  * const testRun = testCreateRun({ api: testApi });
- * const { RunContext } = createRunBinding(testRun);
+ * const { RunContext } = createRunBinding<typeof testRun>();
  *
  * <RunContext value={testRun}>
  *   <MyComponent />
  * </RunContext>;
  * ```
  */
-export const createRunBinding = (
-// eslint-disable-next-line @typescript-eslint/no-unused-vars
-run) => {
+export const createRunBinding = () => {
     const RunContext = createContext(null);
     return {
         RunContext,

package/dist/src/index.d.ts

@@ -1,4 +1,4 @@
-export * from "./local-first/createEvoluBinding.js";
-export * from "./local-first/useIsSsr.js";
-export * from "./Task.js";
+export * from "./local-first/createEvoluBinding.tsx";
+export * from "./local-first/useIsSsr.ts";
+export * from "./Task.tsx";
 //# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,qCAAqC,CAAC;AACpD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,sCAAsC,CAAC;AACrD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,YAAY,CAAC"}

package/dist/src/local-first/createEvoluBinding.d.ts

@@ -58,7 +58,15 @@ export interface ReactBinding<S extends EvoluSchema = EvoluSchema> {
  * The created binding contains the context component and all hooks needed by
  * React components using an {@link Evolu} instance created from that schema.
  *
- * TODO: Example from playground example.
+ * The {@link EvoluSchema} type argument configures the binding without passing
+ * the schema at runtime.
+ *
+ * ### Example
+ *
+ * ```tsx
+ * const { EvoluContext, useEvolu, useQuery } =
+ *   createEvoluBinding<typeof AppSchema>();
+ * ```
  */
-export declare const createEvoluBinding: <S extends EvoluSchema>(schema: S) => ReactBinding<S>;
+export declare const createEvoluBinding: <S extends EvoluSchema = EvoluSchema>() => ReactBinding<S>;
 //# sourceMappingURL=createEvoluBinding.d.ts.map

package/dist/src/local-first/createEvoluBinding.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"createEvoluBinding.d.ts","sourceRoot":"","sources":["../../../src/local-first/createEvoluBinding.tsx"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,KAAK,EACL,WAAW,EACX,OAAO,EACP,kBAAkB,EAClB,0BAA0B,EAC1B,KAAK,EACL,SAAS,EACT,GAAG,EACJ,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAOL,KAAK,SAAS,EACf,MAAM,OAAO,CAAC;AAGf,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW;IAC/D,2EAA2E;IAC3E,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC,EAAE,CAAC;QAC9B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;KAC/B,CAAC,CAAC;IAEH,sEAAsE;IACtE,QAAQ,CAAC,QAAQ,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;IAElC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,GAAG,EAC/B,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAClB,OAAO,CAAC,EAAE,OAAO,CAAC;QAChB,sCAAsC;QACtC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QAEvB,4EAA4E;QAC5E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;KACzC,CAAC,KACC,SAAS,CAAC,CAAC,CAAC,CAAC;IAElB;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,CAAC,CAAC,EAC/D,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,EACf,OAAO,CAAC,EAAE,OAAO,CAAC;QAChB,6DAA6D;QAC7D,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAEvB,6EAA6E;QAC7E,QAAQ,CAAC,QAAQ,EAAE;YACjB,GAAG,0BAA0B,CAAC,CAAC,CAAC;YAChC,GAAG,0BAA0B,CAAC,EAAE,CAAC;SAClC,CAAC;KACH,CAAC,KACC,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,GAAG,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;IAE3D,4DAA4D;IAC5D,QAAQ,CAAC,oBAAoB,EAAE,CAAC,CAAC,SAAS,GAAG,EAC3C,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAClB,OAAO,CAAC,EAAE,OAAO,CAAC;QAChB;;;WAGG;QACH,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;KACxB,CAAC,KACC,SAAS,CAAC,CAAC,CAAC,CAAC;IAElB,0EAA0E;IAC1E,QAAQ,CAAC,QAAQ,EAAE,CACjB,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAC1C,UAAU,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,KAC7C,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;CACvC;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,WAAW,EAEtD,QAAQ,CAAC,KACR,YAAY,CAAC,CAAC,CAiGhB,CAAC"}
+{"version":3,"file":"createEvoluBinding.d.ts","sourceRoot":"","sources":["../../../src/local-first/createEvoluBinding.tsx"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,KAAK,EACL,WAAW,EACX,OAAO,EACP,kBAAkB,EAClB,0BAA0B,EAC1B,KAAK,EACL,SAAS,EACT,GAAG,EACJ,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAOL,KAAK,SAAS,EACf,MAAM,OAAO,CAAC;AAGf,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW;IAC/D,2EAA2E;IAC3E,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC,EAAE,CAAC;QAC9B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;KAC/B,CAAC,CAAC;IAEH,sEAAsE;IACtE,QAAQ,CAAC,QAAQ,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;IAElC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,GAAG,EAC/B,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAClB,OAAO,CAAC,EAAE,OAAO,CAAC;QAChB,sCAAsC;QACtC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QAEvB,4EAA4E;QAC5E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;KACzC,CAAC,KACC,SAAS,CAAC,CAAC,CAAC,CAAC;IAElB;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,CAAC,CAAC,EAC/D,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,EACf,OAAO,CAAC,EAAE,OAAO,CAAC;QAChB,6DAA6D;QAC7D,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAEvB,6EAA6E;QAC7E,QAAQ,CAAC,QAAQ,EAAE;YACjB,GAAG,0BAA0B,CAAC,CAAC,CAAC;YAChC,GAAG,0BAA0B,CAAC,EAAE,CAAC;SAClC,CAAC;KACH,CAAC,KACC,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,GAAG,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;IAE3D,4DAA4D;IAC5D,QAAQ,CAAC,oBAAoB,EAAE,CAAC,CAAC,SAAS,GAAG,EAC3C,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAClB,OAAO,CAAC,EAAE,OAAO,CAAC;QAChB;;;WAGG;QACH,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;KACxB,CAAC,KACC,SAAS,CAAC,CAAC,CAAC,CAAC;IAElB,0EAA0E;IAC1E,QAAQ,CAAC,QAAQ,EAAE,CACjB,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAC1C,UAAU,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,KAC7C,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;CACvC;AAED;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,kBAAkB,GAC7B,CAAC,SAAS,WAAW,GAAG,WAAW,OAChC,YAAY,CAAC,CAAC,CAiGlB,CAAC"}

package/dist/src/local-first/createEvoluBinding.js

@@ -1,5 +1,5 @@
 "use client";
-import { assert, emptyArray, lazyVoid } from "@evolu/common";
+import { constVoid, assert, emptyArray } from "@evolu/common";
 import { createContext, use, useEffect, useMemo, useRef, useSyncExternalStore, } from "react";
 import { useIsSsr } from "./useIsSsr.js";
 /**
@@ -8,11 +8,17 @@ import { useIsSsr } from "./useIsSsr.js";
  * The created binding contains the context component and all hooks needed by
  * React components using an {@link Evolu} instance created from that schema.
  *
- * TODO: Example from playground example.
+ * The {@link EvoluSchema} type argument configures the binding without passing
+ * the schema at runtime.
+ *
+ * ### Example
+ *
+ * ```tsx
+ * const { EvoluContext, useEvolu, useQuery } =
+ *   createEvoluBinding<typeof AppSchema>();
+ * ```
  */
-export const createEvoluBinding = (
-// eslint-disable-next-line @typescript-eslint/no-unused-vars
-schema) => {
+export const createEvoluBinding = () => {
     const EvoluContext = createContext(null);
     const useEvolu = () => {
         const evolu = use(EvoluContext);
@@ -24,7 +30,7 @@ schema) => {
         const { once } = useRef(options).current;
         if (once) {
             /* eslint-disable react-hooks/rules-of-hooks */
-            useEffect(() => evolu.subscribeQuery(query)(lazyVoid), [evolu, query]);
+            useEffect(() => evolu.subscribeQuery(query)(constVoid), [evolu, query]);
             return evolu.getQueryRows(query);
         }
         return useSyncExternalStore(useMemo(() => evolu.subscribeQuery(query), [evolu, query]), useMemo(() => () => evolu.getQueryRows(query), [evolu, query]), () => emptyArray);

package/dist/src/local-first/useIsSsr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"useIsSsr.d.ts","sourceRoot":"","sources":["../../../src/local-first/useIsSsr.ts"],"names":[],"mappings":"AAMA;;;;GAIG;AACH,eAAO,MAAM,QAAQ,QAAO,OAE+B,CAAC"}
+{"version":3,"file":"useIsSsr.d.ts","sourceRoot":"","sources":["../../../src/local-first/useIsSsr.ts"],"names":[],"mappings":"AAMA;;;;GAIG;AACH,eAAO,MAAM,QAAQ,QAAO,OAEiC,CAAC"}

package/dist/src/local-first/useIsSsr.js

@@ -1,4 +1,4 @@
-import { lazyFalse, lazyTrue } from "@evolu/common";
+import { constFalse, constTrue } from "@evolu/common";
 import { useSyncExternalStore } from "react";
 // eslint-disable-next-line @typescript-eslint/no-empty-function
 const emptySubscribe = () => () => { };
@@ -9,4 +9,4 @@ const emptySubscribe = () => () => { };
  */
 export const useIsSsr = () => 
 // TODO: Consider useDeferredValue(isSSRSync);
-useSyncExternalStore(emptySubscribe, lazyFalse, lazyTrue);
+useSyncExternalStore(emptySubscribe, constFalse, constTrue);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@evolu/react",
-  "version": "11.0.0-next.0",
+  "version": "11.0.0",
   "description": "Evolu for React",
   "keywords": [
     "evolu",
@@ -9,7 +9,10 @@
   ],
   "author": "Daniel Steigerwald <daniel@steigerwald.cz>",
   "license": "MIT",
-  "repository": "evoluhq/evolu",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/evoluhq/evolu.git"
+  },
   "bugs": {
     "url": "https://github.com/evoluhq/evolu/issues"
   },
@@ -29,18 +32,13 @@
     "src/**",
     "README.md"
   ],
-  "scripts": {
-    "build": "tsc --build tsconfig.build.json",
-    "prepack": "npm run build",
-    "format": "prettier --write \"src/*.{ts,tsx,md}\""
-  },
   "devDependencies": {
-    "@evolu/common": "8.0.0-next.0",
-    "@evolu/typescript-config": "*",
-    "@types/react": "^19.2.14",
-    "@types/react-dom": "^19.2.3",
-    "react": "^19.2.4",
-    "typescript": "^5.9.3"
+    "@types/react": "^19.2.18",
+    "@types/react-dom": "^19.2.4",
+    "@typescript/native": "npm:typescript@^7.0.2",
+    "react": "19.2.3",
+    "@evolu/common": "8.0.0",
+    "@evolu/typescript-config": "0.0.2"
   },
   "peerDependencies": {
     "@evolu/common": "^8.0.0-next.0",
@@ -52,5 +50,9 @@
   "engines": {
     "node": ">=24.0.0"
   },
-  "sideEffects": false
-}
+  "sideEffects": false,
+  "scripts": {
+    "build": "tsc --build tsconfig.build.json",
+    "format": "prettier --write \"src/*.{ts,tsx,md}\""
+  }
+}

package/src/Task.tsx

@@ -1,12 +1,13 @@
 "use client";
 
-import { assert, type Run } from "@evolu/common";
+import { assert, type DisposableRun, type Run } from "@evolu/common";
 import { createContext, use, type ReactNode } from "react";
 
 /**
  * Creates typed React Context and hook for {@link Run}.
  *
- * The `run` argument is used to infer the deps type for the returned API.
+ * The {@link DisposableRun} type argument is used to infer the deps type for the
+ * returned API, which exposes only {@link Run}.
  *
  * `useRun` throws when the provider is missing.
  *
@@ -14,7 +15,7 @@ import { createContext, use, type ReactNode } from "react";
  *
  * ```tsx
  * const run = createRun(createEvoluDeps());
- * const { RunContext, useRun } = createRunBinding(run);
+ * const { RunContext, useRun } = createRunBinding<typeof run>();
  *
  * <RunContext value={run}>
  *   <App />
@@ -28,23 +29,24 @@ import { createContext, use, type ReactNode } from "react";
  *
  * ```tsx
  * const testRun = testCreateRun({ api: testApi });
- * const { RunContext } = createRunBinding(testRun);
+ * const { RunContext } = createRunBinding<typeof testRun>();
  *
  * <RunContext value={testRun}>
  *   <MyComponent />
  * </RunContext>;
  * ```
  */
-export const createRunBinding = <D,>(
-  // eslint-disable-next-line @typescript-eslint/no-unused-vars
-  run: Run<D>,
-): {
+export const createRunBinding = <
+  R extends DisposableRun<any> = DisposableRun<unknown>,
+>(): {
   readonly RunContext: React.FC<{
-    readonly value: Run<D>;
+    readonly value: Run<R extends DisposableRun<infer D> ? D : never>;
     readonly children?: ReactNode;
   }>;
-  readonly useRun: () => Run<D>;
+  readonly useRun: () => Run<R extends DisposableRun<infer D> ? D : never>;
 } => {
+  type D = R extends DisposableRun<infer D> ? D : never;
+
   const RunContext = createContext<Run<D> | null>(null);
 
   return {

package/src/index.ts

@@ -1,3 +1,3 @@
-export * from "./local-first/createEvoluBinding.js";
-export * from "./local-first/useIsSsr.js";
-export * from "./Task.js";
+export * from "./local-first/createEvoluBinding.tsx";
+export * from "./local-first/useIsSsr.ts";
+export * from "./Task.tsx";

package/src/local-first/createEvoluBinding.tsx

@@ -1,6 +1,6 @@
 "use client";
 
-import { assert, emptyArray, lazyVoid } from "@evolu/common";
+import { constVoid, assert, emptyArray } from "@evolu/common";
 import type {
   Evolu,
   EvoluSchema,
@@ -20,7 +20,7 @@ import {
   useSyncExternalStore,
   type ReactNode,
 } from "react";
-import { useIsSsr } from "./useIsSsr.js";
+import { useIsSsr } from "./useIsSsr.ts";
 
 export interface ReactBinding<S extends EvoluSchema = EvoluSchema> {
   /** Provides {@link Evolu} to React descendants consumed via `useEvolu`. */
@@ -100,12 +100,19 @@ export interface ReactBinding<S extends EvoluSchema = EvoluSchema> {
  * The created binding contains the context component and all hooks needed by
  * React components using an {@link Evolu} instance created from that schema.
  *
- * TODO: Example from playground example.
+ * The {@link EvoluSchema} type argument configures the binding without passing
+ * the schema at runtime.
+ *
+ * ### Example
+ *
+ * ```tsx
+ * const { EvoluContext, useEvolu, useQuery } =
+ *   createEvoluBinding<typeof AppSchema>();
+ * ```
  */
-export const createEvoluBinding = <S extends EvoluSchema>(
-  // eslint-disable-next-line @typescript-eslint/no-unused-vars
-  schema: S,
-): ReactBinding<S> => {
+export const createEvoluBinding = <
+  S extends EvoluSchema = EvoluSchema,
+>(): ReactBinding<S> => {
   const EvoluContext = createContext<Evolu<S> | null>(null);
 
   const useEvolu = (): Evolu<S> => {
@@ -125,7 +132,7 @@ export const createEvoluBinding = <S extends EvoluSchema>(
 
     if (once) {
       /* eslint-disable react-hooks/rules-of-hooks */
-      useEffect(() => evolu.subscribeQuery(query)(lazyVoid), [evolu, query]);
+      useEffect(() => evolu.subscribeQuery(query)(constVoid), [evolu, query]);
       return evolu.getQueryRows(query);
     }
 

package/src/local-first/useIsSsr.ts

@@ -1,4 +1,4 @@
-import { lazyFalse, lazyTrue } from "@evolu/common";
+import { constFalse, constTrue } from "@evolu/common";
 import { useSyncExternalStore } from "react";
 
 // eslint-disable-next-line @typescript-eslint/no-empty-function
@@ -11,4 +11,4 @@ const emptySubscribe = () => () => {};
  */
 export const useIsSsr = (): boolean =>
   // TODO: Consider useDeferredValue(isSSRSync);
-  useSyncExternalStore(emptySubscribe, lazyFalse, lazyTrue);
+  useSyncExternalStore(emptySubscribe, constFalse, constTrue);