@evolu/common 4.1.1 → 5.0.0

package/README.md

@@ -55,7 +55,7 @@ Start developing and watch for code changes:
 pnpm dev
 ```
 
-Start iOS developing:
+Start iOS developing (pnpm dev must be running too):
 
 ```
 pnpm ios

package/dist/src/Config.d.ts

@@ -1,45 +1,42 @@
 import * as Context from "effect/Context";
-import * as Layer from "effect/Layer";
-import { CreateIndexBuilder } from "kysely";
+import * as ManagedRuntime from "effect/ManagedRuntime";
 export interface Config {
     /**
-     * Use the `indexes` property to define SQLite indexes.
+     * URL to reload browser tabs after {@link Owner} reset or restore.
      *
-     * Table and column names are not typed because Kysely doesn't support it.
-     *
-     * https://medium.com/@JasonWyatt/squeezing-performance-from-sqlite-indexes-indexes-c4e175f3c346
-     *
-     * @example
-     *   const indexes = [
-     *     createIndex("indexTodoCreatedAt").on("todo").column("createdAt"),
+     * The default value is `/`.
+     */
+    reloadUrl: string;
+    /**
+     * URL for Evolu sync and backup server.
      *
-     *     createIndex("indexTodoCategoryCreatedAt")
-     *       .on("todoCategory")
-     *       .column("createdAt"),
-     *   ];
+     * The default value is `https://evolu.world`.
      */
-    readonly indexes: ReadonlyArray<CreateIndexBuilder<any>>;
-    /** Log SQL. */
-    readonly logSql: boolean;
+    syncUrl: string;
     /**
-     * Alternate URL to reload browser tabs after {@link Owner} reset or restore.
-     * The default value is `/`.
+     * Evolu is multitenant - it can run more instances concurrently. Every Evolu
+     * instance has to have its own unique name. Database files are separated and
+     * invisible to each other.
+     *
+     * The default value is: `Evolu`.
      */
-    readonly reloadUrl: string;
-    /** Alternate URL for Evolu sync and backup server. */
-    readonly syncUrl: string;
+    name: string;
     /**
-     * Evolu application name. For now, this is only useful for localhost
-     * development, where we want each application to have its own database. The
-     * default value is: "Evolu".
+     * Maximum physical clock drift allowed in ms.
+     *
+     * The default value is 5 * 60 * 1000 (5 minutes).
      */
-    readonly name: string;
+    maxDrift: number;
     /**
-     * Maximum physical clock drift allowed in ms. The default value is 5 * 60 *
-     * 1000 (5 minutes).
+     * Setting the minimum log level. The default value is `none`.
+     *
+     * For development, use `trace` to log all events and `debug` to log only
+     * events with values. For production, use `warning`.
      */
-    readonly maxDrift: number;
+    minimumLogLevel: "none" | "trace" | "debug" | "warning";
 }
 export declare const Config: Context.Tag<Config, Config>;
-export declare const ConfigLive: (config?: Partial<Config>) => Layer.Layer<Config>;
+export declare const defaultConfig: Config;
+/** https://effect.website/docs/guides/runtime */
+export declare const createRuntime: (partialConfig?: Partial<Config>) => ManagedRuntime.ManagedRuntime<Config, never>;
 //# sourceMappingURL=Config.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"Config.d.ts","sourceRoot":"","sources":["../../src/Config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AAE5C,MAAM,WAAW,MAAM;IACrB;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;IAEzD,eAAe;IACf,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAEzB;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B,sDAAsD;IACtD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAEzB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,eAAO,MAAM,MAAM,6BAAiD,CAAC;AAWrE,eAAO,MAAM,UAAU,YAAa,QAAQ,MAAM,CAAC,KAAG,WAAW,CAAC,MAAM,CACL,CAAC"}
+{"version":3,"file":"Config.d.ts","sourceRoot":"","sources":["../../src/Config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAI1C,OAAO,KAAK,cAAc,MAAM,uBAAuB,CAAC;AAGxD,MAAM,WAAW,MAAM;IACrB;;;;OAIG;IACH,SAAS,EAAE,MAAM,CAAC;IAElB;;;;OAIG;IACH,OAAO,EAAE,MAAM,CAAC;IAEhB;;;;;;OAMG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;;;OAIG;IACH,QAAQ,EAAE,MAAM,CAAC;IAEjB;;;;;OAKG;IACH,eAAe,EAAE,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,CAAC;CACzD;AAED,eAAO,MAAM,MAAM,6BAAuC,CAAC;AAE3D,eAAO,MAAM,aAAa,EAAE,MAM3B,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,aAAa,mBACR,QAAQ,MAAM,CAAC,KAC9B,eAAe,cAAc,CAAC,MAAM,EAAE,KAAK,CAsB7C,CAAC"}

package/dist/src/Config.js

@@ -1,12 +1,39 @@
 import * as Context from "effect/Context";
 import * as Layer from "effect/Layer";
-export const Config = Context.GenericTag("@services/Config");
-const defaultConfig = {
-    indexes: [],
-    logSql: false,
+import * as LogLevel from "effect/LogLevel";
+import * as Logger from "effect/Logger";
+import * as ManagedRuntime from "effect/ManagedRuntime";
+import * as Match from "effect/Match";
+export const Config = Context.GenericTag("Config");
+export const defaultConfig = {
     reloadUrl: "/",
     syncUrl: "https://evolu.world",
     name: "Evolu",
     maxDrift: 5 * 60 * 1000,
+    minimumLogLevel: "none",
 };
-export const ConfigLive = (config) => Layer.succeed(Config, Config.of({ ...defaultConfig, ...config }));
+/** https://effect.website/docs/guides/runtime */
+export const createRuntime = (partialConfig) => {
+    const config = { ...defaultConfig, ...partialConfig };
+    const ConfigLive = Layer.succeed(Config, config);
+    const minimumLogLevel = Match.value(config.minimumLogLevel).pipe(Match.when("debug", () => LogLevel.Debug), Match.when("none", () => LogLevel.None), Match.when("trace", () => LogLevel.Trace), Match.when("warning", () => LogLevel.Warning), Match.exhaustive);
+    const evoluLayer = config.minimumLogLevel === "none"
+        ? ConfigLive
+        : Layer.mergeAll(ConfigLive, Logger.minimumLogLevel(minimumLogLevel), Logger.replace(Logger.defaultLogger, makeEvoluLogger(config.name)));
+    return ManagedRuntime.make(evoluLayer);
+};
+// TODO: Spans and Effect native variadic log args.
+const makeEvoluLogger = (name) => Logger.make(({ logLevel, message, date }) => {
+    const fn = logLevel._tag === "Warning"
+        ? "warn"
+        : logLevel._tag === "Error"
+            ? "error"
+            : "log";
+    const hours = date.getHours().toString().padStart(2, "0");
+    const minutes = date.getMinutes().toString().padStart(2, "0");
+    const seconds = date.getSeconds().toString().padStart(2, "0");
+    const milliseconds = date.getMilliseconds().toString().padStart(3, "0");
+    const formattedDate = `${hours}:${minutes}:${seconds}:${milliseconds}`;
+    const messages = Array.isArray(message) ? message : [message];
+    globalThis.console[fn](`${formattedDate} [${name}]`, ...messages);
+});

package/dist/src/Crdt.d.ts

@@ -34,11 +34,12 @@ export declare const unsafeTimestampFromString: (s: TimestampString) => Timestam
 export declare const timestampToHash: (t: Timestamp) => TimestampHash;
 export declare const makeSyncTimestamp: (millis?: Millis) => Timestamp;
 export declare const makeInitialTimestamp: Effect.Effect<Timestamp, never, NanoIdGenerator>;
-export interface Time {
+declare const Time_base: Context.TagClass<Time, "Time", {
     readonly now: Effect.Effect<Millis, TimestampTimeOutOfRangeError>;
+}>;
+export declare class Time extends Time_base {
+    static Live: Layer.Layer<Time, never, never>;
 }
-export declare const Time: Context.Tag<Time, Time>;
-export declare const TimeLive: Layer.Layer<Time, never, never>;
 /**
  * The TimestampError type represents all Timestamp-related errors. If such an
  * error happens, the device clock is skewed and should be set to the current
@@ -80,7 +81,7 @@ export declare const initialMerkleTree: MerkleTree;
 type MerkleTreeKey = keyof Omit<MerkleTree, "hash">;
 type MerkleTreePath = ReadonlyArray<MerkleTreeKey>;
 export declare const millisToMerkleTreePath: (millis: Millis) => MerkleTreePath;
-export declare const insertIntoMerkleTree: (timestamp: Timestamp) => (tree: MerkleTree) => MerkleTree;
+export declare const insertIntoMerkleTree: (tree: MerkleTree, timestamp: Timestamp) => MerkleTree;
 export declare const diffMerkleTrees: (tree1: MerkleTree, tree2: MerkleTree) => Option.Option<Millis>;
 export declare const merkleTreeToString: (m: MerkleTree) => MerkleTreeString;
 export declare const unsafeMerkleTreeFromString: (m: MerkleTreeString) => MerkleTree;

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

@@ -1 +1 @@
-{"version":3,"file":"Crdt.d.ts","sourceRoot":"","sources":["../../src/Crdt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAC3C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAQtD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,eAAO,MAAM,gBAAgB;;;CAG5B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,oDAIlB,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAC;AAElD,eAAO,MAAM,aAAa,gCAEzB,CAAC;AAEF,eAAO,MAAM,OAAO,qDAAyD,CAAC;AAC9E,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAC;AAIpD,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;AAElE,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;AAEtE,eAAO,MAAM,iBAAiB,MAAO,SAAS,KAAG,eAKjB,CAAC;AAEjC,eAAO,MAAM,yBAAyB,MAAO,eAAe,KAAG,SAO9D,CAAC;AAEF,eAAO,MAAM,eAAe,MAAO,SAAS,KAAG,aACI,CAAC;AAIpD,eAAO,MAAM,iBAAiB,YACpB,MAAM,KACb,SAID,CAAC;AAEH,eAAO,MAAM,oBAAoB,kDAShC,CAAC;AAEF,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;CACnE;AAED,eAAO,MAAM,IAAI,yBAA6C,CAAC;AAE/D,eAAO,MAAM,QAAQ,iCAWpB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,cAAc,GACtB,mBAAmB,GACnB,6BAA6B,GAC7B,2BAA2B,GAC3B,4BAA4B,CAAC;AAEjC,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,+BAA+B,CAAC;CAChD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,6BAA6B,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,8BAA8B,CAAC;CAC/C;AAuCD,eAAO,MAAM,aAAa,cACb,SAAS,KACnB,aAAa,CACd,SAAS,EACP,mBAAmB,GACnB,6BAA6B,GAC7B,4BAA4B,EAC9B,IAAI,GAAG,MAAM,CASX,CAAC;AAEL,eAAO,MAAM,gBAAgB;oBAIX,SAAS;qBACR,SAAS;MACxB,aAAa,CACf,SAAS,EACP,mBAAmB,GACnB,6BAA6B,GAC7B,2BAA2B,GAC3B,4BAA4B,EAC9B,IAAI,GAAG,MAAM,CAuBX,CAAC;AAEL;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;AAExE,eAAO,MAAM,iBAAiB,YAAoC,CAAC;AAEnE,KAAK,aAAa,GAAG,MAAM,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAEpD,KAAK,cAAc,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;AAEnD,eAAO,MAAM,sBAAsB,WAAY,MAAM,mBAGrB,CAAC;AAgCjC,eAAO,MAAM,oBAAoB,cACnB,SAAS,YACd,UAAU,KAAG,UAQnB,CAAC;AASJ,eAAO,MAAM,eAAe,UACnB,UAAU,SACV,UAAU,KAChB,aAAa,CAAC,MAAM,CAqDtB,CAAC;AAEF,eAAO,MAAM,kBAAkB,MAAO,UAAU,KAAG,gBACZ,CAAC;AAExC,eAAO,MAAM,0BAA0B,MAAO,gBAAgB,KAAG,UACpC,CAAC"}
+{"version":3,"file":"Crdt.d.ts","sourceRoot":"","sources":["../../src/Crdt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAE3C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAQtD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,eAAO,MAAM,gBAAgB;;;CAG5B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,oDAIlB,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAC;AAElD,eAAO,MAAM,aAAa,gCAEzB,CAAC;AAEF,eAAO,MAAM,OAAO,qDAAyD,CAAC;AAC9E,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAC;AAIpD,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;AAElE,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;AAEtE,eAAO,MAAM,iBAAiB,MAAO,SAAS,KAAG,eAKjB,CAAC;AAEjC,eAAO,MAAM,yBAAyB,MAAO,eAAe,KAAG,SAO9D,CAAC;AAEF,eAAO,MAAM,eAAe,MAAO,SAAS,KAAG,aACI,CAAC;AAIpD,eAAO,MAAM,iBAAiB,YACpB,MAAM,KACb,SAID,CAAC;AAEH,eAAO,MAAM,oBAAoB,kDAShC,CAAC;;kBAKgB,OAAO,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC;;AAHrE,qBAAa,IAAK,SAAQ,SAKvB;IACD,MAAM,CAAC,IAAI,kCAQR;CACJ;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,GACtB,mBAAmB,GACnB,6BAA6B,GAC7B,2BAA2B,GAC3B,4BAA4B,CAAC;AAEjC,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,+BAA+B,CAAC;CAChD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,6BAA6B,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,8BAA8B,CAAC;CAC/C;AAiCD,eAAO,MAAM,aAAa,cACb,SAAS,KACnB,OAAO,MAAM,CACd,SAAS,EACP,mBAAmB,GACnB,6BAA6B,GAC7B,4BAA4B,EAC9B,IAAI,GAAG,MAAM,CASX,CAAC;AAEL,eAAO,MAAM,gBAAgB,uBAG1B;IACD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;CAC5B,KAAG,OAAO,MAAM,CACf,SAAS,EACP,mBAAmB,GACnB,6BAA6B,GAC7B,2BAA2B,GAC3B,4BAA4B,EAC9B,IAAI,GAAG,MAAM,CAmBX,CAAC;AAEL;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;AAExE,eAAO,MAAM,iBAAiB,YAAoC,CAAC;AAEnE,KAAK,aAAa,GAAG,MAAM,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAEpD,KAAK,cAAc,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;AAEnD,eAAO,MAAM,sBAAsB,WAAY,MAAM,mBAGrB,CAAC;AA8BjC,eAAO,MAAM,oBAAoB,SACzB,UAAU,aACL,SAAS,KACnB,UAQF,CAAC;AAOF,eAAO,MAAM,eAAe,UACnB,UAAU,SACV,UAAU,KAChB,OAAO,MAAM,CAAC,MAAM,CAqDtB,CAAC;AAEF,eAAO,MAAM,kBAAkB,MAAO,UAAU,KAAG,gBACZ,CAAC;AAExC,eAAO,MAAM,0BAA0B,MAAO,gBAAgB,KAAG,UACpC,CAAC"}

package/dist/src/Crdt.js

@@ -1,4 +1,5 @@
 import * as S from "@effect/schema/Schema";
+import * as Arr from "effect/Array";
 import * as Context from "effect/Context";
 import * as Effect from "effect/Effect";
 import * as Either from "effect/Either";
@@ -6,7 +7,6 @@ import { pipe } from "effect/Function";
 import * as Layer from "effect/Layer";
 import * as Number from "effect/Number";
 import * as Option from "effect/Option";
-import * as ReadonlyArray from "effect/ReadonlyArray";
 import * as String from "effect/String";
 import { Config } from "./Config.js";
 import { NanoIdGenerator, NodeId } from "./Crypto.js";
@@ -22,9 +22,9 @@ export const AllowedTimeRange = {
  * the device clock is out of range, Evolu will not store data until it's
  * fixed.
  */
-export const Millis = S.number.pipe(S.greaterThan(AllowedTimeRange.greaterThan), S.lessThan(AllowedTimeRange.lessThan), S.brand("Millis"));
+export const Millis = S.Number.pipe(S.greaterThan(AllowedTimeRange.greaterThan), S.lessThan(AllowedTimeRange.lessThan), S.brand("Millis"));
 export const initialMillis = S.decodeSync(Millis)(AllowedTimeRange.greaterThan + 1);
-export const Counter = S.number.pipe(S.between(0, 65535), S.brand("Counter"));
+export const Counter = S.Number.pipe(S.between(0, 65535), S.brand("Counter"));
 const initialCounter = S.decodeSync(Counter)(0);
 export const timestampToString = (t) => [
     new Date(t.millis).toISOString(),
@@ -46,53 +46,56 @@ export const makeSyncTimestamp = (millis = initialMillis) => ({
     counter: initialCounter,
     node: syncNodeId,
 });
-export const makeInitialTimestamp = NanoIdGenerator.pipe(Effect.flatMap(({ nanoidAsNodeId }) => nanoidAsNodeId), Effect.map((node) => ({
+export const makeInitialTimestamp = NanoIdGenerator.pipe(Effect.flatMap(({ nodeId }) => nodeId), Effect.map((node) => ({
     millis: initialMillis,
     counter: initialCounter,
     node,
 })));
-export const Time = Context.GenericTag("@services/Time");
-export const TimeLive = Layer.succeed(Time, Time.of({
+export class Time extends Context.Tag("Time")() {
+}
+Time.Live = Layer.succeed(Time, {
     now: Effect.suspend(() => S.decode(Millis)(Date.now())).pipe(Effect.catchTag("ParseError", () => Effect.fail({
         _tag: "TimestampTimeOutOfRangeError",
     }))),
-}));
-const getNextMillis = (millis) => Effect.gen(function* (_) {
-    const time = yield* _(Time);
-    const config = yield* _(Config);
-    const now = yield* _(time.now);
+});
+const getNextMillis = (millis) => Effect.gen(function* () {
+    const time = yield* Time;
+    const config = yield* Config;
+    const now = yield* time.now;
     const next = Math.max(now, ...millis);
     if (next - now > config.maxDrift)
-        yield* _(Effect.fail({
+        yield* Effect.fail({
             _tag: "TimestampDriftError",
             now,
             next,
-        }));
+        });
     return next;
 });
-const incrementCounter = (counter) => pipe(Number.increment(counter), S.decodeEither(Counter), Either.mapLeft(() => ({ _tag: "TimestampCounterOverflowError" })));
+const incrementCounter = (counter) => pipe(Number.increment(counter), S.decodeEither(Counter), Either.mapLeft(() => ({
+    _tag: "TimestampCounterOverflowError",
+})));
 const counterMin = S.decodeSync(Counter)(0);
-export const sendTimestamp = (timestamp) => Effect.gen(function* (_) {
-    const millis = yield* _(getNextMillis([timestamp.millis]));
+export const sendTimestamp = (timestamp) => Effect.gen(function* () {
+    const millis = yield* getNextMillis([timestamp.millis]);
     const counter = millis === timestamp.millis
-        ? yield* _(incrementCounter(timestamp.counter))
+        ? yield* incrementCounter(timestamp.counter)
         : counterMin;
     return { ...timestamp, millis, counter };
 });
 export const receiveTimestamp = ({ local, remote, }) => Effect.gen(function* (_) {
     if (local.node === remote.node)
-        yield* _(Effect.fail({
+        yield* Effect.fail({
             _tag: "TimestampDuplicateNodeError",
             node: local.node,
-        }));
-    const millis = yield* _(getNextMillis([local.millis, remote.millis]));
-    const counter = yield* _(millis === local.millis && millis === remote.millis
+        });
+    const millis = yield* getNextMillis([local.millis, remote.millis]);
+    const counter = yield* millis === local.millis && millis === remote.millis
         ? incrementCounter(Math.max(local.counter, remote.counter))
         : millis === local.millis
             ? incrementCounter(local.counter)
             : millis === remote.millis
                 ? incrementCounter(remote.counter)
-                : Either.right(counterMin));
+                : Either.right(counterMin);
     return { ...local, millis, counter };
 });
 export const initialMerkleTree = Object.create(null);
@@ -119,7 +122,7 @@ const insertKey = (tree, path, hash) => {
         },
     };
 };
-export const insertIntoMerkleTree = (timestamp) => (tree) => {
+export const insertIntoMerkleTree = (tree, timestamp) => {
     const path = millisToMerkleTreePath(timestamp.millis);
     const hash = timestampToHash(timestamp);
     return insertKey({ ...tree, hash: xorTimestampHashes(tree.hash, hash) }, path, hash);
@@ -138,7 +141,7 @@ export const diffMerkleTrees = (tree1, tree2) => {
     // the top of this function should pass)
     // eslint-disable-next-line no-constant-condition
     while (1) {
-        const keys = ReadonlyArray.dedupeWith(getSortedMerkleTreeKeys(node1).concat(getSortedMerkleTreeKeys(node2)), String.Equivalence);
+        const keys = Arr.dedupeWith(getSortedMerkleTreeKeys(node1).concat(getSortedMerkleTreeKeys(node2)), String.Equivalence);
         let diffKey = null;
         // Traverse down the trie through keys that are different. We
         // traverse down the keys in order. Stop in two cases: either one

package/dist/src/Crypto.d.ts

@@ -3,15 +3,18 @@ import * as Brand from "effect/Brand";
 import * as Context from "effect/Context";
 import * as Effect from "effect/Effect";
 import * as Layer from "effect/Layer";
-export interface Bip39 {
+import { Id } from "./Model.js";
+declare const Bip39_base: Context.TagClass<Bip39, "Bip39", {
     readonly make: Effect.Effect<Mnemonic>;
     readonly toSeed: (mnemonic: Mnemonic) => Effect.Effect<Uint8Array>;
     readonly parse: (mnemonic: string) => Effect.Effect<Mnemonic, InvalidMnemonicError>;
+}>;
+export declare class Bip39 extends Bip39_base {
 }
-export declare const Bip39: Context.Tag<Bip39, Bip39>;
 export interface InvalidMnemonicError {
     readonly _tag: "InvalidMnemonicError";
 }
+export declare const validateMnemonicToEffect: (validateMnemonic: (mnemonic: string, wordlist: string[]) => boolean) => (mnemonic: string, wordlist: string[]) => Effect.Effect<Mnemonic, InvalidMnemonicError, never>;
 /**
  * Mnemonic is a password generated by Evolu in BIP39 format.
  *
@@ -20,21 +23,24 @@ export interface InvalidMnemonicError {
  * provide a human-readable way of storing a private key.
  */
 export type Mnemonic = string & Brand.Brand<"Mnemonic">;
-export interface NanoIdGenerator {
+declare const NanoIdGenerator_base: Context.TagClass<NanoIdGenerator, "NanoIdGenerator", {
     readonly nanoid: Effect.Effect<NanoId>;
-    readonly nanoidAsNodeId: Effect.Effect<NodeId>;
+    readonly nodeId: Effect.Effect<NodeId>;
+    readonly rowId: Effect.Effect<Id>;
+}>;
+export declare class NanoIdGenerator extends NanoIdGenerator_base {
 }
-export declare const NanoIdGenerator: Context.Tag<NanoIdGenerator, NanoIdGenerator>;
+export declare const createNanoIdGeneratorLive: (customAlphabet: (alphabet: string, defaultSize?: number | undefined) => (size?: number | undefined) => string, nanoid: (size?: number) => string) => Layer.Layer<NanoIdGenerator, never, never>;
 export type NanoId = string & Brand.Brand<"NanoId">;
 export declare const NodeId: S.brand<S.Schema<string, string, never>, "NodeId">;
 export type NodeId = S.Schema.Type<typeof NodeId>;
-export declare const NanoIdGeneratorLive: Layer.Layer<NanoIdGenerator, never, never>;
 export declare const slip21Derive: (seed: Uint8Array, path: ReadonlyArray<string>) => Effect.Effect<Uint8Array>;
-/** Alias to xsalsa20poly1305, for compatibility with libsodium/nacl */
-export interface SecretBox {
+declare const SecretBox_base: Context.TagClass<SecretBox, "SecretBox", {
     readonly seal: (key: Uint8Array, plaintext: Uint8Array) => Effect.Effect<Uint8Array>;
     readonly open: (key: Uint8Array, ciphertext: Uint8Array) => Effect.Effect<Uint8Array>;
+}>;
+export declare class SecretBox extends SecretBox_base {
+    static Live: Layer.Layer<SecretBox, never, never>;
 }
-export declare const SecretBox: Context.Tag<SecretBox, SecretBox>;
-export declare const SecretBoxLive: Layer.Layer<SecretBox, never, never>;
+export {};
 //# sourceMappingURL=Crypto.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"Crypto.d.ts","sourceRoot":"","sources":["../../src/Crypto.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAM3C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAItC,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAEvC,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAEnE,QAAQ,CAAC,KAAK,EAAE,CACd,QAAQ,EAAE,MAAM,KACb,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;CACpD;AAED,eAAO,MAAM,KAAK,2BAA+C,CAAC;AAElE,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;CACvC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;AAExD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CAChD;AAED,eAAO,MAAM,eAAe,+CAE3B,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAEpD,eAAO,MAAM,MAAM,oDAGlB,CAAC;AACF,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAC;AAIlD,eAAO,MAAM,mBAAmB,4CAM/B,CAAC;AAIF,eAAO,MAAM,YAAY,SACjB,UAAU,QACV,cAAc,MAAM,CAAC,KAC1B,aAAa,CAAC,UAAU,CAWvB,CAAC;AAEL,uEAAuE;AACvE,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,CACb,GAAG,EAAE,UAAU,EACf,SAAS,EAAE,UAAU,KAClB,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAE/B,QAAQ,CAAC,IAAI,EAAE,CACb,GAAG,EAAE,UAAU,EACf,UAAU,EAAE,UAAU,KACnB,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;CAChC;AAED,eAAO,MAAM,SAAS,mCAAuD,CAAC;AAE9E,eAAO,MAAM,aAAa,sCAgBzB,CAAC"}
+{"version":3,"file":"Crypto.d.ts","sourceRoot":"","sources":["../../src/Crypto.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,uBAAuB,CAAC;AAM3C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;;mBAKb,OAAO,MAAM,CAAC,QAAQ,CAAC;qBAErB,CAAC,QAAQ,EAAE,QAAQ,KAAK,OAAO,MAAM,CAAC,UAAU,CAAC;oBAElD,CACd,QAAQ,EAAE,MAAM,KACb,OAAO,MAAM,CAAC,QAAQ,EAAE,oBAAoB,CAAC;;AATtD,qBAAa,KAAM,SAAQ,UAWxB;CAAG;AAEN,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;CACvC;AAED,eAAO,MAAM,wBAAwB,qBAChB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,OAAO,gBAExD,MAAM,YACN,MAAM,EAAE,KACjB,OAAO,MAAM,CAAC,QAAQ,EAAE,oBAAoB,EAAE,KAAK,CAOrD,CAAC;AAEJ;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;;qBAKnC,OAAO,MAAM,CAAC,MAAM,CAAC;qBACrB,OAAO,MAAM,CAAC,MAAM,CAAC;oBACtB,OAAO,MAAM,CAAC,EAAE,CAAC;;AALrC,qBAAa,eAAgB,SAAQ,oBAOlC;CAAG;AAEN,eAAO,MAAM,yBAAyB,mBACpB,CACd,QAAQ,EAAE,MAAM,EAChB,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,KAC7B,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,KAAK,MAAM,UAClC,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,MAAM,KAChC,MAAM,KAAK,CAAC,eAAe,EAAE,KAAK,EAAE,KAAK,CAU3C,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAEpD,eAAO,MAAM,MAAM,oDAGlB,CAAC;AACF,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAC;AAIlD,eAAO,MAAM,YAAY,SACjB,UAAU,QACV,cAAc,MAAM,CAAC,KAC1B,OAAO,MAAM,CAAC,UAAU,CAWvB,CAAC;;mBAKc,CACb,GAAG,EAAE,UAAU,EACf,SAAS,EAAE,UAAU,KAClB,OAAO,MAAM,CAAC,UAAU,CAAC;mBAEf,CACb,GAAG,EAAE,UAAU,EACf,UAAU,EAAE,UAAU,KACnB,OAAO,MAAM,CAAC,UAAU,CAAC;;AAXlC,qBAAa,SAAU,SAAQ,cAa5B;IACD,MAAM,CAAC,IAAI,uCAgBT;CACH"}

package/dist/src/Crypto.js

@@ -7,15 +7,27 @@ import { randomBytes } from "@noble/hashes/utils";
 import * as Context from "effect/Context";
 import * as Effect from "effect/Effect";
 import * as Layer from "effect/Layer";
-import { customAlphabet, nanoid } from "nanoid";
-export const Bip39 = Context.GenericTag("@services/Bip39");
-export const NanoIdGenerator = Context.GenericTag("@services/NanoIdGenerator");
-export const NodeId = S.string.pipe(S.pattern(/^[\w-]{16}$/), S.brand("NodeId"));
-const nanoidForNodeId = customAlphabet("0123456789abcdef", 16);
-export const NanoIdGeneratorLive = Layer.succeed(NanoIdGenerator, NanoIdGenerator.of({
-    nanoid: Effect.sync(() => nanoid()),
-    nanoidAsNodeId: Effect.sync(() => nanoidForNodeId()),
-}));
+export class Bip39 extends Context.Tag("Bip39")() {
+}
+export const validateMnemonicToEffect = (validateMnemonic) => (mnemonic, wordlist) => {
+    const mnemonicTrimmed = mnemonic.trim();
+    return validateMnemonic(mnemonicTrimmed, wordlist)
+        ? Effect.succeed(mnemonicTrimmed)
+        : Effect.fail({
+            _tag: "InvalidMnemonicError",
+        });
+};
+export class NanoIdGenerator extends Context.Tag("NanoIdGenerator")() {
+}
+export const createNanoIdGeneratorLive = (customAlphabet, nanoid) => {
+    const nanoidForNodeId = customAlphabet("0123456789abcdef", 16);
+    return Layer.succeed(NanoIdGenerator, NanoIdGenerator.of({
+        nanoid: Effect.sync(() => nanoid()),
+        nodeId: Effect.sync(() => nanoidForNodeId()),
+        rowId: Effect.sync(() => nanoid()),
+    }));
+};
+export const NodeId = S.String.pipe(S.pattern(/^[\w-]{16}$/), S.brand("NodeId"));
 // SLIP-21 implementation
 // https://github.com/satoshilabs/slips/blob/master/slip-0021.md
 export const slip21Derive = (seed, path) => Effect.sync(() => {
@@ -29,8 +41,9 @@ export const slip21Derive = (seed, path) => Effect.sync(() => {
     }
     return m.slice(32, 64);
 });
-export const SecretBox = Context.GenericTag("@services/SecretBox");
-export const SecretBoxLive = Layer.succeed(SecretBox, SecretBox.of({
+export class SecretBox extends Context.Tag("SecretBox")() {
+}
+SecretBox.Live = Layer.succeed(SecretBox, SecretBox.of({
     seal: (key, plaintext) => Effect.sync(() => {
         const nonce = randomBytes(24);
         const ciphertext = secretbox(key, nonce).seal(plaintext);

package/dist/src/Db.d.ts

@@ -2,81 +2,76 @@ import * as S from "@effect/schema/Schema";
 import * as Brand from "effect/Brand";
 import * as Context from "effect/Context";
 import * as Effect from "effect/Effect";
-import * as Layer from "effect/Layer";
-import * as ReadonlyArray from "effect/ReadonlyArray";
-import * as ReadonlyRecord from "effect/ReadonlyRecord";
-import * as Types from "effect/Types";
+import * as Record from "effect/Record";
 import * as Kysely from "kysely";
+import { Config } from "./Config.js";
+import { Millis, Time, TimestampCounterOverflowError, TimestampDriftError, TimestampTimeOutOfRangeError } from "./Crdt.js";
 import { Bip39, Mnemonic, NanoIdGenerator } from "./Crypto.js";
-import { EvoluTypeError } from "./ErrorStore.js";
+import { QueryPatches } from "./Diff.js";
+import { EvoluError } from "./Error.js";
 import { Id } from "./Model.js";
 import { Owner } from "./Owner.js";
-import { Sqlite, SqliteQuery, SqliteSchema, Table, Value } from "./Sqlite.js";
-import { Store } from "./Store.js";
-export type DatabaseSchema = ReadonlyRecord.ReadonlyRecord<string, TableSchema>;
-type TableSchema = ReadonlyRecord.ReadonlyRecord<string, Value> & {
-    readonly id: Id;
-};
-/**
- * Create table schema.
- *
- * Supported types are null, string, number, Uint8Array, JSON Object, and JSON
- * Array. Use SqliteDate for dates and SqliteBoolean for booleans.
- *
- * Reserved columns are createdAt, updatedAt, isDeleted. Those columns are added
- * by default.
- *
- * @example
- *   const TodoId = id("Todo");
- *   type TodoId = S.Schema.Type<typeof TodoId>;
- *
- *   const TodoTable = table({
- *     id: TodoId,
- *     title: NonEmptyString1000,
- *     isCompleted: S.nullable(SqliteBoolean),
- *   });
- *   type TodoTable = S.Schema.Type<typeof TodoTable>;
- */
-export declare const table: <Fields extends TableFields>(fields: Fields) => ValidateFieldsTypes<Fields> extends true ? ValidateFieldsNames<Fields> extends true ? ValidateFieldsHasId<Fields> extends true ? S.Schema<Types.Simplify<S.Struct.Type<Fields> & S.Schema.Type<typeof ReservedColumns>>, Types.Simplify<S.Struct.Encoded<Fields> & S.Schema.Encoded<typeof ReservedColumns>>> : EvoluTypeError<"table() called without id column."> : EvoluTypeError<"table() called with a reserved column. Reserved columns are createdAt, updatedAt, isDeleted. Those columns are added by default."> : EvoluTypeError<"table() called with unsupported type. Supported types are null, string, number, Uint8Array, JSON Object, and JSON Array. Use SqliteDate for dates and SqliteBoolean for booleans.">;
-declare const ReservedColumns: S.struct<{
-    createdAt: S.brand<S.Schema<string, string, never>, "SqliteDate">;
-    updatedAt: S.brand<S.Schema<string, string, never>, "SqliteDate">;
-    isDeleted: S.brand<S.Schema<number, number, never>, "SqliteBoolean">;
+import { SyncLock } from "./Platform.js";
+import { Sqlite, SqliteExecResult, SqliteFactory, SqliteQuery, Value } from "./Sqlite.js";
+import { NewMessage, SyncFactory, SyncState } from "./Sync.js";
+export interface Db {
+    readonly init: (schema: DbSchema, initialData: ReadonlyArray<Mutation>, onError: Callbacks["onError"], onSyncStateChange: Callbacks["onSyncStateChange"], onReceive: Callbacks["onReceive"]) => Effect.Effect<Owner, NotSupportedPlatformError | TimestampTimeOutOfRangeError | TimestampDriftError | TimestampCounterOverflowError, Config>;
+    readonly loadQueries: (queries: ReadonlyArray<Query>) => Effect.Effect<ReadonlyArray<QueryPatches>>;
+    readonly mutate: (mutations: ReadonlyArray<Mutation>, queriesToRefresh: ReadonlyArray<Query>) => Effect.Effect<ReadonlyArray<QueryPatches>, TimestampTimeOutOfRangeError | TimestampDriftError | TimestampCounterOverflowError, Config>;
+    readonly resetOwner: () => Effect.Effect<void>;
+    readonly restoreOwner: (schema: DbSchema, mnemonic: Mnemonic) => Effect.Effect<void>;
+    readonly ensureSchema: (schema: DbSchema) => Effect.Effect<void>;
+    readonly sync: (queriesToRefresh: ReadonlyArray<Query>) => Effect.Effect<ReadonlyArray<QueryPatches>, never, Config>;
+}
+export interface DbSchema {
+    readonly tables: ReadonlyArray<Table>;
+    readonly indexes: ReadonlyArray<Index>;
+}
+export interface Table {
+    readonly name: string;
+    readonly columns: ReadonlyArray<string>;
+}
+export declare const Index: S.Struct<{
+    name: S.$String;
+    sql: S.$String;
 }>;
-type TableFields = Record<string, S.Schema<any>>;
-type ValidateFieldsTypes<Fields extends TableFields> = keyof Fields extends infer K ? K extends keyof Fields ? Fields[K] extends TableFields ? ValidateFieldsTypes<Fields[K]> : Fields[K] extends S.Schema<infer A, infer _I> ? A extends Value ? true : false : never : never : never;
-type ValidateFieldsNames<Fields extends TableFields> = keyof Fields extends infer K ? K extends keyof Fields ? K extends "createdAt" | "updatedAt" | "isDeleted" ? false : true : never : never;
-type ValidateFieldsHasId<Fields extends TableFields> = "id" extends keyof Fields ? true : false;
-/**
- * Create database schema.
- *
- * Tables with a name prefixed with _ are local-only, which means they are not
- * synced. Local-only tables are useful for device-specific or temporal data.
- *
- * @example
- *   const Database = database({
- *     // A local-only table.
- *     _todo: TodoTable,
- *     todo: TodoTable,
- *     todoCategory: TodoCategoryTable,
- *   });
- *   type Database = S.Schema.Type<typeof Database>;
- */
-export declare const database: typeof S.struct;
+export type Index = S.Schema.Type<typeof Index>;
+export interface Mutation {
+    readonly table: string;
+    readonly id: Id;
+    readonly values: Record.ReadonlyRecord<string, Value | Date | boolean | undefined>;
+    readonly isInsert: boolean;
+}
+export interface NotSupportedPlatformError {
+    readonly _tag: "NotSupportedPlatformError";
+}
 declare const __queryBrand: unique symbol;
 /**
- * The query is an SQL query serialized as a string with a branded type
- * representing a row it returns.
+ * Query is SQL query serialized as a string with a branded type representing a
+ * row it returns.
  */
 export type Query<R extends Row = Row> = string & Brand.Brand<"Query"> & {
     readonly [__queryBrand]: R;
 };
-export type Queries<R extends Row = Row> = ReadonlyArray<Query<R>>;
-export declare const serializeQuery: <R extends Row>({ sql, parameters, options, }: SqliteQuery) => Query<R>;
-export declare const deserializeQuery: <R extends Row>(query: Query<R>) => SqliteQuery;
 export type Row = {
     [key: string]: Value | Row | ReadonlyArray<Row>;
 };
+declare const DbFactory_base: Context.TagClass<DbFactory, "DbFactory", {
+    readonly createDb: Effect.Effect<Db>;
+}>;
+export declare class DbFactory extends DbFactory_base {
+}
+export declare const createDb: Effect.Effect<Db, never, SqliteFactory | Bip39 | NanoIdGenerator | Time | SyncFactory | SyncLock>;
+export interface Callbacks {
+    readonly onError: (error: EvoluError) => void;
+    readonly onSyncStateChange: (state: SyncState) => void;
+    readonly onReceive: () => void;
+}
+export declare const Callbacks: Context.Tag<Callbacks, Callbacks>;
+export type QueryRowsMap = ReadonlyMap<Query, ReadonlyArray<Row>>;
+export declare const upsertValueIntoTableRowColumn: (message: NewMessage, messages: ReadonlyArray<NewMessage>, millis: Millis) => Effect.Effect<SqliteExecResult, never, Sqlite>;
+export declare const serializeQuery: <R extends Row>({ sql, parameters, options, }: SqliteQuery) => Query<R>;
+export declare const deserializeQuery: <R extends Row>(query: Query<R>) => SqliteQuery;
 /**
  * Extract {@link Row} from {@link Query} instance.
  *
@@ -98,6 +93,7 @@ export interface QueryResult<R extends Row = Row> {
      */
     readonly row: Readonly<Kysely.Simplify<R>> | null;
 }
+export type Queries<R extends Row = Row> = ReadonlyArray<Query<R>>;
 export type QueryResultsFromQueries<Q extends Queries> = {
     [P in keyof Q]: Q[P] extends Query<infer R> ? QueryResult<R> : never;
 };
@@ -105,22 +101,6 @@ export type QueryResultsPromisesFromQueries<Q extends Queries> = {
     [P in keyof Q]: Q[P] extends Query<infer R> ? Promise<QueryResult<R>> : never;
 };
 export declare const queryResultFromRows: <R extends Row>(rows: ReadonlyArray<R>) => QueryResult<R>;
-export declare const schemaToTables: (schema: S.Schema<any>) => ReadonlyArray<Table>;
-export declare const transaction: <R, E, A>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, Sqlite | R>;
-export interface NoSuchTableOrColumnError {
-    readonly _tag: "NoSuchTableOrColumnError";
-}
-export declare const SqliteNoSuchTableOrColumnError: S.struct<{
-    message: S.union<[S.Schema<string, string, never>, S.Schema<string, string, never>, S.Schema<string, string, never>]>;
-}>;
-export type SqliteNoSuchTableOrColumnError = S.Schema.Type<typeof SqliteNoSuchTableOrColumnError>;
-export declare const someDefectToNoSuchTableOrColumnError: <A, E, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, NoSuchTableOrColumnError | E, R>;
-export declare const lazyInit: (mnemonic?: Mnemonic) => Effect.Effect<Owner, never, Sqlite | Bip39 | NanoIdGenerator>;
-export declare const ensureSchema: (schema: SqliteSchema) => Effect.Effect<void, never, Sqlite>;
-export declare const dropAllTables: Effect.Effect<void, never, Sqlite>;
-export type RowsStore = Store<RowsStoreValue>;
-export declare const RowsStore: Context.Tag<RowsStore, RowsStore>;
-type RowsStoreValue = ReadonlyMap<Query, ReadonlyArray<Row>>;
-export declare const RowsStoreLive: Layer.Layer<RowsStore, never, never>;
+export declare const notSupportedPlatformWorker: Db;
 export {};
 //# sourceMappingURL=Db.d.ts.map