foldkit 0.100.1 → 0.102.0

package/dist/runtime/subscription.d.ts

@@ -1,23 +1,143 @@
-import { type Equivalence, type Schema, type Stream } from 'effect';
-type ResolveMessage<T> = T extends Schema.Top ? Schema.Schema.Type<T> : T;
-/** A reactive binding between Model state and a long-running stream of Messages. */
-export type Subscription<Model, Message, StreamDeps, Resources = never> = {
-    readonly modelToDependencies: (model: Model) => StreamDeps;
-    readonly equivalence?: Equivalence.Equivalence<StreamDeps>;
-    readonly dependenciesToStream: (deps: StreamDeps, readDependencies: () => StreamDeps) => Stream.Stream<ResolveMessage<Message>, never, Resources>;
+import { type Equivalence, Schema, Stream } from 'effect';
+type SubscriptionBrand = {
+    readonly __subscription: never;
 };
-type SubscriptionConfig<Model, Message, StreamDeps, Resources = never> = {
-    readonly schema: Schema.Schema<StreamDeps>;
-} & Subscription<Model, Message, StreamDeps, Resources>;
-/** A record of named subscription configurations, keyed by dependency field name. */
-export type Subscriptions<Model, Message, SubscriptionDependencies extends Schema.Struct<any>, Resources = never> = {
-    readonly [K in keyof Schema.Schema.Type<SubscriptionDependencies>]: SubscriptionConfig<Model, Message, Schema.Schema.Type<SubscriptionDependencies>[K], Resources>;
+type DependenciesSchema<Dependencies> = Schema.Schema<Dependencies> & {
+    readonly fields: Schema.Struct.Fields;
 };
-/** Creates type-safe subscription configurations from a dependency schema. */
-export declare const makeSubscriptions: <SubscriptionDependencies extends Schema.Struct<any>>(SubscriptionDependencies: SubscriptionDependencies) => <Model, Message, Resources = never>(configs: { readonly [K in keyof Schema.Schema.Type<SubscriptionDependencies>]: {
-    readonly modelToDependencies: (model: Model) => Schema.Schema.Type<SubscriptionDependencies>[K];
-    readonly equivalence?: Equivalence.Equivalence<Schema.Schema.Type<SubscriptionDependencies>[K]> | undefined;
-    readonly dependenciesToStream: (deps: Schema.Schema.Type<SubscriptionDependencies>[K], readDependencies: () => Schema.Schema.Type<SubscriptionDependencies>[K]) => Stream.Stream<ResolveMessage<Message>, never, Resources>;
-}; }) => Subscriptions<Model, Message, SubscriptionDependencies, Resources>;
+type EntryWithoutKeepAlive<Model, Message, Dependencies, Services> = {
+    readonly dependenciesSchema: DependenciesSchema<Dependencies>;
+    readonly modelToDependencies: (model: Model) => Dependencies;
+    readonly keepAliveEquivalence?: never;
+    readonly dependenciesToStream: (dependencies: Dependencies) => Stream.Stream<Message, never, Services>;
+};
+type EntryWithKeepAlive<Model, Message, Dependencies, Services> = {
+    readonly dependenciesSchema: DependenciesSchema<Dependencies>;
+    readonly modelToDependencies: (model: Model) => Dependencies;
+    readonly keepAliveEquivalence: Equivalence.Equivalence<Dependencies>;
+    readonly dependenciesToStream: (dependencies: Dependencies, readDependencies: () => Dependencies) => Stream.Stream<Message, never, Services>;
+};
+type Entry<Model, Message, Dependencies, Services = never> = EntryWithoutKeepAlive<Model, Message, Dependencies, Services> | EntryWithKeepAlive<Model, Message, Dependencies, Services>;
+/**
+ * A single subscription entry produced by `Subscription.make`,
+ * `Subscription.lift`, or `Subscription.aggregate`. The brand field is
+ * `never`, so application code cannot manually construct a `Subscription`
+ * value: it must go through one of those constructors (or a helper like
+ * `Subscription.persistent` that returns an entry shape, then through
+ * `make`).
+ *
+ * Two variants by `keepAliveEquivalence` presence:
+ *
+ * - Without `keepAliveEquivalence` (the common case), every Model change recomputes
+ *   the dependencies. Equivalent dependencies leave the Stream alone; any
+ *   change tears it down and restarts. `dependenciesToStream` takes a single
+ *   argument: the latest dependencies.
+ * - With `keepAliveEquivalence` (an escape hatch), Model changes that the
+ *   equivalence treats as equal leave the Stream running, but the running
+ *   Stream can still read the latest dependencies via the second
+ *   `readDependencies` argument. Use this when the Stream needs mid-flight
+ *   access to data that changes often but shouldn't trigger restarts
+ *   (Foldkit UI's `Ui.DragAndDrop.autoScroll` reading the latest pointer
+ *   `clientY` each rAF tick is the canonical example).
+ *
+ * `dependenciesSchema` must be a `Schema.Struct` so every dependency is
+ * explicitly named at the schema level.
+ */
+export type Subscription<Model, Message, Dependencies, Services = never> = Entry<Model, Message, Dependencies, Services> & SubscriptionBrand;
+/** A record of named Subscriptions keyed by dependency field name. */
+export type Subscriptions<Model, Message, Services = never> = Readonly<Record<string, Subscription<Model, Message, any, Services>>>;
+/**
+ * Callbacks for a subscription entry without `keepAliveEquivalence`. Dependencies
+ * are inferred from the field map passed to `entry`.
+ */
+type EntryCallbacksWithoutKeepAlive<Model, Message, Dependencies, Services> = {
+    readonly modelToDependencies: (model: Model) => Dependencies;
+    readonly keepAliveEquivalence?: never;
+    readonly dependenciesToStream: (dependencies: Dependencies) => Stream.Stream<Message, never, Services>;
+};
+/**
+ * Callbacks for a subscription entry with `keepAliveEquivalence`. Dependencies
+ * are inferred from the field map passed to `entry`.
+ */
+type EntryCallbacksWithKeepAlive<Model, Message, Dependencies, Services> = {
+    readonly modelToDependencies: (model: Model) => Dependencies;
+    readonly keepAliveEquivalence: Equivalence.Equivalence<Dependencies>;
+    readonly dependenciesToStream: (dependencies: Dependencies, readDependencies: () => Dependencies) => Stream.Stream<Message, never, Services>;
+};
+/**
+ * Builds a single subscription entry from a field map and callbacks.
+ *
+ * The field map is the same shape you would pass to `S.Struct`. Reading the
+ * schema as a positional argument (rather than a property on the entry
+ * literal) lets TypeScript fully resolve the `Dependencies` type before
+ * contextually typing `modelToDependencies` and `dependenciesToStream`, so
+ * destructuring patterns like `({ maybeMapHostId })` are inferred correctly
+ * even when the field schemas use transforms (e.g. `S.Option`).
+ *
+ * Two overloads, one per `keepAliveEquivalence` presence:
+ *
+ * - Without `keepAliveEquivalence`, `dependenciesToStream` takes a single
+ *   `dependencies` argument.
+ * - With `keepAliveEquivalence`, `dependenciesToStream` also receives a
+ *   `readDependencies` thunk for accessing the latest value while the Stream
+ *   stays running across Model changes the equivalence accepts as equal.
+ */
+export type EntryBuilder<Model, Message, Services> = <const Fields extends Schema.Struct.Fields, Callbacks extends EntryCallbacksWithoutKeepAlive<Model, Message, Schema.Struct.Type<Fields>, Services> | EntryCallbacksWithKeepAlive<Model, Message, Schema.Struct.Type<Fields>, Services>>(fields: Fields, callbacks: Callbacks) => Callbacks extends {
+    readonly keepAliveEquivalence: Equivalence.Equivalence<any>;
+} ? EntryWithKeepAlive<Model, Message, Schema.Struct.Type<Fields>, Services> : EntryWithoutKeepAlive<Model, Message, Schema.Struct.Type<Fields>, Services>;
+/**
+ * Declares a Subscriptions record. The Model, Message, and optional Services
+ * generics are provided up front; the entries record follows, built from
+ * calls to the `entry` builder passed into the inner function.
+ *
+ * Reach for `Subscription.aggregate` to combine multiple records, and
+ * `Subscription.lift` to translate a child Submodel's record into a parent
+ * context.
+ *
+ * @example
+ * ```ts
+ * Subscription.make<Model, Message>()(entry => ({
+ *   tick: entry(
+ *     { isRunning: S.Boolean },
+ *     {
+ *       modelToDependencies: model => ({ isRunning: model.isRunning }),
+ *       dependenciesToStream: ({ isRunning }) =>
+ *         Stream.when(..., Effect.sync(() => isRunning)),
+ *     },
+ *   ),
+ * }))
+ * ```
+ */
+export declare const make: <Model, Message, Services = never>() => <Entries extends Readonly<Record<string, Entry<Model, Message, any, Services>>>>(build: (entry: EntryBuilder<Model, Message, Services>) => Entries) => { readonly [K in keyof Entries]: Entries[K] & SubscriptionBrand; };
+/**
+ * Combines multiple Subscriptions records into one. Throws on duplicate
+ * keys so a misconfigured aggregate fails loudly at startup rather than
+ * silently overriding.
+ */
+export declare const aggregate: <Model, Message, Services = never>() => (...records: ReadonlyArray<Subscriptions<Model, Message, Services>>) => Subscriptions<Model, Message, Services>;
+/**
+ * Wraps a Stream as a Subscription entry whose lifecycle is independent of
+ * the Model. The Stream runs for the lifetime of the Subscriptions record;
+ * no Model change tears it down or restarts it. Use for any Stream whose
+ * work doesn't depend on Model state, such as system theme listeners,
+ * viewport width observers, or route-independent timers.
+ *
+ * Returns an entry shape, not a branded Subscription. Pass it into `make`
+ * as an entry value.
+ */
+export declare const persistent: <Message, Services = never>(stream: Stream.Stream<Message, never, Services>) => EntryWithoutKeepAlive<unknown, Message, Record<string, never>, Services>;
+type ChildModelOf<ChildSubscriptions> = ChildSubscriptions[keyof ChildSubscriptions] extends Subscription<infer ChildModel, any, any, any> ? ChildModel : never;
+type ChildMessageOf<ChildSubscriptions> = ChildSubscriptions[keyof ChildSubscriptions] extends Subscription<any, infer ChildMessage, any, any> ? ChildMessage : never;
+/**
+ * Lifts a record of child Subscriptions into a parent's Model and Message
+ * context, applying a Model accessor and a Message wrapper uniformly to
+ * every entry. Per-entry dependency types, schemas, and `keepAliveEquivalence`
+ * settings are preserved; each lifted entry's variant (with or without
+ * `readDependencies`) matches its source entry's.
+ */
+export declare const lift: <Subscriptions extends Readonly<Record<string, Subscription<any, any, any, any>>>>(subscriptions: Subscriptions) => <ParentModel, ParentMessage>(config: {
+    readonly toChildModel: (parentModel: ParentModel) => ChildModelOf<Subscriptions>;
+    readonly toParentMessage: (message: ChildMessageOf<Subscriptions>) => ParentMessage;
+}) => { readonly [K in keyof Subscriptions]: Subscriptions[K] extends Subscription<any, any, infer Dependencies, infer Services> ? Subscription<ParentModel, ParentMessage, Dependencies, Services> : never; };
 export {};
 //# sourceMappingURL=subscription.d.ts.map

package/dist/runtime/subscription.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"subscription.d.ts","sourceRoot":"","sources":["../../src/runtime/subscription.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,WAAW,EAAU,KAAK,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE3E,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAEzE,oFAAoF;AACpF,MAAM,MAAM,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,GAAG,KAAK,IAAI;IACxE,QAAQ,CAAC,mBAAmB,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,UAAU,CAAA;IAC1D,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC,CAAA;IAC1D,QAAQ,CAAC,oBAAoB,EAAE,CAC7B,IAAI,EAAE,UAAU,EAChB,gBAAgB,EAAE,MAAM,UAAU,KAC/B,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;CAC9D,CAAA;AAED,KAAK,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,GAAG,KAAK,IAAI;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;CAC3C,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAA;AAEvD,qFAAqF;AACrF,MAAM,MAAM,aAAa,CACvB,KAAK,EACL,OAAO,EACP,wBAAwB,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EACnD,SAAS,GAAG,KAAK,IACf;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,kBAAkB,CACpF,KAAK,EACL,OAAO,EACP,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,EAC/C,SAAS,CACV;CACF,CAAA;AAED,8EAA8E;AAC9E,eAAO,MAAM,iBAAiB,GAC3B,wBAAwB,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAClD,0BAA0B,wBAAwB,MAEnD,KAAK,EAAE,OAAO,EAAE,SAAS,GAAG,KAAK,EAAE,SAAS,EAC3C,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG;IAClE,QAAQ,CAAC,mBAAmB,EAAE,CAC5B,KAAK,EAAE,KAAK,KACT,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAA;IACpD,QAAQ,CAAC,WAAW,CAAC,EACjB,WAAW,CAAC,WAAW,CACrB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAChD,GACD,SAAS,CAAA;IACb,QAAQ,CAAC,oBAAoB,EAAE,CAC7B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,EACrD,gBAAgB,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,KACpE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;CAC9D,GACF,KAAG,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,wBAAwB,EAAE,SAAS,CAelE,CAAA"}
+{"version":3,"file":"subscription.d.ts","sourceRoot":"","sources":["../../src/runtime/subscription.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,WAAW,EAAU,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEjE,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAA;CAC/B,CAAA;AAED,KAAK,kBAAkB,CAAC,YAAY,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG;IACpE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAA;CACtC,CAAA;AAED,KAAK,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,IAAI;IACnE,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAA;IAC7D,QAAQ,CAAC,mBAAmB,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,YAAY,CAAA;IAC5D,QAAQ,CAAC,oBAAoB,CAAC,EAAE,KAAK,CAAA;IACrC,QAAQ,CAAC,oBAAoB,EAAE,CAC7B,YAAY,EAAE,YAAY,KACvB,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;CAC7C,CAAA;AAED,KAAK,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,IAAI;IAChE,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAA;IAC7D,QAAQ,CAAC,mBAAmB,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,YAAY,CAAA;IAC5D,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IACpE,QAAQ,CAAC,oBAAoB,EAAE,CAC7B,YAAY,EAAE,YAAY,EAC1B,gBAAgB,EAAE,MAAM,YAAY,KACjC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;CAC7C,CAAA;AAED,KAAK,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,GAAG,KAAK,IACrD,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,GAC7D,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAA;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,YAAY,CACtB,KAAK,EACL,OAAO,EACP,YAAY,EACZ,QAAQ,GAAG,KAAK,IACd,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,GAAG,iBAAiB,CAAA;AAErE,sEAAsE;AACtE,MAAM,MAAM,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,GAAG,KAAK,IAAI,QAAQ,CACpE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAC5D,CAAA;AAED;;;GAGG;AACH,KAAK,8BAA8B,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,IAAI;IAC5E,QAAQ,CAAC,mBAAmB,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,YAAY,CAAA;IAC5D,QAAQ,CAAC,oBAAoB,CAAC,EAAE,KAAK,CAAA;IACrC,QAAQ,CAAC,oBAAoB,EAAE,CAC7B,YAAY,EAAE,YAAY,KACvB,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;CAC7C,CAAA;AAED;;;GAGG;AACH,KAAK,2BAA2B,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,IAAI;IACzE,QAAQ,CAAC,mBAAmB,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,YAAY,CAAA;IAC5D,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IACpE,QAAQ,CAAC,oBAAoB,EAAE,CAC7B,YAAY,EAAE,YAAY,EAC1B,gBAAgB,EAAE,MAAM,YAAY,KACjC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;CAC7C,CAAA;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,IAAI,CACnD,KAAK,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EACzC,SAAS,SACL,8BAA8B,CAC5B,KAAK,EACL,OAAO,EACP,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAC1B,QAAQ,CACT,GACD,2BAA2B,CACzB,KAAK,EACL,OAAO,EACP,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAC1B,QAAQ,CACT,EAEL,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,KACjB,SAAS,SAAS;IACrB,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;CAC5D,GACG,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,GACxE,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAA;AAE/E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,IAAI,GACd,KAAK,EAAE,OAAO,EAAE,QAAQ,GAAG,KAAK,QAE/B,OAAO,SAAS,QAAQ,CACtB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CACrD,EAED,OAAO,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,OAAO,KAChE,EACD,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,iBAAiB,GAY9D,CAAA;AAEH;;;;GAIG;AACH,eAAO,MAAM,SAAS,GACnB,KAAK,EAAE,OAAO,EAAE,QAAQ,GAAG,KAAK,QAE/B,GAAG,SAAS,aAAa,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,KACjE,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAgBxC,CAAA;AAEH;;;;;;;;;GASG;AACH,eAAO,MAAM,UAAU,GAAI,OAAO,EAAE,QAAQ,GAAG,KAAK,EAClD,QAAQ,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,KAC9C,qBAAqB,CACtB,OAAO,EACP,OAAO,EACP,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EACrB,QAAQ,CAKR,CAAA;AAEF,KAAK,YAAY,CAAC,kBAAkB,IAClC,kBAAkB,CAAC,MAAM,kBAAkB,CAAC,SAAS,YAAY,CAC/D,MAAM,UAAU,EAChB,GAAG,EACH,GAAG,EACH,GAAG,CACJ,GACG,UAAU,GACV,KAAK,CAAA;AAEX,KAAK,cAAc,CAAC,kBAAkB,IACpC,kBAAkB,CAAC,MAAM,kBAAkB,CAAC,SAAS,YAAY,CAC/D,GAAG,EACH,MAAM,YAAY,EAClB,GAAG,EACH,GAAG,CACJ,GACG,YAAY,GACZ,KAAK,CAAA;AAEX;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,GAEb,aAAa,SAAS,QAAQ,CAC5B,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CACjD,EAED,eAAe,aAAa,MAE7B,WAAW,EAAE,aAAa,EAAE,QAAQ;IACnC,QAAQ,CAAC,YAAY,EAAE,CACrB,WAAW,EAAE,WAAW,KACrB,YAAY,CAAC,aAAa,CAAC,CAAA;IAChC,QAAQ,CAAC,eAAe,EAAE,CACxB,OAAO,EAAE,cAAc,CAAC,aAAa,CAAC,KACnC,aAAa,CAAA;CACnB,KAAG,EACF,QAAQ,EAAE,CAAC,IAAI,MAAM,aAAa,GAAG,aAAa,CAAC,CAAC,CAAC,SAAS,YAAY,CACxE,GAAG,EACH,GAAG,EACH,MAAM,YAAY,EAClB,MAAM,QAAQ,CACf,GACG,YAAY,CAAC,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,CAAC,GAChE,KAAK,GAkCA,CAAA"}

package/dist/runtime/subscription.js

@@ -1,11 +1,92 @@
-import { Record } from 'effect';
-/** Creates type-safe subscription configurations from a dependency schema. */
-export const makeSubscriptions = (SubscriptionDependencies) => (configs) => 
+import { Record, Schema, Stream } from 'effect';
+/**
+ * Declares a Subscriptions record. The Model, Message, and optional Services
+ * generics are provided up front; the entries record follows, built from
+ * calls to the `entry` builder passed into the inner function.
+ *
+ * Reach for `Subscription.aggregate` to combine multiple records, and
+ * `Subscription.lift` to translate a child Submodel's record into a parent
+ * context.
+ *
+ * @example
+ * ```ts
+ * Subscription.make<Model, Message>()(entry => ({
+ *   tick: entry(
+ *     { isRunning: S.Boolean },
+ *     {
+ *       modelToDependencies: model => ({ isRunning: model.isRunning }),
+ *       dependenciesToStream: ({ isRunning }) =>
+ *         Stream.when(..., Effect.sync(() => isRunning)),
+ *     },
+ *   ),
+ * }))
+ * ```
+ */
+export const make = () => (build) => {
+    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+    const entryBuilder = ((fields, callbacks) => ({
+        dependenciesSchema: Schema.Struct(fields),
+        ...callbacks,
+    }));
+    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+    return build(entryBuilder);
+};
+/**
+ * Combines multiple Subscriptions records into one. Throws on duplicate
+ * keys so a misconfigured aggregate fails loudly at startup rather than
+ * silently overriding.
+ */
+export const aggregate = () => (...records) => {
+    const result = {};
+    for (const record of records) {
+        for (const key of Object.keys(record)) {
+            if (key in result) {
+                throw new Error(`Subscription.aggregate: duplicate key "${key}" across records`);
+            }
+            result[key] = record[key];
+        }
+    }
+    return result;
+};
+/**
+ * Wraps a Stream as a Subscription entry whose lifecycle is independent of
+ * the Model. The Stream runs for the lifetime of the Subscriptions record;
+ * no Model change tears it down or restarts it. Use for any Stream whose
+ * work doesn't depend on Model state, such as system theme listeners,
+ * viewport width observers, or route-independent timers.
+ *
+ * Returns an entry shape, not a branded Subscription. Pass it into `make`
+ * as an entry value.
+ */
+export const persistent = (stream) => ({
+    dependenciesSchema: Schema.Struct({}),
+    modelToDependencies: () => ({}),
+    dependenciesToStream: () => stream,
+});
+/**
+ * Lifts a record of child Subscriptions into a parent's Model and Message
+ * context, applying a Model accessor and a Message wrapper uniformly to
+ * every entry. Per-entry dependency types, schemas, and `keepAliveEquivalence`
+ * settings are preserved; each lifted entry's variant (with or without
+ * `readDependencies`) matches its source entry's.
+ */
+export const lift = (subscriptions) => (config) => 
 /* eslint-disable @typescript-eslint/consistent-type-assertions */
-Record.map(configs, ({ modelToDependencies, equivalence, dependenciesToStream }, key) => ({
-    schema: SubscriptionDependencies.fields[key],
-    modelToDependencies,
-    equivalence,
-    dependenciesToStream,
-}));
+Record.map(subscriptions, subscription => {
+    const modelToDependencies = (parentModel) => subscription.modelToDependencies(config.toChildModel(parentModel));
+    const wrapStream = (stream) => Stream.map(stream, config.toParentMessage);
+    if (subscription.keepAliveEquivalence !== undefined) {
+        return {
+            dependenciesSchema: subscription.dependenciesSchema,
+            modelToDependencies,
+            keepAliveEquivalence: subscription.keepAliveEquivalence,
+            dependenciesToStream: (dependencies, readDependencies) => wrapStream(subscription.dependenciesToStream(dependencies, readDependencies)),
+        };
+    }
+    return {
+        dependenciesSchema: subscription.dependenciesSchema,
+        modelToDependencies,
+        dependenciesToStream: (dependencies) => wrapStream(subscription.dependenciesToStream(dependencies)),
+    };
+});
 /* eslint-enable @typescript-eslint/consistent-type-assertions */

package/dist/submodel/public.d.ts

@@ -0,0 +1,4 @@
+export { defineView } from '../html/submodel.js';
+export type { SubmodelConfig as Config, SubmodelView as View, } from '../html/submodel.js';
+export type { Reflect, Reflect2 } from './submodel.js';
+//# sourceMappingURL=public.d.ts.map

package/dist/submodel/public.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/submodel/public.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,YAAY,EACV,cAAc,IAAI,MAAM,EACxB,YAAY,IAAI,IAAI,GACrB,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA"}

package/dist/submodel/public.js

@@ -0,0 +1 @@
+export { defineView } from '../html/submodel.js';

package/dist/submodel/submodel.d.ts

@@ -0,0 +1,32 @@
+/** Data-first / data-last signature for a `reflect*` setter built with
+ *  `Function.dual`.
+ *
+ *  A `reflect*` helper conforms a Submodel to a value that originated
+ *  outside it (a URL, a server push, restored storage, a sibling field),
+ *  without emitting an OutMessage. It is the inbound complement to
+ *  OutMessage's outbound direction: the world is the source of truth, so
+ *  the Submodel mirrors it silently and never announces the change back.
+ *
+ *  Being dual, it reads two ways. Data-first sets the field and returns the
+ *  model; data-last returns `(model) => model`, which slots point-free into
+ *  an `evo` callback:
+ *
+ *  ```ts
+ *  // data-first
+ *  const next = ColorListbox.reflectSelectedItem(model.colors, fromUrl)
+ *  // data-last, point-free in evo
+ *  evo(model, { colors: ColorListbox.reflectSelectedItem(fromUrl) })
+ *  ```
+ */
+export type Reflect<Model, Value> = {
+    (model: Model, value: Value): Model;
+    (value: Value): (model: Model) => Model;
+};
+/** Two-argument variant of {@link Reflect}, for setters that resolve a
+ *  value against a companion argument (e.g. `Tabs.reflectSelectedTab(value,
+ *  options)`, which finds the value's index in `options`). */
+export type Reflect2<Model, A, B> = {
+    (model: Model, a: A, b: B): Model;
+    (a: A, b: B): (model: Model) => Model;
+};
+//# sourceMappingURL=submodel.d.ts.map

package/dist/submodel/submodel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submodel.d.ts","sourceRoot":"","sources":["../../src/submodel/submodel.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,OAAO,CAAC,KAAK,EAAE,KAAK,IAAI;IAClC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,CAAA;IACnC,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,KAAK,EAAE,KAAK,KAAK,KAAK,CAAA;CACxC,CAAA;AAED;;8DAE8D;AAC9D,MAAM,MAAM,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI;IAClC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAA;IACjC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,KAAK,KAAK,CAAA;CACtC,CAAA"}

package/dist/submodel/submodel.js

@@ -0,0 +1 @@
+export {};

package/dist/subscription/animationFrame.d.ts

@@ -1,4 +1,4 @@
-import { Stream } from 'effect';
+import { Schema as S, Stream } from 'effect';
 /**
  * Configuration for the `animationFrame` Subscription helper.
  *
@@ -13,41 +13,38 @@ export type AnimationFrameConfig<Model, Message> = Readonly<{
     toMessage: (deltaTime: number) => Message;
 }>;
 /**
- * The subscription record returned by `animationFrame`. Shape matches the
- * `{ modelToDependencies, dependenciesToStream }` form expected by
- * `Subscription.makeSubscriptions` field configs.
- */
-export type AnimationFrameSubscription<Model, Message> = Readonly<{
-    modelToDependencies: (model: Model) => boolean;
-    dependenciesToStream: (isActive: boolean) => Stream.Stream<Message>;
-}>;
-/**
- * Build a Subscription field config that emits a Message on every
+ * Build a Subscription that emits a Message on every
  * `requestAnimationFrame` tick, with the inter-frame delta in milliseconds.
  *
- * Pair with `S.Boolean` in the `SubscriptionDependencies` schema:
- *
  * @example
  * ```typescript
- * const SubscriptionDependencies = S.Struct({
- *   frame: S.Boolean,
- * })
- *
- * const subscriptions = Subscription.makeSubscriptions(SubscriptionDependencies)<
- *   Model,
- *   Message
- * >({
+ * const subscriptions = Subscription.make<Model, Message>()(_entry => ({
  *   frame: Subscription.animationFrame({
  *     isActive: model => model.isPlaying,
  *     toMessage: deltaTime => Tick({ deltaTime }),
  *   }),
- * })
+ * }))
  * ```
  *
  * The browser pauses `requestAnimationFrame` when the tab is hidden, so
- * `deltaTime` may spike on the first frame after the tab regains focus.
- * Clamp it in the update function if your simulation is sensitive to large
- * jumps.
+ * `deltaTime` may spike to several seconds on the first frame after the
+ * tab regains focus. If your `update` function multiplies `deltaTime`
+ * against motion or physics, cap it to a reasonable maximum (32ms is
+ * typical) before using it. Otherwise a multi-second `deltaTime` can send
+ * moving objects flying across the screen in one frame.
+ *
+ * Returns an entry shape, not a branded Subscription. Pass it into
+ * `Subscription.make` as an entry value.
  */
-export declare const animationFrame: <Model, Message>(config: AnimationFrameConfig<Model, Message>) => AnimationFrameSubscription<Model, Message>;
+export declare const animationFrame: <Model, Message>(config: AnimationFrameConfig<Model, Message>) => {
+    dependenciesSchema: S.Struct<{
+        readonly isActive: S.Boolean;
+    }>;
+    modelToDependencies: (model: Model) => {
+        isActive: boolean;
+    };
+    dependenciesToStream: ({ isActive }: {
+        readonly isActive: boolean;
+    }) => Stream.Stream<Message, never, never>;
+};
 //# sourceMappingURL=animationFrame.d.ts.map

package/dist/subscription/animationFrame.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"animationFrame.d.ts","sourceRoot":"","sources":["../../src/subscription/animationFrame.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE9C;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IAC1D,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAA;IACnC,SAAS,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,CAAA;CAC1C,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,MAAM,0BAA0B,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IAChE,mBAAmB,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAA;IAC9C,oBAAoB,EAAE,CAAC,QAAQ,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;CACpE,CAAC,CAAA;AA2BF;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,cAAc,GAAI,KAAK,EAAE,OAAO,EAC3C,QAAQ,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,KAC3C,0BAA0B,CAAC,KAAK,EAAE,OAAO,CAO1C,CAAA"}
+{"version":3,"file":"animationFrame.d.ts","sourceRoot":"","sources":["../../src/subscription/animationFrame.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,MAAM,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE3D;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,CAAC,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC;IAC1D,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAA;IACnC,SAAS,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,CAAA;CAC1C,CAAC,CAAA;AA2BF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,cAAc,GAAI,KAAK,EAAE,OAAO,EAC3C,QAAQ,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC;;;;iCAGf,KAAK;;;yCAGG;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;KAAE;CAKnE,CAAA"}

package/dist/subscription/animationFrame.js

@@ -1,4 +1,4 @@
-import { Effect, Queue, Stream } from 'effect';
+import { Effect, Queue, Schema as S, Stream } from 'effect';
 const makeAnimationFrameStream = (toMessage) => Stream.callback(queue => Effect.acquireRelease(Effect.sync(() => {
     const state = {
         frameId: 0,
@@ -14,34 +14,33 @@ const makeAnimationFrameStream = (toMessage) => Stream.callback(queue => Effect.
     return state;
 }), state => Effect.sync(() => cancelAnimationFrame(state.frameId))).pipe(Effect.flatMap(() => Effect.never)));
 /**
- * Build a Subscription field config that emits a Message on every
+ * Build a Subscription that emits a Message on every
  * `requestAnimationFrame` tick, with the inter-frame delta in milliseconds.
  *
- * Pair with `S.Boolean` in the `SubscriptionDependencies` schema:
- *
  * @example
  * ```typescript
- * const SubscriptionDependencies = S.Struct({
- *   frame: S.Boolean,
- * })
- *
- * const subscriptions = Subscription.makeSubscriptions(SubscriptionDependencies)<
- *   Model,
- *   Message
- * >({
+ * const subscriptions = Subscription.make<Model, Message>()(_entry => ({
  *   frame: Subscription.animationFrame({
  *     isActive: model => model.isPlaying,
  *     toMessage: deltaTime => Tick({ deltaTime }),
  *   }),
- * })
+ * }))
  * ```
  *
  * The browser pauses `requestAnimationFrame` when the tab is hidden, so
- * `deltaTime` may spike on the first frame after the tab regains focus.
- * Clamp it in the update function if your simulation is sensitive to large
- * jumps.
+ * `deltaTime` may spike to several seconds on the first frame after the
+ * tab regains focus. If your `update` function multiplies `deltaTime`
+ * against motion or physics, cap it to a reasonable maximum (32ms is
+ * typical) before using it. Otherwise a multi-second `deltaTime` can send
+ * moving objects flying across the screen in one frame.
+ *
+ * Returns an entry shape, not a branded Subscription. Pass it into
+ * `Subscription.make` as an entry value.
  */
 export const animationFrame = (config) => ({
-    modelToDependencies: model => config.isActive(model),
-    dependenciesToStream: isActive => Stream.when(makeAnimationFrameStream(config.toMessage), Effect.sync(() => isActive)),
+    dependenciesSchema: S.Struct({ isActive: S.Boolean }),
+    modelToDependencies: (model) => ({
+        isActive: config.isActive(model),
+    }),
+    dependenciesToStream: ({ isActive }) => Stream.when(makeAnimationFrameStream(config.toMessage), Effect.sync(() => isActive)),
 });

package/dist/subscription/public.d.ts

@@ -1,5 +1,5 @@
-export { makeSubscriptions } from '../runtime/subscription.js';
+export { aggregate, lift, make, persistent } from '../runtime/subscription.js';
 export type { Subscription, Subscriptions } from '../runtime/subscription.js';
 export { animationFrame } from './animationFrame.js';
-export type { AnimationFrameConfig, AnimationFrameSubscription, } from './animationFrame.js';
+export type { AnimationFrameConfig } from './animationFrame.js';
 //# sourceMappingURL=public.d.ts.map

package/dist/subscription/public.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/subscription/public.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAE9D,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAE7E,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAEpD,YAAY,EACV,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,qBAAqB,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/subscription/public.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAA;AAE9E,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAE7E,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAEpD,YAAY,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA"}

package/dist/subscription/public.js

@@ -1,2 +1,2 @@
-export { makeSubscriptions } from '../runtime/subscription.js';
+export { aggregate, lift, make, persistent } from '../runtime/subscription.js';
 export { animationFrame } from './animationFrame.js';

package/dist/test/apps/disabledButton.d.ts

@@ -19,21 +19,20 @@ export type Model = typeof Model.Type;
 export declare const ClickedToggle: import("../../schema/index.js").CallableTaggedStruct<"ClickedToggle", {}>;
 export declare const ClickedSubmit: import("../../schema/index.js").CallableTaggedStruct<"ClickedSubmit", {}>;
 export declare const GotDialogMessage: import("../../schema/index.js").CallableTaggedStruct<"GotDialogMessage", {
-    message: S.Union<[import("../../schema/index.js").CallableTaggedStruct<"Opened", {}>, import("../../schema/index.js").CallableTaggedStruct<"Closed", {}>, import("../../schema/index.js").CallableTaggedStruct<"CompletedShowDialog", {}>, import("../../schema/index.js").CallableTaggedStruct<"CompletedCloseDialog", {}>, import("../../schema/index.js").CallableTaggedStruct<"GotAnimationMessage", {
+    message: S.Union<[import("../../schema/index.js").CallableTaggedStruct<"RequestedOpen", {}>, import("../../schema/index.js").CallableTaggedStruct<"RequestedClose", {}>, import("../../schema/index.js").CallableTaggedStruct<"CompletedShowDialog", {}>, import("../../schema/index.js").CallableTaggedStruct<"CompletedCloseDialog", {}>, import("../../schema/index.js").CallableTaggedStruct<"GotAnimationMessage", {
         message: S.Union<[import("../../schema/index.js").CallableTaggedStruct<"Showed", {}>, import("../../schema/index.js").CallableTaggedStruct<"Hid", {}>, import("../../schema/index.js").CallableTaggedStruct<"AdvancedAnimationFrame", {}>, import("../../schema/index.js").CallableTaggedStruct<"EndedAnimation", {}>]>;
     }>]>;
 }>;
 export declare const Message: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"ClickedToggle", {}>, import("../../schema/index.js").CallableTaggedStruct<"ClickedSubmit", {}>, import("../../schema/index.js").CallableTaggedStruct<"GotDialogMessage", {
-    message: S.Union<[import("../../schema/index.js").CallableTaggedStruct<"Opened", {}>, import("../../schema/index.js").CallableTaggedStruct<"Closed", {}>, import("../../schema/index.js").CallableTaggedStruct<"CompletedShowDialog", {}>, import("../../schema/index.js").CallableTaggedStruct<"CompletedCloseDialog", {}>, import("../../schema/index.js").CallableTaggedStruct<"GotAnimationMessage", {
+    message: S.Union<[import("../../schema/index.js").CallableTaggedStruct<"RequestedOpen", {}>, import("../../schema/index.js").CallableTaggedStruct<"RequestedClose", {}>, import("../../schema/index.js").CallableTaggedStruct<"CompletedShowDialog", {}>, import("../../schema/index.js").CallableTaggedStruct<"CompletedCloseDialog", {}>, import("../../schema/index.js").CallableTaggedStruct<"GotAnimationMessage", {
         message: S.Union<[import("../../schema/index.js").CallableTaggedStruct<"Showed", {}>, import("../../schema/index.js").CallableTaggedStruct<"Hid", {}>, import("../../schema/index.js").CallableTaggedStruct<"AdvancedAnimationFrame", {}>, import("../../schema/index.js").CallableTaggedStruct<"EndedAnimation", {}>]>;
     }>]>;
 }>]>;
 export type Message = typeof Message.Type;
 export declare const initialModel: Model;
 export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command.Command<Message>>];
-/** Plain view — no dialog wrapper. */
+/** Plain view, no dialog wrapper. */
 export declare const view: (model: Model) => Html;
-/** View with submit button inside a dialog's panelContent. */
+/** View with submit button inside a dialog's panel. */
 export declare const viewWithDialog: (model: Model) => Html;
-export declare const viewWithLazyDialog: (model: Model) => Html;
 //# sourceMappingURL=disabledButton.d.ts.map

package/dist/test/apps/disabledButton.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"disabledButton.d.ts","sourceRoot":"","sources":["../../../src/test/apps/disabledButton.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,EAAE,KAAK,IAAI,EAAQ,MAAM,qBAAqB,CAAA;AAMrD,eAAO,MAAM,KAAK;;;;;;;;;;;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAC/C,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAC/C,eAAO,MAAM,gBAAgB;;;;EAE3B,CAAA;AAEF,eAAO,MAAM,OAAO;;;;IAA4D,CAAA;AAChF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY,EAAE,KAG1B,CAAA;AAID,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAyBxD,CAAA;AAgBH,sCAAsC;AACtC,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,KAAG,IAUnC,CAAA;AAED,8DAA8D;AAC9D,eAAO,MAAM,cAAc,GAAI,OAAO,KAAK,KAAG,IAe7C,CAAA;AAKD,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,KAAG,IAejD,CAAA"}
+{"version":3,"file":"disabledButton.d.ts","sourceRoot":"","sources":["../../../src/test/apps/disabledButton.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEhD,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AACjD,OAAO,EAAE,KAAK,IAAI,EAAQ,MAAM,qBAAqB,CAAA;AAMrD,eAAO,MAAM,KAAK;;;;;;;;;;;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAC/C,eAAO,MAAM,aAAa,2EAAqB,CAAA;AAC/C,eAAO,MAAM,gBAAgB;;;;EAE3B,CAAA;AAEF,eAAO,MAAM,OAAO;;;;IAA4D,CAAA;AAChF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY,EAAE,KAG1B,CAAA;AAID,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAqBxD,CAAA;AAgBH,qCAAqC;AACrC,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,KAAG,IAUnC,CAAA;AAED,uDAAuD;AACvD,eAAO,MAAM,cAAc,GAAI,OAAO,KAAK,KAAG,IA2B7C,CAAA"}

package/dist/test/apps/disabledButton.js

@@ -1,4 +1,4 @@
-import { Effect, Match as M, Schema as S } from 'effect';
+import { Match as M, Schema as S } from 'effect';
 import * as Command from '../../command/index.js';
 import { html } from '../../html/index.js';
 import { m } from '../../message/index.js';
@@ -28,7 +28,7 @@ export const update = (model, message) => M.value(message).pipe(M.withReturnType
         const [nextDialog, commands] = Dialog.update(model.dialog, dialogMessage);
         return [
             { ...model, dialog: nextDialog },
-            commands.map(Command.mapEffect(Effect.map(dialogMessage => GotDialogMessage({ message: dialogMessage })))),
+            Command.mapMessages(commands, dialogMessage => GotDialogMessage({ message: dialogMessage })),
         ];
     },
 }));
@@ -40,7 +40,7 @@ const submitButton = (isEnabled) => {
         ...(isEnabled ? [h.OnClick(ClickedSubmit())] : [h.Disabled(true)]),
     ], ['Submit']);
 };
-/** Plain view — no dialog wrapper. */
+/** Plain view, no dialog wrapper. */
 export const view = (model) => {
     const h = html();
     return h.div([], [
@@ -48,24 +48,24 @@ export const view = (model) => {
         submitButton(model.isEnabled),
     ]);
 };
-/** View with submit button inside a dialog's panelContent. */
+/** View with submit button inside a dialog's panel. */
 export const viewWithDialog = (model) => {
     const h = html();
     return h.div([], [
         h.button([h.OnClick(ClickedToggle())], ['Toggle']),
-        Dialog.view({
+        h.submodel({
+            slotId: model.dialog.id,
             model: model.dialog,
-            toParentMessage: (dialogMessage) => GotDialogMessage({ message: dialogMessage }),
-            panelContent: submitButton(model.isEnabled),
+            view: Dialog.view,
+            viewInputs: {
+                toView: ({ dialog, backdrop, panel, isVisible }) => h.dialog([...dialog], isVisible
+                    ? [
+                        h.div([...backdrop], []),
+                        h.div([...panel], [submitButton(model.isEnabled)]),
+                    ]
+                    : []),
+            },
+            toParentMessage: message => GotDialogMessage({ message }),
         }),
     ]);
 };
-/** View using Dialog.lazy with panelContent passed dynamically. */
-const lazyDialogView = Dialog.lazy({});
-export const viewWithLazyDialog = (model) => {
-    const h = html();
-    return h.div([], [
-        h.button([h.OnClick(ClickedToggle())], ['Toggle']),
-        lazyDialogView(model.dialog, (dialogMessage) => GotDialogMessage({ message: dialogMessage }), submitButton(model.isEnabled)),
-    ]);
-};