effect-cqrs 0.0.0-stage → 0.1.0

package/dist/ViewModel.js

@@ -0,0 +1,170 @@
+/**
+ * The read side: projections of events into whatever storage a query needs.
+ *
+ * Moleculer-cqrs pushes events to view models over the broker, so an event sent
+ * while a service is down is lost until someone replays. Here each view model
+ * pulls from the store from its own checkpoint, so it can't miss anything, and
+ * delivery is at least once: a handler can see an event again after a crash and
+ * should be idempotent.
+ */
+import { Context, Duration, Effect, Layer, Option, Ref, Schedule, Schema, Semaphore, Stream, SubscriptionRef } from "effect";
+import { makeEventDecoder } from "./AggregateService.js";
+import { Checkpoints } from "./Checkpoints.js";
+import { EventStore } from "./EventStore.js";
+export class UnknownViewModel extends Schema.TaggedError()("UnknownViewModel", {
+    name: Schema.String
+}) {
+}
+export class ViewModelError extends Schema.TaggedError()("ViewModelError", {
+    viewModel: Schema.String,
+    /** The event being processed, `0` when the failure happened outside any event. */
+    position: Schema.Int,
+    cause: Schema.Defect()
+}) {
+}
+/** Handlers are keyed by event tag, and events without one are skipped. */
+export const make = (options) => options;
+export class ViewModels extends Context.Service()("effect-cqrs/ViewModels") {
+}
+// Stalled view models keep their place so events are never processed out of order.
+const retryDelay = (attempt) => Duration.millis(Math.min(100 * 2 ** attempt, 30_000));
+// Following the log moves a few events at a time, and a checkpoint for each of those
+// moves is a commit per view model per event. Saving less often only means that a
+// crash repeats more, which handlers already have to cope with.
+const checkpointInterval = 500;
+// How far behind a view model can be and still read the tail everyone shares. It is
+// one page of the store, so a shared read never has to page.
+const tailSize = 500;
+/**
+ * Reads the end of the log once for all view models. When they are caught up they
+ * wake on the same append and want the same few events, so each reading them for
+ * itself is most of what a view model costs.
+ */
+const makeTail = (store, viewModels) => {
+    const filter = {
+        aggregateNames: Array.from(new Set(viewModels.flatMap((viewModel) => viewModel.aggregates.map(({ name }) => name)))),
+        eventTypes: Array.from(new Set(viewModels.flatMap((viewModel) => Object.keys(viewModel.handlers))))
+    };
+    const decoded = new WeakMap();
+    let last;
+    return {
+        read: (afterPosition, latest) => Effect.suspend(() => last?.afterPosition === afterPosition && last.latest === latest
+            ? Effect.succeed(last.events)
+            : Stream.runCollect(store.read({ ...filter, afterPosition })).pipe(Effect.tap((events) => Effect.sync(() => void (last = { afterPosition, latest, events }))))),
+        decoded
+    };
+};
+const makeRunner = Effect.fnUntraced(function* (viewModel, tail) {
+    const store = yield* EventStore;
+    const checkpoints = yield* Checkpoints;
+    const context = yield* Effect.context();
+    const provide = (effect) => Effect.provideContext(effect, context);
+    const semaphore = yield* Semaphore.make(1);
+    const name = viewModel.name;
+    const fail = (position) => (cause) => new ViewModelError({ viewModel: name, position, cause });
+    const checkpoint = yield* checkpoints.get(name);
+    const position = yield* SubscriptionRef.make(checkpoint);
+    const saved = yield* Ref.make(checkpoint);
+    const lastError = yield* Ref.make(Option.none());
+    const stall = yield* Ref.make({ position: -1, attempts: 0 });
+    const decoders = new Map(viewModel.aggregates.map((aggregate) => [aggregate.name, makeEventDecoder(aggregate)]));
+    const filter = {
+        aggregateNames: Array.from(decoders.keys()),
+        eventTypes: Object.keys(viewModel.handlers)
+    };
+    const wants = (stored) => decoders.has(stored.aggregateName) && Object.hasOwn(viewModel.handlers, stored.type);
+    const decode = (stored) => decoders.get(stored.aggregateName)(stored);
+    // Events from the tail are the same objects for everyone, so the first to decode one
+    // does it for the rest.
+    const decodeShared = (stored) => tail.decoded.has(stored)
+        ? Effect.succeed(tail.decoded.get(stored))
+        : decode(stored).pipe(Effect.tap((event) => Effect.sync(() => void tail.decoded.set(stored, event))));
+    const handle = (decodeEvent) => (stored) => Effect.gen(function* () {
+        const event = yield* decodeEvent(stored);
+        yield* viewModel.handlers[stored.type](event, stored);
+    }).pipe(Effect.mapError(fail(stored.position)), Effect.catchDefect((defect) => Effect.fail(fail(stored.position)(defect))));
+    const save = (to) => checkpoints.set(name, to).pipe(Effect.mapError(fail(0)), Effect.andThen(Ref.set(saved, to)));
+    const advance = (to) => Ref.get(saved).pipe(Effect.flatMap((last) => to < last || to - last >= checkpointInterval ? save(to) : Effect.void), Effect.andThen(SubscriptionRef.set(position, to)));
+    // Finalizers run last to first, so this one sees the fiber below already stopped.
+    yield* Effect.addFinalizer(() => SubscriptionRef.get(position).pipe(Effect.flatMap(save), Effect.ignore));
+    // A crash repeats at most what came after the last saved checkpoint: two batches.
+    const processBatch = (batch, decodeEvent) => Effect.forEach(batch, handle(decodeEvent), { discard: true }).pipe(Effect.andThen(advance(batch[batch.length - 1].position)));
+    const consume = (eventFilter, onBatch) => store.read(eventFilter).pipe(Stream.mapError(fail(0)), Stream.runForEachArray((batch) => processBatch(batch, decode).pipe(Effect.andThen(onBatch(batch.length)))));
+    const follow = (afterPosition, latest) => tail.read(afterPosition, latest).pipe(Effect.mapError(fail(0)), Effect.map((events) => events.filter(wants)), Effect.flatMap((events) => events.length === 0 ? Effect.void : processBatch(events, decodeShared)));
+    // Moves past the end of the log even when the last events were not for this view model.
+    const settle = (head) => SubscriptionRef.get(position).pipe(Effect.flatMap((current) => current < head ? advance(head) : Effect.void));
+    const catchUp = (latest) => Effect.gen(function* () {
+        const afterPosition = yield* SubscriptionRef.get(position);
+        if (latest <= afterPosition)
+            return;
+        if (latest - afterPosition <= tailSize)
+            yield* follow(afterPosition, latest);
+        else
+            yield* consume({ ...filter, afterPosition }, () => Effect.void);
+        yield* settle(latest);
+    }).pipe(semaphore.withPermit, provide);
+    // Failing again at the same place doubles the delay. Having moved on means that
+    // stall is over, so the next one starts from the shortest delay.
+    const backOff = (error) => Effect.gen(function* () {
+        const current = yield* SubscriptionRef.get(position);
+        const attempt = yield* Ref.modify(stall, (last) => {
+            const attempts = last.position === current ? last.attempts + 1 : 0;
+            return [attempts, { position: current, attempts }];
+        });
+        yield* Ref.set(lastError, Option.some(error));
+        yield* Effect.logError(`View model ${name} failed, retrying`, error);
+        yield* Effect.sleep(retryDelay(attempt));
+    });
+    yield* store.changes.pipe(Stream.filterEffect((latest) => Effect.map(SubscriptionRef.get(position), (current) => latest > current)), Stream.runForEach((latest) => catchUp(latest).pipe(Effect.tapError(backOff), Effect.retry(Schedule.forever), Effect.andThen(Ref.set(lastError, Option.none())))), Effect.forkScoped);
+    const replay = (range) => Effect.gen(function* () {
+        // The checkpoint is cleared first: a crash in between then replays over
+        // old data, which is safe for idempotent handlers, instead of leaving a
+        // disposed view model that resumes from a stale position.
+        yield* advance(0);
+        yield* viewModel.dispose.pipe(Effect.mapError(fail(0)));
+        const head = yield* store.head.pipe(Effect.mapError(fail(0)));
+        const count = yield* Ref.make(0);
+        yield* consume({ ...filter, ...range }, (size) => Ref.update(count, (n) => n + size));
+        yield* settle(head);
+        return yield* Ref.get(count);
+    }).pipe(semaphore.withPermit, provide);
+    const caughtUp = (target) => SubscriptionRef.changes(position).pipe(Stream.filter((current) => current >= target), Stream.runHead, Effect.asVoid);
+    const status = Effect.gen(function* () {
+        return {
+            name,
+            position: yield* SubscriptionRef.get(position),
+            lastError: yield* Ref.get(lastError)
+        };
+    });
+    return { name, replay, caughtUp, status };
+});
+/** Starts the view models in the background for as long as the layer lives. */
+export const layer = (viewModels) => Layer.effect(ViewModels, Effect.gen(function* () {
+    const store = yield* EventStore;
+    const tail = makeTail(store, viewModels);
+    const runners = yield* Effect.forEach(viewModels, (viewModel) => makeRunner(viewModel, tail));
+    const replay = Effect.fn("ViewModels.replay")(function* (options) {
+        const selected = yield* Effect.forEach(options.viewModels, (name) => {
+            const runner = runners.find((runner) => runner.name === name);
+            return runner === undefined ? new UnknownViewModel({ name }) : Effect.succeed(runner);
+        });
+        const counts = yield* Effect.forEach(selected, (runner) => runner.replay({ startTime: options.startTime, finishTime: options.finishTime }), { concurrency: "unbounded" });
+        return {
+            viewModels: options.viewModels,
+            eventCount: counts.reduce((total, count) => total + count, 0)
+        };
+    });
+    const caughtUp = Effect.fn("ViewModels.caughtUp")(function* (position) {
+        const target = position ?? (yield* store.head);
+        yield* Effect.forEach(runners, (runner) => runner.caughtUp(target), {
+            concurrency: "unbounded",
+            discard: true
+        });
+    });
+    return ViewModels.of({
+        replay,
+        caughtUp,
+        status: Effect.forEach(runners, (runner) => runner.status)
+    });
+}));
+//# sourceMappingURL=ViewModel.js.map

package/dist/ViewModel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ViewModel.js","sourceRoot":"","sources":["../src/ViewModel.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EACL,OAAO,EACP,QAAQ,EACR,MAAM,EACN,KAAK,EACL,MAAM,EACN,GAAG,EACH,QAAQ,EACR,MAAM,EACN,SAAS,EACT,MAAM,EACN,eAAe,EAChB,MAAM,QAAQ,CAAA;AAGf,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAoB,UAAU,EAA0C,MAAM,iBAAiB,CAAA;AAEtG,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,EAAoB,CAAC,kBAAkB,EAAE;IAC/F,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC;CAAG;AAEL,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,gBAAgB,EAAE;IACzF,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,kFAAkF;IAClF,QAAQ,EAAE,MAAM,CAAC,GAAG;IACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;CACvB,CAAC;CAAG;AA6BL,2EAA2E;AAC3E,MAAM,CAAC,MAAM,IAAI,GAAG,CAMlB,OAKD,EAA+D,EAAE,CAAC,OAAc,CAAA;AAoBjF,MAAM,OAAO,UAAW,SAAQ,OAAO,CAAC,OAAO,EAc3C,CAAC,wBAAwB,CAAC;CAAG;AAEjC,mFAAmF;AACnF,MAAM,UAAU,GAAG,CAAC,OAAe,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;AAE7F,qFAAqF;AACrF,kFAAkF;AAClF,gEAAgE;AAChE,MAAM,kBAAkB,GAAG,GAAG,CAAA;AAE9B,oFAAoF;AACpF,6DAA6D;AAC7D,MAAM,QAAQ,GAAG,GAAG,CAAA;AAEpB;;;;GAIG;AACH,MAAM,QAAQ,GAAG,CAAC,KAA4B,EAAE,UAA8B,EAAE,EAAE;IAChF,MAAM,MAAM,GAAgB;QAC1B,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpH,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;KACpG,CAAA;IACD,MAAM,OAAO,GAAG,IAAI,OAAO,EAAwB,CAAA;IACnD,IAAI,IAA0H,CAAA;IAE9H,OAAO;QACL,IAAI,EAAE,CAAC,aAAqB,EAAE,MAAc,EAAE,EAAE,CAC9C,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAClB,IAAI,EAAE,aAAa,KAAK,aAAa,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YAC7D,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;YAC7B,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAChE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAC3F,CACJ;QACH,OAAO;KACR,CAAA;AACH,CAAC,CAAA;AAID,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAgB,SAAY,EAAE,IAAU;IACpF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;IAC/B,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,WAAW,CAAA;IACtC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAc,CAAA;IACnD,MAAM,OAAO,GAAG,CAAO,MAAgC,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,CAAwB,CAAA;IACzH,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAA;IAE3B,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,EAAE,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;IAE/G,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IACxD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAkB,CAAC,CAAA;IAChE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAA;IAE5D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAChH,MAAM,MAAM,GAAgB;QAC1B,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC3C,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;KAC5C,CAAA;IACD,MAAM,KAAK,GAAG,CAAC,MAAmB,EAAE,EAAE,CACpC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IAEtF,MAAM,MAAM,GAAG,CAAC,MAAmB,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAE,CAAC,MAAM,CAAC,CAAA;IAEnF,qFAAqF;IACrF,wBAAwB;IACxB,MAAM,YAAY,GAAG,CAAC,MAAmB,EAAE,EAAE,CAC3C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;QACtB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAEzG,MAAM,MAAM,GAAG,CAAC,WAAqE,EAAE,EAAE,CAAC,CAAC,MAAmB,EAAE,EAAE,CAChH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;QACxC,KAAK,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAE,CAAC,KAAc,EAAE,MAAM,CAAC,CAAA;IACjE,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EACtC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAC3E,CAAA;IAEH,MAAM,IAAI,GAAG,CAAC,EAAU,EAAE,EAAE,CAC1B,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAC5B,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EACxB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CACnC,CAAA;IAEH,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAE,CAC7B,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CACjB,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,GAAG,IAAI,IAAI,EAAE,GAAG,IAAI,IAAI,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAC/F,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAClD,CAAA;IAEH,kFAAkF;IAClF,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IAEzG,kFAAkF;IAClF,MAAM,YAAY,GAAG,CAAC,KAAiC,EAAE,WAAgD,EAAE,EAAE,CAC3G,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAChE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,CAC3D,CAAA;IAEH,MAAM,OAAO,GAAG,CAAC,WAAwB,EAAE,OAA8C,EAAE,EAAE,CAC3F,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EACxB,MAAM,CAAC,eAAe,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAC3G,CAAA;IAEH,MAAM,MAAM,GAAG,CAAC,aAAqB,EAAE,MAAc,EAAE,EAAE,CACvD,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,IAAI,CACnC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EACxB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAC5C,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CACnG,CAAA;IAEH,wFAAwF;IACxF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAC9B,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAChC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAC1E,CAAA;IAEH,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,EAAE,CACjC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC1D,IAAI,MAAM,IAAI,aAAa;YAAE,OAAM;QACnC,IAAI,MAAM,GAAG,aAAa,IAAI,QAAQ;YAAE,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAA;;YACvE,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACpE,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACvB,CAAC,CAAC,CAAC,IAAI,CACL,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAA;IAEH,gFAAgF;IAChF,iEAAiE;IACjE,MAAM,OAAO,GAAG,CAAC,KAAqB,EAAE,EAAE,CACxC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACpD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;YAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YAClE,OAAO,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAU,CAAA;QAC7D,CAAC,CAAC,CAAA;QACF,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAC7C,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,IAAI,mBAAmB,EAAE,KAAK,CAAC,CAAA;QACpE,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;IAC1C,CAAC,CAAC,CAAA;IAEJ,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CACvB,MAAM,CAAC,YAAY,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC,EACzG,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3B,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAClB,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EACxB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAC9B,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAClD,CACF,EACD,MAAM,CAAC,UAAU,CAClB,CAAA;IAED,MAAM,MAAM,GAAG,CAAC,KAAsD,EAAE,EAAE,CACxE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,wEAAwE;QACxE,wEAAwE;QACxE,0DAA0D;QAC1D,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QACjB,KAAK,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAChC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,EAAE,GAAG,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;QACrF,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACnB,OAAO,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAExC,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAE,EAAE,CAClC,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CACpC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,IAAI,MAAM,CAAC,EAC7C,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,MAAM,CACd,CAAA;IAEH,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACjC,OAAO;YACL,IAAI;YACJ,QAAQ,EAAE,KAAK,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC9C,SAAS,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;SACpB,CAAA;IACpB,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;AAC3C,CAAC,CAAC,CAAA;AAEF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,UAAe,EAC4E,EAAE,CAC7F,KAAK,CAAC,MAAM,CACV,UAAU,EACV,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAA;IAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAA;IAE7F,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAAC,OAAsB;QAC5E,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;YAClE,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;YAC7D,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACvF,CAAC,CAAC,CAAA;QACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAClC,QAAQ,EACR,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,EAC3F,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAA;QACD,OAAO;YACL,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,KAAK,EAAE,CAAC,CAAC;SAC9D,CAAA;IACH,CAAC,CAAC,CAAA;IAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EAAC,QAAiB;QAC3E,MAAM,MAAM,GAAG,QAAQ,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC9C,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;YAClE,WAAW,EAAE,WAAW;YACxB,OAAO,EAAE,IAAI;SACd,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,OAAO,UAAU,CAAC,EAAE,CAAC;QACnB,MAAM;QACN,QAAQ;QACR,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;KAC3D,CAAC,CAAA;AACJ,CAAC,CAAC,CACH,CAAA"}

package/dist/index.d.ts

@@ -0,0 +1,9 @@
+export * as Aggregate from "./Aggregate.ts";
+export * as AggregateService from "./AggregateService.ts";
+export * as Checkpoints from "./Checkpoints.ts";
+export * as EventStore from "./EventStore.ts";
+export * as Fixture from "./Fixture.ts";
+export * as PostgresEventStore from "./PostgresEventStore.ts";
+export * as SqliteEventStore from "./SqliteEventStore.ts";
+export * as ViewModel from "./ViewModel.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAA;AACzD,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,kBAAkB,MAAM,yBAAyB,CAAA;AAC7D,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAA;AACzD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA"}

package/dist/index.js

@@ -0,0 +1,9 @@
+export * as Aggregate from "./Aggregate.js";
+export * as AggregateService from "./AggregateService.js";
+export * as Checkpoints from "./Checkpoints.js";
+export * as EventStore from "./EventStore.js";
+export * as Fixture from "./Fixture.js";
+export * as PostgresEventStore from "./PostgresEventStore.js";
+export * as SqliteEventStore from "./SqliteEventStore.js";
+export * as ViewModel from "./ViewModel.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAA;AACzD,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,kBAAkB,MAAM,yBAAyB,CAAA;AAC7D,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAA;AACzD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA"}

package/package.json

@@ -1,6 +1,90 @@
 {
   "name": "effect-cqrs",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.1.0",
+  "description": "CQRS and event sourcing for Effect v4, a port of moleculer-cqrs",
+  "keywords": [
+    "effect",
+    "cqrs",
+    "event-sourcing",
+    "event-store",
+    "aggregate",
+    "projection",
+    "sqlite",
+    "postgres"
+  ],
+  "homepage": "https://davidnussio.github.io/effect-cqrs/",
+  "bugs": {
+    "url": "https://github.com/davidnussio/effect-cqrs/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/davidnussio/effect-cqrs.git"
+  },
+  "type": "module",
+  "license": "MIT",
+  "author": "David Nussio",
+  "engines": {
+    "node": ">=24"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./*": {
+      "types": "./dist/*.d.ts",
+      "default": "./dist/*.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "!**/*.tsbuildinfo"
+  ],
+  "sideEffects": false,
+  "publishConfig": {
+    "access": "public"
+  },
+  "peerDependencies": {
+    "effect": "^4.0.6"
+  },
+  "devDependencies": {
+    "@astrojs/starlight": "^0.42.7",
+    "@changesets/cli": "^2.31.1",
+    "@effect/platform-node": "^4.0.6",
+    "@effect/sql-pg": "^4.0.6",
+    "@effect/sql-sqlite-node": "^4.0.6",
+    "@effect/vitest": "^4.0.6",
+    "@tailwindcss/vite": "^4.3.3",
+    "@types/node": "^24.0.0",
+    "@types/react": "^19.3.0",
+    "@types/react-dom": "^19.3.0",
+    "@vitejs/plugin-react": "^6.1.2",
+    "astro": "^7.4.4",
+    "effect": "^4.0.6",
+    "motion": "^14.7.1",
+    "react": "^19.3.1",
+    "react-dom": "^19.3.1",
+    "tailwindcss": "^4.3.3",
+    "typescript": "^7.0.2",
+    "vite": "^8.3.5",
+    "vitest": "^5.0.5"
+  },
+  "scripts": {
+    "check": "tsc --noEmit && tsc --noEmit -p examples/bank-ui",
+    "build": "rm -rf dist && tsc -p tsconfig.build.json",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "example": "node examples/todo/main.ts",
+    "ui": "vite examples/bank-ui",
+    "docs": "astro dev --root docs",
+    "docs:build": "vite build examples/bank-ui --base \"${DOCS_BASE:-/effect-cqrs}/demo/\" --outDir ../../docs/public/demo --emptyOutDir && astro build --root docs",
+    "docs:preview": "astro preview --root docs",
+    "bench": "node bench/performance.ts",
+    "stress": "node --expose-gc bench/stress.ts",
+    "changeset": "changeset",
+    "version-packages": "changeset version"
+  },
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts"
 }

package/src/Aggregate.ts

@@ -0,0 +1,133 @@
+/**
+ * The write side of the domain: a schema of events, a projection that folds them
+ * into state, and commands that inspect that state and decide on new events.
+ *
+ * An aggregate is plain data. {@link AggregateService} gives it a store to run
+ * against, and `Fixture` runs it in tests.
+ */
+import type { DateTime, Effect, Schema } from "effect"
+
+export interface Tagged {
+  readonly _tag: string
+}
+
+export type EventSchema<Event extends Tagged = Tagged> = Schema.Top & {
+  readonly Type: Event
+  readonly DecodingServices: never
+  readonly EncodingServices: never
+}
+
+export type PayloadSchema = Schema.Top & {
+  readonly DecodingServices: never
+  readonly EncodingServices: never
+}
+
+/** Where an event sits in its stream and in the store. */
+export interface EventMeta {
+  readonly aggregateName: string
+  readonly aggregateId: string
+  readonly version: number
+  readonly position: number
+  readonly timestamp: DateTime.Utc
+}
+
+export interface CommandContext {
+  readonly aggregateId: string
+  readonly version: number
+}
+
+/** Exhaustive by event tag, so adding an event to the schema without folding it does not compile. */
+export type Projection<State, Event extends Tagged> = {
+  readonly [Tag in Event["_tag"]]: (state: State, event: Extract<Event, { readonly _tag: Tag }>, meta: EventMeta) => State
+}
+
+/**
+ * Decides on the events a command produces. It may run several times when
+ * concurrent writers collide, so it should only decide and leave side effects to
+ * view models. Returning an empty array records nothing.
+ */
+export type CommandHandler<State, Payload, Event, E, R> = (
+  state: State,
+  payload: Payload,
+  context: CommandContext
+) => Effect.Effect<Event | ReadonlyArray<Event>, E, R>
+
+export interface Command<Payload extends PayloadSchema, State, Event, E, R> {
+  readonly payload: Payload
+  readonly handler: CommandHandler<State, Payload["Type"], Event, E, R>
+}
+
+export interface AnyCommand {
+  readonly payload: PayloadSchema
+  readonly handler: CommandHandler<any, any, any, any, any>
+}
+
+export interface Aggregate<
+  Name extends string,
+  State,
+  Events extends EventSchema<any>,
+  Commands extends Record<string, AnyCommand>
+> {
+  readonly name: Name
+  readonly events: Events
+  readonly initial: State
+  readonly projection: Projection<State, Events["Type"]>
+  readonly commands: Commands
+  /** Returns a new aggregate that also accepts this command. */
+  command<const CommandName extends string, Payload extends PayloadSchema, E = never, R = never>(
+    name: CommandName,
+    options: {
+      readonly payload: Payload
+      readonly handler: CommandHandler<State, Payload["Type"], Events["Type"], E, R>
+    }
+  ): Aggregate<Name, State, Events, Commands & Record<CommandName, Command<Payload, State, Events["Type"], E, R>>>
+}
+
+export type Any = Aggregate<string, any, EventSchema<any>, Record<string, AnyCommand>>
+
+export type Name<A extends Any> = A["name"]
+export type State<A extends Any> = A["initial"]
+export type Event<A extends Any> = A["events"]["Type"]
+export type Commands<A extends Any> = A["commands"]
+export type CommandName<A extends Any> = keyof A["commands"] & string
+export type Payload<A extends Any, K extends CommandName<A>> = A["commands"][K]["payload"]["Type"]
+export type CommandError<A extends Any, K extends CommandName<A> = CommandName<A>> = A["commands"][K] extends
+  Command<any, any, any, infer E, any> ? E : never
+export type Context<A extends Any> = A["commands"][CommandName<A>] extends Command<any, any, any, any, infer R> ? R
+  : never
+
+const build = <
+  Name extends string,
+  State,
+  Events extends EventSchema<any>,
+  Commands extends Record<string, AnyCommand>
+>(
+  definition: Pick<Aggregate<Name, State, Events, Commands>, "name" | "events" | "initial" | "projection" | "commands">
+): Aggregate<Name, State, Events, Commands> => ({
+  ...definition,
+  command: (name, options) =>
+    build({
+      ...definition,
+      commands: { ...definition.commands, [name]: options } as any
+    })
+})
+
+/**
+ * The state is given explicitly, `Aggregate.make<State>()({ ... })`, so that the
+ * projection's return values are checked against it rather than widened.
+ */
+export const make = <State>() =>
+<const Name extends string, Events extends EventSchema<any>>(options: {
+  readonly name: Name
+  readonly events: Events
+  readonly initial: State
+  readonly projection: Projection<State, Events["Type"]>
+}): Aggregate<Name, State, Events, {}> => build({ ...options, commands: {} })
+
+/** Folds one event into the state. */
+export const evolve = <A extends Any>(aggregate: A, state: State<A>, event: Event<A>, meta: EventMeta): State<A> =>
+  (aggregate.projection as Record<string, (state: State<A>, event: Event<A>, meta: EventMeta) => State<A>>)[event._tag]!(
+    state,
+    event,
+    meta
+  )