effect 4.0.7 → 4.1.0

package/dist/eventlog/SqlEventLogServerEncrypted.d.ts

@@ -1,9 +1,9 @@
+import * as Digest from "../crypto/Digest.ts";
 import * as Effect from "../Effect.ts";
 import * as Layer from "../Layer.ts";
 import type * as Scope from "../Scope.ts";
 import * as SqlClient from "../sql/SqlClient.ts";
-import type * as SqlError from "../sql/SqlError.ts";
-import * as EventLogEncryption from "./EventLogEncryption.ts";
+import * as SqlError from "../sql/SqlError.ts";
 import * as EventLogServerEncrypted from "./EventLogServerEncrypted.ts";
 /**
  * Creates encrypted event-log server `Storage` backed by SQL.
@@ -14,6 +14,11 @@ import * as EventLogServerEncrypted from "./EventLogServerEncrypted.ts";
  * batches in dialect-specific tables, creating per-identity/store batch and entry
  * id tables as needed.
  *
+ * The storage always provides `compaction`. Its tables are created on startup
+ * and when a store is first opened. A sweep in the surrounding scope prunes
+ * superseded generations every `sweepInterval`. Startup dies on invalid
+ * compaction options (see `EventLogServerEncrypted.makeCompactionConfig`).
+ *
  * **Gotchas**
  *
  * Storage does not retry sequence conflicts between competing instances.
@@ -22,6 +27,14 @@ import * as EventLogServerEncrypted from "./EventLogServerEncrypted.ts";
  * are local to each storage instance; clients on other instances must reconnect
  * to read those writes.
  *
+ * Inside a caller's transaction, `write` and `compaction.rollback` publish to
+ * live readers after the outermost commit, and not at all if it rolls back.
+ * Concurrent caller transactions may reach live readers out of sequence order.
+ * `changes` always reads in committed order.
+ *
+ * Instances sharing a database should share compaction options. The instance
+ * that writes a generation or stage fixes its prune time or expiry.
+ *
  * @stability unstable
  * @category constructors
  * @since 4.0.0
@@ -29,7 +42,8 @@ import * as EventLogServerEncrypted from "./EventLogServerEncrypted.ts";
 export declare const makeStorage: (options?: {
     readonly entryTablePrefix?: string;
     readonly remoteIdTable?: string;
-}) => Effect.Effect<EventLogServerEncrypted.Storage["Service"], SqlError.SqlError, SqlClient.SqlClient | EventLogEncryption.EventLogEncryption | Scope.Scope>;
+    readonly compaction?: EventLogServerEncrypted.CompactionOptions | undefined;
+}) => Effect.Effect<EventLogServerEncrypted.Storage["Service"], SqlError.SqlError, SqlClient.SqlClient | Digest.Digest | Scope.Scope>;
 /**
  * Provides encrypted server `Storage` using the SQL-backed implementation.
  *
@@ -40,10 +54,11 @@ export declare const makeStorage: (options?: {
 export declare const layerStorage: (options?: {
     readonly entryTablePrefix?: string;
     readonly remoteIdTable?: string;
-}) => Layer.Layer<EventLogServerEncrypted.Storage, SqlError.SqlError, SqlClient.SqlClient | EventLogEncryption.EventLogEncryption>;
+    readonly compaction?: EventLogServerEncrypted.CompactionOptions | undefined;
+}) => Layer.Layer<EventLogServerEncrypted.Storage, SqlError.SqlError, SqlClient.SqlClient | Digest.Digest>;
 /**
  * Provides SQL-backed encrypted server `Storage` and supplies the default Web
- * Crypto `EventLogEncryption` layer.
+ * Crypto `Digest` layer.
  *
  * @stability unstable
  * @category layers
@@ -52,5 +67,6 @@ export declare const layerStorage: (options?: {
 export declare const layerStorageSubtle: (options?: {
     readonly entryTablePrefix?: string;
     readonly remoteIdTable?: string;
+    readonly compaction?: EventLogServerEncrypted.CompactionOptions | undefined;
 }) => Layer.Layer<EventLogServerEncrypted.Storage, SqlError.SqlError, SqlClient.SqlClient>;
 //# sourceMappingURL=SqlEventLogServerEncrypted.d.ts.map

package/dist/eventlog/SqlEventLogServerEncrypted.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SqlEventLogServerEncrypted.d.ts","sourceRoot":"","sources":["../../src/eventlog/SqlEventLogServerEncrypted.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,KAAK,MAAM,aAAa,CAAA;AAIpC,OAAO,KAAK,KAAK,KAAK,MAAM,aAAa,CAAA;AAEzC,OAAO,KAAK,SAAS,MAAM,qBAAqB,CAAA;AAChD,OAAO,KAAK,KAAK,QAAQ,MAAM,oBAAoB,CAAA;AAInD,OAAO,KAAK,kBAAkB,MAAM,yBAAyB,CAAA;AAE7D,OAAO,KAAK,uBAAuB,MAAM,8BAA8B,CAAA;AAEvE;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,WAAW,aAAc;IACpC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;CAChC,KAAG,MAAM,CAAC,MAAM,CACf,uBAAuB,CAAC,OAAO,CAAC,SAAS,CAAC,EAC1C,QAAQ,CAAC,QAAQ,EACjB,SAAS,CAAC,SAAS,GAAG,kBAAkB,CAAC,kBAAkB,GAAG,KAAK,CAAC,KAAK,CAyT9C,CAAA;AAmE7B;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,aAAc;IACrC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;CAChC,KAAG,KAAK,CAAC,KAAK,CACb,uBAAuB,CAAC,OAAO,EAC/B,QAAQ,CAAC,QAAQ,EACjB,SAAS,CAAC,SAAS,GAAG,kBAAkB,CAAC,kBAAkB,CACW,CAAA;AAExE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,aAAc;IAC3C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;CAChC,KAAG,KAAK,CAAC,KAAK,CAAC,uBAAuB,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAGpF,CAAA"}
+{"version":3,"file":"SqlEventLogServerEncrypted.d.ts","sourceRoot":"","sources":["../../src/eventlog/SqlEventLogServerEncrypted.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAG7C,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,KAAK,MAAM,aAAa,CAAA;AAMpC,OAAO,KAAK,KAAK,KAAK,MAAM,aAAa,CAAA;AAEzC,OAAO,KAAK,SAAS,MAAM,qBAAqB,CAAA;AAChD,OAAO,KAAK,QAAQ,MAAM,oBAAoB,CAAA;AAM9C,OAAO,KAAK,uBAAuB,MAAM,8BAA8B,CAAA;AAWvE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,WAAW,aAAc;IACpC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,iBAAiB,GAAG,SAAS,CAAA;CAC5E,KAAG,MAAM,CAAC,MAAM,CACf,uBAAuB,CAAC,OAAO,CAAC,SAAS,CAAC,EAC1C,QAAQ,CAAC,QAAQ,EACjB,SAAS,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CA+yCtB,CAAA;AAiI7B;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,aAAc;IACrC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,iBAAiB,GAAG,SAAS,CAAA;CAC5E,KAAG,KAAK,CAAC,KAAK,CACb,uBAAuB,CAAC,OAAO,EAC/B,QAAQ,CAAC,QAAQ,EACjB,SAAS,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CACmC,CAAA;AAExE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,aAAc;IAC3C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,iBAAiB,GAAG,SAAS,CAAA;CAC5E,KAAG,KAAK,CAAC,KAAK,CAAC,uBAAuB,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAGpF,CAAA"}