foldkit-primitives 0.1.0

package/dist/motion/index.d.mts

@@ -0,0 +1,112 @@
+import { Schema } from "effect";
+import { Bundle } from "foldkit-bundle";
+//#region src/motion/presence.d.ts
+export declare const PresenceModel: Schema.Struct<{
+  readonly phase: Schema.Literals<readonly ["shown", "hiding", "hidden"]>;
+  readonly generation: Schema.Number;
+}>;
+export type PresenceModel = typeof PresenceModel.Type;
+export declare const PresenceMessage: import("foldkit/message").MessageUnion<{
+  readonly Show: {};
+  readonly Hide: {};
+  readonly Hidden: {
+    readonly generation: Schema.Number;
+  };
+}>;
+export type PresenceMessage = typeof PresenceMessage.Type;
+/** Whether the content renders: shown or mid-exit. */
+export declare const isVisible: (model: PresenceModel) => boolean;
+export declare const Presence: Bundle.Bundle<"Presence", {
+  readonly durationMs: number;
+}, {
+  readonly phase: "shown" | "hiding" | "hidden";
+  readonly generation: number;
+}, {
+  readonly _tag: "Show";
+} | {
+  readonly _tag: "Hide";
+} | {
+  readonly _tag: "Hidden";
+  readonly generation: number;
+}, never, never, never, void, {}, {}>;
+//#endregion
+//#region src/motion/spring.d.ts
+export declare const SpringModel: Schema.Struct<{
+  readonly value: Schema.Number;
+  readonly velocity: Schema.Number;
+  readonly running: Schema.Boolean;
+}>;
+export type SpringModel = typeof SpringModel.Type;
+export declare const SpringMessage: import("foldkit/message").MessageUnion<{
+  readonly Started: {};
+  readonly Stopped: {};
+  readonly Ticked: {
+    readonly value: Schema.Number;
+    readonly velocity: Schema.Number;
+  };
+  /** Carries the exact end value: the integrator stops near it, not on it. */
+  readonly Finished: {
+    readonly value: Schema.Number;
+  };
+}>;
+export type SpringMessage = typeof SpringMessage.Type;
+export declare const Spring: Bundle.Bundle<"Spring", {
+  readonly from: number;
+  readonly to: number;
+  readonly stiffness: number;
+  readonly damping: number;
+}, {
+  value: number;
+  velocity: number;
+  running: boolean;
+}, {
+  readonly _tag: "Started";
+} | {
+  readonly _tag: "Stopped";
+} | {
+  readonly _tag: "Ticked";
+  readonly value: number;
+  readonly velocity: number;
+} | {
+  readonly _tag: "Finished";
+  readonly value: number;
+}, never, never, never, void, {}, {}>;
+//#endregion
+//#region src/motion/tween.d.ts
+export declare const TweenModel: Schema.Struct<{
+  readonly value: Schema.Number;
+  readonly running: Schema.Boolean;
+}>;
+export type TweenModel = typeof TweenModel.Type;
+export declare const TweenMessage: import("foldkit/message").MessageUnion<{
+  readonly Started: {};
+  readonly Stopped: {};
+  readonly Ticked: {
+    readonly value: Schema.Number;
+  };
+  /** Carries the exact end value: the stream may stop on either side of it. */
+  readonly Finished: {
+    readonly value: Schema.Number;
+  };
+}>;
+export type TweenMessage = typeof TweenMessage.Type;
+export declare const Tween: Bundle.Bundle<"Tween", {
+  readonly from: number;
+  readonly to: number;
+  readonly ms: number;
+}, {
+  value: number;
+  running: boolean;
+}, {
+  readonly _tag: "Started";
+} | {
+  readonly _tag: "Stopped";
+} | {
+  readonly _tag: "Ticked";
+  readonly value: number;
+} | {
+  readonly _tag: "Finished";
+  readonly value: number;
+}, never, never, never, void, {}, {}>;
+//#endregion
+//# sourceMappingURL=index.d.mts.map

package/dist/motion/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","names":[],"sources":["../../src/motion/presence.ts","../../src/motion/spring.ts","../../src/motion/tween.ts"],"mappings":";;;qBAWa,eAAa,OAAA;;;;YAId,uBAAuB,cAAc;qBAEpC,2CAAe;;;;yBAAf,OAAA;;;YAKD,yBAAyB,gBAAgB;;qBAGxC,YAAS,OAAW;qBAEpB,UAAQ,OAAA;WAII;;;;;;;;;;;;;;qBCnBZ,aAAW,OAAA;;;;;YAKZ,qBAAqB,YAAY;qBAEhC,yCAAa;;;;;;;;;;;;YAOd,uBAAuB,cAAc;qBAapC,QAAM,OAAA;;;;;;;;;;;;;;;;;;;;;;;qBC5BN,YAAU,OAAA;;;;YACX,oBAAoB,WAAW;qBAE9B,wCAAY;;;;;;;;;;;YAOb,sBAAsB,aAAa;qBAElC,OAAK,OAAA"}

package/dist/motion/index.mjs

@@ -0,0 +1,208 @@
+import { Clock, Effect, Schema, Stream } from "effect";
+import { defineMessageUnion } from "foldkit/message";
+import * as Subscription from "foldkit/subscription";
+import { Bundle } from "foldkit-bundle";
+//#region src/motion/presence.ts
+/**
+* Presence as a bundle: mount-transition state for exit animations. `Hide`
+* starts a timed `hiding` phase; the `Hidden` fact it yields carries the
+* generation it was scheduled under, so a `Show` in between wins and the
+* late fact is ignored. The clock is Effect's, so tests drive it.
+*/
+const PresenceModel = Schema.Struct({
+	phase: Schema.Literals([
+		"shown",
+		"hiding",
+		"hidden"
+	]),
+	generation: Schema.Number
+});
+const PresenceMessage = defineMessageUnion({
+	Show: {},
+	Hide: {},
+	Hidden: { generation: Schema.Number }
+});
+/** Whether the content renders: shown or mid-exit. */
+const isVisible = (model) => model.phase !== "hidden";
+const Presence = Bundle.make("Presence", {
+	Model: PresenceModel,
+	Message: PresenceMessage,
+	args: Schema.Struct({ durationMs: Schema.Number.pipe(Schema.check(Schema.isGreaterThan(0)), Schema.check(Schema.isFinite())) }),
+	init: () => ({ model: {
+		phase: "hidden",
+		generation: 0
+	} }),
+	update: (model, message, args) => PresenceMessage.match(message, {
+		Show: () => ({ model: {
+			...model,
+			phase: "shown",
+			generation: model.generation + 1
+		} }),
+		Hide: () => {
+			const generation = model.generation + 1;
+			return {
+				model: {
+					...model,
+					phase: "hiding",
+					generation
+				},
+				commands: [{
+					name: "Presence.hide",
+					args: { generation },
+					effect: Effect.as(Effect.sleep(args.durationMs), PresenceMessage.Hidden({ generation }))
+				}]
+			};
+		},
+		Hidden: ({ generation }) => generation === model.generation ? { model: {
+			...model,
+			phase: "hidden"
+		} } : { model }
+	})
+});
+//#endregion
+//#region src/motion/spring.ts
+/**
+* A spring as a bundle: a number pulled toward a target with stiffness and
+* damping, in the Model. Semi-implicit Euler at a fixed 16ms step, so the
+* trajectory is deterministic under TestClock; the stream ends with
+* Finished, and the value rests exactly at `to`. Underdamped springs
+* overshoot — that is the point — but the rest value is still exact.
+*/
+const SpringModel = Schema.Struct({
+	value: Schema.Number,
+	velocity: Schema.Number,
+	running: Schema.Boolean
+});
+const SpringMessage = defineMessageUnion({
+	Started: {},
+	Stopped: {},
+	Ticked: {
+		value: Schema.Number,
+		velocity: Schema.Number
+	},
+	/** Carries the exact end value: the integrator stops near it, not on it. */
+	Finished: { value: Schema.Number }
+});
+const step = 16;
+const epsilon = .001;
+const settled = (point, to) => Math.abs(to - point.x) < epsilon && Math.abs(point.v) < epsilon;
+const Spring = Bundle.make("Spring", {
+	Model: SpringModel,
+	Message: SpringMessage,
+	args: Schema.Struct({
+		from: Schema.Number.pipe(Schema.check(Schema.isFinite())),
+		to: Schema.Number.pipe(Schema.check(Schema.isFinite())),
+		stiffness: Schema.Number.pipe(Schema.check(Schema.isGreaterThan(0)), Schema.check(Schema.isFinite())),
+		damping: Schema.Number.pipe(Schema.check(Schema.isGreaterThan(0)), Schema.check(Schema.isFinite()))
+	}),
+	init: (args) => ({ model: {
+		value: args.from,
+		velocity: 0,
+		running: false
+	} }),
+	update: (model, message) => SpringMessage.match(message, {
+		Started: () => ({ model: {
+			...model,
+			running: true
+		} }),
+		Stopped: () => ({ model: {
+			...model,
+			running: false
+		} }),
+		Ticked: ({ value, velocity }) => ({ model: {
+			...model,
+			value,
+			velocity
+		} }),
+		Finished: ({ value }) => ({ model: {
+			...model,
+			value,
+			velocity: 0,
+			running: false
+		} })
+	}),
+	subscriptions: ({ from, to, stiffness, damping }) => Subscription.make()((entry) => ({ ticks: entry({ running: Schema.Boolean }, {
+		modelToDependencies: (model) => ({ running: model.running }),
+		dependenciesToStream: ({ running }) => {
+			if (!running) return Stream.empty;
+			const dt = step / 1e3;
+			const points = Stream.tick(step).pipe(Stream.scan({
+				x: from,
+				v: 0
+			}, (point) => {
+				const force = -stiffness * (point.x - to) - damping * point.v;
+				const v = point.v + force * dt;
+				return {
+					x: point.x + v * dt,
+					v
+				};
+			}), Stream.drop(1));
+			return Stream.concat(points.pipe(Stream.takeUntil((point) => settled(point, to)), Stream.map((point) => SpringMessage.Ticked({
+				value: point.x,
+				velocity: point.v
+			}))), Stream.make(SpringMessage.Finished({ value: to })));
+		}
+	}) }))
+});
+//#endregion
+//#region src/motion/tween.ts
+/**
+* A tween as a bundle: a number animated from one value to another over a
+* duration, in the Model. Progress comes from Effect's clock, so tests drive
+* it with TestClock; the stream ends with Finished, and the value rests at
+* `to`. Linear interpolation only: easing curves stay the application's job.
+*/
+const TweenModel = Schema.Struct({
+	value: Schema.Number,
+	running: Schema.Boolean
+});
+const TweenMessage = defineMessageUnion({
+	Started: {},
+	Stopped: {},
+	Ticked: { value: Schema.Number },
+	/** Carries the exact end value: the stream may stop on either side of it. */
+	Finished: { value: Schema.Number }
+});
+const Tween = Bundle.make("Tween", {
+	Model: TweenModel,
+	Message: TweenMessage,
+	args: Schema.Struct({
+		from: Schema.Number.pipe(Schema.check(Schema.isFinite())),
+		to: Schema.Number.pipe(Schema.check(Schema.isFinite())),
+		ms: Schema.Number.pipe(Schema.check(Schema.isGreaterThan(0)), Schema.check(Schema.isFinite()))
+	}),
+	init: (args) => ({ model: {
+		value: args.from,
+		running: false
+	} }),
+	update: (model, message) => TweenMessage.match(message, {
+		Started: () => ({ model: {
+			...model,
+			running: true
+		} }),
+		Stopped: () => ({ model: {
+			...model,
+			running: false
+		} }),
+		Ticked: ({ value }) => ({ model: {
+			...model,
+			value
+		} }),
+		Finished: ({ value }) => ({ model: {
+			...model,
+			value,
+			running: false
+		} })
+	}),
+	subscriptions: ({ from, to, ms }) => Subscription.make()((entry) => ({ ticks: entry({ running: Schema.Boolean }, {
+		modelToDependencies: (model) => ({ running: model.running }),
+		dependenciesToStream: ({ running }) => running ? Stream.unwrap(Clock.currentTimeMillis.pipe(Effect.map((startedAt) => {
+			const progress = Stream.tick(16).pipe(Stream.mapEffect(() => Clock.currentTimeMillis), Stream.map((now) => Math.min(1, (now - startedAt) / ms)));
+			return Stream.concat(progress.pipe(Stream.takeUntil((done) => done >= 1), Stream.map((done) => TweenMessage.Ticked({ value: from + (to - from) * done }))), Stream.make(TweenMessage.Finished({ value: to })));
+		}))) : Stream.empty
+	}) }))
+});
+//#endregion
+export { Presence, PresenceMessage, PresenceModel, Spring, SpringMessage, SpringModel, Tween, TweenMessage, TweenModel, isVisible };
+
+//# sourceMappingURL=index.mjs.map

package/dist/motion/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","names":[],"sources":["../../src/motion/presence.ts","../../src/motion/spring.ts","../../src/motion/tween.ts"],"sourcesContent":["/**\n * Presence as a bundle: mount-transition state for exit animations. `Hide`\n * starts a timed `hiding` phase; the `Hidden` fact it yields carries the\n * generation it was scheduled under, so a `Show` in between wins and the\n * late fact is ignored. The clock is Effect's, so tests drive it.\n */\nimport { Effect, Schema } from 'effect'\nimport { defineMessageUnion } from 'foldkit/message'\nimport type * as Update from 'foldkit/update'\nimport { Bundle } from 'foldkit-bundle'\n\nexport const PresenceModel = Schema.Struct({\n  phase: Schema.Literals(['shown', 'hiding', 'hidden']),\n  generation: Schema.Number,\n})\nexport type PresenceModel = typeof PresenceModel.Type\n\nexport const PresenceMessage = defineMessageUnion({\n  Show: {},\n  Hide: {},\n  Hidden: { generation: Schema.Number },\n})\nexport type PresenceMessage = typeof PresenceMessage.Type\n\n/** Whether the content renders: shown or mid-exit. */\nexport const isVisible = (model: PresenceModel): boolean => model.phase !== 'hidden'\n\nexport const Presence = Bundle.make<\n  'Presence',\n  PresenceModel,\n  PresenceMessage,\n  { readonly durationMs: number },\n  never,\n  never,\n  never,\n  void,\n  {},\n  {}\n>('Presence', {\n  Model: PresenceModel,\n  Message: PresenceMessage,\n  args: Schema.Struct({\n    durationMs: Schema.Number.pipe(\n      Schema.check(Schema.isGreaterThan(0)),\n      Schema.check(Schema.isFinite()),\n    ),\n  }),\n  init: () => ({ model: { phase: 'hidden', generation: 0 } }),\n  update: (model, message, args) =>\n    PresenceMessage.match<Update.ReturnWithOutMessage<PresenceModel, PresenceMessage, never>>(\n      message,\n      {\n        // Every new transition invalidates pending timeouts.\n        Show: () => ({\n          model: { ...model, phase: 'shown' as const, generation: model.generation + 1 },\n        }),\n        Hide: () => {\n          const generation = model.generation + 1\n          return {\n            model: { ...model, phase: 'hiding' as const, generation },\n            commands: [\n              {\n                name: 'Presence.hide',\n                args: { generation },\n                effect: Effect.as(\n                  Effect.sleep(args.durationMs),\n                  PresenceMessage.Hidden({ generation }),\n                ),\n              },\n            ],\n          }\n        },\n        Hidden: ({ generation }) =>\n          generation === model.generation\n            ? { model: { ...model, phase: 'hidden' as const } }\n            : { model },\n      },\n    ),\n})\n","/**\n * A spring as a bundle: a number pulled toward a target with stiffness and\n * damping, in the Model. Semi-implicit Euler at a fixed 16ms step, so the\n * trajectory is deterministic under TestClock; the stream ends with\n * Finished, and the value rests exactly at `to`. Underdamped springs\n * overshoot — that is the point — but the rest value is still exact.\n */\nimport { Schema, Stream } from 'effect'\nimport { defineMessageUnion } from 'foldkit/message'\nimport * as Subscription from 'foldkit/subscription'\nimport { Bundle } from 'foldkit-bundle'\n\nexport const SpringModel = Schema.Struct({\n  value: Schema.Number,\n  velocity: Schema.Number,\n  running: Schema.Boolean,\n})\nexport type SpringModel = typeof SpringModel.Type\n\nexport const SpringMessage = defineMessageUnion({\n  Started: {},\n  Stopped: {},\n  Ticked: { value: Schema.Number, velocity: Schema.Number },\n  /** Carries the exact end value: the integrator stops near it, not on it. */\n  Finished: { value: Schema.Number },\n})\nexport type SpringMessage = typeof SpringMessage.Type\n\nconst step = 16\nconst epsilon = 0.001\n\ninterface Point {\n  readonly x: number\n  readonly v: number\n}\n\nconst settled = (point: Point, to: number): boolean =>\n  Math.abs(to - point.x) < epsilon && Math.abs(point.v) < epsilon\n\nexport const Spring = Bundle.make('Spring', {\n  Model: SpringModel,\n  Message: SpringMessage,\n  args: Schema.Struct({\n    from: Schema.Number.pipe(Schema.check(Schema.isFinite())),\n    to: Schema.Number.pipe(Schema.check(Schema.isFinite())),\n    stiffness: Schema.Number.pipe(\n      Schema.check(Schema.isGreaterThan(0)),\n      Schema.check(Schema.isFinite()),\n    ),\n    damping: Schema.Number.pipe(\n      Schema.check(Schema.isGreaterThan(0)),\n      Schema.check(Schema.isFinite()),\n    ),\n  }),\n  init: args => ({ model: { value: args.from, velocity: 0, running: false } }),\n  update: (model, message) =>\n    SpringMessage.match(message, {\n      Started: () => ({ model: { ...model, running: true } }),\n      Stopped: () => ({ model: { ...model, running: false } }),\n      Ticked: ({ value, velocity }) => ({ model: { ...model, value, velocity } }),\n      Finished: ({ value }) => ({ model: { ...model, value, velocity: 0, running: false } }),\n    }),\n  subscriptions: ({\n    from,\n    to,\n    stiffness,\n    damping,\n  }): Subscription.Subscriptions<SpringModel, SpringMessage> =>\n    Subscription.make<SpringModel, SpringMessage>()(entry => ({\n      ticks: entry(\n        { running: Schema.Boolean },\n        {\n          modelToDependencies: model => ({ running: model.running }),\n          dependenciesToStream: ({ running }) => {\n            if (!running) return Stream.empty\n            // One integration step per tick, not per elapsed wall time: the\n            // trajectory is identical on the live clock and TestClock, and a\n            // stalled event loop slows the animation instead of catching up\n            // all at once.\n            const dt = step / 1000\n            const points = Stream.tick(step).pipe(\n              Stream.scan({ x: from, v: 0 }, point => {\n                const force = -stiffness * (point.x - to) - damping * point.v\n                const v = point.v + force * dt\n                return { x: point.x + v * dt, v }\n              }),\n              // scan emits the seed (no movement yet) before the first step.\n              Stream.drop(1),\n            )\n            return Stream.concat(\n              points.pipe(\n                Stream.takeUntil(point => settled(point, to)),\n                Stream.map(point => SpringMessage.Ticked({ value: point.x, velocity: point.v })),\n              ),\n              Stream.make(SpringMessage.Finished({ value: to })),\n            )\n          },\n        },\n      ),\n    })),\n})\n","/**\n * A tween as a bundle: a number animated from one value to another over a\n * duration, in the Model. Progress comes from Effect's clock, so tests drive\n * it with TestClock; the stream ends with Finished, and the value rests at\n * `to`. Linear interpolation only: easing curves stay the application's job.\n */\nimport { Clock, Effect, Schema, Stream } from 'effect'\nimport { defineMessageUnion } from 'foldkit/message'\nimport * as Subscription from 'foldkit/subscription'\nimport { Bundle } from 'foldkit-bundle'\n\nexport const TweenModel = Schema.Struct({ value: Schema.Number, running: Schema.Boolean })\nexport type TweenModel = typeof TweenModel.Type\n\nexport const TweenMessage = defineMessageUnion({\n  Started: {},\n  Stopped: {},\n  Ticked: { value: Schema.Number },\n  /** Carries the exact end value: the stream may stop on either side of it. */\n  Finished: { value: Schema.Number },\n})\nexport type TweenMessage = typeof TweenMessage.Type\n\nexport const Tween = Bundle.make('Tween', {\n  Model: TweenModel,\n  Message: TweenMessage,\n  args: Schema.Struct({\n    from: Schema.Number.pipe(Schema.check(Schema.isFinite())),\n    to: Schema.Number.pipe(Schema.check(Schema.isFinite())),\n    ms: Schema.Number.pipe(Schema.check(Schema.isGreaterThan(0)), Schema.check(Schema.isFinite())),\n  }),\n  init: args => ({ model: { value: args.from, running: false } }),\n  update: (model, message) =>\n    TweenMessage.match(message, {\n      Started: () => ({ model: { ...model, running: true } }),\n      Stopped: () => ({ model: { ...model, running: false } }),\n      Ticked: ({ value }) => ({ model: { ...model, value } }),\n      Finished: ({ value }) => ({ model: { ...model, value, running: false } }),\n    }),\n  subscriptions: ({ from, to, ms }): Subscription.Subscriptions<TweenModel, TweenMessage> =>\n    Subscription.make<TweenModel, TweenMessage>()(entry => ({\n      ticks: entry(\n        { running: Schema.Boolean },\n        {\n          modelToDependencies: model => ({ running: model.running }),\n          dependenciesToStream: ({ running }) =>\n            running\n              ? Stream.unwrap(\n                  Clock.currentTimeMillis.pipe(\n                    Effect.map(startedAt => {\n                      const progress = Stream.tick(16).pipe(\n                        Stream.mapEffect(() => Clock.currentTimeMillis),\n                        Stream.map(now => Math.min(1, (now - startedAt) / ms)),\n                      )\n                      return Stream.concat(\n                        progress.pipe(\n                          Stream.takeUntil(done => done >= 1),\n                          Stream.map(done =>\n                            TweenMessage.Ticked({ value: from + (to - from) * done }),\n                          ),\n                        ),\n                        Stream.make(TweenMessage.Finished({ value: to })),\n                      )\n                    }),\n                  ),\n                )\n              : Stream.empty,\n        },\n      ),\n    })),\n})\n"],"mappings":";;;;;;;;;;;AAWA,MAAa,gBAAgB,OAAO,OAAO;CACzC,OAAO,OAAO,SAAS;EAAC;EAAS;EAAU;CAAQ,CAAC;CACpD,YAAY,OAAO;AACrB,CAAC;AAGD,MAAa,kBAAkB,mBAAmB;CAChD,MAAM,CAAC;CACP,MAAM,CAAC;CACP,QAAQ,EAAE,YAAY,OAAO,OAAO;AACtC,CAAC;;AAID,MAAa,aAAa,UAAkC,MAAM,UAAU;AAE5E,MAAa,WAAW,OAAO,KAW7B,YAAY;CACZ,OAAO;CACP,SAAS;CACT,MAAM,OAAO,OAAO,EAClB,YAAY,OAAO,OAAO,KACxB,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,GACpC,OAAO,MAAM,OAAO,SAAS,CAAC,CAChC,EACF,CAAC;CACD,aAAa,EAAE,OAAO;EAAE,OAAO;EAAU,YAAY;CAAE,EAAE;CACzD,SAAS,OAAO,SAAS,SACvB,gBAAgB,MACd,SACA;EAEE,aAAa,EACX,OAAO;GAAE,GAAG;GAAO,OAAO;GAAkB,YAAY,MAAM,aAAa;EAAE,EAC/E;EACA,YAAY;GACV,MAAM,aAAa,MAAM,aAAa;GACtC,OAAO;IACL,OAAO;KAAE,GAAG;KAAO,OAAO;KAAmB;IAAW;IACxD,UAAU,CACR;KACE,MAAM;KACN,MAAM,EAAE,WAAW;KACnB,QAAQ,OAAO,GACb,OAAO,MAAM,KAAK,UAAU,GAC5B,gBAAgB,OAAO,EAAE,WAAW,CAAC,CACvC;IACF,CACF;GACF;EACF;EACA,SAAS,EAAE,iBACT,eAAe,MAAM,aACjB,EAAE,OAAO;GAAE,GAAG;GAAO,OAAO;EAAkB,EAAE,IAChD,EAAE,MAAM;CAChB,CACF;AACJ,CAAC;;;;;;;;;;AClED,MAAa,cAAc,OAAO,OAAO;CACvC,OAAO,OAAO;CACd,UAAU,OAAO;CACjB,SAAS,OAAO;AAClB,CAAC;AAGD,MAAa,gBAAgB,mBAAmB;CAC9C,SAAS,CAAC;CACV,SAAS,CAAC;CACV,QAAQ;EAAE,OAAO,OAAO;EAAQ,UAAU,OAAO;CAAO;;CAExD,UAAU,EAAE,OAAO,OAAO,OAAO;AACnC,CAAC;AAGD,MAAM,OAAO;AACb,MAAM,UAAU;AAOhB,MAAM,WAAW,OAAc,OAC7B,KAAK,IAAI,KAAK,MAAM,CAAC,IAAI,WAAW,KAAK,IAAI,MAAM,CAAC,IAAI;AAE1D,MAAa,SAAS,OAAO,KAAK,UAAU;CAC1C,OAAO;CACP,SAAS;CACT,MAAM,OAAO,OAAO;EAClB,MAAM,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,SAAS,CAAC,CAAC;EACxD,IAAI,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,SAAS,CAAC,CAAC;EACtD,WAAW,OAAO,OAAO,KACvB,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,GACpC,OAAO,MAAM,OAAO,SAAS,CAAC,CAChC;EACA,SAAS,OAAO,OAAO,KACrB,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,GACpC,OAAO,MAAM,OAAO,SAAS,CAAC,CAChC;CACF,CAAC;CACD,OAAM,UAAS,EAAE,OAAO;EAAE,OAAO,KAAK;EAAM,UAAU;EAAG,SAAS;CAAM,EAAE;CAC1E,SAAS,OAAO,YACd,cAAc,MAAM,SAAS;EAC3B,gBAAgB,EAAE,OAAO;GAAE,GAAG;GAAO,SAAS;EAAK,EAAE;EACrD,gBAAgB,EAAE,OAAO;GAAE,GAAG;GAAO,SAAS;EAAM,EAAE;EACtD,SAAS,EAAE,OAAO,gBAAgB,EAAE,OAAO;GAAE,GAAG;GAAO;GAAO;EAAS,EAAE;EACzE,WAAW,EAAE,aAAa,EAAE,OAAO;GAAE,GAAG;GAAO;GAAO,UAAU;GAAG,SAAS;EAAM,EAAE;CACtF,CAAC;CACH,gBAAgB,EACd,MACA,IACA,WACA,cAEA,aAAa,KAAiC,CAAC,EAAC,WAAU,EACxD,OAAO,MACL,EAAE,SAAS,OAAO,QAAQ,GAC1B;EACE,sBAAqB,WAAU,EAAE,SAAS,MAAM,QAAQ;EACxD,uBAAuB,EAAE,cAAc;GACrC,IAAI,CAAC,SAAS,OAAO,OAAO;GAK5B,MAAM,KAAK,OAAO;GAClB,MAAM,SAAS,OAAO,KAAK,IAAI,CAAC,CAAC,KAC/B,OAAO,KAAK;IAAE,GAAG;IAAM,GAAG;GAAE,IAAG,UAAS;IACtC,MAAM,QAAQ,CAAC,aAAa,MAAM,IAAI,MAAM,UAAU,MAAM;IAC5D,MAAM,IAAI,MAAM,IAAI,QAAQ;IAC5B,OAAO;KAAE,GAAG,MAAM,IAAI,IAAI;KAAI;IAAE;GAClC,CAAC,GAED,OAAO,KAAK,CAAC,CACf;GACA,OAAO,OAAO,OACZ,OAAO,KACL,OAAO,WAAU,UAAS,QAAQ,OAAO,EAAE,CAAC,GAC5C,OAAO,KAAI,UAAS,cAAc,OAAO;IAAE,OAAO,MAAM;IAAG,UAAU,MAAM;GAAE,CAAC,CAAC,CACjF,GACA,OAAO,KAAK,cAAc,SAAS,EAAE,OAAO,GAAG,CAAC,CAAC,CACnD;EACF;CACF,CACF,EACF,EAAE;AACN,CAAC;;;;;;;;;ACzFD,MAAa,aAAa,OAAO,OAAO;CAAE,OAAO,OAAO;CAAQ,SAAS,OAAO;AAAQ,CAAC;AAGzF,MAAa,eAAe,mBAAmB;CAC7C,SAAS,CAAC;CACV,SAAS,CAAC;CACV,QAAQ,EAAE,OAAO,OAAO,OAAO;;CAE/B,UAAU,EAAE,OAAO,OAAO,OAAO;AACnC,CAAC;AAGD,MAAa,QAAQ,OAAO,KAAK,SAAS;CACxC,OAAO;CACP,SAAS;CACT,MAAM,OAAO,OAAO;EAClB,MAAM,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,SAAS,CAAC,CAAC;EACxD,IAAI,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,SAAS,CAAC,CAAC;EACtD,IAAI,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,GAAG,OAAO,MAAM,OAAO,SAAS,CAAC,CAAC;CAC/F,CAAC;CACD,OAAM,UAAS,EAAE,OAAO;EAAE,OAAO,KAAK;EAAM,SAAS;CAAM,EAAE;CAC7D,SAAS,OAAO,YACd,aAAa,MAAM,SAAS;EAC1B,gBAAgB,EAAE,OAAO;GAAE,GAAG;GAAO,SAAS;EAAK,EAAE;EACrD,gBAAgB,EAAE,OAAO;GAAE,GAAG;GAAO,SAAS;EAAM,EAAE;EACtD,SAAS,EAAE,aAAa,EAAE,OAAO;GAAE,GAAG;GAAO;EAAM,EAAE;EACrD,WAAW,EAAE,aAAa,EAAE,OAAO;GAAE,GAAG;GAAO;GAAO,SAAS;EAAM,EAAE;CACzE,CAAC;CACH,gBAAgB,EAAE,MAAM,IAAI,SAC1B,aAAa,KAA+B,CAAC,EAAC,WAAU,EACtD,OAAO,MACL,EAAE,SAAS,OAAO,QAAQ,GAC1B;EACE,sBAAqB,WAAU,EAAE,SAAS,MAAM,QAAQ;EACxD,uBAAuB,EAAE,cACvB,UACI,OAAO,OACL,MAAM,kBAAkB,KACtB,OAAO,KAAI,cAAa;GACtB,MAAM,WAAW,OAAO,KAAK,EAAE,CAAC,CAAC,KAC/B,OAAO,gBAAgB,MAAM,iBAAiB,GAC9C,OAAO,KAAI,QAAO,KAAK,IAAI,IAAI,MAAM,aAAa,EAAE,CAAC,CACvD;GACA,OAAO,OAAO,OACZ,SAAS,KACP,OAAO,WAAU,SAAQ,QAAQ,CAAC,GAClC,OAAO,KAAI,SACT,aAAa,OAAO,EAAE,OAAO,QAAQ,KAAK,QAAQ,KAAK,CAAC,CAC1D,CACF,GACA,OAAO,KAAK,aAAa,SAAS,EAAE,OAAO,GAAG,CAAC,CAAC,CAClD;EACF,CAAC,CACH,CACF,IACA,OAAO;CACf,CACF,EACF,EAAE;AACN,CAAC"}

package/dist/net/index.d.mts

@@ -0,0 +1,199 @@
+import { Option, Queue, Schema, Stream } from "effect";
+import { Bundle } from "foldkit-bundle";
+import * as ManagedResource from "foldkit/managedResource";
+import { Command } from "foldkit/command";
+import * as Update from "foldkit/update";
+//#region src/net/broadcast.d.ts
+export declare const BroadcastMessage: import("foldkit/message").MessageUnion<{
+  /** Notifies without storing: project the payload into your own field to keep it. */
+  readonly Received: {
+    readonly data: Schema.Unknown;
+  };
+  readonly Posted: {};
+  readonly BroadcastFailed: {
+    readonly message: Schema.String;
+  };
+}>;
+export type BroadcastMessage = typeof BroadcastMessage.Type;
+/** The slice of a BroadcastChannel this module needs; satisfied by the platform class. */
+export interface BroadcastChannelHandle {
+  postMessage(data: unknown): void;
+  close(): void;
+  onmessage: ((event: {
+    readonly data: unknown;
+  }) => void) | null;
+}
+type ChannelFactory = (name: string) => BroadcastChannelHandle;
+/**
+ * Every post to `name` from another channel, as Messages. Without a
+ * BroadcastChannel API the stream is empty instead of throwing; closing the
+ * stream closes the channel.
+ */
+export declare const broadcastMessages: (name: string, create?: ChannelFactory | undefined) => Stream.Stream<BroadcastMessage>;
+/**
+ * Posts one message to `name`. Opens a channel, posts, and closes it: the
+ * send is one-shot, so it is a Command, not a resource. Without a
+ * BroadcastChannel API — or when the post throws — it yields
+ * `BroadcastFailed` instead of throwing.
+ */
+export declare const postBroadcast: (name: string, data: unknown, create?: ChannelFactory | undefined) => Command<BroadcastMessage, never, never>;
+//#endregion
+//#region src/net/online.d.ts
+export declare const OnlineModel: Schema.Struct<{
+  readonly online: Schema.Boolean;
+}>;
+export type OnlineModel = typeof OnlineModel.Type;
+export declare const OnlineMessage: import("foldkit/message").MessageUnion<{
+  readonly Changed: {
+    readonly online: Schema.Boolean;
+  };
+}>;
+export type OnlineMessage = typeof OnlineMessage.Type;
+export declare const Online: Bundle.Bundle<"Online", void, {
+  online: boolean;
+}, {
+  readonly _tag: "Changed";
+  readonly online: boolean;
+}, never, never, never, void, {}, {}>;
+//#endregion
+//#region src/net/sse.d.ts
+/** The slice of an EventSource the bundle needs; satisfied by the platform class. */
+export interface SourceHandle {
+  readonly readyState: number;
+  close(): void;
+  onopen: ((event: any) => void) | null;
+  onmessage: ((event: any) => void) | null;
+  onerror: ((event: any) => void) | null;
+}
+export declare const SseModel: Schema.Struct<{
+  readonly url: Schema.String;
+  readonly status: Schema.Literals<readonly ["closed", "connecting", "open"]>;
+  readonly lastError: Schema.NullOr<Schema.String>;
+}>;
+export type SseModel = typeof SseModel.Type;
+export declare const SseMessage: import("foldkit/message").MessageUnion<{
+  readonly Connecting: {};
+  readonly Opened: {};
+  /** Notifies without storing: project the payload into your own field to keep it. */
+  readonly Received: {
+    readonly data: Schema.String;
+  };
+  readonly Closed: {};
+  readonly Failed: {
+    readonly message: Schema.String;
+  };
+}>;
+export type SseMessage = typeof SseMessage.Type;
+/** The registry value behind the source tag: the live source and its incoming queue. */
+export interface AcquiredSource {
+  readonly source: SourceHandle;
+  readonly events: Queue.Queue<SseMessage>;
+}
+/** The live stream, for the incoming subscription. One assembly holds one. */
+export declare const Source: ManagedResource.ManagedResource<AcquiredSource, ManagedResource.ManagedResourceService<"sse">>;
+/** The source service a placed SSE stream requires. */
+export type SourceService = ManagedResource.ServiceOf<typeof Source>;
+export declare const sse: <const Name extends string>(config: {
+  readonly name: Name;
+  /** Defaults to the platform EventSource, read lazily so tests can substitute a double. */
+  readonly createSource?: ((url: string) => SourceHandle) | undefined;
+}) => Bundle.Bundle<Name, {
+  readonly url: string;
+}, {
+  readonly url: string;
+  readonly status: "closed" | "connecting" | "open";
+  readonly lastError: string | null;
+}, {
+  readonly _tag: "Connecting";
+} | {
+  readonly _tag: "Opened";
+} | {
+  readonly _tag: "Closed";
+} | {
+  readonly _tag: "Received";
+  readonly data: string;
+} | {
+  readonly _tag: "Failed";
+  readonly message: string;
+}, never, ManagedResource.ManagedResourceService<"sse">, ManagedResource.ManagedResourceService<"sse">, void, Readonly<{
+  source: ManagedResource.Entry<SseModel, SseMessage, Option.Option<string>, AcquiredSource, SourceService, () => SseMessage>;
+}>, {}>;
+//#endregion
+//#region src/net/websocket.d.ts
+/** The slice of a WebSocket the bundle needs; satisfied by the platform socket and test doubles. Handler events are `any`: the DOM and `ws` type them differently, and only `data` is read. */
+export interface SocketHandle {
+  readonly readyState: number;
+  send(data: string): void;
+  close(): void;
+  onopen: ((event: any) => void) | null;
+  onmessage: ((event: any) => void) | null;
+  onclose: ((event: any) => void) | null;
+  onerror: ((event: any) => void) | null;
+}
+export declare const WebSocketModel: Schema.Struct<{
+  readonly url: Schema.String;
+  readonly status: Schema.Literals<readonly ["closed", "connecting", "open"]>;
+  readonly lastError: Schema.NullOr<Schema.String>;
+}>;
+export type WebSocketModel = typeof WebSocketModel.Type;
+export declare const WebSocketMessage: import("foldkit/message").MessageUnion<{
+  readonly Connecting: {};
+  readonly Opened: {};
+  /** Notifies without storing: project the payload into your own field to keep it. */
+  readonly Received: {
+    readonly data: Schema.String;
+  };
+  readonly Closed: {};
+  readonly Failed: {
+    readonly message: Schema.String;
+  };
+  readonly SendFailed: {
+    readonly message: Schema.String;
+  };
+  /** Acknowledges dispatch, not delivery; update ignores it. */
+  readonly Sent: {};
+}>;
+export type WebSocketMessage = typeof WebSocketMessage.Type;
+/** The registry value behind the socket tag: the live socket and its incoming queue. */
+export interface Acquired {
+  readonly socket: SocketHandle;
+  readonly events: Queue.Queue<WebSocketMessage>;
+}
+/** The live connection, for `send` and the incoming stream. One assembly holds one. */
+export declare const Socket: ManagedResource.ManagedResource<Acquired, ManagedResource.ManagedResourceService<"websocket">>;
+/** The socket service a placed WebSocket's streams and send commands require. */
+export type SocketService = ManagedResource.ServiceOf<typeof Socket>;
+export declare const websocket: <const Name extends string>(config: {
+  readonly name: Name;
+  /** Defaults to the platform WebSocket, read lazily so tests can substitute a double. */
+  readonly createSocket?: ((url: string) => SocketHandle) | undefined;
+}) => Bundle.Bundle<Name, {
+  readonly url: string;
+}, {
+  readonly url: string;
+  readonly status: "closed" | "connecting" | "open";
+  readonly lastError: string | null;
+}, {
+  readonly _tag: "Received";
+  readonly data: string;
+} | {
+  readonly _tag: "Connecting";
+} | {
+  readonly _tag: "Opened";
+} | {
+  readonly _tag: "Closed";
+} | {
+  readonly _tag: "Failed";
+  readonly message: string;
+} | {
+  readonly _tag: "SendFailed";
+  readonly message: string;
+} | {
+  readonly _tag: "Sent";
+}, never, ManagedResource.ManagedResourceService<"websocket">, ManagedResource.ManagedResourceService<"websocket">, void, Readonly<{
+  socket: ManagedResource.Entry<WebSocketModel, WebSocketMessage, Option.Option<string>, Acquired, SocketService, () => WebSocketMessage>;
+}>, Readonly<{
+  send: (model: WebSocketModel, data: string) => Update.ReturnWithOutMessage<WebSocketModel, WebSocketMessage, never, SocketService>;
+}>>;
+//#endregion
+//# sourceMappingURL=index.d.mts.map

package/dist/net/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","names":[],"sources":["../../src/net/broadcast.ts","../../src/net/online.ts","../../src/net/sse.ts","../../src/net/websocket.ts"],"mappings":";;;;;;qBAWa,4CAAgB;;;;;;;;;;YAMjB,0BAA0B,iBAAiB;;iBAGtC;EACf,YAAY;EACZ;EACA,aAAa;aAAkB;;;KAG5B,kBAAkB,iBAAiB;;;;;;qBAmB3B,oBAAiB,cAChB,SAEH,+BACR,OAAO,OAAO;;;;;;;qBAyBJ,gBAAa,cACZ,eACC,SACJ,+BACR,QAAQ;;;qBCpEE,aAAW,OAAA;;;YACZ,qBAAqB,YAAY;qBAEhC,yCAAa;;qBAAb,OAAA;;;YACD,uBAAuB,cAAc;qBAkBpC,QAAM,OAAA;;;;;;;;;iBClBF;WACN;EACT;EACA,UAAU;EACV,aAAa;EACb,WAAW;;qBAGA,UAAQ,OAAA;;;;;YAKT,kBAAkB,SAAS;qBAE1B,sCAAU;;;;;;;;;;;;YAQX,oBAAoB,WAAW;;iBAG1B;WACN,QAAQ;WACR,QAAQ,MAAM,MAAM;;;qBAIlB,QAAM,gBAAA,gBAAA,gBAAA,gBAAA;;YAGP,gBAAgB,gBAAgB,iBAAiB;qBAgBhD,YAAa,qBAAmB;WAClC,MAAM;;WAEN,iBAAiB,gBAAgB;MAC3C,OAAA,OAAA;WAOmB;;;;;;;;;;;;;;;;;;EAxBV,QAAA,gBAAgB,MACtB,UACA,YACA,OAAO,gBACP,gBACA,qBACM;;;;;iBC1CO;WACN;EACT,KAAK;EACL;EACA,UAAU;EACV,aAAa;EACb,WAAW;EACX,WAAW;;qBAGA,gBAAc,OAAA;;;;;YAKf,wBAAwB,eAAe;qBAEtC,4CAAgB;;;;;;;;;;;;;;;;;YAWjB,0BAA0B,iBAAiB;;iBAGtC;WACN,QAAQ;WACR,QAAQ,MAAM,MAAM;;;qBAIlB,QAAM,gBAAA,gBAAA,UAAA,gBAAA;;YAGP,gBAAgB,gBAAgB,iBAAiB;qBAgChD,kBAAmB,qBAAmB;WACxC,MAAM;;WAEN,iBAAiB,gBAAgB;MAC3C,OAAA,OAAA;WAOmB;;;;;;;;;;;;;;;;;;;;;;;EAxCV,QAAA,gBAAgB,MACtB,gBACA,kBACA,OAAO,gBACP,UACA,qBACM;;EAKF,OACJ,OAAO,gBACP,iBACG,OAAO,qBAAqB,gBAAgB,yBAAyB"}