effective-rsc 0.1.0

package/dist/dev/client.js

@@ -0,0 +1,132 @@
+import { Effect, Layer, Ref, Semaphore, Stream } from "effect";
+import { RpcClient, RpcSerialization } from "effect/unstable/rpc";
+import { RouteRefresher } from "../client/route-refresh.js";
+import { DevChannelPath, DevRpcs } from "./channel.js";
+import { decideHotUpdate } from "./hmr-update.js";
+import { makeDevPanel } from "./panel.js";
+import { reportBrowserFailures } from "./runtime-failure.js";
+
+import * as __rspack_external__effect_platform_browser_BrowserSocket_31178d5b from "@effect/platform-browser/BrowserSocket";
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+const socketProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
+const socketUrl = `${socketProtocol}//${location.host}${DevChannelPath}`;
+const DevRpcProtocolLayer = RpcClient.layerProtocolSocket({
+    retryTransientErrors: true
+}).pipe(Layer.provide(__rspack_external__effect_platform_browser_BrowserSocket_31178d5b.layerWebSocket(socketUrl)), Layer.provide(RpcSerialization.layerJson));
+const recordUpdate = (pending, message)=>({
+        acknowledgedClientHash: pending.acknowledgedClientHash,
+        clientHash: message.clientHash,
+        rscRefresh: pending.rscRefresh === 'Pending' || message._tag === 'RscUpdate' ? 'Pending' : 'Current'
+    });
+const settlePendingUpdate = Effect.fnUntraced(function*(pendingUpdate) {
+    const reconcile = Effect.gen(function*() {
+        const pending = yield* Ref.get(pendingUpdate);
+        if (pending.acknowledgedClientHash !== pending.clientHash) {
+            const previousHash = import.meta.rspackHash;
+            const check = yield* Effect.tryPromise(()=>import.meta.webpackHot.check(true)).pipe(Effect.match({
+                onFailure: ()=>({
+                        _tag: 'Failed'
+                    }),
+                onSuccess: (updatedModules)=>({
+                        _tag: 'Completed',
+                        currentHash: import.meta.rspackHash,
+                        previousHash,
+                        updatedModules
+                    })
+            }));
+            const decision = decideHotUpdate(pending, check);
+            if (decision._tag === 'Reload') {
+                yield* Effect.sync(()=>location.reload());
+                return 'Reloading';
+            }
+            yield* Ref.update(pendingUpdate, (current)=>({
+                    ...current,
+                    acknowledgedClientHash: decision.acknowledgedClientHash
+                }));
+            return 'Retry';
+        }
+        return yield* Ref.modify(pendingUpdate, (current)=>{
+            if (current.acknowledgedClientHash !== current.clientHash) {
+                return [
+                    'Retry',
+                    current
+                ];
+            }
+            if (current.rscRefresh === 'Current') {
+                return [
+                    'Current',
+                    current
+                ];
+            }
+            return [
+                'Refresh',
+                {
+                    ...current,
+                    rscRefresh: 'Current'
+                }
+            ];
+        });
+    });
+    return yield* reconcile.pipe(Effect.repeat({
+        while: (action)=>action === 'Retry'
+    }));
+});
+const startDevClient = Effect.gen(function*() {
+    const routeRefresher = yield* RouteRefresher;
+    const panel = yield* makeDevPanel;
+    const pendingUpdate = yield* Ref.make({
+        acknowledgedClientHash: import.meta.rspackHash,
+        clientHash: import.meta.rspackHash,
+        rscRefresh: 'Current'
+    });
+    const updateLock = yield* Semaphore.make(1);
+    const handleHotUpdate = Effect.fnUntraced(function*(message) {
+        yield* Ref.update(pendingUpdate, (pending)=>recordUpdate(pending, message));
+        const action = yield* updateLock.withPermit(settlePendingUpdate(pendingUpdate));
+        if (action === 'Reloading') {
+            return;
+        }
+        if (action === 'Refresh') {
+            yield* routeRefresher.refreshCurrentRoute('hmr-refresh');
+        }
+        yield* panel.dispatch({
+            _tag: 'Reconciled'
+        });
+    });
+    yield* reportBrowserFailures((failure)=>panel.dispatch({
+            _tag: 'RuntimeFailed',
+            failure
+        })).pipe(Effect.forkScoped);
+    const observeUpdates = Effect.gen(function*() {
+        const client = yield* RpcClient.make(DevRpcs);
+        const handleUpdate = Effect.fnUntraced(function*(phase, message) {
+            if (message._tag === 'BuildFailed') {
+                yield* panel.dispatch(message);
+            } else if (phase === 'Live') {
+                yield* handleHotUpdate(message);
+            }
+            return 'Live';
+        });
+        yield* client.ObserveDevUpdates().pipe(Stream.runFoldEffect(()=>'Snapshot', handleUpdate), Effect.asVoid);
+    });
+    yield* observeUpdates.pipe(Effect.provide(DevRpcProtocolLayer));
+});
+
+export { startDevClient };
+
+//# sourceMappingURL=client.js.map

package/dist/dev/client.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dev/client.js","sources":["../../src/dev/client.ts"],"sourcesContent":["import * as BrowserSocket from '@effect/platform-browser/BrowserSocket';\nimport { Effect, Layer, Ref, Semaphore, Stream } from 'effect';\nimport { RpcClient, RpcSerialization } from 'effect/unstable/rpc';\n\nimport { RouteRefresher } from '../client/route-refresh';\nimport { DevChannelPath, DevRpcs, type DevUpdate } from './channel';\nimport { decideHotUpdate, type HotUpdateCheck, type PendingDevUpdate } from './hmr-update';\nimport { makeDevPanel } from './panel';\nimport { reportBrowserFailures } from './runtime-failure';\n\nconst socketProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';\nconst socketUrl = `${socketProtocol}//${location.host}${DevChannelPath}`;\n\nconst DevRpcProtocolLayer = RpcClient.layerProtocolSocket({ retryTransientErrors: true }).pipe(\n  Layer.provide(BrowserSocket.layerWebSocket(socketUrl)),\n  Layer.provide(RpcSerialization.layerJson),\n);\n\ntype DevHotUpdate = Exclude<DevUpdate, { readonly _tag: 'BuildFailed' }>;\ntype DevUpdatePhase = 'Snapshot' | 'Live';\n\nconst recordUpdate = (pending: PendingDevUpdate, message: DevHotUpdate): PendingDevUpdate => ({\n  acknowledgedClientHash: pending.acknowledgedClientHash,\n  clientHash: message.clientHash,\n  rscRefresh:\n    pending.rscRefresh === 'Pending' || message._tag === 'RscUpdate' ? 'Pending' : 'Current',\n});\n\nconst settlePendingUpdate = Effect.fnUntraced(function* (pendingUpdate: Ref.Ref<PendingDevUpdate>) {\n  const reconcile = Effect.gen(function* () {\n    const pending = yield* Ref.get(pendingUpdate);\n    if (pending.acknowledgedClientHash !== pending.clientHash) {\n      const previousHash = import.meta.rspackHash;\n      const check = yield* Effect.tryPromise(() => import.meta.webpackHot!.check(true)).pipe(\n        Effect.match({\n          onFailure: (): HotUpdateCheck => ({ _tag: 'Failed' }),\n          onSuccess: (updatedModules): HotUpdateCheck => ({\n            _tag: 'Completed',\n            currentHash: import.meta.rspackHash,\n            previousHash,\n            updatedModules,\n          }),\n        }),\n      );\n      const decision = decideHotUpdate(pending, check);\n      if (decision._tag === 'Reload') {\n        yield* Effect.sync(() => location.reload());\n        return 'Reloading' as const;\n      }\n\n      yield* Ref.update(pendingUpdate, (current) => ({\n        ...current,\n        acknowledgedClientHash: decision.acknowledgedClientHash,\n      }));\n      return 'Retry' as const;\n    }\n\n    return yield* Ref.modify(pendingUpdate, (current) => {\n      if (current.acknowledgedClientHash !== current.clientHash) {\n        return ['Retry', current] as const;\n      }\n      if (current.rscRefresh === 'Current') {\n        return ['Current', current] as const;\n      }\n      return ['Refresh', { ...current, rscRefresh: 'Current' }] as const;\n    });\n  });\n\n  return yield* reconcile.pipe(Effect.repeat({ while: (action) => action === 'Retry' }));\n});\n\nexport const startDevClient = Effect.gen(function* () {\n  const routeRefresher = yield* RouteRefresher;\n  const panel = yield* makeDevPanel;\n  const pendingUpdate = yield* Ref.make<PendingDevUpdate>({\n    acknowledgedClientHash: import.meta.rspackHash,\n    clientHash: import.meta.rspackHash,\n    rscRefresh: 'Current',\n  });\n  const updateLock = yield* Semaphore.make(1);\n  const handleHotUpdate = Effect.fnUntraced(function* (message: DevHotUpdate) {\n    yield* Ref.update(pendingUpdate, (pending) => recordUpdate(pending, message));\n    const action = yield* updateLock.withPermit(settlePendingUpdate(pendingUpdate));\n    if (action === 'Reloading') {\n      return;\n    }\n    if (action === 'Refresh') {\n      yield* routeRefresher.refreshCurrentRoute('hmr-refresh');\n    }\n    yield* panel.dispatch({ _tag: 'Reconciled' });\n  });\n  yield* reportBrowserFailures((failure) =>\n    panel.dispatch({ _tag: 'RuntimeFailed', failure }),\n  ).pipe(Effect.forkScoped);\n\n  const observeUpdates = Effect.gen(function* () {\n    const client = yield* RpcClient.make(DevRpcs);\n    const handleUpdate = Effect.fnUntraced(function* (phase: DevUpdatePhase, message: DevUpdate) {\n      if (message._tag === 'BuildFailed') {\n        yield* panel.dispatch(message);\n      } else if (phase === 'Live') {\n        yield* handleHotUpdate(message);\n      }\n\n      return 'Live' as const;\n    });\n\n    yield* client.ObserveDevUpdates().pipe(\n      Stream.runFoldEffect((): DevUpdatePhase => 'Snapshot', handleUpdate),\n      Effect.asVoid,\n    );\n  });\n\n  yield* observeUpdates.pipe(Effect.provide(DevRpcProtocolLayer));\n});\n"],"names":["BrowserSocket","Effect","Layer","Ref","Semaphore","Stream","RpcClient","RpcSerialization","RouteRefresher","DevChannelPath","DevRpcs","decideHotUpdate","makeDevPanel","reportBrowserFailures","socketProtocol","location","socketUrl","DevRpcProtocolLayer","recordUpdate","pending","message","settlePendingUpdate","pendingUpdate","reconcile","previousHash","check","updatedModules","decision","current","action","startDevClient","routeRefresher","panel","updateLock","handleHotUpdate","failure","observeUpdates","client","handleUpdate","phase"],"mappings":";;;;;;;;;;;;;;;;;AAAwE;AACT;AACG;AAET;AACW;AACuB;AACpD;AACmB;AAE1D,MAAMc,cAAcA,GAAGC,SAAS,QAAQ,KAAK,WAAW,SAAS;AACjE,MAAMC,SAASA,GAAG,GAAGF,cAAcA,CAAC,EAAE,EAAEC,SAAS,IAAI,GAAGN,cAAcA,EAAE;AAExE,MAAMQ,mBAAmBA,GAAGX,6BAA6B,CAAC;IAAE,sBAAsB;AAAK,GAAG,IAAI,CAC5FJ,aAAa,CAACF,gFAA4B,CAACgB,SAASA,IACpDd,aAAa,CAACK,0BAA0B;AAM1C,MAAMW,YAAYA,GAAG,CAACC,SAA2BC,UAA6C;QAC5F,wBAAwBD,QAAQ,sBAAsB;QACtD,YAAYC,QAAQ,UAAU;QAC9B,YACED,QAAQ,UAAU,KAAK,aAAaC,QAAQ,IAAI,KAAK,cAAc,YAAY;IACnF;AAEA,MAAMC,mBAAmBA,GAAGpB,iBAAiB,CAAC,UAAWqB,aAAwC;IAC/F,MAAMC,YAAYtB,UAAU,CAAC;QAC3B,MAAMkB,UAAU,OAAOhB,OAAO,CAACmB;QAC/B,IAAIH,QAAQ,sBAAsB,KAAKA,QAAQ,UAAU,EAAE;YACzD,MAAMK,eAAe,YAAY,UAAU;YAC3C,MAAMC,QAAQ,OAAOxB,iBAAiB,CAAC,IAAM,YAAY,UAAU,CAAE,KAAK,CAAC,OAAO,IAAI,CACpFA,YAAY,CAAC;gBACX,WAAW,IAAuB;wBAAE,MAAM;oBAAS;gBACnD,WAAW,CAACyB,iBAAoC;wBAC9C,MAAM;wBACN,aAAa,YAAY,UAAU;wBACnCF;wBACAE;oBACF;YACF;YAEF,MAAMC,WAAWhB,eAAeA,CAACQ,SAASM;YAC1C,IAAIE,SAAS,IAAI,KAAK,UAAU;gBAC9B,OAAO1B,WAAW,CAAC,IAAMc,SAAS,MAAM;gBACxC,OAAO;YACT;YAEA,OAAOZ,UAAU,CAACmB,eAAe,CAACM,UAAa;oBAC7C,GAAGA,OAAO;oBACV,wBAAwBD,SAAS,sBAAsB;gBACzD;YACA,OAAO;QACT;QAEA,OAAO,OAAOxB,UAAU,CAACmB,eAAe,CAACM;YACvC,IAAIA,QAAQ,sBAAsB,KAAKA,QAAQ,UAAU,EAAE;gBACzD,OAAO;oBAAC;oBAASA;iBAAQ;YAC3B;YACA,IAAIA,QAAQ,UAAU,KAAK,WAAW;gBACpC,OAAO;oBAAC;oBAAWA;iBAAQ;YAC7B;YACA,OAAO;gBAAC;gBAAW;oBAAE,GAAGA,OAAO;oBAAE,YAAY;gBAAU;aAAE;QAC3D;IACF;IAEA,OAAO,OAAOL,UAAU,IAAI,CAACtB,aAAa,CAAC;QAAE,OAAO,CAAC4B,SAAWA,WAAW;IAAQ;AACrF;AAEO,MAAMC,cAAcA,GAAG7B,UAAU,CAAC;IACvC,MAAM8B,iBAAiB,OAAOvB,cAAcA;IAC5C,MAAMwB,QAAQ,OAAOpB,YAAYA;IACjC,MAAMU,gBAAgB,OAAOnB,QAAQ,CAAmB;QACtD,wBAAwB,YAAY,UAAU;QAC9C,YAAY,YAAY,UAAU;QAClC,YAAY;IACd;IACA,MAAM8B,aAAa,OAAO7B,cAAc,CAAC;IACzC,MAAM8B,kBAAkBjC,iBAAiB,CAAC,UAAWmB,OAAqB;QACxE,OAAOjB,UAAU,CAACmB,eAAe,CAACH,UAAYD,YAAYA,CAACC,SAASC;QACpE,MAAMS,SAAS,OAAOI,WAAW,UAAU,CAACZ,mBAAmBA,CAACC;QAChE,IAAIO,WAAW,aAAa;YAC1B;QACF;QACA,IAAIA,WAAW,WAAW;YACxB,OAAOE,eAAe,mBAAmB,CAAC;QAC5C;QACA,OAAOC,MAAM,QAAQ,CAAC;YAAE,MAAM;QAAa;IAC7C;IACA,OAAOnB,qBAAqBA,CAAC,CAACsB,UAC5BH,MAAM,QAAQ,CAAC;YAAE,MAAM;YAAiBG;QAAQ,IAChD,IAAI,CAAClC,iBAAiB;IAExB,MAAMmC,iBAAiBnC,UAAU,CAAC;QAChC,MAAMoC,SAAS,OAAO/B,cAAc,CAACI,OAAOA;QAC5C,MAAM4B,eAAerC,iBAAiB,CAAC,UAAWsC,KAAqB,EAAEnB,OAAkB;YACzF,IAAIA,QAAQ,IAAI,KAAK,eAAe;gBAClC,OAAOY,MAAM,QAAQ,CAACZ;YACxB,OAAO,IAAImB,UAAU,QAAQ;gBAC3B,OAAOL,gBAAgBd;YACzB;YAEA,OAAO;QACT;QAEA,OAAOiB,OAAO,iBAAiB,GAAG,IAAI,CACpChC,oBAAoB,CAAC,IAAsB,YAAYiC,eACvDrC,aAAa;IAEjB;IAEA,OAAOmC,eAAe,IAAI,CAACnC,cAAc,CAACgB,mBAAmBA;AAC/D,GAAG"}

package/dist/dev/hmr-update.d.ts

@@ -0,0 +1,20 @@
+export type PendingDevUpdate = {
+    readonly acknowledgedClientHash: string;
+    readonly clientHash: string;
+    readonly rscRefresh: 'Current' | 'Pending';
+};
+export type HotUpdateCheck = {
+    readonly _tag: 'Failed';
+} | {
+    readonly _tag: 'Completed';
+    readonly currentHash: string;
+    readonly previousHash: string;
+    readonly updatedModules: ReadonlyArray<string | number> | null;
+};
+export type HotUpdateDecision = {
+    readonly _tag: 'Reload';
+} | {
+    readonly _tag: 'Retry';
+    readonly acknowledgedClientHash: string;
+};
+export declare const decideHotUpdate: (pending: PendingDevUpdate, check: HotUpdateCheck) => HotUpdateDecision;

package/dist/dev/hmr-update.js

@@ -0,0 +1,28 @@
+const decideHotUpdate = (pending, check)=>{
+    if (check._tag === 'Failed') {
+        return {
+            _tag: 'Reload'
+        };
+    }
+    if (check.currentHash !== check.previousHash) {
+        return {
+            _tag: 'Retry',
+            acknowledgedClientHash: check.currentHash
+        };
+    }
+    if (check.updatedModules !== null && check.updatedModules.length > 0) {
+        return {
+            _tag: 'Reload'
+        };
+    }
+    return pending.rscRefresh === 'Pending' ? {
+        _tag: 'Retry',
+        acknowledgedClientHash: pending.clientHash
+    } : {
+        _tag: 'Reload'
+    };
+};
+
+export { decideHotUpdate };
+
+//# sourceMappingURL=hmr-update.js.map

package/dist/dev/hmr-update.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dev/hmr-update.js","sources":["../../src/dev/hmr-update.ts"],"sourcesContent":["export type PendingDevUpdate = {\n  readonly acknowledgedClientHash: string;\n  readonly clientHash: string;\n  readonly rscRefresh: 'Current' | 'Pending';\n};\n\nexport type HotUpdateCheck =\n  | { readonly _tag: 'Failed' }\n  | {\n      readonly _tag: 'Completed';\n      readonly currentHash: string;\n      readonly previousHash: string;\n      readonly updatedModules: ReadonlyArray<string | number> | null;\n    };\n\nexport type HotUpdateDecision =\n  | { readonly _tag: 'Reload' }\n  | { readonly _tag: 'Retry'; readonly acknowledgedClientHash: string };\n\nexport const decideHotUpdate = (\n  pending: PendingDevUpdate,\n  check: HotUpdateCheck,\n): HotUpdateDecision => {\n  if (check._tag === 'Failed') {\n    return { _tag: 'Reload' };\n  }\n  if (check.currentHash !== check.previousHash) {\n    return { _tag: 'Retry', acknowledgedClientHash: check.currentHash };\n  }\n  if (check.updatedModules !== null && check.updatedModules.length > 0) {\n    return { _tag: 'Reload' };\n  }\n  return pending.rscRefresh === 'Pending'\n    ? { _tag: 'Retry', acknowledgedClientHash: pending.clientHash }\n    : { _tag: 'Reload' };\n};\n"],"names":["decideHotUpdate","pending","check"],"mappings":"AAmBO,MAAMA,eAAeA,GAAG,CAC7BC,SACAC;IAEA,IAAIA,MAAM,IAAI,KAAK,UAAU;QAC3B,OAAO;YAAE,MAAM;QAAS;IAC1B;IACA,IAAIA,MAAM,WAAW,KAAKA,MAAM,YAAY,EAAE;QAC5C,OAAO;YAAE,MAAM;YAAS,wBAAwBA,MAAM,WAAW;QAAC;IACpE;IACA,IAAIA,MAAM,cAAc,KAAK,QAAQA,MAAM,cAAc,CAAC,MAAM,GAAG,GAAG;QACpE,OAAO;YAAE,MAAM;QAAS;IAC1B;IACA,OAAOD,QAAQ,UAAU,KAAK,YAC1B;QAAE,MAAM;QAAS,wBAAwBA,QAAQ,UAAU;IAAC,IAC5D;QAAE,MAAM;IAAS;AACvB,EAAE"}

package/dist/dev/panel.d.ts

@@ -0,0 +1,41 @@
+import { Effect } from 'effect';
+import type { DevRuntimeFailure } from './runtime-failure.js';
+export type { DevRuntimeFailure } from './runtime-failure.js';
+export declare const DevPanelElementName = "ersc-dev-panel";
+type DevPanelContent = {
+    readonly _tag: 'BuildFailed';
+    readonly diagnostics: string;
+} | {
+    readonly _tag: 'RuntimeFailed';
+    readonly failures: ReadonlyArray<DevRuntimeFailure>;
+};
+export type DevPanelState = {
+    readonly _tag: 'Inactive';
+} | {
+    readonly _tag: 'Visible';
+    readonly content: DevPanelContent;
+} | {
+    readonly _tag: 'Dismissed';
+    readonly content: DevPanelContent;
+};
+export type DevPanelEvent = {
+    readonly _tag: 'BuildFailed';
+    readonly diagnostics: string;
+} | {
+    readonly _tag: 'RuntimeFailed';
+    readonly failure: DevRuntimeFailure;
+} | {
+    readonly _tag: 'Reconciled';
+} | {
+    readonly _tag: 'Opened';
+} | {
+    readonly _tag: 'Dismissed';
+};
+export declare const InitialDevPanelState: DevPanelState;
+export declare const applyDevPanelEvent: (state: DevPanelState, event: DevPanelEvent) => DevPanelState;
+declare function DevPanelContent({ state }: {
+    readonly state: DevPanelState;
+}): import("react").JSX.Element | null;
+export declare const makeDevPanel: Effect.Effect<{
+    dispatch: (event: DevPanelEvent) => Effect.Effect<void, never, never>;
+}, never, import("effect/Scope").Scope>;