foldkit 0.158.2 → 0.159.0-canary.4e90e99d9ad3

package/dist/runtime/start.js

@@ -1,11 +1,11 @@
-import { Effect, Fiber, Function, Option, Predicate, Runtime, pipe, } from 'effect';
+import { Cause, Effect, Fiber, Function, Option, Predicate, Runtime, pipe, } from 'effect';
 import { provideBrowserScheduler } from './browserScheduler.js';
-import { resolveHmrModel } from './hmrModelBridge.js';
 import { buildPortHandles, makeHostConnector, } from './hostConnector.js';
+import { resolvePreservedModel } from './modelPreservationBridge.js';
 import { runtimeInternals } from './runtime.js';
 /** Starts a program Effect with explicit boot inputs for runtime tests.
  * @internal */
-export const __startProgram = (program, hmrModel, bootMode, flags, buildId) => {
+export const __startProgram = (program, preservedModel, bootMode, flags, buildId) => {
     const internals = runtimeInternals.get(program);
     if (Predicate.isUndefined(internals)) {
         return Effect.die(new Error('[foldkit] Runtime boot expects a program created by ' +
@@ -15,7 +15,7 @@ export const __startProgram = (program, hmrModel, bootMode, flags, buildId) => {
         return Effect.die(new Error('[foldkit] Runtime.hydrate expects a program created by ' +
             'makeApplication.'));
     }
-    return internals.startWith(Option.none(), hmrModel, bootMode, flags, buildId);
+    return internals.startWith(Option.none(), preservedModel, bootMode, flags, buildId);
 };
 // NOTE: deliberately not `BrowserRuntime.runMain`, which interrupts the
 // runtime on `beforeunload`. `beforeunload` is a question, not a commitment:
@@ -25,11 +25,23 @@ export const __startProgram = (program, hmrModel, bootMode, flags, buildId) => {
 // put the container element back empty, so the page is left alive with no app
 // in it. A page-owning runtime gains nothing from tearing itself down while
 // the document is on its way out, so it starts with no page-lifecycle
-// interrupt at all and lets the document take the runtime with it. Error
-// reporting and the keep-alive interval come from `makeRunMain` either way.
+// interrupt at all and lets the document take the runtime with it. The
+// keep-alive interval still comes from `makeRunMain`; Foldkit owns the shared
+// error-reporting policy used by page-owning and embedded runtimes below.
 const runMainWithoutUnloadInterrupt = Runtime.makeRunMain(Function.constVoid);
+/** Reports unhandled non-interrupt Causes using Effect's runtime policy.
+ * @internal */
+export const __reportUnhandledCause = (cause) => {
+    if (Cause.hasInterruptsOnly(cause)) {
+        return Effect.void;
+    }
+    return Runtime.getErrorReported(Cause.squash(cause))
+        ? Effect.logError(cause)
+        : Effect.void;
+};
+const withUnhandledCauseReporting = (effect) => Effect.tapCause(effect, __reportUnhandledCause);
 const startProgram = (program, bootMode, flags, buildId) => {
-    runMainWithoutUnloadInterrupt(provideBrowserScheduler(Effect.flatMap(resolveHmrModel(program.runtimeId), hmrModel => __startProgram(program, hmrModel, bootMode, flags, buildId))));
+    runMainWithoutUnloadInterrupt(withUnhandledCauseReporting(provideBrowserScheduler(Effect.flatMap(resolvePreservedModel(program.runtimeId), preservedModel => __startProgram(program, preservedModel, bootMode, flags, buildId)))), { disableErrorReporting: true });
 };
 export function run(program, options) {
     startProgram(program, 'Fresh', options?.flags);
@@ -81,8 +93,8 @@ export function embed(program, options) {
     const startEffect = pipe(Option.match(internals.maybeActiveFiber, {
         onNone: () => Effect.void,
         onSome: previousFiber => Effect.asVoid(Fiber.await(previousFiber)),
-    }), Effect.andThen(resolveHmrModel(program.runtimeId)), Effect.flatMap(hmrModel => internals.startWith(Option.some(connector), hmrModel, 'Fresh', options?.flags)));
-    const fiber = Effect.runFork(provideBrowserScheduler(startEffect));
+    }), Effect.andThen(resolvePreservedModel(program.runtimeId)), Effect.flatMap(preservedModel => internals.startWith(Option.some(connector), preservedModel, 'Fresh', options?.flags)));
+    const fiber = Effect.runFork(withUnhandledCauseReporting(provideBrowserScheduler(startEffect)));
     internals.maybeActiveFiber = Option.some(fiber);
     let isHandleDisposed = false;
     const dispose = () => {

package/dist/runtime/visibility.d.ts

@@ -2,7 +2,7 @@
 export type Visibility = 'Development' | 'Always';
 /** Whether a feature configured with `show` is enabled. `'Always'` enables it
  *  everywhere. `'Development'` enables it only when `isDevelopment` is true.
- *  Callers pass whether Vite HMR is active, and DevTools also requires a
- *  top-level window. */
+ *  Callers pass whether Vite's dev server is active, and DevTools also requires
+ *  a top-level window. */
 export declare const isVisible: (show: Visibility, isDevelopment: boolean) => boolean;
 //# sourceMappingURL=visibility.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"visibility.d.ts","sourceRoot":"","sources":["../../src/runtime/visibility.ts"],"names":[],"mappings":"AAEA,wCAAwC;AACxC,MAAM,MAAM,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAA;AAEjD;;;wBAGwB;AACxB,eAAO,MAAM,SAAS,SAAU,UAAU,iBAAiB,OAAO,KAAG,OAKlE,CAAA"}
+{"version":3,"file":"visibility.d.ts","sourceRoot":"","sources":["../../src/runtime/visibility.ts"],"names":[],"mappings":"AAEA,wCAAwC;AACxC,MAAM,MAAM,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAA;AAEjD;;;0BAG0B;AAC1B,eAAO,MAAM,SAAS,SAAU,UAAU,iBAAiB,OAAO,KAAG,OAKlE,CAAA"}

package/dist/runtime/visibility.js

@@ -1,6 +1,6 @@
 import { Match } from 'effect';
 /** Whether a feature configured with `show` is enabled. `'Always'` enables it
  *  everywhere. `'Development'` enables it only when `isDevelopment` is true.
- *  Callers pass whether Vite HMR is active, and DevTools also requires a
- *  top-level window. */
+ *  Callers pass whether Vite's dev server is active, and DevTools also requires
+ *  a top-level window. */
 export const isVisible = (show, isDevelopment) => Match.value(show).pipe(Match.when('Always', () => true), Match.when('Development', () => isDevelopment), Match.exhaustive);

package/dist/schema/index.d.ts

@@ -20,10 +20,35 @@ type TaggedUnionMatchCases<CasesByTag extends Record<string, Schema.Struct.Field
         readonly _tag: Tag;
     }>) => Output;
 };
+type TaggedUnionMatchOrElseCases<CasesByTag extends Record<string, Schema.Struct.Fields>, Input extends TaggedUnionType<CasesByTag>, Output> = {
+    readonly [Tag in keyof CasesByTag & string]?: (value: Extract<Input, {
+        readonly _tag: Tag;
+    }>) => Output;
+};
+type TaggedUnionMatchOrElseCaseReturns<Cases> = {
+    [Tag in keyof Cases]-?: NonNullable<Cases[Tag]> extends (...args: never) => infer Output ? Output : never;
+}[keyof Cases];
+type TaggedUnionMatchOrElseOutput<Cases, OrElse> = TaggedUnionMatchOrElseCaseReturns<Cases> | (OrElse extends (...args: never) => infer Output ? Output : never);
+type TaggedUnionMatchOrElseHandledTags<CasesByTag extends Record<string, Schema.Struct.Fields>, Cases> = Extract<{
+    [Tag in keyof Cases]-?: {} extends Pick<Cases, Tag> ? never : Tag;
+}[keyof Cases], keyof CasesByTag & string>;
+type ValidateMatchOrElseCases<CasesByTag extends Record<string, Schema.Struct.Fields>, Cases> = {
+    readonly [Tag in Exclude<keyof Cases, keyof CasesByTag & string>]: never;
+};
 type TaggedUnionMatch<CasesByTag extends Record<string, Schema.Struct.Fields>> = {
     <Output, Input extends TaggedUnionType<CasesByTag> = TaggedUnionType<CasesByTag>>(cases: TaggedUnionMatchCases<CasesByTag, Input, Output>): (value: Input) => Output;
     <Output, Input extends TaggedUnionType<CasesByTag> = TaggedUnionType<CasesByTag>>(value: Input, cases: TaggedUnionMatchCases<CasesByTag, Input, Output>): Output;
 };
+type TaggedUnionMatchOrElse<CasesByTag extends Record<string, Schema.Struct.Fields>> = {
+    <Input extends TaggedUnionType<CasesByTag>, const Cases extends TaggedUnionMatchOrElseCases<CasesByTag, Input, unknown>, OrElse extends (value: Exclude<Input, {
+        readonly _tag: TaggedUnionMatchOrElseHandledTags<CasesByTag, Cases>;
+    }>) => unknown>(value: Input, cases: Cases & ValidateMatchOrElseCases<CasesByTag, Cases>, orElse: OrElse): TaggedUnionMatchOrElseOutput<Cases, OrElse>;
+    <const Cases extends TaggedUnionMatchOrElseCases<CasesByTag, TaggedUnionType<CasesByTag>, unknown>, OrElse extends (value: Exclude<TaggedUnionType<CasesByTag>, {
+        readonly _tag: TaggedUnionMatchOrElseHandledTags<CasesByTag, Cases>;
+    }>) => unknown>(cases: Cases & ValidateMatchOrElseCases<CasesByTag, Cases>, orElse: OrElse): (value: TaggedUnionType<CasesByTag>) => TaggedUnionMatchOrElseOutput<Cases, OrElse>;
+    <Output, Input extends TaggedUnionType<CasesByTag> = TaggedUnionType<CasesByTag>>(cases: TaggedUnionMatchOrElseCases<CasesByTag, Input, Output>, orElse: (value: Input) => Output): (value: Input) => Output;
+    <Output, Input extends TaggedUnionType<CasesByTag> = TaggedUnionType<CasesByTag>>(value: Input, cases: TaggedUnionMatchOrElseCases<CasesByTag, Input, Output>, orElse: (value: Input) => Output): Output;
+};
 interface UnionSchema<CasesByTag extends Record<string, Schema.Struct.Fields>> extends Schema.BottomLazy<BaseTaggedUnion<CasesByTag>['ast'], UnionSchema<CasesByTag>> {
     readonly Type: BaseTaggedUnion<CasesByTag>['Type'];
     readonly Encoded: BaseTaggedUnion<CasesByTag>['Encoded'];
@@ -44,13 +69,16 @@ type TaggedUnionSubsetMembers<CasesByTag extends Record<string, Schema.Struct.Fi
 interface RichUnionSchema<CasesByTag extends Record<string, Schema.Struct.Fields>> extends UnionSchema<CasesByTag> {
     readonly guards: BaseTaggedUnion<CasesByTag>['guards'];
     readonly isAnyOf: BaseTaggedUnion<CasesByTag>['isAnyOf'];
+    readonly matchOrElse: TaggedUnionMatchOrElse<CasesByTag>;
     readonly members: ReadonlyArray<TaggedUnionMember<CasesByTag>>;
     /** Returns a Schema that accepts only the named variants. */
     readonly subset: <const Tags extends ReadonlyArray<keyof CasesByTag & string>>(tags: Tags) => Schema.Union<TaggedUnionSubsetMembers<CasesByTag, Tags>>;
 }
 /** The Schema returned by `defineTaggedUnion`. It includes callable variant
- * constructors, exhaustive `match`, `guards`, `isAnyOf`, `subset`, and
- * `members`. */
+ * constructors, exhaustive `match`, partial `matchOrElse`, `guards`,
+ * `isAnyOf`, `subset`, and `members`. Pass a structurally refined union as a
+ * matcher's optional second type argument to preserve narrower payload fields
+ * in each handler. */
 export type TaggedUnion<CasesByTag extends Record<string, Schema.Struct.Fields>> = RichUnionSchema<CasesByTag> & {
     readonly [Tag in keyof CasesByTag & string]: CallableTaggedStruct<Tag, CasesByTag[Tag]>;
 };
@@ -83,8 +111,8 @@ export type RouteUnion<CasesByTag extends Record<string, Schema.Struct.Fields>>
  * fields.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript
@@ -108,6 +136,7 @@ export declare function defineMessageUnion<const CasesByTag extends Record<strin
  *
  * - One callable Schema constructor per variant.
  * - `match` for exhaustive handling.
+ * - `matchOrElse` for selected variants with a fallback for the rest.
  * - `guards` and `isAnyOf` for variant checks.
  * - `subset` for a Schema that accepts only the named variants.
  * - `members` for APIs such as `Machine.define` that enumerate the union.
@@ -116,8 +145,8 @@ export declare function defineMessageUnion<const CasesByTag extends Record<strin
  * unions and standalone tagged structs are the common cases.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript
@@ -143,17 +172,18 @@ export declare function defineTaggedUnion<const CasesByTag extends Record<string
  * `parseUrlWithFallback`, while `AppRoute.Person({ personId: 42 })` constructs
  * a value.
  *
- * Use `match` to handle every Route, `guards` or `isAnyOf` to check selected
- * tags, and `subset` when another Schema accepts only some Routes. A subset
- * includes only the tags named in the call. Adding a Route to `AppRoute` does
- * not change an existing subset.
+ * Use `match` to handle every Route, `matchOrElse` to handle selected Routes
+ * with a fallback, `guards` or `isAnyOf` to check selected tags, and `subset`
+ * when another Schema accepts only some Routes. A subset includes only the
+ * tags named in the call. Adding a Route to `AppRoute` does not change an
+ * existing subset.
  *
  * Routers remain separate. A Route is the parsed value; a Router describes the
  * URL that produces it.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript

package/dist/schema/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAa,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE/D,qIAAqI;AACrI,MAAM,MAAM,oBAAoB,CAC9B,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,IACjC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,GAClC,CAAC,MAAM,MAAM,SAAS,KAAK,GACvB,CACE,KAAK,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KACnE,KAAK,CAAC,QAAQ,CACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CAChE,GACD,CACE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAC3D,KAAK,CAAC,QAAQ,CACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CAChE,CAAC,CAAA;AAoJR,KAAK,mBAAmB,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;AAEvD,KAAK,aAAa,GAAG,mBAAmB,GAAG,SAAS,GAAG,QAAQ,CAAA;AAqB/D,KAAK,oBAAoB,CAAC,IAAI,SAAS,WAAW,IAAI,QAAQ,CAAC;IAC7D,uDAAuD,EAAE,IAAI,CAAA;CAC9D,CAAC,CAAA;AAEF,KAAK,oBAAoB,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAEvD,OAAO,CAAC,MAAM,UAAU,EAAE,aAAa,CAAC,SAAS,MAAM,IAAI,GACvD,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,OAAO,GACP,oBAAoB,CAAC,IAAI,GAAG,WAAW,CAAC,GAC1C,KAAK,CAAA;AAEX,KAAK,eAAe,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC1E,MAAM,CAAC,WAAW,CAAC;IACjB,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC,YAAY,CAC9D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAC,CAAA;AAEJ,KAAK,eAAe,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC1E,eAAe,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;AAErC,KAAK,qBAAqB,CACxB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,EACzC,MAAM,IACJ;IACF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,CAC3C,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;KAAE,CAAC,KAC1C,MAAM;CACZ,CAAA;AAED,KAAK,gBAAgB,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC3E;IACE,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,GACtD,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;IAC3B,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,GACtD,MAAM,CAAA;CACV,CAAA;AAEH,UAAU,WAAW,CACnB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CACvD,SAAQ,MAAM,CAAC,UAAU,CACzB,eAAe,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,EAClC,WAAW,CAAC,UAAU,CAAC,CACxB;IACC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;IAClD,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAA;IACxD,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,CAAA;IAC1E,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,CAAA;IAC1E,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,CAAA;IACtE,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAA;IAChE,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAA;CAC7C;AAED,KAAK,oBAAoB,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,GAAG,SAAS,MAAM,UAAU,GAAG,MAAM,IACnC,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;AAE9C,KAAK,iBAAiB,CACpB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD;IACF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,UAAU,EACV,GAAG,CACJ;CACF,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,CAAA;AAE5B,KAAK,wBAAwB,CAC3B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,IAAI,SAAS,aAAa,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,IACnD;IACF,QAAQ,EAAE,KAAK,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,MAAM,UAAU,GAAG,MAAM,GACzE,oBAAoB,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAC7C,KAAK;CACV,CAAA;AAED,UAAU,eAAe,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CACvD,SAAQ,WAAW,CAAC,UAAU,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAA;IACtD,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAA;IACxD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAA;IAC9D,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,CAAC,IAAI,SAAS,aAAa,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,EAE3D,IAAI,EAAE,IAAI,KACP,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAA;CAC9D;AAED;;gBAEgB;AAChB,MAAM,MAAM,WAAW,CACrB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,eAAe,CAAC,UAAU,CAAC,GAAG;IAChC,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAA;AAED;;;uDAGuD;AACvD,MAAM,MAAM,YAAY,CACtB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,WAAW,CAAC,UAAU,CAAC,GAAG;IAC5B,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAA;AAED;iFACiF;AACjF,MAAM,MAAM,UAAU,CACpB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,WAAW,CAAC,UAAU,CAAC,CAAA;AAwD3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,YAAY,CAAC,UAAU,CAAC,CAE1B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,WAAW,CAAC,UAAU,CAAC,CAEzB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,UAAU,CAAC,UAAU,CAAC,CAExB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,YAAY,CAAC,GAAG,SAAS,MAAM,EAC7C,GAAG,EAAE,GAAG,GACP,oBAAoB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;AAChC,wBAAgB,YAAY,CAC1B,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EACnC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAa,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE/D,qIAAqI;AACrI,MAAM,MAAM,oBAAoB,CAC9B,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,IACjC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,GAClC,CAAC,MAAM,MAAM,SAAS,KAAK,GACvB,CACE,KAAK,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KACnE,KAAK,CAAC,QAAQ,CACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CAChE,GACD,CACE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAC3D,KAAK,CAAC,QAAQ,CACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CAChE,CAAC,CAAA;AAoJR,KAAK,mBAAmB,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;AAEvD,KAAK,aAAa,GAAG,mBAAmB,GAAG,SAAS,GAAG,QAAQ,CAAA;AAqB/D,KAAK,oBAAoB,CAAC,IAAI,SAAS,WAAW,IAAI,QAAQ,CAAC;IAC7D,uDAAuD,EAAE,IAAI,CAAA;CAC9D,CAAC,CAAA;AAEF,KAAK,oBAAoB,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAEvD,OAAO,CAAC,MAAM,UAAU,EAAE,aAAa,CAAC,SAAS,MAAM,IAAI,GACvD,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,OAAO,GACP,oBAAoB,CAAC,IAAI,GAAG,WAAW,CAAC,GAC1C,KAAK,CAAA;AAEX,KAAK,eAAe,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC1E,MAAM,CAAC,WAAW,CAAC;IACjB,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC,YAAY,CAC9D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAC,CAAA;AAEJ,KAAK,eAAe,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC1E,eAAe,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;AAErC,KAAK,qBAAqB,CACxB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,EACzC,MAAM,IACJ;IACF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,CAC3C,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;KAAE,CAAC,KAC1C,MAAM;CACZ,CAAA;AAED,KAAK,2BAA2B,CAC9B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,EACzC,MAAM,IACJ;IACF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,EAAE,CAC5C,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;KAAE,CAAC,KAC1C,MAAM;CACZ,CAAA;AAED,KAAK,iCAAiC,CAAC,KAAK,IAAI;KAC7C,GAAG,IAAI,MAAM,KAAK,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,CACtD,GAAG,IAAI,EAAE,KAAK,KACX,MAAM,MAAM,GACb,MAAM,GACN,KAAK;CACV,CAAC,MAAM,KAAK,CAAC,CAAA;AAEd,KAAK,4BAA4B,CAAC,KAAK,EAAE,MAAM,IAC3C,iCAAiC,CAAC,KAAK,CAAC,GACxC,CAAC,MAAM,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,MAAM,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;AAEtE,KAAK,iCAAiC,CACpC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,KAAK,IACH,OAAO,CACT;KACG,GAAG,IAAI,MAAM,KAAK,CAAC,CAAC,GAAG,EAAE,SAAS,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,KAAK,GAAG,GAAG;CAClE,CAAC,MAAM,KAAK,CAAC,EACd,MAAM,UAAU,GAAG,MAAM,CAC1B,CAAA;AAED,KAAK,wBAAwB,CAC3B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,KAAK,IACH;IACF,QAAQ,EAAE,GAAG,IAAI,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,KAAK;CACzE,CAAA;AAED,KAAK,gBAAgB,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAC3E;IACE,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,GACtD,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;IAC3B,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,GACtD,MAAM,CAAA;CACV,CAAA;AAEH,KAAK,sBAAsB,CACzB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD;IACF,CACE,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,EACzC,KAAK,CAAC,KAAK,SAAS,2BAA2B,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,EAC3E,MAAM,SAAS,CACb,KAAK,EAAE,OAAO,CACZ,KAAK,EACL;QACE,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;KACpE,CACF,KACE,OAAO,EAEZ,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,GAAG,wBAAwB,CAAC,UAAU,EAAE,KAAK,CAAC,EAC1D,MAAM,EAAE,MAAM,GACb,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9C,CACE,KAAK,CAAC,KAAK,SAAS,2BAA2B,CAC7C,UAAU,EACV,eAAe,CAAC,UAAU,CAAC,EAC3B,OAAO,CACR,EACD,MAAM,SAAS,CACb,KAAK,EAAE,OAAO,CACZ,eAAe,CAAC,UAAU,CAAC,EAC3B;QACE,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;KACpE,CACF,KACE,OAAO,EAEZ,KAAK,EAAE,KAAK,GAAG,wBAAwB,CAAC,UAAU,EAAE,KAAK,CAAC,EAC1D,MAAM,EAAE,MAAM,GACb,CACD,KAAK,EAAE,eAAe,CAAC,UAAU,CAAC,KAC/B,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAChD,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,2BAA2B,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,EAC7D,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,GAC/B,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;IAC3B,CACE,MAAM,EACN,KAAK,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAEvE,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,2BAA2B,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,EAC7D,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,GAC/B,MAAM,CAAA;CACV,CAAA;AAED,UAAU,WAAW,CACnB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CACvD,SAAQ,MAAM,CAAC,UAAU,CACzB,eAAe,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,EAClC,WAAW,CAAC,UAAU,CAAC,CACxB;IACC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;IAClD,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAA;IACxD,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,CAAA;IAC1E,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,CAAA;IAC1E,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,CAAA;IACtE,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAA;IAChE,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAA;CAC7C;AAED,KAAK,oBAAoB,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,GAAG,SAAS,MAAM,UAAU,GAAG,MAAM,IACnC,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;AAE9C,KAAK,iBAAiB,CACpB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD;IACF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,UAAU,EACV,GAAG,CACJ;CACF,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,CAAA;AAE5B,KAAK,wBAAwB,CAC3B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACvD,IAAI,SAAS,aAAa,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,IACnD;IACF,QAAQ,EAAE,KAAK,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,MAAM,UAAU,GAAG,MAAM,GACzE,oBAAoB,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAC7C,KAAK;CACV,CAAA;AAED,UAAU,eAAe,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CACvD,SAAQ,WAAW,CAAC,UAAU,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAA;IACtD,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAA;IACxD,QAAQ,CAAC,WAAW,EAAE,sBAAsB,CAAC,UAAU,CAAC,CAAA;IACxD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAA;IAC9D,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,CAAC,IAAI,SAAS,aAAa,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,EAE3D,IAAI,EAAE,IAAI,KACP,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAA;CAC9D;AAED;;;;sBAIsB;AACtB,MAAM,MAAM,WAAW,CACrB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,eAAe,CAAC,UAAU,CAAC,GAAG;IAChC,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAA;AAED;;;uDAGuD;AACvD,MAAM,MAAM,YAAY,CACtB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,WAAW,CAAC,UAAU,CAAC,GAAG;IAC5B,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAA;AAED;iFACiF;AACjF,MAAM,MAAM,UAAU,CACpB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IACrD,WAAW,CAAC,UAAU,CAAC,CAAA;AAwD3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,YAAY,CAAC,UAAU,CAAC,CAE1B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,WAAW,CAAC,UAAU,CAAC,CAEzB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAE7D,UAAU,EAAE,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GACxD,UAAU,CAAC,UAAU,CAAC,CAExB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,YAAY,CAAC,GAAG,SAAS,MAAM,EAC7C,GAAG,EAAE,GAAG,GACP,oBAAoB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;AAChC,wBAAgB,YAAY,CAC1B,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EACnC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA"}

package/dist/schema/index.js

@@ -176,8 +176,8 @@ const defineUnion = (variantLabel, casesByTag) => {
  * fields.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript
@@ -203,6 +203,7 @@ export function defineMessageUnion(casesByTag) {
  *
  * - One callable Schema constructor per variant.
  * - `match` for exhaustive handling.
+ * - `matchOrElse` for selected variants with a fallback for the rest.
  * - `guards` and `isAnyOf` for variant checks.
  * - `subset` for a Schema that accepts only the named variants.
  * - `members` for APIs such as `Machine.define` that enumerate the union.
@@ -211,8 +212,8 @@ export function defineMessageUnion(casesByTag) {
  * unions and standalone tagged structs are the common cases.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript
@@ -240,17 +241,18 @@ export function defineTaggedUnion(casesByTag) {
  * `parseUrlWithFallback`, while `AppRoute.Person({ personId: 42 })` constructs
  * a value.
  *
- * Use `match` to handle every Route, `guards` or `isAnyOf` to check selected
- * tags, and `subset` when another Schema accepts only some Routes. A subset
- * includes only the tags named in the call. Adding a Route to `AppRoute` does
- * not change an existing subset.
+ * Use `match` to handle every Route, `matchOrElse` to handle selected Routes
+ * with a fallback, `guards` or `isAnyOf` to check selected tags, and `subset`
+ * when another Schema accepts only some Routes. A subset includes only the
+ * tags named in the call. Adding a Route to `AppRoute` does not change an
+ * existing subset.
  *
  * Routers remain separate. A Route is the parsed value; a Router describes the
  * URL that produces it.
  *
  * A tag cannot use a name already owned by the union, such as `make`, `match`,
- * `cases`, `ast`, `members`, or `subset`. TypeScript rejects these names, and
- * untyped calls throw an error.
+ * `matchOrElse`, `cases`, `ast`, `members`, or `subset`. TypeScript rejects
+ * these names, and untyped calls throw an error.
  *
  * @example
  * ```typescript

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

@@ -0,0 +1,32 @@
+import { Schema } from 'effect';
+import type { Html, HtmlBuilder } from '../../html/index.js';
+import type * as Update from '../../update/index.js';
+export declare const Model: Schema.Struct<{
+    readonly body: Schema.String;
+}>;
+export type Model = typeof Model.Type;
+export declare const Message: import("../../schema/index.js").MessageUnion<{
+    readonly UpdatedBody: {
+        value: Schema.String;
+    };
+    readonly InsertedText: {
+        value: Schema.String;
+    };
+}>;
+export type Message = typeof Message.Type;
+export declare const initialModel: Model;
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly body: string;
+    };
+    commands?: Update.Commands<{
+        readonly _tag: "InsertedText";
+        readonly value: string;
+    } | {
+        readonly _tag: "UpdatedBody";
+        readonly value: string;
+    }, never>;
+    outMessage?: never;
+}>;
+export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
+//# sourceMappingURL=contentEditableEditor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contentEditableEditor.d.ts","sourceRoot":"","sources":["../../../src/test/apps/contentEditableEditor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAG5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,eAAO,MAAM,KAAK;;EAEhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;QACH,KAAK;;;QACJ,KAAK;;EACrB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY,EAAE,KAE1B,CAAA;AAID,eAAO,MAAM,MAAM,UAAW,KAAK,WAAW,OAAO;;;;;;;;;;;;EAQjD,CAAA;AAIJ,eAAO,MAAM,IAAI,UAAW,KAAK,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IAoB5D,CAAA"}

package/dist/test/apps/contentEditableEditor.js

@@ -0,0 +1,39 @@
+import { Option, Schema } from 'effect';
+import { defineMessageUnion } from '../../message/index.js';
+import { evo } from '../../struct/index.js';
+// MODEL
+export const Model = Schema.Struct({
+    body: Schema.String,
+});
+// MESSAGE
+export const Message = defineMessageUnion({
+    UpdatedBody: { value: Schema.String },
+    InsertedText: { value: Schema.String },
+});
+// INIT
+export const initialModel = {
+    body: '',
+};
+// UPDATE
+export const update = (model, message) => Message.match(message, {
+    UpdatedBody: ({ value }) => ({
+        model: evo(model, { body: () => value }),
+    }),
+    InsertedText: ({ value }) => ({
+        model: evo(model, { body: body => body + value }),
+    }),
+});
+// VIEW
+export const view = (model, h) => {
+    return h.div([h.Id('app')], [
+        h.div([
+            h.DataAttribute('testid', 'editor'),
+            h.Contenteditable('true'),
+            h.Role('textbox'),
+            h.OnInput(value => Message.UpdatedBody({ value })),
+            h.OnBeforeInputPreventDefault((inputType, data) => inputType === 'insertText'
+                ? Option.map(data, value => Message.InsertedText({ value }))
+                : Option.none()),
+        ], [model.body]),
+    ]);
+};

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

@@ -1 +1 @@
-{"version":3,"file":"fileUpload.d.ts","sourceRoot":"","sources":["../../../src/test/apps/fileUpload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAA;AAC1C,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAE5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC3B,aAAa,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACnC,CAAC,CAAA;AAEF,eAAO,MAAM,YAAY,EAAE,KAA6B,CAAA;AAIxD,eAAO,MAAM,OAAO;;QACD,KAAK;;EACtB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,MAAM,UAAW,KAAK,WAAW,OAAO;;uBAfpC,aAAa,CAAC,IAAI,CAAC;;;;;;;EAoBhC,CAAA;AAIJ,eAAO,MAAM,IAAI,UAAW,KAAK,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IA4B5D,CAAA"}
+{"version":3,"file":"fileUpload.d.ts","sourceRoot":"","sources":["../../../src/test/apps/fileUpload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAA;AAC1C,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAG5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC3B,aAAa,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACnC,CAAC,CAAA;AAEF,eAAO,MAAM,YAAY,EAAE,KAA6B,CAAA;AAIxD,eAAO,MAAM,OAAO;;QACD,KAAK;;EACtB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,MAAM,UAAW,KAAK,WAAW,OAAO;;uBAfpC,aAAa,CAAC,IAAI,CAAC;;;;;;;EAoBhC,CAAA;AAIJ,eAAO,MAAM,IAAI,UAAW,KAAK,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IA4B5D,CAAA"}

package/dist/test/apps/fileUpload.js

@@ -1,6 +1,7 @@
 import { Schema } from 'effect';
 import { File } from '../../file/index.js';
 import { defineMessageUnion } from '../../message/index.js';
+import { evo } from '../../struct/index.js';
 export const initialModel = { receivedFiles: [] };
 // MESSAGE
 export const Message = defineMessageUnion({
@@ -9,7 +10,7 @@ export const Message = defineMessageUnion({
 // UPDATE
 export const update = (model, message) => Message.match(message, {
     ReceivedFiles: ({ files }) => ({
-        model: { ...model, receivedFiles: files },
+        model: evo(model, { receivedFiles: () => files }),
     }),
 });
 // VIEW

package/dist/test/apps/formChild.js

@@ -76,7 +76,7 @@ const foldChildOutMessage = ChildOutMessage.match({
 const foldChildUpdate = Update.foldChild({
     update: childUpdate,
     read: (model) => Option.some(model.child),
-    write: (model, nextChild) => ({ ...model, child: nextChild }),
+    write: (model, nextChild) => evo(model, { child: () => nextChild }),
     toParentMessage: message => ParentMessage.GotChildMessage({ message }),
     foldOutMessage: foldChildOutMessage,
 });

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

@@ -0,0 +1,26 @@
+import { Schema } from 'effect';
+import type { Html, HtmlBuilder } from '../../html/index.js';
+import type * as Update from '../../update/index.js';
+export declare const Model: Schema.Struct<{
+    readonly lastKey: Schema.String;
+}>;
+export type Model = typeof Model.Type;
+export declare const Message: import("../../schema/index.js").MessageUnion<{
+    readonly PressedSelfKey: {
+        key: Schema.String;
+    };
+}>;
+export type Message = typeof Message.Type;
+export declare const initialModel: Model;
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly lastKey: string;
+    };
+    commands?: Update.Commands<{
+        readonly _tag: "PressedSelfKey";
+        readonly key: string;
+    }, never>;
+    outMessage?: never;
+}>;
+export declare const view: (model: Model, h: HtmlBuilder<Message>) => Html;
+//# sourceMappingURL=keypressSelf.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"keypressSelf.d.ts","sourceRoot":"","sources":["../../../src/test/apps/keypressSelf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAG5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,eAAO,MAAM,KAAK;;EAEhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,eAAO,MAAM,OAAO;;QACA,GAAG;;EACrB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,YAAY,EAAE,KAE1B,CAAA;AAID,eAAO,MAAM,MAAM,UAAW,KAAK,WAAW,OAAO;;;;;;;;;EAKjD,CAAA;AAIJ,eAAO,MAAM,IAAI,UAAW,KAAK,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IAU5D,CAAA"}

package/dist/test/apps/keypressSelf.js

@@ -0,0 +1,30 @@
+import { Schema } from 'effect';
+import { defineMessageUnion } from '../../message/index.js';
+import { evo } from '../../struct/index.js';
+// MODEL
+export const Model = Schema.Struct({
+    lastKey: Schema.String,
+});
+// MESSAGE
+export const Message = defineMessageUnion({
+    PressedSelfKey: { key: Schema.String },
+});
+// INIT
+export const initialModel = {
+    lastKey: '',
+};
+// UPDATE
+export const update = (model, message) => Message.match(message, {
+    PressedSelfKey: ({ key }) => ({
+        model: evo(model, { lastKey: () => key }),
+    }),
+});
+// VIEW
+export const view = (model, h) => {
+    return h.div([
+        h.Id('key-app'),
+        h.Role('application'),
+        h.AriaLabel('Self key press area'),
+        h.OnKeyDownSelf(key => Message.PressedSelfKey({ key })),
+    ], [h.span([h.AriaLabel('Last key')], [model.lastKey])]);
+};

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

@@ -1 +1 @@
-{"version":3,"file":"pointer.d.ts","sourceRoot":"","sources":["../../../src/test/apps/pointer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAE5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,QAAA,MAAM,OAAO;;QACW,WAAW;;;QACZ,WAAW;;EAChC,CAAA;AACF,KAAK,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIlC,eAAO,MAAM,YAAY,EAAE,KAI1B,CAAA;AAID,eAAO,MAAM,MAAM,UAAW,KAAK,WAAW,OAAO;;;;;;;;;;;;;;EAgBjD,CAAA;AAIJ,eAAO,MAAM,IAAI,UAAW,KAAK,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IA4B5D,CAAA"}
+{"version":3,"file":"pointer.d.ts","sourceRoot":"","sources":["../../../src/test/apps/pointer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/C,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAG5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAIpD,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,QAAA,MAAM,OAAO;;QACW,WAAW;;;QACZ,WAAW;;EAChC,CAAA;AACF,KAAK,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIlC,eAAO,MAAM,YAAY,EAAE,KAI1B,CAAA;AAID,eAAO,MAAM,MAAM,UAAW,KAAK,WAAW,OAAO;;;;;;;;;;;;;;EAcjD,CAAA;AAIJ,eAAO,MAAM,IAAI,UAAW,KAAK,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IA4B5D,CAAA"}

package/dist/test/apps/pointer.js

@@ -1,5 +1,6 @@
-import { Option, Schema } from 'effect';
+import { Number, Option, Schema } from 'effect';
 import { defineMessageUnion } from '../../message/index.js';
+import { evo } from '../../struct/index.js';
 // MODEL
 export const Model = Schema.Struct({
     pointerDownCount: Schema.Number,
@@ -20,18 +21,16 @@ export const initialModel = {
 // UPDATE
 export const update = (model, message) => Message.match(message, {
     PressedPointerDown: ({ pointerType }) => ({
-        model: {
-            ...model,
-            pointerDownCount: model.pointerDownCount + 1,
-            lastPointerType: pointerType,
-        },
+        model: evo(model, {
+            pointerDownCount: Number.increment,
+            lastPointerType: () => pointerType,
+        }),
     }),
     ReleasedPointerUp: ({ pointerType }) => ({
-        model: {
-            ...model,
-            pointerUpCount: model.pointerUpCount + 1,
-            lastPointerType: pointerType,
-        },
+        model: evo(model, {
+            pointerUpCount: Number.increment,
+            lastPointerType: () => pointerType,
+        }),
     }),
 });
 // VIEW

package/dist/test/scene.d.ts

@@ -1,5 +1,5 @@
 import { Option, Schema } from 'effect';
-import type { CustomElementSpec } from '../customElement/index.js';
+import type { CustomElementSpec, EventSchema } from '../customElement/index.js';
 import type { File } from '../file/index.js';
 import type { Document, Html, HtmlBuilder, KeyboardModifiers } from '../html/index.js';
 import type { Entry as ManagedResourceEntry } from '../managedResource/index.js';
@@ -158,10 +158,11 @@ declare const failAcquireManagedResource: <EntryModel, EntryMessage, Value>(entr
 declare const releaseManagedResource: <EntryModel, EntryMessage, Value>(entry: SceneManagedResourceEntry<EntryModel, EntryMessage, Value>) => <Message, OutMessage = undefined>(simulation: SceneSimulation<EntryModel, Message, OutMessage>) => SceneSimulation<EntryModel, Message, OutMessage>;
 /** Dispatches a CustomEvent a rendered custom element declares, feeding the
  *  Message its `On*` event mapping produces through update. The event name
- *  and detail are typed by the spec's event Schemas. The element must be in
- *  the rendered tree with the event's attribute attached, so the test
- *  exercises the same mapping the browser event would. */
-declare const emitCustomElementEvent: <Events extends Record<string, Schema.Top>, Name extends keyof Events & string>(spec: CustomElementSpec<string, Record<string, Schema.Top>, Events>, target: string | Locator, eventName: Name, detail: Schema.Schema.Type<Events[Name]>) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+ *  and detail are typed by the encoded side of the spec's event Schemas. The
+ *  runtime decodes the detail before invoking the event mapping. The element
+ *  must be in the rendered tree with the event's attribute attached, so the
+ *  test exercises the same mapping the browser event would. */
+declare const emitCustomElementEvent: <Events extends Record<string, EventSchema>, Name extends keyof Events & string>(spec: CustomElementSpec<string, Record<string, Schema.Top>, Events>, target: string | Locator, eventName: Name, detail: Schema.Codec.Encoded<Events[Name]>) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
 /** Steps that operate on the pending Commands of a scene simulation.
  *  Destructure as `const { Command } = Scene` for concise call sites. */
 export declare const Command: {
@@ -381,7 +382,28 @@ declare const type_: {
     (target: string | Locator, value: string): <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
     (value: string): (target: string | Locator) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
 };
-/** Simulates a keydown event on the element matching the target.
+/** Simulates typing into a contenteditable host matching the target. A
+ *  contenteditable element has no `value`, so the `input` event reports the
+ *  host's rendered text. Use this to drive `OnInput` on a `Contenteditable`
+ *  element. Dual: `typeContentEditable(target, text)` or
+ *  `typeContentEditable(text)` for data-last piping. */
+export declare const typeContentEditable: {
+    (target: string | Locator, text: string): <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    (text: string): (target: string | Locator) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+};
+/** Simulates a `beforeinput` event on the element matching the target. Drives
+ *  `OnBeforeInput` and `OnBeforeInputPreventDefault`. Pass the edit's
+ *  `inputType` (e.g. `'insertText'`, `'deleteContentBackward'`) and its `data`
+ *  as an `Option` (the inserted text, or `None` for edits that carry none). Dual:
+ *  `beforeInput(target, inputType, data)` or `beforeInput(inputType, data)` for
+ *  data-last piping. */
+export declare const beforeInput: {
+    (target: string | Locator, inputType: string, data: Option.Option<string>): <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    (inputType: string, data: Option.Option<string>): (target: string | Locator) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+};
+/** Simulates a keydown event on the element matching the target. The event is
+ *  self-targeted (`target === currentTarget`), so `OnKeyDownSelf` and
+ *  `OnKeyDownSelfPreventDefault` handlers fire.
  *  Dual: `keydown(target, key, modifiers?)` or `keydown(key, modifiers?)` for data-last piping. */
 export declare const keydown: {
     (target: string | Locator, key: string): <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;