foldkit 0.150.0 → 0.151.0

package/dist/update/update.d.ts

@@ -1,40 +1,79 @@
 import { Option } from 'effect';
 import { type AsyncData } from '../asyncData/index.js';
 import { type Command } from '../command/index.js';
-/** The Commands half of an update return: every Command the update wants
- *  the runtime to run, in order. `R` is the services the Commands need
- *  and defaults to `never` for applications without resources.
+/** The Commands collection an update return may include. The collection keeps
+ *  the order in which the update returned them, but the runtime forks the
+ *  Commands independently. `R` is the services the Commands need and defaults
+ *  to `never` for applications without resources.
  *
- *  Each update module pins its concrete types once and uses the alias
- *  throughout; the root update and every Submodel define their own:
+ *  Name an alias when a module reuses the same Message and service types:
  *
  *  ```ts
  *  export type Commands = Update.Commands<Message, AppServices>
  *  ``` */
 export type Commands<Message, R = never> = ReadonlyArray<Command<Message, never, R>>;
-/** The pair every update function returns: the next Model and the
- *  Commands to run.
+/** The record an update returns when it cannot emit an OutMessage: the next
+ *  Model and any Commands to run.
  *
- *  Each update module pins its concrete types once and aliases the
- *  result, the root update and every Submodel alike:
+ *  Inline the type when a matcher is its only use:
  *
  *  ```ts
- *  export type UpdateReturn = Update.Return<Model, Message>
- *  export const withUpdateReturn = M.withReturnType<UpdateReturn>()
- *  ``` */
-export type Return<Model, Message, R = never> = readonly [
-    Model,
-    Commands<Message, R>
-];
-/** The return shape of an update that also surfaces an OutMessage to its
- *  parent. The third element is an `Option`: the update always returns
- *  the channel, and `None` means there is nothing for the parent this
- *  time. Named for the shape, not the caller: a Submodel without an
- *  OutMessage channel returns a plain {@link Return}. */
-export type ReturnWithOutMessage<Model, Message, OutMessage, R = never> = readonly [Model, Commands<Message, R>, Option.Option<OutMessage>];
+ *  export const update = (model: Model, message: Message) =>
+ *    Message.match<Update.Return<Model, Message>>(message, {
+ *      ClickedSave: () => ({ model, commands: [Save()] }),
+ *      SucceededSave: ({ note }) => ({
+ *        model: evo(model, { note: () => note }),
+ *      }),
+ *    })
+ *  ```
+ *
+ *  Give it a local `UpdateReturn` alias when another matcher or helper in the
+ *  module needs the same type. */
+export type Return<Model, Message, R = never> = Readonly<{
+    model: Model;
+    commands?: Commands<Message, R>;
+    /** Marks this as a result that cannot emit an OutMessage. TypeScript rejects
+     *  assigning an OutMessage-producing result to this type, so a caller cannot
+     *  accidentally accept the Model and Commands while losing the OutMessage. */
+    outMessage?: never;
+}>;
+/** The return shape of an update that can also surface an OutMessage to its
+ *  parent. Omit `commands` when the update statically creates none. Return a
+ *  computed Commands collection directly, even when it may be empty. Omit
+ *  `outMessage` when the update emitted nothing. A Submodel that cannot emit
+ *  an OutMessage returns {@link Return} instead. */
+export type ReturnWithOutMessage<Model, Message, OutMessage, R = never> = Readonly<{
+    model: Model;
+    commands?: Commands<Message, R>;
+    outMessage?: OutMessage;
+}>;
+/** Adds a known or optional OutMessage to a plain update return while
+ *  preserving its Model and Commands. Use this helper when attaching to an
+ *  existing return or when the value has the type `OutMessage | undefined`.
+ *  `undefined` means that the operation emitted no OutMessage, so the returned
+ *  record omits the property.
+ *
+ *  The input must be a {@link Return}, so this helper cannot replace an
+ *  OutMessage that an update already emitted.
+ *
+ *  ```ts
+ *  const editorSave = Update.combine(model, [writeDraft, clearErrors])
+ *
+ *  return pipe(editorSave, Update.withOutMessage(outMessage))
+ *  ```
+ *
+ *  When the OutMessage is already known while constructing a new result,
+ *  include it directly: `{ model, commands, outMessage }`. If the OutMessage
+ *  may be `undefined`, pass the new result first:
+ *  `Update.withOutMessage({ model, commands }, outMessage)`. */
+export declare const withOutMessage: {
+    <OutMessage>(outMessage: OutMessage | undefined): <Model, Message, R = never>(updateReturn: Return<Model, Message, R>) => ReturnWithOutMessage<Model, Message, OutMessage, R>;
+    <Model, Message, OutMessage, R = never>(updateReturn: Return<Model, Message, R>, outMessage: OutMessage | undefined): ReturnWithOutMessage<Model, Message, OutMessage, R>;
+};
 /** One self-contained edit to the Model paired with the Commands to run:
  *  the unit {@link combine} composes. A step that needs arguments is a
- *  function returning a Step (`(noteId: NoteId) => Step<...>`). */
+ *  function returning a Step
+ *  (`(noteId: NoteId) => Update.Step<Model, Message>`). */
 export type Step<Model, Message, R = never> = (model: Model) => Return<Model, Message, R>;
 /** Composes a list of update steps into one. Each step runs against the
  *  Model the previous step produced, and every step's Commands are
@@ -48,7 +87,7 @@ export type Step<Model, Message, R = never> = (model: Model) => Return<Model, Me
  *  Steps only ever accumulate Commands; a step cannot cancel or replace
  *  another step's Commands, and no Command runs during the fold. The
  *  runtime runs the batch after update returns. `combine([])` returns
- *  `[model, []]`.
+ *  `{ model }`.
  *
  *  ```ts
  *  SucceededUpdateNote: ({ note }) =>
@@ -86,9 +125,9 @@ export type Refreshable<Model, Message, A, E, R = never> = Readonly<{
  *  cache: read the entry, ask `revalidate` whether it should transition,
  *  and only when it says yes write the transitioned state and emit the
  *  load Command. When `revalidate` returns `None` (a missing entry, or a
- *  state with nothing to revalidate) the step returns `[model, []]`: same
- *  Model, no Command. That one rule is what makes blanket revalidation
- *  safe, because only the caches that actually hold data reload.
+ *  state with nothing to revalidate) the step returns `{ model }`: same
+ *  Model, no Command. A handler can list every affected cache, and only the
+ *  caches that currently hold data reload.
  *
  *  ```ts
  *  const refreshAllNotes = refresh({
@@ -100,7 +139,7 @@ export type Refreshable<Model, Message, A, E, R = never> = Readonly<{
  *  ``` */
 export declare const refresh: <Model, Message, A, E, R = never>(refreshable: Refreshable<Model, Message, A, E, R>) => Step<Model, Message, R>;
 /** The four capabilities that fold one child Submodel's update into the
- *  parent, for a child without an OutMessage channel.
+ *  parent, for a child whose update cannot emit an OutMessage.
  *
  *  - `update`: the child update function to run.
  *  - `read`: the getter half of the lens onto the child: reads the child
@@ -122,12 +161,11 @@ export type ChildFold<ParentModel, ParentMessage, ChildModel, Input, ChildMessag
 /** The lifters a `foldOutMessage` receives as its second parameter,
  *  already bound to the fold config's `toParentMessage`.
  *
- *  The fold lifts the Commands the child's `update` returns on its own.
- *  This covers the other case: a Command the parent returns on the
- *  child's behalf from the OutMessage Step, whose result Message is the
- *  child's and therefore still needs wrapping, such as a parent handling
- *  a child's `Requested*` fact by returning the child's Command that
- *  fulfills it, built with context only the parent holds.
+ *  The fold already lifts the Commands returned by the child's `update`.
+ *  Use these lifters for a Command returned by the parent's OutMessage Step
+ *  when that Command still produces the child's Message. For example, the
+ *  parent may handle a child's `Requested*` fact by returning a child Command
+ *  built with routing context only the parent holds.
  *
  *  The lifters apply the same lift the fold gives the child's own
  *  Commands, so the Step writes no `Command.mapMessage` call and keeps
@@ -138,20 +176,25 @@ export type ChildFold<ParentModel, ParentMessage, ChildModel, Input, ChildMessag
  *  OutMessage value directly:
  *
  *  ```ts
- *  const foldLoginOutMessage: (
+ *  const foldLoginOutMessage = (
  *    outMessage: Login.OutMessage,
- *    context: Update.FoldContext<Login.Message, Message>,
- *  ) => Update.Step<Model, Message> = (outMessage, { liftCommand }) =>
- *    Login.OutMessage.match<Update.Step<Model, Message>>(outMessage, {
- *        RequestedMagicLink: ({ email }) => model => [
- *          model,
- *          [
- *            liftCommand(
- *              Login.SendMagicLink({ email, redirectRoute: model.route }),
- *            ),
- *          ],
- *        ],
- *      })
+ *    { liftCommand }: Update.FoldContext<Login.Message, Message>,
+ *  ) =>
+ *    M.value(outMessage).pipe(
+ *      M.withReturnType<Update.Step<Model, Message>>(),
+ *      M.tagsExhaustive({
+ *        RequestedMagicLink:
+ *          ({ email }) =>
+ *          model => ({
+ *            model,
+ *            commands: [
+ *              liftCommand(
+ *                Login.SendMagicLink({ email, redirectRoute: model.route }),
+ *              ),
+ *            ],
+ *          }),
+ *      }),
+ *    )
  *  ``` */
 export type FoldContext<ChildMessage, ParentMessage> = Readonly<{
     liftCommand: <E = never, R = never>(command: Command<ChildMessage, E, R>) => Command<ParentMessage, E, R>;
@@ -176,24 +219,28 @@ export type ChildFoldWithOutMessage<ParentModel, ParentMessage, ChildModel, Inpu
     foldOutMessage: (outMessage: ChildOutMessage, context: FoldContext<ChildMessage, ParentMessage>) => Step<ParentModel, ParentMessage, R>;
 }>;
 /** {@link ChildFoldWithOutMessage} for a parent that is itself a
- *  Submodel, so the fold's result carries the parent's own OutMessage
- *  channel as a third tuple element. Adds:
+ *  Submodel, so the fold can return the parent's own OutMessage. Adds:
  *
  *  - `toParentOutMessage`: lifts the child's OutMessage into the
- *    parent's own OutMessage; `None` passes nothing upward. When the
- *    child returns no OutMessage the fold's third element is `None`.
+ *    parent's own OutMessage. Return `undefined` for a named child variant
+ *    that stops at this parent. When the child returns no OutMessage, the fold
+ *    omits `outMessage`.
  *  - `foldOutMessage` stays available for a parent that also updates
  *    its own state from the child's OutMessage, and is optional here.
  *
- *  A parent Submodel embedding a child with no OutMessage channel needs
- *  no config at all: spread the plain fold into its return,
- *  `[...foldStartDate(model, message), Option.none()]`. */
+ *  Use this shape only when `toParentOutMessage` forwards at least one child
+ *  OutMessage from the current Submodel to its parent. If no child OutMessage
+ *  is forwarded, use {@link ChildFoldWithOutMessage}. Its plain result is
+ *  valid wherever the parent accepts {@link ReturnWithOutMessage}, because
+ *  emitting no OutMessage is valid. Local handling through `foldOutMessage`
+ *  is independent, so a forwarded child OutMessage may also update the
+ *  current parent. */
 export type ChildFoldWithParentOutMessage<ParentModel, ParentMessage, ChildModel, Input, ChildMessage, ChildOutMessage, ParentOutMessage, R = never> = Readonly<{
     update: (childModel: ChildModel, input: Input) => ReturnWithOutMessage<ChildModel, ChildMessage, ChildOutMessage, R>;
     read: (model: ParentModel) => Option.Option<ChildModel>;
     write: (model: ParentModel, nextChildModel: ChildModel) => ParentModel;
     toParentMessage: (message: ChildMessage) => ParentMessage;
-    toParentOutMessage: (outMessage: ChildOutMessage) => Option.Option<ParentOutMessage>;
+    toParentOutMessage: (outMessage: ChildOutMessage) => ParentOutMessage | undefined;
     foldOutMessage?: (outMessage: ChildOutMessage, context: FoldContext<ChildMessage, ParentMessage>) => Step<ParentModel, ParentMessage, R>;
 }>;
 /** {@link Step} for an update that also surfaces an OutMessage to its
@@ -237,7 +284,7 @@ export type FoldWithOutMessage<ParentModel, ParentMessage, Input, ParentOutMessa
  *  The fold runs `update` against the child Model `read` returns, writes
  *  the child back, and lifts the child's Commands through
  *  `toParentMessage`. When `read` returns `None` the fold returns
- *  `[model, []]`: a Message for an unmounted child is a no-op. When the
+ *  `{ model }`: a Message for an unmounted child is a no-op. When the
  *  child's update returns an OutMessage, `foldOutMessage` runs against
  *  the Model with the child already written back, and its Commands
  *  follow the child's in the returned batch.
@@ -250,8 +297,10 @@ export type FoldWithOutMessage<ParentModel, ParentMessage, Input, ParentOutMessa
  *
  *  A parent that is itself a Submodel passes a
  *  {@link ChildFoldWithParentOutMessage} and receives a
- *  {@link FoldWithOutMessage}, whose results carry the parent's own
- *  OutMessage channel as a third element.
+ *  {@link FoldWithOutMessage}, whose results may include the parent's own
+ *  OutMessage. Add `toParentOutMessage` only when it forwards at least one
+ *  child OutMessage from the current Submodel to its parent. Omit
+ *  `toParentOutMessage` when the local `foldOutMessage` handles every variant.
  *
  *  An entry point that takes nothing but the child Model, such as
  *  `Dialog.close`, has no input to pass: fold it with
@@ -264,7 +313,7 @@ export type FoldWithOutMessage<ParentModel, ParentMessage, Input, ParentOutMessa
  *  ```ts
  *  const enterJoinedRoom = (roomId: string, player: Player): UpdateStep =>
  *    Update.combine([
- *      model => [model, [NavigateToRoom({ roomId })]],
+ *      model => ({ model, commands: [NavigateToRoom({ roomId })] }),
  *      Update.foldChild({
  *        update: (room: Room.Model, joinedPlayer: Player) =>
  *          Room.informJoined(room, joinedPlayer, { roomId }),
@@ -290,10 +339,11 @@ export type ChildStepFold<ParentModel, ParentMessage, ChildModel, ChildMessage,
     write: (model: ParentModel, nextChildModel: ChildModel) => ParentModel;
     toParentMessage: (message: ChildMessage) => ParentMessage;
 }>;
-/** {@link ChildStepFold} for an entry point whose return carries the child's
- *  OutMessage channel, adding `foldOutMessage`. It behaves exactly as it does
- *  in {@link ChildFoldWithOutMessage}, down to the optional second parameter,
- *  a {@link FoldContext} of lifters bound to `toParentMessage`. */
+/** {@link ChildStepFold} for an entry point that can emit the child's
+ *  OutMessage, adding `foldOutMessage`. The function has the same contract as
+ *  `foldOutMessage` in {@link ChildFoldWithOutMessage}, including the optional
+ *  second parameter: a {@link FoldContext} of lifters bound to
+ *  `toParentMessage`. */
 export type ChildStepFoldWithOutMessage<ParentModel, ParentMessage, ChildModel, ChildMessage, ChildOutMessage, R = never> = Readonly<{
     update: (childModel: ChildModel) => ReturnWithOutMessage<ChildModel, ChildMessage, ChildOutMessage, R>;
     read: (model: ParentModel) => Option.Option<ChildModel>;
@@ -301,6 +351,25 @@ export type ChildStepFoldWithOutMessage<ParentModel, ParentMessage, ChildModel,
     toParentMessage: (message: ChildMessage) => ParentMessage;
     foldOutMessage: (outMessage: ChildOutMessage, context: FoldContext<ChildMessage, ParentMessage>) => Step<ParentModel, ParentMessage, R>;
 }>;
+/** {@link ChildStepFoldWithOutMessage} for a parent that is itself a
+ *  Submodel. `toParentOutMessage` turns the child's OutMessage into the
+ *  parent's OutMessage. Return `undefined` for a named child variant that
+ *  stops at this parent. `foldOutMessage` remains available when the parent
+ *  also updates its own state from the child's OutMessage.
+ *
+ *  Use this shape only when `toParentOutMessage` forwards at least one child
+ *  OutMessage from the current Submodel to its parent. If no child OutMessage
+ *  is forwarded, use {@link ChildStepFoldWithOutMessage}. Local handling
+ *  through `foldOutMessage` is independent, so a forwarded child OutMessage
+ *  may also update the current parent. */
+export type ChildStepFoldWithParentOutMessage<ParentModel, ParentMessage, ChildModel, ChildMessage, ChildOutMessage, ParentOutMessage, R = never> = Readonly<{
+    update: (childModel: ChildModel) => ReturnWithOutMessage<ChildModel, ChildMessage, ChildOutMessage, R>;
+    read: (model: ParentModel) => Option.Option<ChildModel>;
+    write: (model: ParentModel, nextChildModel: ChildModel) => ParentModel;
+    toParentMessage: (message: ChildMessage) => ParentMessage;
+    toParentOutMessage: (outMessage: ChildOutMessage) => ParentOutMessage | undefined;
+    foldOutMessage?: (outMessage: ChildOutMessage, context: FoldContext<ChildMessage, ParentMessage>) => Step<ParentModel, ParentMessage, R>;
+}>;
 /** Folds a child entry point that takes nothing but the child Model, and
  *  returns the {@link Step} directly. Everything else matches
  *  {@link foldChild}: the child is read, updated, and written back, its
@@ -325,14 +394,19 @@ export type ChildStepFoldWithOutMessage<ParentModel, ParentMessage, ChildModel,
  *  Update.combine(model, [writeRouteFields, foldMobileMenuDialogClose])
  *  ```
  *
- *  `foldOutMessage` takes the same optional second parameter `foldChild`'s
- *  does, a {@link FoldContext} carrying `liftCommand` and `liftCommands` bound
- *  to this config's `toParentMessage`, for a Command the Step returns whose
- *  result is the child's Message.
+ *  `foldOutMessage` takes the same optional second parameter as
+ *  {@link foldChild}: a {@link FoldContext} carrying `liftCommand` and
+ *  `liftCommands` bound to this config's `toParentMessage`, for a Command the
+ *  Step returns whose result is the child's Message.
  *
- *  A parent that is itself a Submodel, and so needs its own OutMessage
- *  channel on the result, uses {@link foldChild}. */
+ *  A parent that is itself a Submodel adds `toParentOutMessage` when it
+ *  forwards at least one child OutMessage to its own parent and receives a
+ *  {@link StepWithOutMessage}, just as the input-taking {@link foldChild}
+ *  returns a {@link FoldWithOutMessage}. When no child OutMessage is
+ *  forwarded, omit the lift and use the plain Step directly. Local handling
+ *  through `foldOutMessage` is independent of forwarding. */
 export declare const foldChildStep: {
+    <ParentModel, ParentMessage, ChildModel, ChildMessage, ChildOutMessage, ParentOutMessage, R = never>(childFold: ChildStepFoldWithParentOutMessage<ParentModel, ParentMessage, ChildModel, ChildMessage, ChildOutMessage, ParentOutMessage, R>): StepWithOutMessage<ParentModel, ParentMessage, ParentOutMessage, R>;
     <ParentModel, ParentMessage, ChildModel, ChildMessage, ChildOutMessage, R = never>(childFold: ChildStepFoldWithOutMessage<ParentModel, ParentMessage, ChildModel, ChildMessage, ChildOutMessage, R>): Step<ParentModel, ParentMessage, R>;
     <ParentModel, ParentMessage, ChildModel, ChildMessage, R = never>(childFold: ChildStepFold<ParentModel, ParentMessage, ChildModel, ChildMessage, R>): Step<ParentModel, ParentMessage, R>;
 };

package/dist/update/update.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"update.d.ts","sourceRoot":"","sources":["../../src/update/update.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,MAAM,EAAQ,MAAM,QAAQ,CAAA;AAEtD,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,KAAK,OAAO,EAA2B,MAAM,qBAAqB,CAAA;AAE3E;;;;;;;;;UASU;AACV,MAAM,MAAM,QAAQ,CAAC,OAAO,EAAE,CAAC,GAAG,KAAK,IAAI,aAAa,CACtD,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAC3B,CAAA;AAED;;;;;;;;;UASU;AACV,MAAM,MAAM,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,IAAI,SAAS;IACvD,KAAK;IACL,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;CACrB,CAAA;AAED;;;;yDAIyD;AACzD,MAAM,MAAM,oBAAoB,CAC9B,KAAK,EACL,OAAO,EACP,UAAU,EACV,CAAC,GAAG,KAAK,IACP,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA;AAErE;;mEAEmE;AACnE,MAAM,MAAM,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,IAAI,CAC5C,KAAK,EAAE,KAAK,KACT,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAE9B;;;;;;;;;;;;;;;;;;;;;;;;UAwBU;AACV,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,EACxB,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAC5C,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IAC1B,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,EACxB,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAC5C,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;CAa7B,CAAA;AAED;;;;;;;;;;qDAUqD;AACrD,MAAM,MAAM,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,QAAQ,CAAC;IAClE,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACtD,UAAU,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACxE,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAA;IACrD,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CACjC,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;UAeU;AACV,eAAO,MAAM,OAAO,GACjB,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,EAC9B,aAAa,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAChD,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAStB,CAAA;AAEL;;;;;;;;;;;;;4EAa4E;AAC5E,MAAM,MAAM,SAAS,CACnB,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CACN,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,KAAK,KACT,MAAM,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAA;IACxC,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;CAC1D,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAiCU;AACV,MAAM,MAAM,WAAW,CAAC,YAAY,EAAE,aAAa,IAAI,QAAQ,CAAC;IAC9D,WAAW,EAAE,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAChC,OAAO,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,KACjC,OAAO,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,YAAY,EAAE,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EACjC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KACjD,aAAa,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CACjD,CAAC,CAAA;AAEF;;;;;;;;;;sEAUsE;AACtE,MAAM,MAAM,uBAAuB,CACjC,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CACN,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,KAAK,KACT,oBAAoB,CAAC,UAAU,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC,CAAA;IACvE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;IACzD,cAAc,EAAE,CACd,UAAU,EAAE,eAAe,EAC3B,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,aAAa,CAAC,KAC9C,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CACzC,CAAC,CAAA;AAEF;;;;;;;;;;;;2DAY2D;AAC3D,MAAM,MAAM,6BAA6B,CACvC,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CACN,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,KAAK,KACT,oBAAoB,CAAC,UAAU,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC,CAAA;IACvE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;IACzD,kBAAkB,EAAE,CAClB,UAAU,EAAE,eAAe,KACxB,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IACpC,cAAc,CAAC,EAAE,CACf,UAAU,EAAE,eAAe,EAC3B,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,aAAa,CAAC,KAC9C,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CACzC,CAAC,CAAA;AAsBF;;aAEa;AACb,MAAM,MAAM,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,KAAK,IAAI,CACtE,KAAK,EAAE,KAAK,KACT,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;AAExD;;;wBAGwB;AACxB,MAAM,MAAM,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,IAAI;IAC/D,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;IACzE,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CACpD,CAAA;AAED;;;wDAGwD;AACxD,MAAM,MAAM,kBAAkB,CAC5B,WAAW,EACX,aAAa,EACb,KAAK,EACL,gBAAgB,EAChB,CAAC,GAAG,KAAK,IACP;IACF,CACE,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,KAAK,GACX,oBAAoB,CAAC,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAA;IACxE,CACE,KAAK,EAAE,KAAK,GACX,kBAAkB,CAAC,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAA;CACvE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAyDU;AACV,eAAO,MAAM,SAAS,EAAE;IACtB,CACE,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,CAAC,GAAG,KAAK,EAET,SAAS,EAAE,6BAA6B,CACtC,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,CAAC,CACF,GACA,kBAAkB,CAAC,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAA;IAC7E,CACE,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,CAAC,GAAG,KAAK,EAET,SAAS,EAAE,uBAAuB,CAChC,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,CAAC,CACF,GACA,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC7C,CAAC,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,EACrE,SAAS,EAAE,SAAS,CAClB,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,CAAC,CACF,GACA,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CAO9C,CAAA;AA0DD;;;;oBAIoB;AACpB,MAAM,MAAM,aAAa,CACvB,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CAAC,UAAU,EAAE,UAAU,KAAK,MAAM,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAA;IACvE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;CAC1D,CAAC,CAAA;AAEF;;;mEAGmE;AACnE,MAAM,MAAM,2BAA2B,CACrC,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,eAAe,EACf,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CACN,UAAU,EAAE,UAAU,KACnB,oBAAoB,CAAC,UAAU,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC,CAAA;IACvE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;IACzD,cAAc,EAAE,CACd,UAAU,EAAE,eAAe,EAC3B,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,aAAa,CAAC,KAC9C,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CACzC,CAAC,CAAA;AAkBF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qDA8BqD;AACrD,eAAO,MAAM,aAAa,EAAE;IAC1B,CACE,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,eAAe,EACf,CAAC,GAAG,KAAK,EAET,SAAS,EAAE,2BAA2B,CACpC,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,eAAe,EACf,CAAC,CACF,GACA,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;IACtC,CAAC,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,EAC9D,SAAS,EAAE,aAAa,CACtB,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,CAAC,CACF,GACA,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CAKvC,CAAA"}
+{"version":3,"file":"update.d.ts","sourceRoot":"","sources":["../../src/update/update.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,MAAM,EAAQ,MAAM,QAAQ,CAAA;AAEtD,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,KAAK,OAAO,EAA2B,MAAM,qBAAqB,CAAA;AAE3E;;;;;;;;;UASU;AACV,MAAM,MAAM,QAAQ,CAAC,OAAO,EAAE,CAAC,GAAG,KAAK,IAAI,aAAa,CACtD,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAC3B,CAAA;AAED;;;;;;;;;;;;;;;;kCAgBkC;AAClC,MAAM,MAAM,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,IAAI,QAAQ,CAAC;IACvD,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;IAC/B;;kFAE8E;IAC9E,UAAU,CAAC,EAAE,KAAK,CAAA;CACnB,CAAC,CAAA;AAEF;;;;oDAIoD;AACpD,MAAM,MAAM,oBAAoB,CAC9B,KAAK,EACL,OAAO,EACP,UAAU,EACV,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;IAC/B,UAAU,CAAC,EAAE,UAAU,CAAA;CACxB,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;;gEAkBgE;AAChE,eAAO,MAAM,cAAc,EAAE;IAC3B,CAAC,UAAU,EACT,UAAU,EAAE,UAAU,GAAG,SAAS,GACjC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,EAC3B,YAAY,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,KACpC,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;IACxD,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,KAAK,EACpC,YAAY,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,EACvC,UAAU,EAAE,UAAU,GAAG,SAAS,GACjC,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;CAQvD,CAAA;AAED;;;2DAG2D;AAC3D,MAAM,MAAM,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,IAAI,CAC5C,KAAK,EAAE,KAAK,KACT,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAE9B;;;;;;;;;;;;;;;;;;;;;;;;UAwBU;AACV,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,EACxB,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAC5C,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;IAC1B,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,EACxB,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAC5C,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;CAc7B,CAAA;AAED;;;;;;;;;;qDAUqD;AACrD,MAAM,MAAM,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,QAAQ,CAAC;IAClE,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACtD,UAAU,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACxE,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAA;IACrD,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CACjC,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;UAeU;AACV,eAAO,MAAM,OAAO,GACjB,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,EAC9B,aAAa,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAChD,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAYtB,CAAA;AAEL;;;;;;;;;;;;;4EAa4E;AAC5E,MAAM,MAAM,SAAS,CACnB,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CACN,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,KAAK,KACT,MAAM,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAA;IACxC,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;CAC1D,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAqCU;AACV,MAAM,MAAM,WAAW,CAAC,YAAY,EAAE,aAAa,IAAI,QAAQ,CAAC;IAC9D,WAAW,EAAE,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAChC,OAAO,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,KACjC,OAAO,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,YAAY,EAAE,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EACjC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KACjD,aAAa,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CACjD,CAAC,CAAA;AAEF;;;;;;;;;;sEAUsE;AACtE,MAAM,MAAM,uBAAuB,CACjC,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CACN,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,KAAK,KACT,oBAAoB,CAAC,UAAU,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC,CAAA;IACvE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;IACzD,cAAc,EAAE,CACd,UAAU,EAAE,eAAe,EAC3B,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,aAAa,CAAC,KAC9C,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CACzC,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;sBAgBsB;AACtB,MAAM,MAAM,6BAA6B,CACvC,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CACN,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,KAAK,KACT,oBAAoB,CAAC,UAAU,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC,CAAA;IACvE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;IACzD,kBAAkB,EAAE,CAClB,UAAU,EAAE,eAAe,KACxB,gBAAgB,GAAG,SAAS,CAAA;IACjC,cAAc,CAAC,EAAE,CACf,UAAU,EAAE,eAAe,EAC3B,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,aAAa,CAAC,KAC9C,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CACzC,CAAC,CAAA;AAyBF;;aAEa;AACb,MAAM,MAAM,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,KAAK,IAAI,CACtE,KAAK,EAAE,KAAK,KACT,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;AAExD;;;wBAGwB;AACxB,MAAM,MAAM,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,IAAI;IAC/D,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;IACzE,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CACpD,CAAA;AAED;;;wDAGwD;AACxD,MAAM,MAAM,kBAAkB,CAC5B,WAAW,EACX,aAAa,EACb,KAAK,EACL,gBAAgB,EAChB,CAAC,GAAG,KAAK,IACP;IACF,CACE,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,KAAK,GACX,oBAAoB,CAAC,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAA;IACxE,CACE,KAAK,EAAE,KAAK,GACX,kBAAkB,CAAC,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAA;CACvE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UA2DU;AACV,eAAO,MAAM,SAAS,EAAE;IACtB,CACE,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,CAAC,GAAG,KAAK,EAET,SAAS,EAAE,6BAA6B,CACtC,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,CAAC,CACF,GACA,kBAAkB,CAAC,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAA;IAC7E,CACE,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,CAAC,GAAG,KAAK,EAET,SAAS,EAAE,uBAAuB,CAChC,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,eAAe,EACf,CAAC,CACF,GACA,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC7C,CAAC,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,EACrE,SAAS,EAAE,SAAS,CAClB,WAAW,EACX,aAAa,EACb,UAAU,EACV,KAAK,EACL,YAAY,EACZ,CAAC,CACF,GACA,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CAO9C,CAAA;AAwDD;;;;oBAIoB;AACpB,MAAM,MAAM,aAAa,CACvB,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CAAC,UAAU,EAAE,UAAU,KAAK,MAAM,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAA;IACvE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;CAC1D,CAAC,CAAA;AAEF;;;;yBAIyB;AACzB,MAAM,MAAM,2BAA2B,CACrC,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,eAAe,EACf,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CACN,UAAU,EAAE,UAAU,KACnB,oBAAoB,CAAC,UAAU,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC,CAAA;IACvE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;IACzD,cAAc,EAAE,CACd,UAAU,EAAE,eAAe,EAC3B,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,aAAa,CAAC,KAC9C,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CACzC,CAAC,CAAA;AAEF;;;;;;;;;;0CAU0C;AAC1C,MAAM,MAAM,iCAAiC,CAC3C,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,CAAC,GAAG,KAAK,IACP,QAAQ,CAAC;IACX,MAAM,EAAE,CACN,UAAU,EAAE,UAAU,KACnB,oBAAoB,CAAC,UAAU,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC,CAAA;IACvE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACvD,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,KAAK,WAAW,CAAA;IACtE,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,aAAa,CAAA;IACzD,kBAAkB,EAAE,CAClB,UAAU,EAAE,eAAe,KACxB,gBAAgB,GAAG,SAAS,CAAA;IACjC,cAAc,CAAC,EAAE,CACf,UAAU,EAAE,eAAe,EAC3B,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,aAAa,CAAC,KAC9C,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CACzC,CAAC,CAAA;AAqBF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6DAkC6D;AAC7D,eAAO,MAAM,aAAa,EAAE;IAC1B,CACE,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,CAAC,GAAG,KAAK,EAET,SAAS,EAAE,iCAAiC,CAC1C,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,CAAC,CACF,GACA,kBAAkB,CAAC,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAA;IACtE,CACE,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,eAAe,EACf,CAAC,GAAG,KAAK,EAET,SAAS,EAAE,2BAA2B,CACpC,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,eAAe,EACf,CAAC,CACF,GACA,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;IACtC,CAAC,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,EAC9D,SAAS,EAAE,aAAa,CACtB,WAAW,EACX,aAAa,EACb,UAAU,EACV,YAAY,EACZ,CAAC,CACF,GACA,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;CAKvC,CAAA"}

package/dist/update/update.js

@@ -1,5 +1,25 @@
 import { Array, Function, Option, pipe } from 'effect';
 import { mapMessage, mapMessages } from '../command/index.js';
+/** Adds a known or optional OutMessage to a plain update return while
+ *  preserving its Model and Commands. Use this helper when attaching to an
+ *  existing return or when the value has the type `OutMessage | undefined`.
+ *  `undefined` means that the operation emitted no OutMessage, so the returned
+ *  record omits the property.
+ *
+ *  The input must be a {@link Return}, so this helper cannot replace an
+ *  OutMessage that an update already emitted.
+ *
+ *  ```ts
+ *  const editorSave = Update.combine(model, [writeDraft, clearErrors])
+ *
+ *  return pipe(editorSave, Update.withOutMessage(outMessage))
+ *  ```
+ *
+ *  When the OutMessage is already known while constructing a new result,
+ *  include it directly: `{ model, commands, outMessage }`. If the OutMessage
+ *  may be `undefined`, pass the new result first:
+ *  `Update.withOutMessage({ model, commands }, outMessage)`. */
+export const withOutMessage = Function.dual(2, (updateReturn, outMessage) => outMessage === undefined ? updateReturn : { ...updateReturn, outMessage });
 /** Composes a list of update steps into one. Each step runs against the
  *  Model the previous step produced, and every step's Commands are
  *  concatenated into a single batch, in step order.
@@ -12,7 +32,7 @@ import { mapMessage, mapMessages } from '../command/index.js';
  *  Steps only ever accumulate Commands; a step cannot cancel or replace
  *  another step's Commands, and no Command runs during the fold. The
  *  runtime runs the batch after update returns. `combine([])` returns
- *  `[model, []]`.
+ *  `{ model }`.
  *
  *  ```ts
  *  SucceededUpdateNote: ({ note }) =>
@@ -26,19 +46,20 @@ import { mapMessage, mapMessages } from '../command/index.js';
  *    ])
  *  ``` */
 export const combine = Function.dual(2, (model, steps) => {
-    const seed = [model, []];
-    return Array.reduce(steps, seed, ([currentModel, commands], step) => {
-        const [nextModel, nextCommands] = step(currentModel);
-        return [nextModel, [...commands, ...nextCommands]];
+    const seed = { model };
+    return Array.reduce(steps, seed, (current, step) => {
+        const next = step(current.model);
+        const commands = [...(current.commands ?? []), ...(next.commands ?? [])];
+        return { model: next.model, commands };
     });
 });
 /** Turns a {@link Refreshable} into an update step that revalidates one
  *  cache: read the entry, ask `revalidate` whether it should transition,
  *  and only when it says yes write the transitioned state and emit the
  *  load Command. When `revalidate` returns `None` (a missing entry, or a
- *  state with nothing to revalidate) the step returns `[model, []]`: same
- *  Model, no Command. That one rule is what makes blanket revalidation
- *  safe, because only the caches that actually hold data reload.
+ *  state with nothing to revalidate) the step returns `{ model }`: same
+ *  Model, no Command. A handler can list every affected cache, and only the
+ *  caches that currently hold data reload.
  *
  *  ```ts
  *  const refreshAllNotes = refresh({
@@ -49,8 +70,11 @@ export const combine = Function.dual(2, (model, steps) => {
  *  })
  *  ``` */
 export const refresh = (refreshable) => model => pipe(refreshable.read(model), Option.flatMap(refreshable.revalidate), Option.match({
-    onNone: () => [model, []],
-    onSome: next => [refreshable.write(model, next), [refreshable.load]],
+    onNone: () => ({ model }),
+    onSome: next => ({
+        model: refreshable.write(model, next),
+        commands: [refreshable.load],
+    }),
 }));
 /** Folds a child Submodel's update into the parent: the update half of
  *  embedding a child, complementing `h.submodel` on the view half. Give
@@ -73,7 +97,7 @@ export const refresh = (refreshable) => model => pipe(refreshable.read(model), O
  *  The fold runs `update` against the child Model `read` returns, writes
  *  the child back, and lifts the child's Commands through
  *  `toParentMessage`. When `read` returns `None` the fold returns
- *  `[model, []]`: a Message for an unmounted child is a no-op. When the
+ *  `{ model }`: a Message for an unmounted child is a no-op. When the
  *  child's update returns an OutMessage, `foldOutMessage` runs against
  *  the Model with the child already written back, and its Commands
  *  follow the child's in the returned batch.
@@ -86,8 +110,10 @@ export const refresh = (refreshable) => model => pipe(refreshable.read(model), O
  *
  *  A parent that is itself a Submodel passes a
  *  {@link ChildFoldWithParentOutMessage} and receives a
- *  {@link FoldWithOutMessage}, whose results carry the parent's own
- *  OutMessage channel as a third element.
+ *  {@link FoldWithOutMessage}, whose results may include the parent's own
+ *  OutMessage. Add `toParentOutMessage` only when it forwards at least one
+ *  child OutMessage from the current Submodel to its parent. Omit
+ *  `toParentOutMessage` when the local `foldOutMessage` handles every variant.
  *
  *  An entry point that takes nothing but the child Model, such as
  *  `Dialog.close`, has no input to pass: fold it with
@@ -100,7 +126,7 @@ export const refresh = (refreshable) => model => pipe(refreshable.read(model), O
  *  ```ts
  *  const enterJoinedRoom = (roomId: string, player: Player): UpdateStep =>
  *    Update.combine([
- *      model => [model, [NavigateToRoom({ roomId })]],
+ *      model => ({ model, commands: [NavigateToRoom({ roomId })] }),
  *      Update.foldChild({
  *        update: (room: Room.Model, joinedPlayer: Player) =>
  *          Room.informJoined(room, joinedPlayer, { roomId }),
@@ -119,25 +145,29 @@ const makeFoldContext = (toParentMessage) => ({
     liftCommands: commands => mapMessages(commands, toParentMessage),
 });
 const runChildFold = (childFold, context, model, input) => pipe(model, childFold.read, Option.match({
-    onNone: () => childFold.toParentOutMessage === undefined
-        ? [model, []]
-        : [model, [], Option.none()],
+    onNone: () => ({ model }),
     onSome: childModel => {
-        const [nextChildModel, childCommands, maybeOutMessage] = childFold.update(childModel, input);
-        const modelWithChild = childFold.write(model, nextChildModel);
-        const mappedCommands = mapMessages(childCommands, childFold.toParentMessage);
-        const [nextModel, commands] = childFold.foldOutMessage === undefined ||
-            maybeOutMessage === undefined ||
-            Option.isNone(maybeOutMessage)
-            ? [modelWithChild, mappedCommands]
-            : appendOutMessageStep(childFold.foldOutMessage, maybeOutMessage.value, context, modelWithChild, mappedCommands);
+        const childUpdate = childFold.update(childModel, input);
+        const modelWithChild = childFold.write(model, childUpdate.model);
+        const mappedCommands = mapMessages(childUpdate.commands, childFold.toParentMessage);
+        const update = childFold.foldOutMessage === undefined ||
+            childUpdate.outMessage === undefined
+            ? { model: modelWithChild, commands: mappedCommands }
+            : combine(modelWithChild, [
+                stepModel => ({
+                    model: stepModel,
+                    commands: mappedCommands,
+                }),
+                childFold.foldOutMessage(childUpdate.outMessage, context),
+            ]);
         if (childFold.toParentOutMessage === undefined) {
-            return [nextModel, commands];
+            return update;
+        }
+        if (childUpdate.outMessage === undefined) {
+            return update;
         }
-        const maybeParentOutMessage = maybeOutMessage === undefined
-            ? Option.none()
-            : Option.flatMap(maybeOutMessage, childFold.toParentOutMessage);
-        return [nextModel, commands, maybeParentOutMessage];
+        const parentOutMessage = childFold.toParentOutMessage(childUpdate.outMessage);
+        return withOutMessage(update, parentOutMessage);
     },
 }));
 /** Folds a child entry point that takes nothing but the child Model, and
@@ -164,18 +194,18 @@ const runChildFold = (childFold, context, model, input) => pipe(model, childFold
  *  Update.combine(model, [writeRouteFields, foldMobileMenuDialogClose])
  *  ```
  *
- *  `foldOutMessage` takes the same optional second parameter `foldChild`'s
- *  does, a {@link FoldContext} carrying `liftCommand` and `liftCommands` bound
- *  to this config's `toParentMessage`, for a Command the Step returns whose
- *  result is the child's Message.
- *
- *  A parent that is itself a Submodel, and so needs its own OutMessage
- *  channel on the result, uses {@link foldChild}. */
+ *  `foldOutMessage` takes the same optional second parameter as
+ *  {@link foldChild}: a {@link FoldContext} carrying `liftCommand` and
+ *  `liftCommands` bound to this config's `toParentMessage`, for a Command the
+ *  Step returns whose result is the child's Message.
+ *
+ *  A parent that is itself a Submodel adds `toParentOutMessage` when it
+ *  forwards at least one child OutMessage to its own parent and receives a
+ *  {@link StepWithOutMessage}, just as the input-taking {@link foldChild}
+ *  returns a {@link FoldWithOutMessage}. When no child OutMessage is
+ *  forwarded, omit the lift and use the plain Step directly. Local handling
+ *  through `foldOutMessage` is independent of forwarding. */
 export const foldChildStep = (childFold) => {
     const context = makeFoldContext(childFold.toParentMessage);
-    return model => runChildFold(childFold, context, model, undefined);
-};
-const appendOutMessageStep = (foldOutMessage, outMessage, context, modelWithChild, mappedCommands) => {
-    const [nextModel, outCommands] = foldOutMessage(outMessage, context)(modelWithChild);
-    return [nextModel, [...mappedCommands, ...outCommands]];
+    return (model) => runChildFold(childFold, context, model, undefined);
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "foldkit",
-  "version": "0.150.0",
+  "version": "0.151.0",
   "description": "A TypeScript frontend framework, built on Effect and architected like Elm",
   "type": "module",
   "main": "./dist/index.js",