effect-cqrs 0.0.0-stage → 0.1.0

package/dist/AggregateService.js

@@ -0,0 +1,181 @@
+/**
+ * Runs an aggregate against the {@link EventStore}: the `command`, `read-model`
+ * and `history` actions of moleculer-cqrs, as a typed service.
+ */
+import { Array as Arr, Effect, Schedule, Schema, Semaphore, Stream } from "effect";
+import * as Aggregate from "./Aggregate.js";
+import { ConcurrencyConflict, EventStore } from "./EventStore.js";
+export class UnknownCommand extends Schema.TaggedError()("UnknownCommand", {
+    aggregateName: Schema.String,
+    type: Schema.String
+}) {
+}
+export class InvalidCommand extends Schema.TaggedError()("InvalidCommand", {
+    aggregateName: Schema.String,
+    type: Schema.String,
+    message: Schema.String
+}) {
+}
+/** A stored event no longer matches the schema, which means the data needs a migration. */
+export class EventDecodeError extends Schema.TaggedError()("EventDecodeError", {
+    aggregateName: Schema.String,
+    aggregateId: Schema.String,
+    version: Schema.Int,
+    type: Schema.String,
+    message: Schema.String
+}) {
+}
+const CommandEnvelope = Schema.Struct({
+    aggregateId: Schema.NonEmptyString,
+    type: Schema.String,
+    payload: Schema.Unknown
+});
+/** Decodes a stored event with the schema of the aggregate it belongs to. */
+export const makeEventDecoder = (aggregate) => {
+    const decode = Schema.decodeUnknownEffect(Schema.toCodecJson(aggregate.events));
+    return (stored) => decode(stored.payload).pipe(Effect.mapError((error) => new EventDecodeError({
+        aggregateName: stored.aggregateName,
+        aggregateId: stored.aggregateId,
+        version: stored.version,
+        type: stored.type,
+        message: error.message
+    })));
+};
+/** Encodes events into the JSON form the store keeps. */
+export const makeEventEncoder = (aggregate) => {
+    const encode = Schema.encodeUnknownEffect(Schema.toCodecJson(aggregate.events));
+    return (event) => encode(event).pipe(
+    // Events come from the aggregate's own handlers, so this is a programming error.
+    Effect.orDie, Effect.map((payload) => ({ type: event._tag, payload: payload })));
+};
+/** Remembers recent states, dropping the least recently used. A `Map` iterates in insertion order. */
+const makeStateCache = (capacity) => {
+    const entries = new Map();
+    return {
+        get: (aggregateId) => {
+            const entry = entries.get(aggregateId);
+            if (entry !== undefined) {
+                entries.delete(aggregateId);
+                entries.set(aggregateId, entry);
+            }
+            return entry;
+        },
+        set: (aggregateId, loaded) => {
+            if (capacity === 0 || (entries.get(aggregateId)?.position ?? 0) > loaded.position)
+                return;
+            entries.delete(aggregateId);
+            entries.set(aggregateId, loaded);
+            if (entries.size > capacity)
+                entries.delete(entries.keys().next().value);
+        }
+    };
+};
+/** Runs effects with the same key one at a time. A key only exists while it is in use. */
+const makeKeyedLock = () => {
+    const locks = new Map();
+    return (key) => (effect) => Effect.acquireUseRelease(Effect.sync(() => {
+        const lock = locks.get(key) ?? { semaphore: Semaphore.makeUnsafe(1), users: 0 };
+        lock.users++;
+        locks.set(key, lock);
+        return lock;
+    }), (lock) => lock.semaphore.withPermit(effect), (lock) => Effect.sync(() => {
+        if (--lock.users === 0)
+            locks.delete(key);
+    }));
+};
+/**
+ * Gives other fibers a turn once in a while. `Effect.forEach` with `concurrency`
+ * carries on as long as items don't suspend, and a store on `node:sqlite` never does,
+ * so a bulk run would finish before any view model ran. Yielding per command is
+ * expensive, so it only happens when a millisecond has passed, using real time
+ * because this is about the CPU. The clock restarts after the yield rather than
+ * before it, so commands started meanwhile suspend too and the loop lets go.
+ */
+const makeTimeSlice = () => {
+    let started = performance.now();
+    return Effect.suspend(() => performance.now() - started < 1
+        ? Effect.void
+        : Effect.andThen(Effect.yieldNow, Effect.sync(() => void (started = performance.now()))));
+};
+// Only a rival outside this service can cause a conflict, so give it room to finish.
+const conflictBackoff = Schedule.exponential("10 millis").pipe(Schedule.jittered);
+export const make = Effect.fnUntraced(function* (aggregate, options) {
+    const store = yield* EventStore;
+    const context = yield* Effect.context();
+    const maxRetries = options?.maxRetries ?? 5;
+    const aggregateName = aggregate.name;
+    const decodeEvent = makeEventDecoder(aggregate);
+    const encodeEvent = makeEventEncoder(aggregate);
+    const states = makeStateCache(options?.stateCacheSize ?? 10_000);
+    const lockStream = makeKeyedLock();
+    const timeSlice = makeTimeSlice();
+    const replay = (stream, initial, step) => stream.pipe(Stream.runFoldEffect(() => initial, (acc, stored) => Effect.map(decodeEvent(stored), (event) => step(acc, event, stored))));
+    const streamOf = (aggregateId, range) => store.read({ aggregateNames: [aggregateName], aggregateIds: [aggregateId], ...range });
+    const replayFrom = (start, aggregateId, finishTime) => replay(streamOf(aggregateId, { finishTime, afterPosition: start.position, afterVersion: start.version }), start, (acc, event, stored) => ({
+        state: Aggregate.evolve(aggregate, acc.state, event, stored),
+        version: stored.version,
+        position: stored.position
+    }));
+    const initial = { state: aggregate.initial, version: 0, position: 0 };
+    // Streams only grow, so a remembered state plus what came after it is the current
+    // state, even if another process wrote those events.
+    const load = (aggregateId, finishTime) => finishTime === undefined
+        ? replayFrom(states.get(aggregateId) ?? initial, aggregateId).pipe(Effect.tap((loaded) => Effect.sync(() => states.set(aggregateId, loaded))))
+        : replayFrom(initial, aggregateId, finishTime);
+    const decide = Effect.fnUntraced(function* (type, aggregateId, payload) {
+        const { position, state, version } = yield* load(aggregateId);
+        const { handler } = aggregate.commands[type];
+        const events = Arr.ensure(yield* handler(state, payload, { aggregateId, version }));
+        if (events.length === 0) {
+            return { aggregateName, aggregateId, version, position, events };
+        }
+        const stored = yield* store.append({
+            aggregateName,
+            aggregateId,
+            expectedVersion: version,
+            events: yield* Effect.forEach(events, encodeEvent)
+        });
+        const last = stored[stored.length - 1];
+        return { aggregateName, aggregateId, version: last.version, position: last.position, events };
+    });
+    // Commands on one stream take turns, so they can't race each other and only a
+    // rival in another process causes a conflict. A handler must not run a command on
+    // its own stream, which would wait for itself.
+    const execute = (type, aggregateId, payload) => decide(type, aggregateId, payload).pipe(Effect.retry({
+        times: maxRetries,
+        while: (error) => error instanceof ConcurrencyConflict,
+        schedule: conflictBackoff
+    }), Effect.provideContext(context), lockStream(aggregateId), (decided) => Effect.andThen(timeSlice, decided), Effect.withSpan(`${aggregateName}.${type}`, { attributes: { "aggregate.id": aggregateId } }));
+    const decodePayload = (type, schema, input) => Schema.decodeUnknownEffect(schema)(input).pipe(Effect.mapError((error) => new InvalidCommand({ aggregateName, type, message: error.message })));
+    const commands = Object.fromEntries(Object.entries(aggregate.commands).map(([type, command]) => [
+        type,
+        (aggregateId, payload) => decodePayload(type, Schema.toType(command.payload), payload).pipe(Effect.flatMap((decoded) => execute(type, aggregateId, decoded)))
+    ]));
+    const decodeEnvelope = Schema.decodeUnknownEffect(CommandEnvelope);
+    const dispatch = (input) => Effect.gen(function* () {
+        const envelope = yield* decodeEnvelope(input).pipe(Effect.mapError((error) => new InvalidCommand({ aggregateName, type: "unknown", message: error.message })));
+        if (!Object.hasOwn(aggregate.commands, envelope.type)) {
+            return yield* new UnknownCommand({ aggregateName, type: envelope.type });
+        }
+        const payload = yield* decodePayload(envelope.type, Schema.toCodecJson(aggregate.commands[envelope.type].payload), envelope.payload);
+        return yield* execute(envelope.type, envelope.aggregateId, payload);
+    });
+    const readModel = (aggregateId, options) => load(aggregateId, options?.finishTime).pipe(Effect.map(({ state }) => state), Effect.withSpan(`${aggregateName}.readModel`, { attributes: { "aggregate.id": aggregateId } }));
+    const history = (aggregateId, options) => replay(streamOf(aggregateId, { startTime: options?.startTime, finishTime: options?.finishTime }), [], (entries, event, stored) => {
+        entries.push({
+            version: stored.version,
+            timestamp: stored.timestamp,
+            type: stored.type,
+            ...(options?.payload === true ? { payload: event } : {})
+        });
+        return entries;
+    }).pipe(Effect.withSpan(`${aggregateName}.history`, { attributes: { "aggregate.id": aggregateId } }));
+    return {
+        aggregate,
+        commands,
+        dispatch,
+        readModel,
+        history
+    };
+});
+//# sourceMappingURL=AggregateService.js.map

package/dist/AggregateService.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AggregateService.js","sourceRoot":"","sources":["../src/AggregateService.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,KAAK,IAAI,GAAG,EAAiB,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjG,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,EACL,mBAAmB,EAEnB,UAAU,EAGX,MAAM,iBAAiB,CAAA;AAExB,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,gBAAgB,EAAE;IACzF,aAAa,EAAE,MAAM,CAAC,MAAM;IAC5B,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC;CAAG;AAEL,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,gBAAgB,EAAE;IACzF,aAAa,EAAE,MAAM,CAAC,MAAM;IAC5B,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL,2FAA2F;AAC3F,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,EAAoB,CAAC,kBAAkB,EAAE;IAC/F,aAAa,EAAE,MAAM,CAAC,MAAM;IAC5B,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,OAAO,EAAE,MAAM,CAAC,GAAG;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAqDL,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,WAAW,EAAE,MAAM,CAAC,cAAc;IAClC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,OAAO;CACxB,CAAC,CAAA;AAEF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAA0B,SAAY,EAAE,EAAE;IACxE,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/E,OAAO,CAAC,MAAmB,EAAuD,EAAE,CAClF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CACzB,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,IAAI,gBAAgB,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CACH,CACqD,CAAA;AAC5D,CAAC,CAAA;AAED,yDAAyD;AACzD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAA0B,SAAY,EAAE,EAAE;IACxE,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/E,OAAO,CAAC,KAAyB,EAAE,EAAE,CACnC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI;IAChB,iFAAiF;IACjF,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,OAAsB,EAAE,CAAC,CAAC,CACjF,CAAA;AACL,CAAC,CAAA;AAQD,sGAAsG;AACtG,MAAM,cAAc,GAAG,CAAQ,QAAgB,EAAE,EAAE;IACjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAA;IAChD,OAAO;QACL,GAAG,EAAE,CAAC,WAAmB,EAAE,EAAE;YAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;YACtC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;gBAC3B,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;YACjC,CAAC;YACD,OAAO,KAAK,CAAA;QACd,CAAC;QACD,GAAG,EAAE,CAAC,WAAmB,EAAE,MAAqB,EAAE,EAAE;YAClD,IAAI,QAAQ,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,QAAQ,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ;gBAAE,OAAM;YACzF,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;YAC3B,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;YAChC,IAAI,OAAO,CAAC,IAAI,GAAG,QAAQ;gBAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAM,CAAC,CAAA;QAC3E,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,0FAA0F;AAC1F,MAAM,aAAa,GAAG,GAAG,EAAE;IACzB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsE,CAAA;IAC3F,OAAO,CAAC,GAAW,EAAE,EAAE,CAAC,CAAU,MAA8B,EAA0B,EAAE,CAC1F,MAAM,CAAC,iBAAiB,CACtB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;QAC/E,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QACpB,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,EACF,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAC3C,CAAC,IAAI,EAAE,EAAE,CACP,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,IAAI,EAAE,IAAI,CAAC,KAAK,KAAK,CAAC;YAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IAC3C,CAAC,CAAC,CACL,CAAA;AACL,CAAC,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,aAAa,GAAG,GAAG,EAAE;IACzB,IAAI,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,CAAA;IAC/B,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CACzB,WAAW,CAAC,GAAG,EAAE,GAAG,OAAO,GAAG,CAAC;QAC7B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAC3F,CAAA;AACH,CAAC,CAAA;AAED,qFAAqF;AACrF,MAAM,eAAe,GAAG,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;AAEjF,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC7C,SAAY,EACZ,OAKC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;IAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAwB,CAAA;IAC7D,MAAM,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,CAAC,CAAA;IAC3C,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAA;IACpC,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAA;IAC/C,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAA;IAC/C,MAAM,MAAM,GAAG,cAAc,CAAqB,OAAO,EAAE,cAAc,IAAI,MAAM,CAAC,CAAA;IACpF,MAAM,UAAU,GAAG,aAAa,EAAE,CAAA;IAClC,MAAM,SAAS,GAAG,aAAa,EAAE,CAAA;IAEjC,MAAM,MAAM,GAAG,CACb,MAAmD,EACnD,OAAY,EACZ,IAAuE,EACvE,EAAE,CACF,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,aAAa,CAClB,GAAG,EAAE,CAAC,OAAO,EACb,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CACtF,CACF,CAAA;IAEH,MAAM,QAAQ,GAAG,CACf,WAAmB,EACnB,KAAwF,EACxF,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,YAAY,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAA;IAE3F,MAAM,UAAU,GAAG,CACjB,KAAiC,EACjC,WAAmB,EACnB,UAAyB,EACzB,EAAE,CACF,MAAM,CACJ,QAAQ,CAAC,WAAW,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,EACjG,KAAK,EACL,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QACvB,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC;QAC5D,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC,CACH,CAAA;IAEH,MAAM,OAAO,GAA+B,EAAE,KAAK,EAAE,SAAS,CAAC,OAA6B,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAA;IAEvH,kFAAkF;IAClF,qDAAqD;IACrD,MAAM,IAAI,GAAG,CAAC,WAAmB,EAAE,UAAyB,EAAE,EAAE,CAC9D,UAAU,KAAK,SAAS;QACtB,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,OAAO,EAAE,WAAW,CAAC,CAAC,IAAI,CAChE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,CAC3E;QACD,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,CAAC,CAAA;IAElD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,IAAY,EAAE,WAAmB,EAAE,OAAgB;QAC5F,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;QAC7D,MAAM,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAE,CAAA;QAC7C,MAAM,MAAM,GAAsC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;QACtH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;QAClE,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;YACjC,aAAa;YACb,WAAW;YACX,eAAe,EAAE,OAAO;YACxB,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC;SACnD,CAAC,CAAA;QACF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAA;QACvC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;IAC/F,CAAC,CAAC,CAAA;IAEF,8EAA8E;IAC9E,kFAAkF;IAClF,+CAA+C;IAC/C,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,WAAmB,EAAE,OAAgB,EAAE,EAAE,CACtE,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,IAAI,CACrC,MAAM,CAAC,KAAK,CAAC;QACX,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,YAAY,mBAAmB;QACtD,QAAQ,EAAE,eAAe;KAC1B,CAAC,EACF,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,EAC9B,UAAU,CAAC,WAAW,CAAC,EACvB,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,EAC/C,MAAM,CAAC,QAAQ,CAAC,GAAG,aAAa,IAAI,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,EAAE,CAAC,CAC7F,CAAA;IAEH,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,MAA+B,EAAE,KAAc,EAAE,EAAE,CACtF,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC5C,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAChG,CAAA;IAEH,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CACjC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;QAC1D,IAAI;QACJ,CAAC,WAAmB,EAAE,OAAgB,EAAE,EAAE,CACxC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAC/D,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CACjE;KACJ,CAAC,CACH,CAAA;IAED,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAA;IAElE,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAE,EAAE,CAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,IAAI,CAChD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAC3G,CAAA;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,OAAO,KAAK,CAAC,CAAC,IAAI,cAAc,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;QAC1E,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAClC,QAAQ,CAAC,IAAI,EACb,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAE,CAAC,OAAO,CAAC,EAC9D,QAAQ,CAAC,OAAO,CACjB,CAAA;QACD,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAA;IACrE,CAAC,CAAC,CAAA;IAEJ,MAAM,SAAS,GAAqC,CAAC,WAAW,EAAE,OAAO,EAAE,EAAE,CAC3E,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,IAAI,CACzC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAChC,MAAM,CAAC,QAAQ,CAAC,GAAG,aAAa,YAAY,EAAE,EAAE,UAAU,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,EAAE,CAAC,CAC/F,CAAA;IAEH,MAAM,OAAO,GAAmC,CAAC,WAAW,EAAE,OAAO,EAAE,EAAE,CACvE,MAAM,CACJ,QAAQ,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EACzF,EAA6C,EAC7C,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;QACzB,OAAO,CAAC,IAAI,CAAC;YACX,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzD,CAAC,CAAA;QACF,OAAO,OAAO,CAAA;IAChB,CAAC,CACF,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,aAAa,UAAU,EAAE,EAAE,UAAU,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,CAAA;IAEtG,OAAO;QACL,SAAS;QACT,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,OAAO;KAC0B,CAAA;AACrC,CAAC,CAAC,CAAA"}

package/dist/Checkpoints.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Remembers how far each view model has read.
+ *
+ * A checkpoint has to live as long as the view model it tracks: pair an
+ * in-memory view model with {@link layerMemory} so it rebuilds from the event
+ * store on restart, and a durable one with a durable checkpoint store.
+ */
+import { Context, Effect, Layer } from "effect";
+import type { EventStoreError } from "./EventStore.ts";
+declare const Checkpoints_base: Context.ServiceClass<Checkpoints, "effect-cqrs/Checkpoints", {
+    /** The last processed position, `0` when the view model never ran. */
+    get(viewModel: string): Effect.Effect<number, EventStoreError>;
+    set(viewModel: string, position: number): Effect.Effect<void, EventStoreError>;
+}>;
+export declare class Checkpoints extends Checkpoints_base {
+}
+export declare const layerMemory: Layer.Layer<Checkpoints>;
+export {};
+//# sourceMappingURL=Checkpoints.d.ts.map

package/dist/Checkpoints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Checkpoints.d.ts","sourceRoot":"","sources":["../src/Checkpoints.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;;IAGpD,sEAAsE;mBACvD,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;mBAC/C,MAAM,YAAY,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC;;AAHhF,qBAAa,WAAY,SAAQ,gBAIF;CAAG;AAElC,eAAO,MAAM,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAM/C,CAAA"}

package/dist/Checkpoints.js

@@ -0,0 +1,18 @@
+/**
+ * Remembers how far each view model has read.
+ *
+ * A checkpoint has to live as long as the view model it tracks: pair an
+ * in-memory view model with {@link layerMemory} so it rebuilds from the event
+ * store on restart, and a durable one with a durable checkpoint store.
+ */
+import { Context, Effect, Layer } from "effect";
+export class Checkpoints extends Context.Service()("effect-cqrs/Checkpoints") {
+}
+export const layerMemory = Layer.sync(Checkpoints, () => {
+    const positions = new Map();
+    return Checkpoints.of({
+        get: (viewModel) => Effect.sync(() => positions.get(viewModel) ?? 0),
+        set: (viewModel, position) => Effect.sync(() => void positions.set(viewModel, position))
+    });
+});
+//# sourceMappingURL=Checkpoints.js.map

package/dist/Checkpoints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Checkpoints.js","sourceRoot":"","sources":["../src/Checkpoints.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAG/C,MAAM,OAAO,WAAY,SAAQ,OAAO,CAAC,OAAO,EAI5C,CAAC,yBAAyB,CAAC;CAAG;AAElC,MAAM,CAAC,MAAM,WAAW,GAA6B,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE;IAChF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC3C,OAAO,WAAW,CAAC,EAAE,CAAC;QACpB,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACpE,GAAG,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;KACzF,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/dist/EventStore.d.ts

@@ -0,0 +1,110 @@
+/**
+ * The append-only log every aggregate and view model is built on.
+ *
+ * Each event belongs to a stream, identified by aggregate name and id, and has
+ * two coordinates: a `version` that orders it inside its stream and a `position`
+ * that orders it across the whole store. Writers use the version for optimistic
+ * concurrency, readers use the position as a durable cursor.
+ */
+import { Context, DateTime, Effect, Layer, Schema, Stream } from "effect";
+declare const EventStoreError_base: Schema.Class<EventStoreError, Schema.TaggedStruct<"EventStoreError", {
+    readonly operation: Schema.String;
+    readonly cause: Schema.Defect;
+}>, import("effect/Cause").YieldableError>;
+export declare class EventStoreError extends EventStoreError_base {
+}
+declare const ConcurrencyConflict_base: Schema.Class<ConcurrencyConflict, Schema.TaggedStruct<"ConcurrencyConflict", {
+    readonly aggregateName: Schema.String;
+    readonly aggregateId: Schema.String;
+    readonly expectedVersion: Schema.Int;
+}>, import("effect/Cause").YieldableError>;
+export declare class ConcurrencyConflict extends ConcurrencyConflict_base {
+}
+export declare const StoredEvent: Schema.Struct<{
+    readonly position: Schema.Int;
+    readonly aggregateName: Schema.String;
+    readonly aggregateId: Schema.String;
+    readonly version: Schema.Int;
+    readonly type: Schema.String;
+    readonly payload: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    readonly timestamp: Schema.DateTimeUtcFromMillis;
+}>;
+export type StoredEvent = typeof StoredEvent.Type;
+export interface NewEvent {
+    readonly type: string;
+    readonly payload: Schema.Json;
+}
+export interface AppendInput {
+    readonly aggregateName: string;
+    readonly aggregateId: string;
+    /** The stream version the writer based its decision on, `0` for a new stream. */
+    readonly expectedVersion: number;
+    readonly events: ReadonlyArray<NewEvent>;
+}
+/**
+ * Selects events by stream, type and time. Omitted fields match everything.
+ * `startTime` is inclusive and `finishTime` is exclusive, so adding one
+ * millisecond to a history timestamp selects up to and including that event.
+ */
+export interface EventFilter {
+    readonly aggregateNames?: ReadonlyArray<string> | undefined;
+    readonly aggregateIds?: ReadonlyArray<string> | undefined;
+    readonly eventTypes?: ReadonlyArray<string> | undefined;
+    readonly startTime?: DateTime.Utc | undefined;
+    readonly finishTime?: DateTime.Utc | undefined;
+    readonly afterPosition?: number | undefined;
+    /**
+     * For a filter on one stream: where to continue in it. Versions follow the stream's
+     * own index, so resuming there costs the same however far the log has moved on.
+     */
+    readonly afterVersion?: number | undefined;
+}
+/** A filter on exactly one stream, which a store can read through that stream's index. */
+export declare const isOneStream: ({ aggregateIds, aggregateNames }: EventFilter) => boolean;
+declare const EventStore_base: Context.ServiceClass<EventStore, "effect-cqrs/EventStore", {
+    /** Appends atomically, failing if the stream moved past `expectedVersion`. */
+    append(input: AppendInput): Effect.Effect<ReadonlyArray<StoredEvent>, ConcurrencyConflict | EventStoreError>;
+    /** Reads the events stored so far, ordered by position, then completes. */
+    read(filter?: EventFilter): Stream.Stream<StoredEvent, EventStoreError>;
+    /** Reads the events stored so far, then keeps following new ones. Never completes. */
+    subscribe(filter?: EventFilter): Stream.Stream<StoredEvent, EventStoreError>;
+    /** The position of the latest event, `0` when the store is empty. */
+    readonly head: Effect.Effect<number, EventStoreError>;
+    /**
+     * Emits the current latest position, then each newly appended one. Consumers
+     * can treat an element as "there may be something new": appends from other
+     * processes are not observed.
+     */
+    readonly changes: Stream.Stream<number>;
+}>;
+export declare class EventStore extends EventStore_base {
+}
+/** What a storage adapter implements. {@link make} builds the rest on top. */
+export interface Backend {
+    readonly append: EventStore["Service"]["append"];
+    readonly readBatch: (filter: EventFilter, afterPosition: number, limit: number) => Effect.Effect<ReadonlyArray<StoredEvent>, EventStoreError>;
+    readonly head: Effect.Effect<number, EventStoreError>;
+}
+export declare const make: (backend: Backend, options?: {
+    readonly batchSize?: number;
+} | undefined) => Effect.Effect<{
+    /** Appends atomically, failing if the stream moved past `expectedVersion`. */
+    append(input: AppendInput): Effect.Effect<ReadonlyArray<StoredEvent>, ConcurrencyConflict | EventStoreError>;
+    /** Reads the events stored so far, ordered by position, then completes. */
+    read(filter?: EventFilter): Stream.Stream<StoredEvent, EventStoreError>;
+    /** Reads the events stored so far, then keeps following new ones. Never completes. */
+    subscribe(filter?: EventFilter): Stream.Stream<StoredEvent, EventStoreError>;
+    /** The position of the latest event, `0` when the store is empty. */
+    readonly head: Effect.Effect<number, EventStoreError>;
+    /**
+     * Emits the current latest position, then each newly appended one. Consumers
+     * can treat an element as "there may be something new": appends from other
+     * processes are not observed.
+     */
+    readonly changes: Stream.Stream<number>;
+}, EventStoreError, never>;
+export declare const makeMemory: Effect.Effect<EventStore["Service"], EventStoreError>;
+/** Keeps events in process memory. They do not survive a restart. */
+export declare const layerMemory: Layer.Layer<EventStore, EventStoreError>;
+export {};
+//# sourceMappingURL=EventStore.d.ts.map

package/dist/EventStore.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EventStore.d.ts","sourceRoot":"","sources":["../src/EventStore.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAe,MAAM,EAAE,MAAM,EAAmB,MAAM,QAAQ,CAAA;;;;;AAEvG,qBAAa,eAAgB,SAAQ,oBAGnC;CAAG;;;;;;AAEL,qBAAa,mBAAoB,SAAQ,wBAIvC;CAAG;AAEL,eAAO,MAAM,WAAW;;;;;;;;EAQtB,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAA;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,iFAAiF;IACjF,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,cAAc,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IAC3D,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACzD,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACvD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,GAAG,GAAG,SAAS,CAAA;IAC7C,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,GAAG,GAAG,SAAS,CAAA;IAC9C,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC3C;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC3C;AAED,0FAA0F;AAC1F,eAAO,MAAM,WAAW,qCAAsC,WAAW,KAAG,OAChB,CAAA;;IAG1D,8EAA8E;kBAChE,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,mBAAmB,GAAG,eAAe,CAAC;IAC5G,2EAA2E;kBAC7D,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC;IACvE,sFAAsF;uBACnE,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC;IAC5E,qEAAqE;mBACtD,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACrD;;;;OAIG;sBACe,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;;AAdzC,qBAAa,UAAW,SAAQ,eAeF;CAAG;AAEjC,8EAA8E;AAC9E,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAA;IAChD,QAAQ,CAAC,SAAS,EAAE,CAClB,MAAM,EAAE,WAAW,EACnB,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,MAAM,KACV,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC,CAAA;IAC/D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CACtD;AAED,eAAO,MAAM,IAAI;yBAAkF,MAAM;;IA3BvG,8EAA8E;kBAChE,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,mBAAmB,GAAG,eAAe,CAAC;IAC5G,2EAA2E;kBAC7D,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC;IACvE,sFAAsF;uBACnE,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC;IAC5E,qEAAqE;mBACtD,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACrD;;;;OAIG;sBACe,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;0BAyEvC,CAAA;AAuBF,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,eAAe,CAmD3E,CAAA;AAEF,qEAAqE;AACrE,eAAO,MAAM,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,eAAe,CAAwC,CAAA"}

package/dist/EventStore.js

@@ -0,0 +1,136 @@
+/**
+ * The append-only log every aggregate and view model is built on.
+ *
+ * Each event belongs to a stream, identified by aggregate name and id, and has
+ * two coordinates: a `version` that orders it inside its stream and a `position`
+ * that orders it across the whole store. Writers use the version for optimistic
+ * concurrency, readers use the position as a durable cursor.
+ */
+import { Context, DateTime, Effect, Layer, Option, Ref, Schema, Stream, SubscriptionRef } from "effect";
+export class EventStoreError extends Schema.TaggedError()("EventStoreError", {
+    operation: Schema.String,
+    cause: Schema.Defect()
+}) {
+}
+export class ConcurrencyConflict extends Schema.TaggedError()("ConcurrencyConflict", {
+    aggregateName: Schema.String,
+    aggregateId: Schema.String,
+    expectedVersion: Schema.Int
+}) {
+}
+export const StoredEvent = Schema.Struct({
+    position: Schema.Int,
+    aggregateName: Schema.String,
+    aggregateId: Schema.String,
+    version: Schema.Int,
+    type: Schema.String,
+    payload: Schema.Json,
+    timestamp: Schema.DateTimeUtcFromMillis
+});
+/** A filter on exactly one stream, which a store can read through that stream's index. */
+export const isOneStream = ({ aggregateIds, aggregateNames }) => aggregateNames?.length === 1 && aggregateIds?.length === 1;
+export class EventStore extends Context.Service()("effect-cqrs/EventStore") {
+}
+export const make = Effect.fnUntraced(function* (backend, options) {
+    const batchSize = options?.batchSize ?? 500;
+    const latest = yield* SubscriptionRef.make(yield* backend.head);
+    const append = Effect.fn("EventStore.append")((input) => backend.append(input).pipe(Effect.tap((stored) => {
+        const last = stored.at(-1);
+        return last === undefined
+            ? Effect.void
+            : SubscriptionRef.update(latest, (position) => Math.max(position, last.position));
+    })));
+    const read = (filter = {}) => Stream.paginate({ afterPosition: filter.afterPosition ?? 0, afterVersion: filter.afterVersion ?? 0 }, ({ afterPosition, afterVersion }) => backend.readBatch({ ...filter, afterVersion }, afterPosition, batchSize).pipe(Effect.map((events) => {
+        const last = events.at(-1);
+        return [
+            events,
+            last === undefined || events.length < batchSize
+                ? Option.none()
+                : Option.some({ afterPosition: last.position, afterVersion: last.version })
+        ];
+    })));
+    const subscribe = (filter = {}) => Stream.unwrap(Effect.gen(function* () {
+        const cursor = yield* Ref.make({ position: filter.afterPosition ?? 0, version: filter.afterVersion ?? 0 });
+        return SubscriptionRef.changes(latest).pipe(Stream.filterEffect((position) => Effect.map(Ref.get(cursor), (seen) => position > seen.position)), Stream.flatMap((position) => Stream.unwrap(Effect.map(Ref.get(cursor), (seen) => read({ ...filter, afterPosition: seen.position, afterVersion: seen.version }))).pipe(Stream.tap((event) => Ref.set(cursor, { position: event.position, version: event.version })), 
+        // Events the filter skipped must not trigger another read.
+        Stream.ensuring(Ref.update(cursor, (seen) => seen.position >= position ? seen : { ...seen, position })))));
+    }));
+    return EventStore.of({
+        append,
+        read,
+        subscribe,
+        head: backend.head,
+        changes: SubscriptionRef.changes(latest)
+    });
+});
+const matches = (filter, event) => (filter.aggregateNames?.includes(event.aggregateName) ?? true) &&
+    (filter.aggregateIds?.includes(event.aggregateId) ?? true) &&
+    (filter.eventTypes?.includes(event.type) ?? true) &&
+    (filter.startTime === undefined || !DateTime.isLessThan(event.timestamp, filter.startTime)) &&
+    (filter.finishTime === undefined || DateTime.isLessThan(event.timestamp, filter.finishTime));
+/** The index of the first event past `position`, in events sorted by position. */
+const firstAfter = (events, position) => {
+    let low = 0;
+    let high = events.length;
+    while (low < high) {
+        const middle = (low + high) >>> 1;
+        if (events[middle].position <= position)
+            low = middle + 1;
+        else
+            high = middle;
+    }
+    return low;
+};
+const streamKey = (aggregateName, aggregateId) => JSON.stringify([aggregateName, aggregateId]);
+export const makeMemory = Effect.gen(function* () {
+    const events = [];
+    const streams = new Map();
+    // Every command reads one stream, which shouldn't cost a walk through the whole log.
+    const candidates = (filter) => isOneStream(filter)
+        ? streams.get(streamKey(filter.aggregateNames[0], filter.aggregateIds[0])) ?? []
+        : events;
+    return yield* make({
+        append: Effect.fnUntraced(function* (input) {
+            const timestamp = yield* DateTime.now;
+            const key = streamKey(input.aggregateName, input.aggregateId);
+            const stream = streams.get(key) ?? [];
+            const version = stream.length;
+            if (version !== input.expectedVersion) {
+                return yield* new ConcurrencyConflict({
+                    aggregateName: input.aggregateName,
+                    aggregateId: input.aggregateId,
+                    expectedVersion: input.expectedVersion
+                });
+            }
+            const stored = input.events.map((event, index) => ({
+                position: events.length + index + 1,
+                aggregateName: input.aggregateName,
+                aggregateId: input.aggregateId,
+                version: version + index + 1,
+                type: event.type,
+                payload: event.payload,
+                timestamp
+            }));
+            for (const event of stored) {
+                events.push(event);
+                stream.push(event);
+            }
+            streams.set(key, stream);
+            return stored;
+        }),
+        readBatch: (filter, afterPosition, limit) => Effect.sync(() => {
+            const source = candidates(filter);
+            const batch = [];
+            for (let index = firstAfter(source, afterPosition); index < source.length && batch.length < limit; index++) {
+                const event = source[index];
+                if (matches(filter, event))
+                    batch.push(event);
+            }
+            return batch;
+        }),
+        head: Effect.sync(() => events.length)
+    });
+});
+/** Keeps events in process memory. They do not survive a restart. */
+export const layerMemory = Layer.effect(EventStore, makeMemory);
+//# sourceMappingURL=EventStore.js.map

package/dist/EventStore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EventStore.js","sourceRoot":"","sources":["../src/EventStore.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAA;AAEvG,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAAmB,CAAC,iBAAiB,EAAE;IAC5F,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;CACvB,CAAC;CAAG;AAEL,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,EAAuB,CAAC,qBAAqB,EAAE;IACxG,aAAa,EAAE,MAAM,CAAC,MAAM;IAC5B,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,eAAe,EAAE,MAAM,CAAC,GAAG;CAC5B,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,MAAM,CAAC,GAAG;IACpB,aAAa,EAAE,MAAM,CAAC,MAAM;IAC5B,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,OAAO,EAAE,MAAM,CAAC,GAAG;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,IAAI;IACpB,SAAS,EAAE,MAAM,CAAC,qBAAqB;CACxC,CAAC,CAAA;AAmCF,0FAA0F;AAC1F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,EAAE,YAAY,EAAE,cAAc,EAAe,EAAW,EAAE,CACpF,cAAc,EAAE,MAAM,KAAK,CAAC,IAAI,YAAY,EAAE,MAAM,KAAK,CAAC,CAAA;AAE5D,MAAM,OAAO,UAAW,SAAQ,OAAO,CAAC,OAAO,EAe3C,CAAC,wBAAwB,CAAC;CAAG;AAajC,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,OAAgB,EAAE,OAAyC;IACzG,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,IAAI,GAAG,CAAA;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAE/D,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAkB,EAAE,EAAE,CACnE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CACxB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1B,OAAO,IAAI,KAAK,SAAS;YACvB,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;IACrF,CAAC,CAAC,CACH,CACF,CAAA;IAED,MAAM,IAAI,GAAG,CAAC,MAAM,GAAgB,EAAE,EAAE,EAAE,CACxC,MAAM,CAAC,QAAQ,CACb,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,IAAI,CAAC,EAAE,EACpF,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,EAAE,EAAE,CAClC,OAAO,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,IAAI,CAC3E,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1B,OAAO;YACL,MAAM;YACN,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,SAAS;gBAC7C,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;gBACf,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;SACrE,CAAA;IACZ,CAAC,CAAC,CACH,CACJ,CAAA;IAEH,MAAM,SAAS,GAAG,CAAC,MAAM,GAAgB,EAAE,EAAE,EAAE,CAC7C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAChC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,aAAa,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,CAAA;QAC1G,OAAO,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CACzC,MAAM,CAAC,YAAY,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,EAClG,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC1B,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CACnC,IAAI,CAAC,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CACjF,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5F,2DAA2D;QAC3D,MAAM,CAAC,QAAQ,CACb,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC,CACvF,CACF,CACF,CACF,CAAA;IACH,CAAC,CAAC,CAAC,CAAA;IAEL,OAAO,UAAU,CAAC,EAAE,CAAC;QACnB,MAAM;QACN,IAAI;QACJ,SAAS;QACT,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC;KACzC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,MAAM,OAAO,GAAG,CAAC,MAAmB,EAAE,KAAkB,EAAW,EAAE,CACnE,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC;IAC9D,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC;IAC1D,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IACjD,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAC3F,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA;AAE9F,kFAAkF;AAClF,MAAM,UAAU,GAAG,CAAC,MAAkC,EAAE,QAAgB,EAAU,EAAE;IAClF,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,IAAI,IAAI,GAAG,MAAM,CAAC,MAAM,CAAA;IACxB,OAAO,GAAG,GAAG,IAAI,EAAE,CAAC;QAClB,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;QACjC,IAAI,MAAM,CAAC,MAAM,CAAE,CAAC,QAAQ,IAAI,QAAQ;YAAE,GAAG,GAAG,MAAM,GAAG,CAAC,CAAA;;YACrD,IAAI,GAAG,MAAM,CAAA;IACpB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,aAAqB,EAAE,WAAmB,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAA;AAE9G,MAAM,CAAC,MAAM,UAAU,GAA0D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnG,MAAM,MAAM,GAAuB,EAAE,CAAA;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAA;IAErD,qFAAqF;IACrF,MAAM,UAAU,GAAG,CAAC,MAAmB,EAA8B,EAAE,CACrE,WAAW,CAAC,MAAM,CAAC;QACjB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,cAAe,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,YAAa,CAAC,CAAC,CAAE,CAAC,CAAC,IAAI,EAAE;QACpF,CAAC,CAAC,MAAM,CAAA;IAEZ,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,KAAK;YACvC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAA;YACrC,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,CAAA;YAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;YACrC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAA;YAC7B,IAAI,OAAO,KAAK,KAAK,CAAC,eAAe,EAAE,CAAC;gBACtC,OAAO,KAAK,CAAC,CAAC,IAAI,mBAAmB,CAAC;oBACpC,aAAa,EAAE,KAAK,CAAC,aAAa;oBAClC,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;iBACvC,CAAC,CAAA;YACJ,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAe,EAAE,CAAC,CAAC;gBAC9D,QAAQ,EAAE,MAAM,CAAC,MAAM,GAAG,KAAK,GAAG,CAAC;gBACnC,aAAa,EAAE,KAAK,CAAC,aAAa;gBAClC,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,OAAO,EAAE,OAAO,GAAG,KAAK,GAAG,CAAC;gBAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,SAAS;aACV,CAAC,CAAC,CAAA;YACH,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBAClB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACpB,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;YACxB,OAAO,MAAM,CAAA;QACf,CAAC,CAAC;QACF,SAAS,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,EAAE,CAC1C,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAA;YACjC,MAAM,KAAK,GAAuB,EAAE,CAAA;YACpC,KAAK,IAAI,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC3G,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAE,CAAA;gBAC5B,IAAI,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAC/C,CAAC;YACD,OAAO,KAAK,CAAA;QACd,CAAC,CAAC;QACJ,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;KACvC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,qEAAqE;AACrE,MAAM,CAAC,MAAM,WAAW,GAA6C,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA"}

package/dist/Fixture.d.ts

@@ -0,0 +1,71 @@
+/**
+ * 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.
+ */
+import { Effect, Schema } from "effect";
+import type * as Aggregate from "./Aggregate.ts";
+import * as AggregateService from "./AggregateService.ts";
+declare const ExpectationFailed_base: Schema.Class<ExpectationFailed, Schema.TaggedStruct<"ExpectationFailed", {
+    readonly message: Schema.String;
+    readonly expected: Schema.Unknown;
+    readonly actual: Schema.Unknown;
+}>, import("effect/Cause").YieldableError>;
+/** Raised as a defect, so a command's error channel only holds what the command can do. */
+export declare class ExpectationFailed extends ExpectationFailed_base {
+}
+export interface Outcome<A extends Aggregate.Any> {
+    readonly events: ReadonlyArray<Aggregate.Event<A>>;
+    readonly state: Aggregate.State<A>;
+    readonly version: number;
+    /** Continues from here, with this outcome's events as the new history. */
+    readonly fixture: Fixture<A>;
+}
+/** An event to compare with, or only its tag when the rest doesn't matter. */
+export type ExpectedEvent<A extends Aggregate.Any> = Aggregate.Event<A> | Aggregate.Event<A>["_tag"];
+/**
+ * The steps so far. Nothing runs until it is yielded or run as an Effect, which
+ * produces the {@link Outcome} of the last command.
+ */
+export interface Scenario<A extends Aggregate.Any, E, R> extends Effect.Effect<Outcome<A>, E, R> {
+    /** Runs another command on top of the previous one. */
+    when<K extends Aggregate.CommandName<A>>(command: K, payload: Aggregate.Payload<A, K>): Scenario<A, E | Aggregate.CommandError<A, K> | AggregateService.CommandFailure, R | Aggregate.Context<A>>;
+    /** Runs a command that is expected to fail and returns the error. Dies if it succeeds. */
+    whenFails<K extends Aggregate.CommandName<A>>(command: K, payload: Aggregate.Payload<A, K>): Effect.Effect<Aggregate.CommandError<A, K> | AggregateService.CommandFailure, E, R | Aggregate.Context<A>>;
+    /** Expects the last command to have emitted exactly this event. */
+    expectEvent(event: ExpectedEvent<A>): Scenario<A, E, R>;
+    /** Expects the last command to have emitted exactly these events, in order. */
+    expectEvents(events: ReadonlyArray<ExpectedEvent<A>>): Scenario<A, E, R>;
+    /** Passes the current state to a callback, which throws to fail the test. */
+    inspectState(check: (state: Aggregate.State<A>) => void): Scenario<A, E, R>;
+}
+export interface Fixture<A extends Aggregate.Any> {
+    /** Replaces the history the next command runs against. */
+    given(events: ReadonlyArray<Aggregate.Event<A>>): Fixture<A>;
+    /** Like `given`, starting from an empty history by default and optionally switching aggregate id. */
+    givenEvents(events?: ReadonlyArray<Aggregate.Event<A>>, aggregateId?: string): Fixture<A>;
+    /** The state after the given events, without running a command. */
+    readonly state: Effect.Effect<Aggregate.State<A>, AggregateService.ReadError, Aggregate.Context<A>>;
+    /** Passes the state after the given events to a callback, which throws to fail the test. */
+    inspectState(check: (state: Aggregate.State<A>) => void): Scenario<A, AggregateService.ReadError, Aggregate.Context<A>>;
+    when<K extends Aggregate.CommandName<A>>(command: K, payload: Aggregate.Payload<A, K>): Scenario<A, Aggregate.CommandError<A, K> | AggregateService.CommandFailure, Aggregate.Context<A>>;
+    /** Runs a command that is expected to fail and returns the error. Dies if it succeeds. */
+    whenFails<K extends Aggregate.CommandName<A>>(command: K, payload: Aggregate.Payload<A, K>): Effect.Effect<Aggregate.CommandError<A, K> | AggregateService.CommandFailure, never, Aggregate.Context<A>>;
+}
+export declare const make: <A extends Aggregate.Any>(aggregate: A, options?: {
+    readonly aggregateId?: string;
+    readonly events?: ReadonlyArray<Aggregate.Event<A>>;
+}) => Fixture<A>;
+export {};
+//# sourceMappingURL=Fixture.d.ts.map

package/dist/Fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Fixture.d.ts","sourceRoot":"","sources":["../src/Fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,MAAM,EAAc,MAAM,EAAE,MAAM,QAAQ,CAAA;AACnD,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAChD,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;;;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,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IAC5D,qGAAqG;IACrG,WAAW,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACzF,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;CAC9G;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,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;CACpD,KACA,OAAO,CAAC,CAAC,CA+DX,CAAA"}