effect-cqrs 0.0.0-stage → 0.2.0

package/dist/Fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Fixture.d.ts","sourceRoot":"","sources":["../src/Fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,EAAc,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9D,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAA;;;;;;AAGzD,2FAA2F;AAC3F,qBAAa,iBAAkB,SAAQ,sBAIrC;CAAG;AAEL,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG;IAC9C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAClD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CAC7B;AAED,8EAA8E;AAC9E,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;AAEpG,kFAAkF;AAClF,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAA;AAE3F,6DAA6D;AAC7D,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,IAAI;IAC1C,QAAQ,EAAE,CAAC,IAAI,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG;QAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE;CAC7G,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAE3B,MAAM,WAAW,gBAAgB,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG;IACvD,2EAA2E;IAC3E,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CAAA;IAC1D;;;OAGG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,EAAE,CAAC,IAAI,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK;KAChG,GAAG,SAAS,CAAA;IACb,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzC,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;CACpD;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9F,uDAAuD;IACvD,IAAI,CAAC,CAAC,SAAS,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,EACrC,OAAO,EAAE,CAAC,EACV,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,gBAAgB,CAAC,cAAc,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5G,0FAA0F;IAC1F,SAAS,CAAC,CAAC,SAAS,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,EAC1C,OAAO,EAAE,CAAC,EACV,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,gBAAgB,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7G,mEAAmE;IACnE,WAAW,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvD,+EAA+E;IAC/E,YAAY,CAAC,MAAM,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACxE,6EAA6E;IAC7E,YAAY,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC5E;AAED,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG;IAC9C,0DAA0D;IAC1D,KAAK,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACvD,qGAAqG;IACrG,WAAW,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACpF,mEAAmE;IACnE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IACnG,4FAA4F;IAC5F,YAAY,CACV,KAAK,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,GACzC,QAAQ,CAAC,CAAC,EAAE,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IAChE,IAAI,CAAC,CAAC,SAAS,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,EACrC,OAAO,EAAE,CAAC,EACV,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,gBAAgB,CAAC,cAAc,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IACpG,0FAA0F;IAC1F,SAAS,CAAC,CAAC,SAAS,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,EAC1C,OAAO,EAAE,CAAC,EACV,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,gBAAgB,CAAC,cAAc,EAAE,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7G;;;;;OAKG;IACH,eAAe,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;CAChG;AA6DD,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,SAAS,CAAC,GAAG,aAC/B,CAAC,YACF;IACR,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;CAC/C,KACA,OAAO,CAAC,CAAC,CAiHX,CAAA"}

package/dist/Fixture.js

@@ -0,0 +1,149 @@
+/**
+ * Tests an aggregate in isolation: given these events, when this command runs,
+ * what happens? The moleculer-cqrs `CQRSFixture`, as a chain that runs when it
+ * is yielded:
+ *
+ * ```ts
+ * yield* Fixture.make(Todo)
+ *   .givenEvents([created])
+ *   .when("deleteTodo", { message: "Done" })
+ *   .expectEvent("TodoDeleted")
+ *   .inspectState((state) => assert.strictEqual(state.status, "deleted"))
+ * ```
+ *
+ * Commands run through the real {@link AggregateService} on an in-memory store,
+ * so payload validation and event encoding are exercised too.
+ *
+ * The history can include events stored in older versions of their schema, made
+ * with `Aggregate.historical`, which then go through the same upcasting as events
+ * read from a real store.
+ */
+import { Arbitrary, Effect, Effectable, Schema } from "effect";
+import * as Aggregate from "./Aggregate.js";
+import * as AggregateService from "./AggregateService.js";
+import { EventStore, makeMemory } from "./EventStore.js";
+/** Raised as a defect, so a command's error channel only holds what the command can do. */
+export class ExpectationFailed extends Schema.TaggedError()("ExpectationFailed", {
+    message: Schema.String,
+    expected: Schema.Unknown,
+    actual: Schema.Unknown
+}) {
+}
+class ScenarioImpl extends Effectable.Class {
+    aggregate;
+    run;
+    constructor(aggregate, run) {
+        super();
+        this.aggregate = aggregate;
+        this.run = run;
+    }
+    asEffect() {
+        return this.run;
+    }
+    when(command, payload) {
+        return new ScenarioImpl(this.aggregate, Effect.flatMap(this.run, (outcome) => outcome.fixture.when(command, payload)));
+    }
+    whenFails(command, payload) {
+        return Effect.flatMap(this.run, (outcome) => outcome.fixture.whenFails(command, payload));
+    }
+    expectEvent(event) {
+        return this.expectEvents([event]);
+    }
+    expectEvents(expected) {
+        const isSameEvent = Schema.toEquivalence(this.aggregate.events);
+        const matches = (want, event) => typeof want === "string" ? event._tag === want : isSameEvent(want, event);
+        return new ScenarioImpl(this.aggregate, Effect.tap(this.run, ({ events }) => events.length === expected.length && expected.every((want, index) => matches(want, events[index]))
+            ? Effect.void
+            : Effect.die(new ExpectationFailed({
+                message: "The command did not emit the expected events",
+                expected,
+                actual: events
+            }))));
+    }
+    inspectState(check) {
+        return new ScenarioImpl(this.aggregate, Effect.tap(this.run, ({ state }) => Effect.sync(() => check(state))));
+    }
+}
+export const make = (aggregate, options) => {
+    const aggregateId = options?.aggregateId ?? "fixture-id";
+    const history = options?.events ?? [];
+    const encodeEvent = AggregateService.makeEventEncoder(aggregate);
+    const encodeGiven = (event) => event instanceof Aggregate.Historical ? Effect.succeed(event) : encodeEvent(event);
+    const seeded = Effect.gen(function* () {
+        const store = yield* makeMemory;
+        if (history.length > 0) {
+            yield* store.append({
+                aggregateName: aggregate.name,
+                aggregateId,
+                expectedVersion: 0,
+                events: yield* Effect.forEach(history, encodeGiven)
+            });
+        }
+        const service = yield* AggregateService.make(aggregate).pipe(Effect.provideService(EventStore, store));
+        return service;
+    }).pipe(
+    // A store with nothing but memory behind it can't fail, and a history that
+    // doesn't fit a fresh stream is a mistake in the test.
+    Effect.orDie);
+    const state = Effect.flatMap(seeded, (service) => service.readModel(aggregateId));
+    const when = (command, payload) => new ScenarioImpl(aggregate, Effect.gen(function* () {
+        const service = yield* seeded;
+        const result = yield* service.commands[command](aggregateId, payload);
+        return {
+            events: result.events,
+            state: yield* service.readModel(aggregateId),
+            version: result.version,
+            fixture: make(aggregate, { aggregateId, events: [...history, ...result.events] })
+        };
+    }));
+    const checkInvariants = (options) => Effect.gen(function* () {
+        const commands = Object.entries(aggregate.commands).flatMap(([name, command]) => {
+            const given = options.commands?.[name];
+            if (given === false)
+                return [];
+            const payload = given ?? Arbitrary.schema(Schema.toType(command.payload));
+            return [[name, Arbitrary.map(payload, (payload) => ({ command: name, payload }))]];
+        });
+        if (commands.length === 0) {
+            return yield* Effect.die(new Error("checkInvariants needs at least one command to run"));
+        }
+        const byName = new Map(commands);
+        const steps = Arbitrary.array(Arbitrary.flatMap(Arbitrary.schema(Schema.Literals(commands.map(([name]) => name))), (name) => byName.get(name)), { maxLength: options.maxCommands ?? 20 });
+        // Each run starts from a fresh store with the given history.
+        const holds = (sequence) => Effect.gen(function* () {
+            const service = yield* seeded;
+            if (!options.invariant(yield* service.readModel(aggregateId)))
+                return false;
+            for (const step of sequence) {
+                const succeeded = yield* service.commands[step.command](aggregateId, step.payload).pipe(Effect.as(true), Effect.catch(() => Effect.succeed(false)));
+                if (succeeded && !options.invariant(yield* service.readModel(aggregateId)))
+                    return false;
+            }
+            return true;
+        }).pipe(Effect.orDie);
+        const result = yield* Arbitrary.checkEffect(steps, holds, options.check);
+        if (result._tag !== "Passed") {
+            return yield* Effect.die(new ExpectationFailed({
+                message: Arbitrary.formatCheckFailure(result) ?? "The invariant does not hold",
+                expected: "the invariant to hold after every command",
+                actual: result._tag === "Falsified" ? result.shrunkInput : result
+            }));
+        }
+    });
+    const fixture = {
+        given: (events) => make(aggregate, { aggregateId, events }),
+        givenEvents: (events = [], id = aggregateId) => make(aggregate, { aggregateId: id, events }),
+        state,
+        inspectState: (check) => new ScenarioImpl(aggregate, Effect.map(state, (current) => ({
+            events: [],
+            state: current,
+            version: history.length,
+            fixture
+        }))).inspectState(check),
+        when,
+        whenFails: (command, payload) => when(command, payload).pipe(Effect.flip, Effect.catch(() => Effect.die(new Error(`Expected command "${command}" to fail, but it succeeded`)))),
+        checkInvariants
+    };
+    return fixture;
+};
+//# sourceMappingURL=Fixture.js.map

package/dist/Fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Fixture.js","sourceRoot":"","sources":["../src/Fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9D,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAA;AACzD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAExD,2FAA2F;AAC3F,MAAM,OAAO,iBAAkB,SAAQ,MAAM,CAAC,WAAW,EAAqB,CAAC,mBAAmB,EAAE;IAClG,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,QAAQ,EAAE,MAAM,CAAC,OAAO;IACxB,MAAM,EAAE,MAAM,CAAC,OAAO;CACvB,CAAC;CAAG;AAyFL,MAAM,YAA4C,SAAQ,UAAU,CAAC,KAAuB;IAGjF,SAAS,CAAG;IACZ,GAAG,CAAiC;IAE7C,YAAY,SAAY,EAAE,GAAoC;QAC5D,KAAK,EAAE,CAAA;QACP,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;IAChB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,GAAG,CAAA;IACjB,CAAC;IAED,IAAI,CAAqC,OAAU,EAAE,OAAgC;QACnF,OAAO,IAAI,YAAY,CACrB,IAAI,CAAC,SAAS,EACd,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAC9E,CAAA;IACH,CAAC;IAED,SAAS,CAAqC,OAAU,EAAE,OAAgC;QACxF,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;IAC3F,CAAC;IAED,WAAW,CAAC,KAAuB;QACjC,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IACnC,CAAC;IAED,YAAY,CAAC,QAAyC;QACpD,MAAM,WAAW,GAAG,MAAM,CAAC,aAAa,CAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;QACxE,MAAM,OAAO,GAAG,CAAC,IAAsB,EAAE,KAAyB,EAAE,EAAE,CACpE,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAE3E,OAAO,IAAI,YAAY,CACrB,IAAI,CAAC,SAAS,EACd,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAClC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAChG,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,MAAM,CAAC,GAAG,CACV,IAAI,iBAAiB,CAAC;gBACpB,OAAO,EAAE,8CAA8C;gBACvD,QAAQ;gBACR,MAAM,EAAE,MAAM;aACf,CAAC,CACH,CAAC,CACP,CAAA;IACH,CAAC;IAED,YAAY,CAAC,KAA0C;QACrD,OAAO,IAAI,YAAY,CACrB,IAAI,CAAC,SAAS,EACd,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CACrE,CAAA;IACH,CAAC;CACF;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,SAAY,EACZ,OAGC,EACW,EAAE;IACd,MAAM,WAAW,GAAG,OAAO,EAAE,WAAW,IAAI,YAAY,CAAA;IACxD,MAAM,OAAO,GAAG,OAAO,EAAE,MAAM,IAAI,EAAE,CAAA;IACrC,MAAM,WAAW,GAAG,gBAAgB,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAA;IAChE,MAAM,WAAW,GAAG,CAAC,KAAoB,EAAE,EAAE,CAC3C,KAAK,YAAY,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;IAEpF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACjC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;QAC/B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;gBAClB,aAAa,EAAE,SAAS,CAAC,IAAI;gBAC7B,WAAW;gBACX,eAAe,EAAE,CAAC;gBAClB,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC;aACpD,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAA;QACtG,OAAO,OAAO,CAAA;IAChB,CAAC,CAAC,CAAC,IAAI;IACL,2EAA2E;IAC3E,uDAAuD;IACvD,MAAM,CAAC,KAAK,CACb,CAAA;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAA;IAEjF,MAAM,IAAI,GAAG,CAAqC,OAAU,EAAE,OAAgC,EAAE,EAAE,CAChG,IAAI,YAAY,CACd,SAAS,EACT,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;QAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAA;QACrE,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC;YAC5C,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;SAC7D,CAAA;IACxB,CAAC,CAAC,CACH,CAAA;IAEH,MAAM,eAAe,GAAG,CAAC,OAA4B,EAAE,EAAE,CACvD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE;YAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAgC,CAGpD,CAAA;YACb,IAAI,KAAK,KAAK,KAAK;gBAAE,OAAO,EAAE,CAAA;YAC9B,MAAM,OAAO,GAAG,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;YACzE,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,OAAgB,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAU,CAAC,CAAA;QACtG,CAAC,CAAC,CAAA;QACF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC,CAAA;QAC1F,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAA;QAChC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAC3B,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,EACjH,EAAE,SAAS,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CACM,CAAA;QAEhD,6DAA6D;QAC7D,MAAM,KAAK,GAAG,CAAC,QAAgC,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;YAC7B,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAA;YAC3E,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CACrF,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EACf,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAC1C,CAAA;gBACD,IAAI,SAAS,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAA;YAC1F,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAEvB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;QACxE,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtB,IAAI,iBAAiB,CAAC;gBACpB,OAAO,EAAE,SAAS,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,6BAA6B;gBAC9E,QAAQ,EAAE,2CAA2C;gBACrD,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM;aAClE,CAAC,CACH,CAAA;QACH,CAAC;IACH,CAAC,CAAC,CAAA;IAEJ,MAAM,OAAO,GAAe;QAC1B,KAAK,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;QAC3D,WAAW,EAAE,CAAC,MAAM,GAAG,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAC5F,KAAK;QACL,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CACtB,IAAI,YAAY,CACd,SAAS,EACT,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,OAAO,EAAc,EAAE,CAAC,CAAC;YAC1C,MAAM,EAAE,EAAE;YACV,KAAK,EAAE,OAAO;YACd,OAAO,EAAE,OAAO,CAAC,MAAM;YACvB,OAAO;SACR,CAAC,CAAC,CACJ,CAAC,YAAY,CAAC,KAAK,CAAC;QACvB,IAAI;QACJ,SAAS,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAC9B,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,IAAI,CACzB,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,qBAAqB,OAAO,6BAA6B,CAAC,CAAC,CAAC,CACrG;QACH,eAAe;KAChB,CAAA;IAED,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA"}

package/dist/Metadata.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Metadata: what a command carries beside its payload that the domain doesn't
+ * decide on, such as the version of the software that ran it, the user who sent
+ * it or the address it came from. It is a JSON object recorded on every event
+ * the command writes, and projections, view models and `history` can read it.
+ *
+ * Like `Causation`, it travels in the fiber's context rather than in payloads.
+ * A command records, key by key, from the lowest precedence:
+ *
+ * 1. the metadata where its aggregate service was built, such as the software
+ *    version provided once for the whole application with {@link layer};
+ * 2. the metadata where it runs, added with {@link withMetadata};
+ * 3. the `metadata` of a `dispatch` envelope.
+ *
+ * A view model or saga reacting to an event doesn't inherit that event's
+ * metadata: its commands record their own. The `causationId` leads back to the
+ * event, and from there to its metadata.
+ */
+import { Context, Effect, Layer, Schema } from "effect";
+/** A JSON object. */
+export type Metadata = Schema.JsonObject;
+export declare const Metadata: Schema.Codec<Metadata>;
+/** The metadata commands run in this fiber record, `{}` outside any. */
+export declare const CurrentMetadata: Context.Reference<Schema.JsonObject>;
+/** Runs an effect whose commands record this metadata on top of the current one. */
+export declare const withMetadata: {
+    (metadata: Metadata): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
+    <A, E, R>(effect: Effect.Effect<A, E, R>, metadata: Metadata): Effect.Effect<A, E, R>;
+};
+/**
+ * Provides metadata to everything built on top of this layer, for values that
+ * hold for the whole process such as the software version:
+ *
+ * ```ts
+ * AppLayer.pipe(Layer.provide(Metadata.layer({ appVersion: "1.4.0" })))
+ * ```
+ *
+ * Aggregate services remember it, so it is recorded even by commands run where
+ * the layer isn't visible.
+ */
+export declare const layer: (metadata: Metadata) => Layer.Layer<never>;
+//# sourceMappingURL=Metadata.d.ts.map

package/dist/Metadata.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Metadata.d.ts","sourceRoot":"","sources":["../src/Metadata.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAY,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEjE,qBAAqB;AACrB,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAA;AAExC,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAqB,CAAA;AAEjE,wEAAwE;AACxE,eAAO,MAAM,eAAe,sCAE1B,CAAA;AAEF,oFAAoF;AACpF,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,QAAQ,EAAE,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACzF,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAKtF,CAAA;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,KAAK,aAAc,QAAQ,KAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAA6C,CAAA"}

package/dist/Metadata.js

@@ -0,0 +1,39 @@
+/**
+ * Metadata: what a command carries beside its payload that the domain doesn't
+ * decide on, such as the version of the software that ran it, the user who sent
+ * it or the address it came from. It is a JSON object recorded on every event
+ * the command writes, and projections, view models and `history` can read it.
+ *
+ * Like `Causation`, it travels in the fiber's context rather than in payloads.
+ * A command records, key by key, from the lowest precedence:
+ *
+ * 1. the metadata where its aggregate service was built, such as the software
+ *    version provided once for the whole application with {@link layer};
+ * 2. the metadata where it runs, added with {@link withMetadata};
+ * 3. the `metadata` of a `dispatch` envelope.
+ *
+ * A view model or saga reacting to an event doesn't inherit that event's
+ * metadata: its commands record their own. The `causationId` leads back to the
+ * event, and from there to its metadata.
+ */
+import { Context, Effect, Function, Layer, Schema } from "effect";
+export const Metadata = Schema.JsonObject;
+/** The metadata commands run in this fiber record, `{}` outside any. */
+export const CurrentMetadata = Context.Reference("effect-cqrs/Metadata", {
+    defaultValue: () => ({})
+});
+/** Runs an effect whose commands record this metadata on top of the current one. */
+export const withMetadata = Function.dual(2, (effect, metadata) => CurrentMetadata.use((current) => Effect.provideService(effect, CurrentMetadata, { ...current, ...metadata })));
+/**
+ * Provides metadata to everything built on top of this layer, for values that
+ * hold for the whole process such as the software version:
+ *
+ * ```ts
+ * AppLayer.pipe(Layer.provide(Metadata.layer({ appVersion: "1.4.0" })))
+ * ```
+ *
+ * Aggregate services remember it, so it is recorded even by commands run where
+ * the layer isn't visible.
+ */
+export const layer = (metadata) => Layer.succeed(CurrentMetadata, metadata);
+//# sourceMappingURL=Metadata.js.map

package/dist/Metadata.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Metadata.js","sourceRoot":"","sources":["../src/Metadata.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAKjE,MAAM,CAAC,MAAM,QAAQ,GAA2B,MAAM,CAAC,UAAU,CAAA;AAEjE,wEAAwE;AACxE,MAAM,CAAC,MAAM,eAAe,GAAG,OAAO,CAAC,SAAS,CAAW,sBAAsB,EAAE;IACjF,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;CACzB,CAAC,CAAA;AAEF,oFAAoF;AACpF,MAAM,CAAC,MAAM,YAAY,GAGrB,QAAQ,CAAC,IAAI,CACf,CAAC,EACD,CAAU,MAA8B,EAAE,QAAkB,EAAE,EAAE,CAC9D,eAAe,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC,CAChH,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,QAAkB,EAAsB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAA"}

package/dist/PostgresEventStore.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Durable storage on PostgreSQL, through any `effect/sql` PostgreSQL driver.
+ *
+ * A sequence can't number events here. Transactions commit in a different order from
+ * the one they drew their numbers in, so a view model that has read up to 6 would
+ * never come back for a 5 that commits later. Positions come from a counter row
+ * instead, which an append holds until it commits: writers wait for each other at
+ * that one step, and positions follow commit order with no gaps.
+ *
+ * The tables are created on startup.
+ */
+import { Effect, Layer } from "effect";
+import { SqlClient } from "effect/sql";
+import { Checkpoints } from "./Checkpoints.ts";
+import * as EventStore from "./EventStore.ts";
+export interface Options {
+    readonly eventsTable?: string;
+    readonly checkpointsTable?: string;
+}
+export declare const make: (options?: Options | undefined) => Effect.Effect<{
+    append(input: EventStore.AppendInput): Effect.Effect<ReadonlyArray<EventStore.StoredEvent>, EventStore.ConcurrencyConflict | EventStore.EventStoreError>;
+    read(filter?: EventStore.EventFilter): import("effect/Stream").Stream<EventStore.StoredEvent, EventStore.EventStoreError>;
+    subscribe(filter?: EventStore.EventFilter): import("effect/Stream").Stream<EventStore.StoredEvent, EventStore.EventStoreError>;
+    readonly head: Effect.Effect<number, EventStore.EventStoreError>;
+    readonly changes: import("effect/Stream").Stream<number>;
+}, EventStore.EventStoreError, SqlClient.SqlClient>;
+export declare const layer: (options?: Options) => Layer.Layer<EventStore.EventStore, EventStore.EventStoreError, SqlClient.SqlClient>;
+/** Keeps checkpoints in the same database, for view models that are durable too. */
+export declare const layerCheckpoints: (options?: Options) => Layer.Layer<Checkpoints, EventStore.EventStoreError, SqlClient.SqlClient>;
+//# sourceMappingURL=PostgresEventStore.d.ts.map

package/dist/PostgresEventStore.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PostgresEventStore.d.ts","sourceRoot":"","sources":["../src/PostgresEventStore.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAiC,MAAM,EAAE,KAAK,EAAU,MAAM,QAAQ,CAAA;AAC7E,OAAO,EAAE,SAAS,EAAiB,MAAM,YAAY,CAAA;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;CACnC;AAWD,eAAO,MAAM,IAAI;;;;;;mDAkIf,CAAA;AAEF,eAAO,MAAM,KAAK,aAAc,OAAO,KAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,eAAe,EAAE,SAAS,CAAC,SAAS,CACxE,CAAA;AAEpD,oFAAoF;AACpF,eAAO,MAAM,gBAAgB,aAAc,OAAO,KAAG,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,eAAe,EAAE,SAAS,CAAC,SAAS,CAgC1H,CAAA"}

package/dist/PostgresEventStore.js

@@ -0,0 +1,153 @@
+/**
+ * Durable storage on PostgreSQL, through any `effect/sql` PostgreSQL driver.
+ *
+ * A sequence can't number events here. Transactions commit in a different order from
+ * the one they drew their numbers in, so a view model that has read up to 6 would
+ * never come back for a 5 that commits later. Positions come from a counter row
+ * instead, which an append holds until it commits: writers wait for each other at
+ * that one step, and positions follow commit order with no gaps.
+ *
+ * The tables are created on startup.
+ */
+import { Array as Arr, Clock, DateTime, Effect, Layer, Schema } from "effect";
+import { SqlClient } from "effect/sql";
+import { Checkpoints } from "./Checkpoints.js";
+import * as EventStore from "./EventStore.js";
+const decodeRows = Schema.decodeUnknownEffect(Schema.Array(EventStore.StoredEvent));
+const storeError = (operation) => (cause) => new EventStore.EventStoreError({ operation, cause });
+const isUniqueViolation = (error) => error.reason._tag === "UniqueViolation";
+// The client binds at most 32,767 parameters to a statement, and each row uses 11.
+const rowsPerInsert = 2_900;
+export const make = Effect.fnUntraced(function* (options) {
+    const sql = yield* SqlClient.SqlClient;
+    const prefix = options?.eventsTable ?? "cqrs_events";
+    const events = sql(prefix);
+    const counter = sql(`${prefix}_head`);
+    const initialize = Effect.gen(function* () {
+        yield* sql `
+      CREATE TABLE IF NOT EXISTS ${events} (
+        position BIGINT PRIMARY KEY,
+        aggregate_name TEXT NOT NULL,
+        aggregate_id TEXT NOT NULL,
+        version INTEGER NOT NULL,
+        type TEXT NOT NULL,
+        schema_version INTEGER NOT NULL DEFAULT 1,
+        payload JSONB NOT NULL,
+        "timestamp" BIGINT NOT NULL,
+        correlation_id TEXT,
+        causation_id TEXT,
+        metadata JSONB NOT NULL DEFAULT '{}',
+        UNIQUE (aggregate_name, aggregate_id, version)
+      )
+    `;
+        // Tables created before these columns existed get them here.
+        yield* sql `ALTER TABLE ${events} ADD COLUMN IF NOT EXISTS schema_version INTEGER NOT NULL DEFAULT 1`;
+        yield* sql `ALTER TABLE ${events} ADD COLUMN IF NOT EXISTS correlation_id TEXT`;
+        yield* sql `ALTER TABLE ${events} ADD COLUMN IF NOT EXISTS causation_id TEXT`;
+        yield* sql `ALTER TABLE ${events} ADD COLUMN IF NOT EXISTS metadata JSONB NOT NULL DEFAULT '{}'`;
+        yield* sql `CREATE INDEX IF NOT EXISTS ${sql(`${prefix}_type_idx`)} ON ${events} (type, position)`;
+        yield* sql `
+      CREATE TABLE IF NOT EXISTS ${counter} (
+        only_row BOOLEAN PRIMARY KEY DEFAULT TRUE CHECK (only_row),
+        position BIGINT NOT NULL
+      )
+    `;
+        yield* sql `INSERT INTO ${counter} (position) VALUES (0) ON CONFLICT DO NOTHING`;
+    });
+    yield* initialize.pipe(Effect.mapError(storeError("initialize")));
+    const columns = sql.literal(`
+    position::float8 AS position,
+    aggregate_name AS "aggregateName",
+    aggregate_id AS "aggregateId",
+    version,
+    type,
+    schema_version AS "schemaVersion",
+    payload,
+    "timestamp"::float8 AS "timestamp",
+    correlation_id AS "correlationId",
+    causation_id AS "causationId",
+    metadata
+  `);
+    const append = (input) => {
+        const conflict = new EventStore.ConcurrencyConflict({
+            aggregateName: input.aggregateName,
+            aggregateId: input.aggregateId,
+            expectedVersion: input.expectedVersion
+        });
+        return Effect.gen(function* () {
+            const [current] = yield* sql `
+        SELECT COALESCE(MAX(version), 0) AS version FROM ${events}
+        WHERE aggregate_name = ${input.aggregateName} AND aggregate_id = ${input.aggregateId}
+      `;
+            if (current?.version !== input.expectedVersion) {
+                return yield* conflict;
+            }
+            const timestamp = yield* Clock.currentTimeMillis;
+            const [head] = yield* sql `
+        UPDATE ${counter} SET position = position + ${input.events.length} RETURNING position::float8 AS position
+      `;
+            const first = head.position - input.events.length + 1;
+            const stored = input.events.map((event, index) => EventStore.toStored(input, event, index, first + index, DateTime.makeUnsafe(timestamp)));
+            const rows = stored.map((event) => ({
+                position: event.position,
+                aggregate_name: event.aggregateName,
+                aggregate_id: event.aggregateId,
+                version: event.version,
+                type: event.type,
+                schema_version: event.schemaVersion,
+                payload: JSON.stringify(event.payload),
+                timestamp,
+                correlation_id: event.correlationId,
+                causation_id: event.causationId,
+                metadata: JSON.stringify(event.metadata)
+            }));
+            yield* Effect.forEach(Arr.chunksOf(rows, rowsPerInsert), (chunk) => sql `INSERT INTO ${events} ${sql.insert(chunk)}`, { discard: true });
+            return stored;
+        }).pipe(sql.withTransaction, 
+        // The version check can't see a writer that hasn't committed, but the UNIQUE
+        // constraint can. Rolling back gives the position back, so that leaves no gap.
+        Effect.catchTag("SqlError", (error) => Effect.fail(isUniqueViolation(error) ? conflict : storeError("append")(error))));
+    };
+    const readBatch = (filter, afterPosition, limit) => {
+        const oneStream = EventStore.isOneStream(filter);
+        const clauses = [
+            sql `${events}.position > ${afterPosition}`,
+            ...(oneStream ? [sql `version > ${filter.afterVersion ?? 0}`] : []),
+            ...(filter.aggregateNames === undefined ? [] : [sql.in("aggregate_name", filter.aggregateNames)]),
+            ...(filter.aggregateIds === undefined ? [] : [sql.in("aggregate_id", filter.aggregateIds)]),
+            ...(filter.eventTypes === undefined ? [] : [sql.in("type", filter.eventTypes)]),
+            ...(filter.startTime === undefined ? [] : [sql `"timestamp" >= ${DateTime.toEpochMillis(filter.startTime)}`]),
+            ...(filter.finishTime === undefined ? [] : [sql `"timestamp" < ${DateTime.toEpochMillis(filter.finishTime)}`])
+        ];
+        // Inside a stream versions follow positions, and ordering by them keeps to the
+        // stream's index. With `LIMIT` the planner would otherwise walk the primary key,
+        // through every later event of the log, looking for a stream with nothing new.
+        // `position` alone would mean the converted column above, which has no index.
+        const order = oneStream ? sql `version` : sql `${events}.position`;
+        return sql `SELECT ${columns} FROM ${events} WHERE ${sql.and(clauses)} ORDER BY ${order} LIMIT ${limit}`.pipe(Effect.flatMap(decodeRows), Effect.mapError(storeError("read")));
+    };
+    const head = sql `SELECT position::float8 AS position FROM ${counter}`.pipe(Effect.map(([row]) => row?.position ?? 0), Effect.mapError(storeError("head")));
+    return yield* EventStore.make({ append, readBatch, head });
+});
+export const layer = (options) => Layer.effect(EventStore.EventStore, make(options));
+/** Keeps checkpoints in the same database, for view models that are durable too. */
+export const layerCheckpoints = (options) => Layer.effect(Checkpoints, Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    const table = sql(options?.checkpointsTable ?? "cqrs_checkpoints");
+    yield* sql `
+        CREATE TABLE IF NOT EXISTS ${table} (
+          view_model TEXT PRIMARY KEY,
+          position BIGINT NOT NULL
+        )
+      `.pipe(Effect.mapError(storeError("initialize")));
+    return Checkpoints.of({
+        get: (viewModel) => sql `
+            SELECT position::float8 AS position FROM ${table} WHERE view_model = ${viewModel}
+          `.pipe(Effect.map(([row]) => row?.position ?? 0), Effect.mapError(storeError("checkpoint"))),
+        set: (viewModel, position) => sql `
+            INSERT INTO ${table} (view_model, position) VALUES (${viewModel}, ${position})
+            ON CONFLICT (view_model) DO UPDATE SET position = excluded.position
+          `.pipe(Effect.asVoid, Effect.mapError(storeError("checkpoint")))
+    });
+}));
+//# sourceMappingURL=PostgresEventStore.js.map

package/dist/PostgresEventStore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PostgresEventStore.js","sourceRoot":"","sources":["../src/PostgresEventStore.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,KAAK,IAAI,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC7E,OAAO,EAAE,SAAS,EAAiB,MAAM,YAAY,CAAA;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAO7C,MAAM,UAAU,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAA;AAEnF,MAAM,UAAU,GAAG,CAAC,SAAiB,EAAE,EAAE,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;AAElH,MAAM,iBAAiB,GAAG,CAAC,KAAwB,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,iBAAiB,CAAA;AAE/F,mFAAmF;AACnF,MAAM,aAAa,GAAG,KAAK,CAAA;AAE3B,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,OAAiB;IAC/D,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,MAAM,MAAM,GAAG,OAAO,EAAE,WAAW,IAAI,aAAa,CAAA;IACpD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,MAAM,OAAO,CAAC,CAAA;IAErC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACrC,KAAK,CAAC,CAAC,GAAG,CAAA;mCACqB,MAAM;;;;;;;;;;;;;;KAcpC,CAAA;QACD,6DAA6D;QAC7D,KAAK,CAAC,CAAC,GAAG,CAAA,eAAe,MAAM,qEAAqE,CAAA;QACpG,KAAK,CAAC,CAAC,GAAG,CAAA,eAAe,MAAM,+CAA+C,CAAA;QAC9E,KAAK,CAAC,CAAC,GAAG,CAAA,eAAe,MAAM,6CAA6C,CAAA;QAC5E,KAAK,CAAC,CAAC,GAAG,CAAA,eAAe,MAAM,gEAAgE,CAAA;QAC/F,KAAK,CAAC,CAAC,GAAG,CAAA,8BAA8B,GAAG,CAAC,GAAG,MAAM,WAAW,CAAC,OAAO,MAAM,mBAAmB,CAAA;QACjG,KAAK,CAAC,CAAC,GAAG,CAAA;mCACqB,OAAO;;;;KAIrC,CAAA;QACD,KAAK,CAAC,CAAC,GAAG,CAAA,eAAe,OAAO,+CAA+C,CAAA;IACjF,CAAC,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IAEjE,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;;;;;;;;;;;;GAY3B,CAAC,CAAA;IAEF,MAAM,MAAM,GAAG,CAAC,KAA6B,EAAE,EAAE;QAC/C,MAAM,QAAQ,GAAG,IAAI,UAAU,CAAC,mBAAmB,CAAC;YAClD,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;SACvC,CAAC,CAAA;QACF,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACzB,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAA8B;2DACL,MAAM;iCAChC,KAAK,CAAC,aAAa,uBAAuB,KAAK,CAAC,WAAW;OACrF,CAAA;YACD,IAAI,OAAO,EAAE,OAAO,KAAK,KAAK,CAAC,eAAe,EAAE,CAAC;gBAC/C,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAA;YACxB,CAAC;YACD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAA;YAChD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAA+B;iBAC7C,OAAO,8BAA8B,KAAK,CAAC,MAAM,CAAC,MAAM;OAClE,CAAA;YACD,MAAM,KAAK,GAAG,IAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;YACtD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC/C,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CACxF,CAAA;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,cAAc,EAAE,KAAK,CAAC,aAAa;gBACnC,YAAY,EAAE,KAAK,CAAC,WAAW;gBAC/B,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,cAAc,EAAE,KAAK,CAAC,aAAa;gBACnC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC;gBACtC,SAAS;gBACT,cAAc,EAAE,KAAK,CAAC,aAAa;gBACnC,YAAY,EAAE,KAAK,CAAC,WAAW;gBAC/B,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC;aACzC,CAAC,CAAC,CAAA;YACH,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,EACjC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAA,eAAe,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAC1D,EAAE,OAAO,EAAE,IAAI,EAAE,CAClB,CAAA;YACD,OAAO,MAAM,CAAA;QACf,CAAC,CAAC,CAAC,IAAI,CACL,GAAG,CAAC,eAAe;QACnB,6EAA6E;QAC7E,+EAA+E;QAC/E,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CACvH,CAAA;IACH,CAAC,CAAA;IAED,MAAM,SAAS,GAAG,CAAC,MAA8B,EAAE,aAAqB,EAAE,KAAa,EAAE,EAAE;QACzF,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;QAChD,MAAM,OAAO,GAAG;YACd,GAAG,CAAA,GAAG,MAAM,eAAe,aAAa,EAAE;YAC1C,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA,aAAa,MAAM,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,gBAAgB,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;YACjG,GAAG,CAAC,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;YAC3F,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;YAC/E,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA,kBAAkB,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC5G,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA,iBAAiB,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;SAC9G,CAAA;QACD,+EAA+E;QAC/E,iFAAiF;QACjF,+EAA+E;QAC/E,8EAA8E;QAC9E,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAA,SAAS,CAAC,CAAC,CAAC,GAAG,CAAA,GAAG,MAAM,WAAW,CAAA;QAChE,OAAO,GAAG,CAAA,UAAU,OAAO,SAAS,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,UAAU,KAAK,EAAE,CAAC,IAAI,CAC1G,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAC1B,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CACpC,CAAA;IACH,CAAC,CAAA;IAED,MAAM,IAAI,GAAG,GAAG,CAA+B,4CAA4C,OAAO,EAAE,CAAC,IAAI,CACvG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,QAAQ,IAAI,CAAC,CAAC,EACzC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CACpC,CAAA;IAED,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;AAC5D,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,OAAiB,EAAuF,EAAE,CAC9H,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;AAEpD,oFAAoF;AACpF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAiB,EAA6E,EAAE,CAC/H,KAAK,CAAC,MAAM,CACV,WAAW,EACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,EAAE,gBAAgB,IAAI,kBAAkB,CAAC,CAAA;IAElE,KAAK,CAAC,CAAC,GAAG,CAAA;qCACqB,KAAK;;;;OAInC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IAEjD,OAAO,WAAW,CAAC,EAAE,CAAC;QACpB,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,CACjB,GAAG,CAA+B;uDACW,KAAK,uBAAuB,SAAS;WACjF,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,QAAQ,IAAI,CAAC,CAAC,EACzC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAC1C;QACH,GAAG,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,CAC3B,GAAG,CAAA;0BACa,KAAK,mCAAmC,SAAS,KAAK,QAAQ;;WAE7E,CAAC,IAAI,CACJ,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAC1C;KACJ,CAAC,CAAA;AACJ,CAAC,CAAC,CACH,CAAA"}

package/dist/Saga.d.ts

@@ -0,0 +1,105 @@
+/**
+ * Sagas: reactions that span several aggregates and outlive one command, run as
+ * durable workflows from `effect/workflow`.
+ *
+ * A saga has two halves. Its trigger is a view model that follows the log from a
+ * checkpoint and starts a workflow for each event it cares about. The workflow is
+ * the process itself: each command it runs is an `Activity`, so when the engine
+ * replays the workflow after a restart it skips the commands that already
+ * finished, and `withCompensation` undoes earlier steps when a later one fails.
+ *
+ * Triggers see an event at least once, and the workflow's idempotency key turns
+ * a second start into a join of the first execution. That only holds while the
+ * engine remembers the execution, so pair `WorkflowEngine.layerMemory` with
+ * in-memory checkpoints, as for view models, and a durable engine such as
+ * `ClusterWorkflowEngine` from `effect/cluster` with durable ones.
+ *
+ * An activity that is cut off before its result is saved runs again, so the
+ * commands a saga runs should be idempotent, for instance by recording the id of
+ * the transfer they belong to.
+ */
+import { Effect, Layer, Schedule, Schema } from "effect";
+import { Activity, Workflow } from "effect/workflow";
+import type { WorkflowEngine } from "effect/workflow";
+import type * as Aggregate from "./Aggregate.ts";
+import type { CommandResult } from "./AggregateService.ts";
+import type { Checkpoints } from "./Checkpoints.ts";
+import type { EventStore, EventStoreError } from "./EventStore.ts";
+import * as ViewModel from "./ViewModel.ts";
+/**
+ * The causation a workflow carries in its payload. A workflow body runs in the
+ * engine's fibers, not in the trigger's, so this is how commands it runs learn
+ * which event caused them.
+ */
+export declare const CausationSchema: Schema.Struct<{
+    readonly correlationId: Schema.String;
+    readonly causationId: Schema.String;
+}>;
+/** A workflow whose payload carries the causation of the event that started it. */
+export type SagaWorkflow<Tag extends string = string, Fields extends Schema.Struct.Fields = Schema.Struct.Fields, Success extends Schema.Top = Schema.Top, Error extends Schema.Top = Schema.Top> = Workflow.Workflow<Tag, Schema.Struct<Fields & {
+    readonly causation: typeof CausationSchema;
+}>, Success, Error>;
+/**
+ * Defines the workflow of a saga. It is `Workflow.make` with a `causation` field
+ * added to the payload, which {@link start} fills in and {@link toLayer} applies.
+ */
+export declare const workflow: <const Tag extends string, const Fields extends Schema.Struct.Fields, Success extends Schema.Top = Schema.Void, Error extends Schema.Top = Schema.Never>(tag: Tag, options: {
+    readonly payload: Fields;
+    /** Identifies one run of the saga, such as a transfer id. Starting it again joins that run. */
+    readonly idempotencyKey: (payload: Schema.Struct.Type<Fields>) => string;
+    readonly success?: Success;
+    readonly error?: Error;
+    readonly suspendedRetrySchedule?: Schedule.Schedule<any, unknown> | undefined;
+}) => SagaWorkflow<Tag, Fields, Success, Error>;
+/**
+ * Registers the body of a saga's workflow with the engine. Commands the body
+ * runs record the event that started the saga as their cause.
+ */
+export declare const toLayer: <Tag extends string, Fields extends Schema.Struct.Fields, Success extends Schema.Top, Error extends Schema.Top, R>(self: SagaWorkflow<Tag, Fields, Success, Error>, execute: (payload: Schema.Struct.Type<Fields>, executionId: string) => Effect.Effect<Success["Type"], Error["Type"], R>) => Layer.Layer<never, never, WorkflowEngine.WorkflowEngine | Schema.Struct.DecodingServices<Fields & {
+    readonly causation: typeof CausationSchema;
+}> | Schema.Struct.EncodingServices<Fields & {
+    readonly causation: typeof CausationSchema;
+}> | Error["DecodingServices"] | Error["EncodingServices"] | Success["DecodingServices"] | Success["EncodingServices"] | Exclude<R, Workflow.Execution<Tag> | import("effect/Scope").Scope | WorkflowEngine.WorkflowEngine | WorkflowEngine.WorkflowInstance>>;
+/**
+ * Starts a saga's workflow without waiting for it, and returns its execution id.
+ * Inside a trigger the event being handled becomes the saga's cause; elsewhere
+ * the current causation does, or a new correlation when there is none.
+ */
+export declare const start: <Tag extends string, Fields extends Schema.Struct.Fields, Success extends Schema.Top, Error extends Schema.Top>(self: SagaWorkflow<Tag, Fields, Success, Error>, payload: Schema.Struct.MakeIn<Fields>) => Effect.Effect<string, never, WorkflowEngine.WorkflowEngine>;
+/**
+ * The trigger of a saga: a view model whose handlers start workflows with
+ * {@link start}, so it keeps a checkpoint and retries like view models do. Run it
+ * with {@link layer}, or with `ViewModel.layer` next to the other view models,
+ * where replaying it starts every saga again and joins the executions the engine
+ * still remembers.
+ */
+export declare const make: <const Name extends string, const Aggregates extends ReadonlyArray<Aggregate.Any>, const H extends ViewModel.Handlers<Aggregate.Event<Aggregates[number]>>>(options: {
+    readonly name: Name;
+    readonly aggregates: Aggregates;
+    readonly handlers: H;
+}) => ViewModel.ViewModel<Name, { readonly [K in keyof H]-?: NonNullable<H[K]> extends (...args: any) => Effect.Effect<any, infer E, any> ? E : never; }[keyof H], { readonly [K in keyof H]-?: NonNullable<H[K]> extends (...args: any) => Effect.Effect<any, any, infer R> ? R : never; }[keyof H]>;
+/**
+ * Runs triggers in the background for as long as the layer lives, apart from
+ * the view models. Workflows usually run commands, so they sit on top of the
+ * command side, which view models are often provided to.
+ */
+export declare const layer: <const Sagas extends ReadonlyArray<ViewModel.Any>>(sagas: Sagas) => Layer.Layer<never, EventStoreError, EventStore | Checkpoints | ViewModel.Context<Sagas[number]>>;
+/** What a saga keeps of a command it ran: enough to wait for view models to see it. */
+export declare const CommandOutcome: Schema.Struct<{
+    readonly aggregateId: Schema.String;
+    readonly version: Schema.Int;
+    readonly position: Schema.Int;
+}>;
+/**
+ * Runs a command as an activity of a saga's workflow, so a replay of the
+ * workflow returns the saved outcome instead of running it again.
+ *
+ * Failures matching `error`, such as a domain error the saga reacts to, are
+ * saved like a success. A lost race or a store error is retried a few times.
+ * Anything else ends the workflow as a defect, which runs its compensations.
+ */
+export declare const command: <Err extends Schema.Top = typeof Schema.Never, E = never, R = never>(name: string, options: {
+    readonly execute: Effect.Effect<CommandResult<unknown>, E, R>;
+    readonly error?: Err | undefined;
+}) => Activity.Activity<typeof CommandOutcome, Err, R>;
+//# sourceMappingURL=Saga.d.ts.map

package/dist/Saga.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Saga.d.ts","sourceRoot":"","sources":["../src/Saga.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAE1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAClE,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;;GAIG;AACH,eAAO,MAAM,eAAe;;;EAG1B,CAAA;AAEF,mFAAmF;AACnF,MAAM,MAAM,YAAY,CACtB,GAAG,SAAS,MAAM,GAAG,MAAM,EAC3B,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAC1D,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,EACvC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,IACnC,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,eAAe,CAAA;CAAE,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;AAElH;;;GAGG;AACH,eAAO,MAAM,QAAQ,GACnB,KAAK,CAAC,GAAG,SAAS,MAAM,EACxB,KAAK,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EACzC,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,IAAI,EACxC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,OAClC,GAAG,WAAW;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,+FAA+F;IAC/F,QAAQ,CAAC,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;IACxE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;IACtB,QAAQ,CAAC,sBAAsB,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,SAAS,CAAA;CAC9E,KAAG,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAIjC,CAAA;AAEX;;;GAGG;AACH,eAAO,MAAM,OAAO,GAClB,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EACnC,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,SAAS,MAAM,CAAC,GAAG,EACxB,CAAC,QAEK,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,WACtC,CACP,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EACnC,WAAW,EAAE,MAAM,KAChB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;wBAvCiB,OAAO,eAAe;;;8PA8C3F,CAAA;AAEH;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,SAAS,MAAM,CAAC,GAAG,EAAE,KAAK,SAAS,MAAM,CAAC,GAAG,QAC3H,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,WACtC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KACpC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,cAAc,CAKlD,CAAA;AAEX;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,UAAU,SAAS,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,EACrD,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,WAC9D;IACT,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;CACrB,oSAAyD,CAAA;AAE1D;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,SAC7D,KAAK,KACX,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,eAAe,EAAE,UAAU,GAAG,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAC9C,CAAA;AAEpD,uFAAuF;AACvF,eAAO,MAAM,cAAc;;;;EAIzB,CAAA;AAQF;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,QAClF,MAAM,WACH;IACP,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,GAAG,SAAS,CAAA;CACjC,KACA,QAAQ,CAAC,QAAQ,CAAC,OAAO,cAAc,EAAE,GAAG,EAAE,CAAC,CAYjD,CAAA"}