foldkit 0.152.0 → 0.153.0

package/dist/schema/index.d.ts

@@ -6,50 +6,73 @@ export type CallableTaggedStruct<Tag extends string, Fields extends S.Struct.Fie
     readonly _tag: S.tag<Tag>;
 } & Fields>>);
 type TaggedUnionProperty = keyof S.TaggedUnion<{}>;
-type MessageVariantNameCollision<Name extends PropertyKey> = Readonly<{
-    'Message variant names must not conflict with Schema.TaggedUnion properties': Name;
+type UnionProperty = TaggedUnionProperty | 'members' | 'subset';
+type VariantNameCollision<Name extends PropertyKey> = Readonly<{
+    'Variant names must not conflict with union properties': Name;
 }>;
-type ValidateMessageVariantNames<CasesByTag extends Record<string, S.Struct.Fields>> = Extract<keyof CasesByTag, TaggedUnionProperty> extends infer Name ? [Name] extends [never] ? unknown : MessageVariantNameCollision<Name & PropertyKey> : never;
-type TaggedMessageUnion<CasesByTag extends Record<string, S.Struct.Fields>> = S.TaggedUnion<{
+type ValidateVariantNames<CasesByTag extends Record<string, S.Struct.Fields>> = Extract<keyof CasesByTag, UnionProperty> extends infer Name ? [Name] extends [never] ? unknown : VariantNameCollision<Name & PropertyKey> : never;
+type BaseTaggedUnion<CasesByTag extends Record<string, S.Struct.Fields>> = S.TaggedUnion<{
     readonly [Tag in keyof CasesByTag & string]: S.TaggedStruct<Tag, CasesByTag[Tag]>;
 }>;
-interface MessageSchema<CasesByTag extends Record<string, S.Struct.Fields>> extends S.BottomLazy<TaggedMessageUnion<CasesByTag>['ast'], MessageSchema<CasesByTag>> {
-    readonly Type: TaggedMessageUnion<CasesByTag>['Type'];
-    readonly Encoded: TaggedMessageUnion<CasesByTag>['Encoded'];
-    readonly DecodingServices: TaggedMessageUnion<CasesByTag>['DecodingServices'];
-    readonly EncodingServices: TaggedMessageUnion<CasesByTag>['EncodingServices'];
-    readonly '~type.make.in': TaggedMessageUnion<CasesByTag>['~type.make.in'];
-    readonly '~type.make': TaggedMessageUnion<CasesByTag>['~type.make'];
-    readonly Iso: TaggedMessageUnion<CasesByTag>['Iso'];
-    readonly match: TaggedMessageUnion<CasesByTag>['match'];
+interface UnionSchema<CasesByTag extends Record<string, S.Struct.Fields>> extends S.BottomLazy<BaseTaggedUnion<CasesByTag>['ast'], UnionSchema<CasesByTag>> {
+    readonly Type: BaseTaggedUnion<CasesByTag>['Type'];
+    readonly Encoded: BaseTaggedUnion<CasesByTag>['Encoded'];
+    readonly DecodingServices: BaseTaggedUnion<CasesByTag>['DecodingServices'];
+    readonly EncodingServices: BaseTaggedUnion<CasesByTag>['EncodingServices'];
+    readonly '~type.make.in': BaseTaggedUnion<CasesByTag>['~type.make.in'];
+    readonly '~type.make': BaseTaggedUnion<CasesByTag>['~type.make'];
+    readonly Iso: BaseTaggedUnion<CasesByTag>['Iso'];
+    readonly match: BaseTaggedUnion<CasesByTag>['match'];
 }
-/** The union `defineMessageUnion` returns. A Schema with exhaustive matching
- * and one callable constructor per variant, reachable by tag. */
-export type MessageUnion<CasesByTag extends Record<string, S.Struct.Fields>> = MessageSchema<CasesByTag> & {
+type TaggedUnionMemberFor<CasesByTag extends Record<string, S.Struct.Fields>, Tag extends keyof CasesByTag & string> = CallableTaggedStruct<Tag, CasesByTag[Tag]>;
+type TaggedUnionMember<CasesByTag extends Record<string, S.Struct.Fields>> = {
+    readonly [Tag in keyof CasesByTag & string]: TaggedUnionMemberFor<CasesByTag, Tag>;
+}[keyof CasesByTag & string];
+type TaggedUnionSubsetMembers<CasesByTag extends Record<string, S.Struct.Fields>, Tags extends ReadonlyArray<keyof CasesByTag & string>> = {
+    readonly [Index in keyof Tags]: Tags[Index] extends keyof CasesByTag & string ? TaggedUnionMemberFor<CasesByTag, Tags[Index]> : never;
+};
+interface RichUnionSchema<CasesByTag extends Record<string, S.Struct.Fields>> extends UnionSchema<CasesByTag> {
+    readonly guards: BaseTaggedUnion<CasesByTag>['guards'];
+    readonly isAnyOf: BaseTaggedUnion<CasesByTag>['isAnyOf'];
+    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) => S.Union<TaggedUnionSubsetMembers<CasesByTag, Tags>>;
+}
+/** The Schema returned by `defineTaggedUnion`. It includes callable variant
+ * constructors, exhaustive `match`, `guards`, `isAnyOf`, `subset`, and
+ * `members`. */
+export type TaggedUnion<CasesByTag extends Record<string, S.Struct.Fields>> = RichUnionSchema<CasesByTag> & {
+    readonly [Tag in keyof CasesByTag & string]: CallableTaggedStruct<Tag, CasesByTag[Tag]>;
+};
+/** The Schema returned by `defineMessageUnion`. Each variant is a callable
+ * property on the union, and `match` handles the union exhaustively. */
+export type MessageUnion<CasesByTag extends Record<string, S.Struct.Fields>> = UnionSchema<CasesByTag> & {
     readonly [Tag in keyof CasesByTag & string]: CallableTaggedStruct<Tag, CasesByTag[Tag]>;
 };
+/** The Schema returned by `defineRouteUnion`. It has the same constructors and
+ * helpers as `TaggedUnion`, with a Route-specific name for public signatures. */
+export type RouteUnion<CasesByTag extends Record<string, S.Struct.Fields>> = TaggedUnion<CasesByTag>;
 /**
- * Declares a whole Message union from one record of fields per variant, naming
- * each variant once instead of once per constructor and once in the union list.
+ * Declares every Message variant in one object. Each key is a tag, and its
+ * value lists that Message's fields.
  *
- * The result is a Schema, so it decodes and nests in a Model. Its focused
- * Message surface is exhaustive `match` plus one callable constructor per
- * variant. Each constructor is itself a schema, which is what `Command.define`
- * needs for its `messages` list.
+ * The result is both a Schema and a namespace. Construct a Message with a
+ * variant such as `Message.ClickedReset()`, and handle every variant with
+ * `Message.match`. Each constructor is also a Schema, so it can appear in a
+ * `Command.define` `messages` list.
  *
- * Use `Message.match` for exhaustive dispatch. The values are ordinary tagged
- * objects, so Effect `Match` remains available for partial matching, one
- * handler over several tags, and fallbacks.
+ * Message unions intentionally expose only constructors and exhaustive
+ * `match`. Use Effect `Match` when only some tags need handling or several tags
+ * share one handler.
  *
- * A Submodel's OutMessage is declared the same way, with variants of its own. A
- * Message is a fact the Submodel handles; an OutMessage is a fact it reports to
- * its parent. Sharing one variant between the two unions puts the child's
- * internal vocabulary in the parent's contract, so declare them separately even
- * when a pair happens to carry the same fields.
+ * Declare a Submodel's OutMessages in their own `defineMessageUnion`. Messages
+ * are facts the Submodel handles; OutMessages are facts it reports to its
+ * parent. Keep the two unions separate even when two variants carry the same
+ * fields.
  *
- * A variant may not be named after the schema surface it would shadow, such as
- * `make`, `match`, `cases`, or `ast`. TypeScript reports the conflicting names,
- * and untyped calls fail with a runtime error.
+ * 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.
  *
  * @example
  * ```typescript
@@ -63,37 +86,105 @@ export type MessageUnion<CasesByTag extends Record<string, S.Struct.Fields>> = M
  * Message.ChangedCount({ count: 1 }) // { _tag: 'ChangedCount', count: 1 }
  * ```
  */
-export declare function defineMessageUnion<const CasesByTag extends Record<string, S.Struct.Fields>>(casesByTag: CasesByTag & ValidateMessageVariantNames<CasesByTag>): MessageUnion<CasesByTag>;
+export declare function defineMessageUnion<const CasesByTag extends Record<string, S.Struct.Fields>>(casesByTag: CasesByTag & ValidateVariantNames<CasesByTag>): MessageUnion<CasesByTag>;
 /**
- * Wraps `Schema.TaggedStruct` to create a route variant you can call directly as a constructor.
- * Use `r` for route types — enabling `Home()` instead of `Home.make()`.
+ * Declares every variant of a domain union in one object. Use it for Model
+ * states, submission results, filter modes, and other unions that are not
+ * Messages or Routes.
+ *
+ * The result is both a Schema and a namespace. It provides:
+ *
+ * - One callable Schema constructor per variant.
+ * - `match` for exhaustive handling.
+ * - `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.
+ *
+ * Use `taggedStruct` when the variants cannot be declared together. Recursive
+ * 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.
  *
  * @example
  * ```typescript
- * const Home = r('Home')
- * Home() // { _tag: 'Home' }
+ * export const Submission = defineTaggedUnion({
+ *   NotSubmitted: {},
+ *   Submitting: {},
+ *   Succeeded: {},
+ *   Failed: { error: S.String },
+ * })
+ * export type Submission = typeof Submission.Type
  *
- * const UserProfile = r('UserProfile', { id: S.String })
- * UserProfile({ id: 'abc' }) // { _tag: 'UserProfile', id: 'abc' }
+ * Submission.NotSubmitted() // { _tag: 'NotSubmitted' }
+ * Submission.Failed({ error: 'timeout' })
  * ```
  */
-export declare function r<Tag extends string>(tag: Tag): CallableTaggedStruct<Tag, {}>;
-export declare function r<Tag extends string, Fields extends S.Struct.Fields>(tag: Tag, fields: Fields): CallableTaggedStruct<Tag, Fields>;
+export declare function defineTaggedUnion<const CasesByTag extends Record<string, S.Struct.Fields>>(casesByTag: CasesByTag & ValidateVariantNames<CasesByTag>): TaggedUnion<CasesByTag>;
 /**
- * Wraps `Schema.TaggedStruct` to create a callable tagged struct you can call directly as a constructor.
- * Use `ts` for non-message, non-route tagged structs — enabling `Loading()`
- * instead of `Loading.make()`.
+ * Declares every application Route in one object. Each key is a tag, and its
+ * value lists the fields parsed from the URL.
+ *
+ * The result is both a Schema and the `AppRoute` namespace. Each variant is a
+ * callable Schema, so `AppRoute.Person` works with `mapTo` and
+ * `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.
+ *
+ * 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.
+ *
+ * @example
+ * ```typescript
+ * export const AppRoute = defineRouteUnion({
+ *   Home: {},
+ *   Person: { personId: S.Number },
+ *   NotFound: { path: S.String },
+ * })
+ * export type AppRoute = typeof AppRoute.Type
+ *
+ * export const homeRouter = pipe(root, mapTo(AppRoute.Home))
+ * export const personRouter = pipe(
+ *   literal('people'),
+ *   slash(int('personId')),
+ *   mapTo(AppRoute.Person),
+ * )
+ *
+ * export const urlToAppRoute = parseUrlWithFallback(
+ *   oneOf(personRouter, homeRouter),
+ *   AppRoute.NotFound,
+ * )
+ * ```
+ */
+export declare function defineRouteUnion<const CasesByTag extends Record<string, S.Struct.Fields>>(casesByTag: CasesByTag & ValidateVariantNames<CasesByTag>): RouteUnion<CasesByTag>;
+/**
+ * Declares one tagged struct as a callable Schema. Call `Loading()` instead of
+ * `Loading.make()`.
+ *
+ * Prefer `defineTaggedUnion` when every variant can be declared together. Use
+ * `taggedStruct` for a recursive union, a union assembled across modules, a
+ * tagged child struct that is not a union variant, or a variant created inside
+ * a generic Schema factory.
  *
  * @example
  * ```typescript
- * const Loading = ts('Loading')
+ * const Loading = taggedStruct('Loading')
  * Loading() // { _tag: 'Loading' }
  *
- * const Ok = ts('Ok', { data: S.String })
+ * const Ok = taggedStruct('Ok', { data: S.String })
  * Ok({ data: 'hello' }) // { _tag: 'Ok', data: 'hello' }
  * ```
  */
-export declare function ts<Tag extends string>(tag: Tag): CallableTaggedStruct<Tag, {}>;
-export declare function ts<Tag extends string, Fields extends S.Struct.Fields>(tag: Tag, fields: Fields): CallableTaggedStruct<Tag, Fields>;
+export declare function taggedStruct<Tag extends string>(tag: Tag): CallableTaggedStruct<Tag, {}>;
+export declare function taggedStruct<Tag extends string, Fields extends S.Struct.Fields>(tag: Tag, fields: Fields): CallableTaggedStruct<Tag, Fields>;
 export {};
 //# sourceMappingURL=index.d.ts.map

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,EAAqB,MAAM,IAAI,CAAC,EAAa,KAAK,EAAE,MAAM,QAAQ,CAAA;AAEzE,qIAAqI;AACrI,MAAM,MAAM,oBAAoB,CAC9B,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,IAC5B,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,GAC7B,CAAC,MAAM,MAAM,SAAS,KAAK,GACvB,CACE,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KAC9D,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CAAC,GAC1E,CACE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KACtD,KAAK,CAAC,QAAQ,CACjB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CACtD,CAAC,CAAA;AAoJR,KAAK,mBAAmB,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;AAmBlD,KAAK,2BAA2B,CAAC,IAAI,SAAS,WAAW,IAAI,QAAQ,CAAC;IACpE,4EAA4E,EAAE,IAAI,CAAA;CACnF,CAAC,CAAA;AAEF,KAAK,2BAA2B,CAC9B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAElD,OAAO,CAAC,MAAM,UAAU,EAAE,mBAAmB,CAAC,SAAS,MAAM,IAAI,GAC7D,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,OAAO,GACP,2BAA2B,CAAC,IAAI,GAAG,WAAW,CAAC,GACjD,KAAK,CAAA;AAEX,KAAK,kBAAkB,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IACxE,CAAC,CAAC,WAAW,CAAC;IACZ,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,CAAC,CAAC,YAAY,CACzD,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAC,CAAA;AAEJ,UAAU,aAAa,CACrB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAClD,SAAQ,CAAC,CAAC,UAAU,CACpB,kBAAkB,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,EACrC,aAAa,CAAC,UAAU,CAAC,CAC1B;IACC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;IACrD,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAA;IAC3D,QAAQ,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,CAAA;IAC7E,QAAQ,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,CAAA;IAC7E,QAAQ,CAAC,eAAe,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,CAAA;IACzE,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAA;IACnE,QAAQ,CAAC,GAAG,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAA;IACnD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAA;CACxD;AAED;iEACiE;AACjE,MAAM,MAAM,YAAY,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IACzE,aAAa,CAAC,UAAU,CAAC,GAAG;IAC1B,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAExD,UAAU,EAAE,UAAU,GAAG,2BAA2B,CAAC,UAAU,CAAC,GAC/D,YAAY,CAAC,UAAU,CAAC,CAqB1B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,CAAC,CAAC,GAAG,SAAS,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,oBAAoB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;AAC9E,wBAAgB,CAAC,CAAC,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EAClE,GAAG,EAAE,GAAG,EACR,MAAM,EAAE,MAAM,GACb,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;AAKpC;;;;;;;;;;;;;GAaG;AACH,wBAAgB,EAAE,CAAC,GAAG,SAAS,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,oBAAoB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;AAC/E,wBAAgB,EAAE,CAAC,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EACnE,GAAG,EAAE,GAAG,EACR,MAAM,EAAE,MAAM,GACb,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,MAAM,IAAI,CAAC,EAAa,KAAK,EAAE,MAAM,QAAQ,CAAA;AAEzE,qIAAqI;AACrI,MAAM,MAAM,oBAAoB,CAC9B,GAAG,SAAS,MAAM,EAClB,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,IAC5B,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,GAC7B,CAAC,MAAM,MAAM,SAAS,KAAK,GACvB,CACE,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KAC9D,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CAAC,GAC1E,CACE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KACtD,KAAK,CAAC,QAAQ,CACjB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,CACtD,CAAC,CAAA;AAoJR,KAAK,mBAAmB,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;AAElD,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,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAC1E,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,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IACrE,CAAC,CAAC,WAAW,CAAC;IACZ,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,CAAC,CAAC,YAAY,CACzD,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAC,CAAA;AAEJ,UAAU,WAAW,CACnB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAClD,SAAQ,CAAC,CAAC,UAAU,CACpB,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,eAAe,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAA;CACrD;AAED,KAAK,oBAAoB,CACvB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAClD,GAAG,SAAS,MAAM,UAAU,GAAG,MAAM,IACnC,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;AAE9C,KAAK,iBAAiB,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI;IAC3E,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,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAClD,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,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAClD,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,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAA;CACzD;AAED;;gBAEgB;AAChB,MAAM,MAAM,WAAW,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IACxE,eAAe,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;AAEH;wEACwE;AACxE,MAAM,MAAM,YAAY,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IACzE,WAAW,CAAC,UAAU,CAAC,GAAG;IACxB,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,MAAM,GAAG,oBAAoB,CAC/D,GAAG,EACH,UAAU,CAAC,GAAG,CAAC,CAChB;CACF,CAAA;AAEH;iFACiF;AACjF,MAAM,MAAM,UAAU,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IACvE,WAAW,CAAC,UAAU,CAAC,CAAA;AAqDzB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,CAAC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAExD,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,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAExD,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,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAExD,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,CAAC,CAAC,MAAM,CAAC,MAAM,EAC9B,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA"}

package/dist/schema/index.js

@@ -109,6 +109,7 @@ const makeCallable = (tag, fields) => {
         },
     });
 };
+const reservedUnionPropertyNames = new Set(['members', 'subset']);
 const taggedUnionTypeOnlyPropertyNames = new Set([
     'Rebuild',
     '~type.parameters',
@@ -125,28 +126,58 @@ const taggedUnionTypeOnlyPropertyNames = new Set([
     '~encoded.mutability',
     '~encoded.optionality',
 ]);
+const defineUnion = (variantLabel, casesByTag) => {
+    const union = S.TaggedUnion(casesByTag);
+    const conflictingNames = Array.filter(Object.keys(casesByTag), name => Reflect.has(union, name) ||
+        taggedUnionTypeOnlyPropertyNames.has(name) ||
+        reservedUnionPropertyNames.has(name));
+    if (Array.isArrayNonEmpty(conflictingNames)) {
+        throw new Error(`${variantLabel} names conflict with union properties: ${conflictingNames.join(', ')}`);
+    }
+    const callables = {};
+    for (const [tag, fields] of Object.entries(casesByTag)) {
+        callables[tag] = makeCallable(tag, fields);
+    }
+    const subset = (tags) => {
+        const members = [];
+        for (const tag of tags) {
+            const member = callables[tag];
+            if (!Object.hasOwn(callables, tag) || member === undefined) {
+                throw new Error(`Union subset contains an unknown variant: ${tag}`);
+            }
+            members.push(member);
+        }
+        return S.Union(members);
+    };
+    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+    return Object.assign(union, callables, {
+        // NOTE: Schema.TaggedUnion does not expose the member list that Schema.Union
+        // does. Machine.define uses that list to enumerate the state tags.
+        members: Object.values(callables),
+        subset,
+    });
+};
 /**
- * Declares a whole Message union from one record of fields per variant, naming
- * each variant once instead of once per constructor and once in the union list.
+ * Declares every Message variant in one object. Each key is a tag, and its
+ * value lists that Message's fields.
  *
- * The result is a Schema, so it decodes and nests in a Model. Its focused
- * Message surface is exhaustive `match` plus one callable constructor per
- * variant. Each constructor is itself a schema, which is what `Command.define`
- * needs for its `messages` list.
+ * The result is both a Schema and a namespace. Construct a Message with a
+ * variant such as `Message.ClickedReset()`, and handle every variant with
+ * `Message.match`. Each constructor is also a Schema, so it can appear in a
+ * `Command.define` `messages` list.
  *
- * Use `Message.match` for exhaustive dispatch. The values are ordinary tagged
- * objects, so Effect `Match` remains available for partial matching, one
- * handler over several tags, and fallbacks.
+ * Message unions intentionally expose only constructors and exhaustive
+ * `match`. Use Effect `Match` when only some tags need handling or several tags
+ * share one handler.
  *
- * A Submodel's OutMessage is declared the same way, with variants of its own. A
- * Message is a fact the Submodel handles; an OutMessage is a fact it reports to
- * its parent. Sharing one variant between the two unions puts the child's
- * internal vocabulary in the parent's contract, so declare them separately even
- * when a pair happens to carry the same fields.
+ * Declare a Submodel's OutMessages in their own `defineMessageUnion`. Messages
+ * are facts the Submodel handles; OutMessages are facts it reports to its
+ * parent. Keep the two unions separate even when two variants carry the same
+ * fields.
  *
- * A variant may not be named after the schema surface it would shadow, such as
- * `make`, `match`, `cases`, or `ast`. TypeScript reports the conflicting names,
- * and untyped calls fail with a runtime error.
+ * 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.
  *
  * @example
  * ```typescript
@@ -161,21 +192,91 @@ const taggedUnionTypeOnlyPropertyNames = new Set([
  * ```
  */
 export function defineMessageUnion(casesByTag) {
-    const union = S.TaggedUnion(casesByTag);
-    const conflictingNames = Array.filter(Object.keys(casesByTag), name => Reflect.has(union, name) || taggedUnionTypeOnlyPropertyNames.has(name));
-    if (Array.isArrayNonEmpty(conflictingNames)) {
-        throw new Error(`Message variant names conflict with Schema.TaggedUnion properties: ${conflictingNames.join(', ')}`);
-    }
-    const callables = {};
-    for (const [tag, fields] of Object.entries(casesByTag)) {
-        callables[tag] = makeCallable(tag, fields);
-    }
-    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
-    return Object.assign(union, callables);
+    return defineUnion('Message variant', casesByTag);
 }
-export function r(tag, fields = {}) {
-    return makeCallable(tag, fields);
+/**
+ * Declares every variant of a domain union in one object. Use it for Model
+ * states, submission results, filter modes, and other unions that are not
+ * Messages or Routes.
+ *
+ * The result is both a Schema and a namespace. It provides:
+ *
+ * - One callable Schema constructor per variant.
+ * - `match` for exhaustive handling.
+ * - `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.
+ *
+ * Use `taggedStruct` when the variants cannot be declared together. Recursive
+ * 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.
+ *
+ * @example
+ * ```typescript
+ * export const Submission = defineTaggedUnion({
+ *   NotSubmitted: {},
+ *   Submitting: {},
+ *   Succeeded: {},
+ *   Failed: { error: S.String },
+ * })
+ * export type Submission = typeof Submission.Type
+ *
+ * Submission.NotSubmitted() // { _tag: 'NotSubmitted' }
+ * Submission.Failed({ error: 'timeout' })
+ * ```
+ */
+export function defineTaggedUnion(casesByTag) {
+    return defineUnion('Variant', casesByTag);
+}
+/**
+ * Declares every application Route in one object. Each key is a tag, and its
+ * value lists the fields parsed from the URL.
+ *
+ * The result is both a Schema and the `AppRoute` namespace. Each variant is a
+ * callable Schema, so `AppRoute.Person` works with `mapTo` and
+ * `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.
+ *
+ * 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.
+ *
+ * @example
+ * ```typescript
+ * export const AppRoute = defineRouteUnion({
+ *   Home: {},
+ *   Person: { personId: S.Number },
+ *   NotFound: { path: S.String },
+ * })
+ * export type AppRoute = typeof AppRoute.Type
+ *
+ * export const homeRouter = pipe(root, mapTo(AppRoute.Home))
+ * export const personRouter = pipe(
+ *   literal('people'),
+ *   slash(int('personId')),
+ *   mapTo(AppRoute.Person),
+ * )
+ *
+ * export const urlToAppRoute = parseUrlWithFallback(
+ *   oneOf(personRouter, homeRouter),
+ *   AppRoute.NotFound,
+ * )
+ * ```
+ */
+export function defineRouteUnion(casesByTag) {
+    return defineUnion('Route variant', casesByTag);
 }
-export function ts(tag, fields = {}) {
+export function taggedStruct(tag, fields = {}) {
     return makeCallable(tag, fields);
 }

package/dist/schema/public.d.ts

@@ -1,3 +1,3 @@
-export { ts } from './index.js';
-export type { CallableTaggedStruct } from './index.js';
+export { defineTaggedUnion, taggedStruct } from './index.js';
+export type { CallableTaggedStruct, TaggedUnion } from './index.js';
 //# sourceMappingURL=public.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/schema/public.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,YAAY,CAAA;AAC/B,YAAY,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/schema/public.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAC5D,YAAY,EAAE,oBAAoB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA"}

package/dist/schema/public.js

@@ -1 +1 @@
-export { ts } from './index.js';
+export { defineTaggedUnion, taggedStruct } from './index.js';

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

@@ -2,9 +2,12 @@ import { Schema as S } from 'effect';
 import type { Html, HtmlBuilder } from '../../html/index.js';
 import type * as Update from '../../update/index.js';
 export declare const Model: S.Struct<{
-    readonly contextMenu: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"Closed", {}>, import("../../schema/index.js").CallableTaggedStruct<"Open", {
-        source: S.Literals<readonly ["Direct", "Inner", "Outer"]>;
-    }>]>;
+    readonly contextMenu: import("../../schema/index.js").TaggedUnion<{
+        readonly Closed: {};
+        readonly Open: {
+            readonly source: S.Literals<readonly ["Direct", "Inner", "Outer"]>;
+        };
+    }>;
     readonly openCount: S.Number;
 }>;
 export type Model = typeof Model.Type;
@@ -16,20 +19,20 @@ declare const Message: import("../../schema/index.js").MessageUnion<{
 type Message = typeof Message.Type;
 export declare const initialModel: {
     readonly contextMenu: {
-        readonly _tag: "Closed";
-    } | {
         readonly _tag: "Open";
         readonly source: "Direct" | "Inner" | "Outer";
+    } | {
+        readonly _tag: "Closed";
     };
     readonly openCount: number;
 };
 export declare const update: (model: Model, message: Message) => Readonly<{
     model: {
         readonly contextMenu: {
-            readonly _tag: "Closed";
-        } | {
             readonly _tag: "Open";
             readonly source: "Direct" | "Inner" | "Outer";
+        } | {
+            readonly _tag: "Closed";
         };
         readonly openCount: number;
     };

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

@@ -1 +1 @@
-{"version":3,"file":"contextMenu.d.ts","sourceRoot":"","sources":["../../../src/test/apps/contextMenu.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAI5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAcpD,eAAO,MAAM,KAAK;;;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,QAAA,MAAM,OAAO;;;;EAEX,CAAA;AACF,KAAK,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIlC,eAAO,MAAM,YAAY;;;;;;;;CAGvB,CAAA;AAIF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;;EAQjD,CAAA;AAIJ,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IA8C5D,CAAA"}
+{"version":3,"file":"contextMenu.d.ts","sourceRoot":"","sources":["../../../src/test/apps/contextMenu.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAI5D,OAAO,KAAK,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAYpD,eAAO,MAAM,KAAK;;;;;;;;EAGhB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,QAAA,MAAM,OAAO;;;;EAEX,CAAA;AACF,KAAK,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIlC,eAAO,MAAM,YAAY;;;;;;;;CAGvB,CAAA;AAIF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO;;;;;;;;;;;;;;;EAQjD,CAAA;AAIJ,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,KAAG,IA8C5D,CAAA"}

package/dist/test/apps/contextMenu.js

@@ -1,14 +1,13 @@
 import { Match as M, Number, Schema as S } from 'effect';
 import { defineMessageUnion } from '../../message/index.js';
-import { ts } from '../../schema/index.js';
+import { defineTaggedUnion } from '../../schema/index.js';
 import { evo } from '../../struct/index.js';
 // MODEL
 const ContextMenuSource = S.Literals(['Direct', 'Inner', 'Outer']);
-const Closed = ts('Closed');
-const Open = ts('Open', {
-    source: ContextMenuSource,
+const ContextMenuState = defineTaggedUnion({
+    Closed: {},
+    Open: { source: ContextMenuSource },
 });
-const ContextMenuState = S.Union([Closed, Open]);
 export const Model = S.Struct({
     contextMenu: ContextMenuState,
     openCount: S.Number,
@@ -19,14 +18,14 @@ const Message = defineMessageUnion({
 });
 // INIT
 export const initialModel = Model.make({
-    contextMenu: Closed(),
+    contextMenu: ContextMenuState.Closed(),
     openCount: 0,
 });
 // UPDATE
 export const update = (model, message) => Message.match(message, {
     OpenedContextMenu: ({ source }) => ({
         model: evo(model, {
-            contextMenu: () => Open({ source }),
+            contextMenu: () => ContextMenuState.Open({ source }),
             openCount: Number.increment,
         }),
     }),

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

@@ -13,9 +13,6 @@ export declare const ChildMessage: import("../../schema/index.js").MessageUnion<
     readonly CancelledForm: {};
     readonly CompletedResetForm: {};
 }>;
-export declare const SubmittedForm: import("../../schema/index.js").CallableTaggedStruct<"SubmittedForm", {}>, SucceededSubmitForm: import("../../schema/index.js").CallableTaggedStruct<"SucceededSubmitForm", {
-    readonly id: S.String;
-}>, CancelledForm: import("../../schema/index.js").CallableTaggedStruct<"CancelledForm", {}>, CompletedResetForm: import("../../schema/index.js").CallableTaggedStruct<"CompletedResetForm", {}>;
 export type ChildMessage = typeof ChildMessage.Type;
 export declare const ChildOutMessage: import("../../schema/index.js").MessageUnion<{
     readonly RequestedSave: {
@@ -23,9 +20,6 @@ export declare const ChildOutMessage: import("../../schema/index.js").MessageUni
     };
     readonly RequestedCancel: {};
 }>;
-export declare const RequestedSave: import("../../schema/index.js").CallableTaggedStruct<"RequestedSave", {
-    readonly id: S.String;
-}>, RequestedCancel: import("../../schema/index.js").CallableTaggedStruct<"RequestedCancel", {}>;
 export type ChildOutMessage = typeof ChildOutMessage.Type;
 export declare const SubmitForm: Command.CommandDefinitionNoArgs<"SubmitForm", Effect.Effect<{
     readonly _tag: "SucceededSubmitForm";
@@ -77,16 +71,6 @@ export declare const ParentMessage: import("../../schema/index.js").MessageUnion
     };
     readonly CompletedParentReset: {};
 }>;
-export declare const GotChildMessage: import("../../schema/index.js").CallableTaggedStruct<"GotChildMessage", {
-    readonly message: import("../../schema/index.js").MessageUnion<{
-        readonly SubmittedForm: {};
-        readonly SucceededSubmitForm: {
-            readonly id: S.String;
-        };
-        readonly CancelledForm: {};
-        readonly CompletedResetForm: {};
-    }>;
-}>, CompletedParentReset: import("../../schema/index.js").CallableTaggedStruct<"CompletedParentReset", {}>;
 export type ParentMessage = typeof ParentMessage.Type;
 export declare const initialParentModel: ParentModel;
 export declare const parentUpdate: (parentModel: ParentModel, message: ParentMessage) => Readonly<{

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

@@ -1 +1 @@
-{"version":3,"file":"formChild.d.ts","sourceRoot":"","sources":["../../../src/test/apps/formChild.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEhE,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AAEjD,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAI/C,eAAO,MAAM,UAAU;;EAErB,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAI/C,eAAO,MAAM,YAAY;;;;;;;EAKvB,CAAA;AAEF,eAAO,MACL,aAAa,6EACb,mBAAmB;;IACnB,aAAa,6EACb,kBAAkB,gFACJ,CAAA;AAEhB,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAInD,eAAO,MAAM,eAAe;;;;;EAG1B,CAAA;AAEF,eAAO,MAAQ,aAAa;;IAAE,eAAe,6EAAoB,CAAA;AAEjE,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAIzD,eAAO,MAAM,UAAU;;;iBAGrB,CAAA;AAEF,eAAO,MAAM,SAAS;;iBAGpB,CAAA;AAIF,eAAO,MAAM,iBAAiB,EAAE,UAA+B,CAAA;AAI/D,eAAO,MAAM,WAAW,GAAI,QAAQ,UAAU,EAAE,SAAS,YAAY;;;;;;;;;;;;;;;;;;;;EAkBjE,CAAA;AAIJ,eAAO,MAAM,WAAW;;;;;;EAItB,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAIjD,eAAO,MAAM,aAAa;;;;;;;;;;;;EAGxB,CAAA;AAEF,eAAO,MAAQ,eAAe;;;;;;;;;IAAE,oBAAoB,kFAAkB,CAAA;AAEtE,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAIrD,eAAO,MAAM,kBAAkB,EAAE,WAIhC,CAAA;AA0BD,eAAO,MAAM,YAAY,GACvB,aAAa,WAAW,EACxB,SAAS,aAAa;;;;;;;;;;;;;;;;;;;;;;;;EAMpB,CAAA"}
+{"version":3,"file":"formChild.d.ts","sourceRoot":"","sources":["../../../src/test/apps/formChild.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAsB,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEhE,OAAO,KAAK,OAAO,MAAM,wBAAwB,CAAA;AAEjD,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAI/C,eAAO,MAAM,UAAU;;EAErB,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAI/C,eAAO,MAAM,YAAY;;;;;;;EAKvB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAInD,eAAO,MAAM,eAAe;;;;;EAG1B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAIzD,eAAO,MAAM,UAAU;;;iBAGrB,CAAA;AAEF,eAAO,MAAM,SAAS;;iBAGpB,CAAA;AAIF,eAAO,MAAM,iBAAiB,EAAE,UAA+B,CAAA;AAI/D,eAAO,MAAM,WAAW,GAAI,QAAQ,UAAU,EAAE,SAAS,YAAY;;;;;;;;;;;;;;;;;;;;EAkBjE,CAAA;AAIJ,eAAO,MAAM,WAAW;;;;;;EAItB,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAIjD,eAAO,MAAM,aAAa;;;;;;;;;;;;EAGxB,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAIrD,eAAO,MAAM,kBAAkB,EAAE,WAIhC,CAAA;AA0BD,eAAO,MAAM,YAAY,GACvB,aAAa,WAAW,EACxB,SAAS,aAAa;;;;;;;;;;;;;;;;;;;;;;;;EAMpB,CAAA"}

package/dist/test/apps/formChild.js

@@ -13,13 +13,11 @@ export const ChildMessage = defineMessageUnion({
     CancelledForm: {},
     CompletedResetForm: {},
 });
-export const { SubmittedForm, SucceededSubmitForm, CancelledForm, CompletedResetForm, } = ChildMessage;
 // CHILD OUT MESSAGE
 export const ChildOutMessage = defineMessageUnion({
     RequestedSave: { id: S.String },
     RequestedCancel: {},
 });
-export const { RequestedSave, RequestedCancel } = ChildOutMessage;
 // CHILD COMMAND
 export const SubmitForm = Command.define('SubmitForm', {
     messages: [ChildMessage.SucceededSubmitForm],
@@ -59,7 +57,6 @@ export const ParentMessage = defineMessageUnion({
     GotChildMessage: { message: ChildMessage },
     CompletedParentReset: {},
 });
-export const { GotChildMessage, CompletedParentReset } = ParentMessage;
 // PARENT INIT
 export const initialParentModel = {
     child: { status: 'Idle' },

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

@@ -33,7 +33,10 @@ export declare const Message: import("../../schema/index.js").MessageUnion<{
     };
     readonly CompletedCancelUploadFile: {
         readonly uploadId: S.Number;
-        readonly outcome: S.Union<readonly [import("../../schema/index.js").CallableTaggedStruct<"Interrupted", {}>, import("../../schema/index.js").CallableTaggedStruct<"NotFound", {}>]>;
+        readonly outcome: import("../../schema/index.js").TaggedUnion<{
+            readonly Interrupted: {};
+            readonly NotFound: {};
+        }>;
     };
 }>;
 export type Message = typeof Message.Type;