@domainkit/react 0.22.1 → 0.23.0

package/README.md

@@ -145,7 +145,8 @@ another account without naming a domain and lists the ones already connected, ea
 `label` the provider gave it (`null` when the provider named none), and `Connect.useDomainField` turns a text input into a
 combobox over those zones: it returns `inputProps`, `listboxProps`, and `optionProps`, moves the
 highlight with the arrow keys, and completes on Tab or Enter while keeping whatever subdomain was
-typed in front of the zone.
+typed in front of the zone. Zones that already hold the typed name are offered on their own, deepest
+first. A finished name that no connected zone holds offers nothing.
 
 ```tsx
 const { zones } = Connect.useZones();

package/dist/index.d.mts

@@ -36,206 +36,35 @@ export type Event = Data.TaggedEnum<{
     readonly error: DomainKit.Error;
   };
 }>;
-export declare const Event: {
-  readonly $is: <Tag extends "Applied" | "Cleaned" | "Connected" | "Declined" | "Detached" | "Disconnected" | "Failed">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Applied";
-    readonly domain: string;
-    readonly receipt: Receipt.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Cleaned";
-    readonly domain: string;
-    readonly receipt: Receipt.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Connected";
-    readonly domain: string;
-    readonly connectionId: string;
-    readonly snapshot: Transport.Snapshot;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Declined";
-    readonly domain: string;
-    readonly attempt: Transport.Attempt;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Detached";
-    readonly domain: string;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Disconnected";
-    readonly domain: string;
-    readonly connectionId: string;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Failed";
-    readonly domain: string;
-    readonly error: DomainKit.Error;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Applied" | "Cleaned" | "Connected" | "Declined" | "Detached" | "Disconnected" | "Failed"]: (args: Extract<{
-      readonly _tag: "Applied";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Cleaned";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Connected";
-      readonly domain: string;
-      readonly connectionId: string;
-      readonly snapshot: Transport.Snapshot;
-    } | {
-      readonly _tag: "Declined";
-      readonly domain: string;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Detached";
-      readonly domain: string;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly domain: string;
-      readonly connectionId: string;
-    } | {
-      readonly _tag: "Failed";
-      readonly domain: string;
-      readonly error: DomainKit.Error;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Applied";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Cleaned";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Connected";
-      readonly domain: string;
-      readonly connectionId: string;
-      readonly snapshot: Transport.Snapshot;
-    } | {
-      readonly _tag: "Declined";
-      readonly domain: string;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Detached";
-      readonly domain: string;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly domain: string;
-      readonly connectionId: string;
-    } | {
-      readonly _tag: "Failed";
-      readonly domain: string;
-      readonly error: DomainKit.Error;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Applied" | "Cleaned" | "Connected" | "Declined" | "Detached" | "Disconnected" | "Failed"]>>;
-    <Cases extends { readonly [Tag in "Applied" | "Cleaned" | "Connected" | "Declined" | "Detached" | "Disconnected" | "Failed"]: (args: Extract<{
-      readonly _tag: "Applied";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Cleaned";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Connected";
-      readonly domain: string;
-      readonly connectionId: string;
-      readonly snapshot: Transport.Snapshot;
-    } | {
-      readonly _tag: "Declined";
-      readonly domain: string;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Detached";
-      readonly domain: string;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly domain: string;
-      readonly connectionId: string;
-    } | {
-      readonly _tag: "Failed";
-      readonly domain: string;
-      readonly error: DomainKit.Error;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Applied";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Cleaned";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Connected";
-      readonly domain: string;
-      readonly connectionId: string;
-      readonly snapshot: Transport.Snapshot;
-    } | {
-      readonly _tag: "Declined";
-      readonly domain: string;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Detached";
-      readonly domain: string;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly domain: string;
-      readonly connectionId: string;
-    } | {
-      readonly _tag: "Failed";
-      readonly domain: string;
-      readonly error: DomainKit.Error;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Applied" | "Cleaned" | "Connected" | "Declined" | "Detached" | "Disconnected" | "Failed"]>>;
-  };
-  readonly Applied: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Applied";
-    readonly domain: string;
-    readonly receipt: Receipt.Model;
-  }, "_tag">;
-  readonly Cleaned: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Cleaned";
-    readonly domain: string;
-    readonly receipt: Receipt.Model;
-  }, "_tag">;
-  readonly Connected: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Connected";
-    readonly domain: string;
-    readonly connectionId: string;
-    readonly snapshot: Transport.Snapshot;
-  }, "_tag">;
-  readonly Declined: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Declined";
-    readonly domain: string;
-    readonly attempt: Transport.Attempt;
-  }, "_tag">;
-  readonly Detached: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Detached";
-    readonly domain: string;
-  }, "_tag">;
-  readonly Disconnected: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Disconnected";
-    readonly domain: string;
-    readonly connectionId: string;
-  }, "_tag">;
-  readonly Failed: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failed";
-    readonly domain: string;
-    readonly error: DomainKit.Error;
-  }, "_tag">;
-};
+export declare const Event: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Applied";
+  readonly domain: string;
+  readonly receipt: Receipt.Model;
+} | {
+  readonly _tag: "Cleaned";
+  readonly domain: string;
+  readonly receipt: Receipt.Model;
+} | {
+  readonly _tag: "Connected";
+  readonly domain: string;
+  readonly connectionId: string;
+  readonly snapshot: Transport.Snapshot;
+} | {
+  readonly _tag: "Declined";
+  readonly domain: string;
+  readonly attempt: Transport.Attempt;
+} | {
+  readonly _tag: "Detached";
+  readonly domain: string;
+} | {
+  readonly _tag: "Disconnected";
+  readonly domain: string;
+  readonly connectionId: string;
+} | {
+  readonly _tag: "Failed";
+  readonly domain: string;
+  readonly error: DomainKit.Error;
+}>;
 type Listener = (event: Event) => void;
 //#endregion
 //#region src/attempt.d.ts
@@ -267,212 +96,35 @@ type State$2 = Data.TaggedEnum<{
     readonly error: DomainKit.Error;
   };
 }>;
-declare const State$2: {
-  readonly $is: <Tag extends "Applied" | "Applying" | "Approving" | "Failure" | "Idle" | "Planned" | "Planning" | "Rejected" | "Rejecting">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Applied";
-    readonly plan: Plan.Model | null;
-    readonly receipt: Receipt.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Applying";
-    readonly plan: Plan.Model;
-    readonly approval: Approval.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Approving";
-    readonly plan: Plan.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Idle";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Planned";
-    readonly plan: Plan.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Planning";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Rejected";
-    readonly plan: Plan.Model;
-    readonly attempt: Transport.Attempt;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Rejecting";
-    readonly plan: Plan.Model;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Applied" | "Applying" | "Approving" | "Failure" | "Idle" | "Planned" | "Planning" | "Rejected" | "Rejecting"]: (args: Extract<{
-      readonly _tag: "Applied";
-      readonly plan: Plan.Model | null;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Applying";
-      readonly plan: Plan.Model;
-      readonly approval: Approval.Model;
-    } | {
-      readonly _tag: "Approving";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Planned";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Planning";
-    } | {
-      readonly _tag: "Rejected";
-      readonly plan: Plan.Model;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Rejecting";
-      readonly plan: Plan.Model;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Applied";
-      readonly plan: Plan.Model | null;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Applying";
-      readonly plan: Plan.Model;
-      readonly approval: Approval.Model;
-    } | {
-      readonly _tag: "Approving";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Planned";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Planning";
-    } | {
-      readonly _tag: "Rejected";
-      readonly plan: Plan.Model;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Rejecting";
-      readonly plan: Plan.Model;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Applied" | "Applying" | "Approving" | "Failure" | "Idle" | "Planned" | "Planning" | "Rejected" | "Rejecting"]>>;
-    <Cases extends { readonly [Tag in "Applied" | "Applying" | "Approving" | "Failure" | "Idle" | "Planned" | "Planning" | "Rejected" | "Rejecting"]: (args: Extract<{
-      readonly _tag: "Applied";
-      readonly plan: Plan.Model | null;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Applying";
-      readonly plan: Plan.Model;
-      readonly approval: Approval.Model;
-    } | {
-      readonly _tag: "Approving";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Planned";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Planning";
-    } | {
-      readonly _tag: "Rejected";
-      readonly plan: Plan.Model;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Rejecting";
-      readonly plan: Plan.Model;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Applied";
-      readonly plan: Plan.Model | null;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Applying";
-      readonly plan: Plan.Model;
-      readonly approval: Approval.Model;
-    } | {
-      readonly _tag: "Approving";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Planned";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Planning";
-    } | {
-      readonly _tag: "Rejected";
-      readonly plan: Plan.Model;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Rejecting";
-      readonly plan: Plan.Model;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Applied" | "Applying" | "Approving" | "Failure" | "Idle" | "Planned" | "Planning" | "Rejected" | "Rejecting"]>>;
-  };
-  readonly Applied: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Applied";
-    readonly plan: Plan.Model | null;
-    readonly receipt: Receipt.Model;
-  }, "_tag">;
-  readonly Applying: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Applying";
-    readonly plan: Plan.Model;
-    readonly approval: Approval.Model;
-  }, "_tag">;
-  readonly Approving: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Approving";
-    readonly plan: Plan.Model;
-  }, "_tag">;
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, "_tag">;
-  readonly Idle: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Idle";
-  }, "_tag">;
-  readonly Planned: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Planned";
-    readonly plan: Plan.Model;
-  }, "_tag">;
-  readonly Planning: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Planning";
-  }, "_tag">;
-  readonly Rejected: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Rejected";
-    readonly plan: Plan.Model;
-    readonly attempt: Transport.Attempt;
-  }, "_tag">;
-  readonly Rejecting: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Rejecting";
-    readonly plan: Plan.Model;
-  }, "_tag">;
-};
+declare const State$2: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Applied";
+  readonly plan: Plan.Model | null;
+  readonly receipt: Receipt.Model;
+} | {
+  readonly _tag: "Applying";
+  readonly plan: Plan.Model;
+  readonly approval: Approval.Model;
+} | {
+  readonly _tag: "Approving";
+  readonly plan: Plan.Model;
+} | {
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+} | {
+  readonly _tag: "Idle";
+} | {
+  readonly _tag: "Planned";
+  readonly plan: Plan.Model;
+} | {
+  readonly _tag: "Planning";
+} | {
+  readonly _tag: "Rejected";
+  readonly plan: Plan.Model;
+  readonly attempt: Transport.Attempt;
+} | {
+  readonly _tag: "Rejecting";
+  readonly plan: Plan.Model;
+}>;
 interface Controller$2 {
   readonly state: State$2;
   /** Build a plan. The plan itself rides on the state, from `Planned` through `Applied`. */
@@ -531,86 +183,17 @@ type ZonesState = Data.TaggedEnum<{
     readonly error: DomainKit.Error;
   };
 }>;
-declare const ZonesState: {
-  readonly $is: <Tag extends "Failure" | "Loading" | "Ready">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Loading";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Ready";
-    readonly zones: ReadonlyArray<Zone>;
-    readonly connections: ReadonlyArray<Account>;
-    readonly providers: ReadonlyArray<Descriptor>;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Failure" | "Loading" | "Ready"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-      readonly zones: ReadonlyArray<Zone>;
-      readonly connections: ReadonlyArray<Account>;
-      readonly providers: ReadonlyArray<Descriptor>;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-      readonly zones: ReadonlyArray<Zone>;
-      readonly connections: ReadonlyArray<Account>;
-      readonly providers: ReadonlyArray<Descriptor>;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Loading" | "Ready"]>>;
-    <Cases extends { readonly [Tag in "Failure" | "Loading" | "Ready"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-      readonly zones: ReadonlyArray<Zone>;
-      readonly connections: ReadonlyArray<Account>;
-      readonly providers: ReadonlyArray<Descriptor>;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-      readonly zones: ReadonlyArray<Zone>;
-      readonly connections: ReadonlyArray<Account>;
-      readonly providers: ReadonlyArray<Descriptor>;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Loading" | "Ready"]>>;
-  };
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, "_tag">;
-  readonly Loading: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Loading";
-  }, "_tag">;
-  readonly Ready: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Ready";
-    readonly zones: ReadonlyArray<Zone>;
-    readonly connections: ReadonlyArray<Account>;
-    readonly providers: ReadonlyArray<Descriptor>;
-  }, "_tag">;
-};
+declare const ZonesState: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+} | {
+  readonly _tag: "Loading";
+} | {
+  readonly _tag: "Ready";
+  readonly zones: ReadonlyArray<Zone>;
+  readonly connections: ReadonlyArray<Account>;
+  readonly providers: ReadonlyArray<Descriptor>;
+}>;
 interface ZonesController {
   readonly state: ZonesState;
   readonly zones: ReadonlyArray<Zone>;
@@ -647,110 +230,20 @@ type AccountsState = Data.TaggedEnum<{
     readonly error: DomainKit.Error;
   };
 }>;
-declare const AccountsState: {
-  readonly $is: <Tag extends "Failure" | "Loading" | "Ready" | "Redirecting" | "Submitting">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Loading";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Ready";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Redirecting";
-    readonly url: string;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Submitting";
-    readonly provider: string;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Failure" | "Loading" | "Ready" | "Redirecting" | "Submitting"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "Submitting";
-      readonly provider: string;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "Submitting";
-      readonly provider: string;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Loading" | "Ready" | "Redirecting" | "Submitting"]>>;
-    <Cases extends { readonly [Tag in "Failure" | "Loading" | "Ready" | "Redirecting" | "Submitting"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "Submitting";
-      readonly provider: string;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "Submitting";
-      readonly provider: string;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Loading" | "Ready" | "Redirecting" | "Submitting"]>>;
-  };
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, "_tag">;
-  readonly Loading: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Loading";
-  }, "_tag">;
-  readonly Ready: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Ready";
-  }, "_tag">;
-  readonly Redirecting: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Redirecting";
-    readonly url: string;
-  }, "_tag">;
-  readonly Submitting: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Submitting";
-    readonly provider: string;
-  }, "_tag">;
-};
+declare const AccountsState: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+} | {
+  readonly _tag: "Loading";
+} | {
+  readonly _tag: "Ready";
+} | {
+  readonly _tag: "Redirecting";
+  readonly url: string;
+} | {
+  readonly _tag: "Submitting";
+  readonly provider: string;
+}>;
 interface AccountsController {
   readonly state: AccountsState;
   readonly zones: ReadonlyArray<Zone>;
@@ -925,227 +418,38 @@ type State$1 = Data.TaggedEnum<{
     readonly attempt: Attempt | null;
   };
 }>;
-declare const State$1: {
-  readonly $is: <Tag extends "Connected" | "Disconnected" | "Failure" | "Loading" | "Reconnect" | "Redirecting" | "SelectionRequired" | "Submitting">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Connected";
-    readonly snapshot: Snapshot;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Disconnected";
-    readonly snapshot: Snapshot;
-    readonly discovery: Discovery | null;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-    readonly snapshot: Snapshot | null;
-    readonly discovery: Discovery | null;
-    readonly attempt: Attempt | null;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Loading";
-    readonly snapshot: Snapshot | null;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Reconnect";
-    readonly snapshot: Snapshot;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Redirecting";
-    readonly url: string;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "SelectionRequired";
-    readonly snapshot: Snapshot | null;
-    readonly connectionId: string;
-    readonly candidates: ReadonlyArray<Candidate>;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Submitting";
-    readonly snapshot: Snapshot | null;
-    readonly discovery: Discovery | null;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Connected" | "Disconnected" | "Failure" | "Loading" | "Reconnect" | "Redirecting" | "SelectionRequired" | "Submitting"]: (args: Extract<{
-      readonly _tag: "Connected";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly snapshot: Snapshot;
-      readonly discovery: Discovery | null;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-      readonly attempt: Attempt | null;
-    } | {
-      readonly _tag: "Loading";
-      readonly snapshot: Snapshot | null;
-    } | {
-      readonly _tag: "Reconnect";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "SelectionRequired";
-      readonly snapshot: Snapshot | null;
-      readonly connectionId: string;
-      readonly candidates: ReadonlyArray<Candidate>;
-    } | {
-      readonly _tag: "Submitting";
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Connected";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly snapshot: Snapshot;
-      readonly discovery: Discovery | null;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-      readonly attempt: Attempt | null;
-    } | {
-      readonly _tag: "Loading";
-      readonly snapshot: Snapshot | null;
-    } | {
-      readonly _tag: "Reconnect";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "SelectionRequired";
-      readonly snapshot: Snapshot | null;
-      readonly connectionId: string;
-      readonly candidates: ReadonlyArray<Candidate>;
-    } | {
-      readonly _tag: "Submitting";
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Connected" | "Disconnected" | "Failure" | "Loading" | "Reconnect" | "Redirecting" | "SelectionRequired" | "Submitting"]>>;
-    <Cases extends { readonly [Tag in "Connected" | "Disconnected" | "Failure" | "Loading" | "Reconnect" | "Redirecting" | "SelectionRequired" | "Submitting"]: (args: Extract<{
-      readonly _tag: "Connected";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly snapshot: Snapshot;
-      readonly discovery: Discovery | null;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-      readonly attempt: Attempt | null;
-    } | {
-      readonly _tag: "Loading";
-      readonly snapshot: Snapshot | null;
-    } | {
-      readonly _tag: "Reconnect";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "SelectionRequired";
-      readonly snapshot: Snapshot | null;
-      readonly connectionId: string;
-      readonly candidates: ReadonlyArray<Candidate>;
-    } | {
-      readonly _tag: "Submitting";
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Connected";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly snapshot: Snapshot;
-      readonly discovery: Discovery | null;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-      readonly attempt: Attempt | null;
-    } | {
-      readonly _tag: "Loading";
-      readonly snapshot: Snapshot | null;
-    } | {
-      readonly _tag: "Reconnect";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "SelectionRequired";
-      readonly snapshot: Snapshot | null;
-      readonly connectionId: string;
-      readonly candidates: ReadonlyArray<Candidate>;
-    } | {
-      readonly _tag: "Submitting";
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Connected" | "Disconnected" | "Failure" | "Loading" | "Reconnect" | "Redirecting" | "SelectionRequired" | "Submitting"]>>;
-  };
-  readonly Connected: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Connected";
-    readonly snapshot: Snapshot;
-  }, "_tag">;
-  readonly Disconnected: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Disconnected";
-    readonly snapshot: Snapshot;
-    readonly discovery: Discovery | null;
-  }, "_tag">;
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-    readonly snapshot: Snapshot | null;
-    readonly discovery: Discovery | null;
-    readonly attempt: Attempt | null;
-  }, "_tag">;
-  readonly Loading: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Loading";
-    readonly snapshot: Snapshot | null;
-  }, "_tag">;
-  readonly Reconnect: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Reconnect";
-    readonly snapshot: Snapshot;
-  }, "_tag">;
-  readonly Redirecting: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Redirecting";
-    readonly url: string;
-  }, "_tag">;
-  readonly SelectionRequired: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "SelectionRequired";
-    readonly snapshot: Snapshot | null;
-    readonly connectionId: string;
-    readonly candidates: ReadonlyArray<Candidate>;
-  }, "_tag">;
-  readonly Submitting: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Submitting";
-    readonly snapshot: Snapshot | null;
-    readonly discovery: Discovery | null;
-  }, "_tag">;
-};
+declare const State$1: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Connected";
+  readonly snapshot: Snapshot;
+} | {
+  readonly _tag: "Disconnected";
+  readonly snapshot: Snapshot;
+  readonly discovery: Discovery | null;
+} | {
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+  readonly snapshot: Snapshot | null;
+  readonly discovery: Discovery | null;
+  readonly attempt: Attempt | null;
+} | {
+  readonly _tag: "Loading";
+  readonly snapshot: Snapshot | null;
+} | {
+  readonly _tag: "Reconnect";
+  readonly snapshot: Snapshot;
+} | {
+  readonly _tag: "Redirecting";
+  readonly url: string;
+} | {
+  readonly _tag: "SelectionRequired";
+  readonly snapshot: Snapshot | null;
+  readonly connectionId: string;
+  readonly candidates: ReadonlyArray<Candidate>;
+} | {
+  readonly _tag: "Submitting";
+  readonly snapshot: Snapshot | null;
+  readonly discovery: Discovery | null;
+}>;
 /** Which provider and method the failed command was for, so the form can answer beside it. */
 interface Attempt {
   readonly provider: string;
@@ -1351,101 +655,19 @@ type State = Data.TaggedEnum<{
     readonly readiness: Readiness$1 | null;
   };
 }>;
-declare const State: {
-  readonly $is: <Tag extends "Failure" | "Idle" | "Observed" | "Observing">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-    readonly readiness: Readiness$1 | null;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Idle";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Observed";
-    readonly readiness: Readiness$1;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Observing";
-    readonly readiness: Readiness$1 | null;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Failure" | "Idle" | "Observed" | "Observing"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly readiness: Readiness$1 | null;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Observed";
-      readonly readiness: Readiness$1;
-    } | {
-      readonly _tag: "Observing";
-      readonly readiness: Readiness$1 | null;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly readiness: Readiness$1 | null;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Observed";
-      readonly readiness: Readiness$1;
-    } | {
-      readonly _tag: "Observing";
-      readonly readiness: Readiness$1 | null;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Idle" | "Observed" | "Observing"]>>;
-    <Cases extends { readonly [Tag in "Failure" | "Idle" | "Observed" | "Observing"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly readiness: Readiness$1 | null;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Observed";
-      readonly readiness: Readiness$1;
-    } | {
-      readonly _tag: "Observing";
-      readonly readiness: Readiness$1 | null;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly readiness: Readiness$1 | null;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Observed";
-      readonly readiness: Readiness$1;
-    } | {
-      readonly _tag: "Observing";
-      readonly readiness: Readiness$1 | null;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Idle" | "Observed" | "Observing"]>>;
-  };
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-    readonly readiness: Readiness$1 | null;
-  }, "_tag">;
-  readonly Idle: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Idle";
-  }, "_tag">;
-  readonly Observed: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Observed";
-    readonly readiness: Readiness$1;
-  }, "_tag">;
-  readonly Observing: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Observing";
-    readonly readiness: Readiness$1 | null;
-  }, "_tag">;
-};
+declare const State: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+  readonly readiness: Readiness$1 | null;
+} | {
+  readonly _tag: "Idle";
+} | {
+  readonly _tag: "Observed";
+  readonly readiness: Readiness$1;
+} | {
+  readonly _tag: "Observing";
+  readonly readiness: Readiness$1 | null;
+}>;
 interface Controller {
   readonly state: State;
   /** The latest readiness, kept while a new observation runs. */
@@ -1913,38 +1135,10 @@ export type Failure = Data.TaggedEnum<{
     readonly error: DomainKit.Error;
   };
 }>;
-export declare const Failure: {
-  readonly $is: <Tag extends "Failure">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Failure"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Failure"]>>;
-    <Cases extends { readonly [Tag in "Failure"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Failure"]>>;
-  };
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, "_tag">;
-};
+export declare const Failure: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+}>;
 //#endregion
 export { cleanup_d_exports as Cleanup, connect_d_exports as Connect, domain_d_exports as Domain, domain_kit_d_exports as DomainKit, type Listener, messages_d_exports as Messages, outcome_d_exports as Outcome, provision_d_exports as Provision, records_d_exports as Records, testing_d_exports as Testing, verify_d_exports as Verify };
 //# sourceMappingURL=index.d.mts.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@domainkit/react",
-  "version": "0.22.1",
+  "version": "0.23.0",
   "description": "Headless React hooks for custom-domain setup",
   "keywords": [
     "custom-domains",
@@ -43,14 +43,14 @@
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "domainkit": "^0.22.0"
+    "domainkit": "^0.23.0"
   },
   "devDependencies": {
     "@testing-library/react": "16.3.3",
     "@testing-library/user-event": "14.6.7",
     "@types/react": "19.3.0",
     "@types/react-dom": "19.3.0",
-    "effect": "4.0.2",
+    "effect": "4.1.2",
     "jsdom": "30.1.2",
     "react": "19.3.0",
     "react-dom": "19.3.0",
@@ -60,7 +60,7 @@
     "vitest": "5.0.3"
   },
   "peerDependencies": {
-    "effect": ">=4.0.0 <5.0.0",
+    "effect": ">=4.1.2 <5.0.0",
     "react": ">=19.0.0 <20.0.0",
     "react-dom": ">=19.0.0 <20.0.0"
   },