@shivaedev/effect-react 0.0.0 → 0.1.0

package/CHANGELOG.md

@@ -0,0 +1,29 @@
+# Changelog
+
+## 0.1.0 - 2026-09-26
+
+### Added
+
+- Add `useEditor`: binds a query atom, schema fields and a save Effect. It
+  creates the form when data first arrives, remounts it per query atom, merges
+  query refreshes and saved results per field, maps tagged
+  `{ _tag, field, message }` rejections (such as effect-contract field
+  rejections) onto fields by default and requires `rejectField` when a tagged
+  rejection's field type names a field the form lacks, exposes other save
+  failures and ignores submits while saving.
+- Add `useCreate`: after a successful create it starts a fresh form from the
+  initial values, keeping fields edited while the save was in flight.
+- Export `useEditor` and `useCreate` from the `@shivaedev/effect-react/form`
+  subpath; `@shivaedev/effect-form` (`^0.1.0`) is an optional peer dependency
+  needed only by that subpath.
+- Add `SessionBoundary`: one credential-bound client and atom registry per
+  session generation, remounting its subtree and disposing the registry when the
+  session changes or ends. A generation hidden by `<Activity>` renders against a
+  fresh registry instead of a disposed one.
+- Report `Unauthorized` query/action failures to the boundary's `recheck`
+  instead of clearing retained data.
+- Add `resumeSignal`, combining visible `visibilitychange`, visible `online` and
+  an injectable native resume source for native `Atom.makeRefreshOnSignal` and
+  `Atom.swr`.
+- Add native atom query and action hooks with retained data, refresh state and
+  typed action state.

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 ShivaeDev
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,88 @@
 # @shivaedev/effect-react
 
-This version only reserves the name. Releases are published from https://github.com/ShivaeDev/platform.
+Small React hooks and a session boundary for native Effect atoms. Query data survives refreshes and failures when the underlying `AsyncResult` contains a previous success. Actions expose ordinary RPC success values and typed failures as native atom state.
+
+This package targets Effect and `@effect/atom-react` **4.0.0-rc.112** and React 19. Native atoms own identity, caching, invalidation, serialization and cancellation. There is no second query cache or RPC contract language.
+
+## Native RPC usage
+
+Given an `Api` service constructed with native `AtomRpc.Service`, and RPCs `Meals` and `RenameMeal`:
+
+```tsx
+import { RegistryProvider } from "@effect/atom-react"
+import { useAction, useQuery } from "@shivaedev/effect-react"
+import { Option } from "effect"
+
+function Meals() {
+  const meals = useQuery(Api.query("Meals", {}, {
+    reactivityKeys: ["meals"],
+    timeToLive: "1 minute",
+  }))
+  const rename = useAction(Api.mutation("RenameMeal"))
+
+  function save(id: string, title: string) {
+    rename.dispatch({
+      payload: { id, title },
+      reactivityKeys: ["meals"],
+    })
+  }
+
+  if (Option.isNone(meals.data)) {
+    return Option.isSome(meals.cause)
+      ? <button onClick={meals.refresh}>Retry</button>
+      : <p>Loading…</p>
+  }
+  return <MealList meals={meals.data.value} refreshing={meals.refreshing}
+    pending={rename.pending} onRename={save} />
+}
+
+function App() {
+  return <RegistryProvider><Meals /></RegistryProvider>
+}
+```
+
+`Api` and `MealList` above are application definitions. The hooks also accept non-RPC atoms built with `Atom.make`, `Atom.fn` or an atom runtime. Stable atom identities should be declared outside render, created with native `Atom.family`, or memoized; native `Api.query(...)` already supplies its own family.
+
+## Editing
+
+`useEditor` and `useCreate` from `@shivaedev/effect-react/form` bind `@shivaedev/effect-form` to a query atom and a save Effect, for example from an `@shivaedev/effect-contract` binding `api`. `@shivaedev/effect-form` is an optional peer dependency: install it only when you import this subpath; the root entry does not load it. See the [editing guide](../../docs/framework/editing.md).
+
+```ts
+const editor = useEditor({
+  query: api.get.query({ id }),
+  fields: FoodFields,
+  values: (food) => ({ name: food.name, grams: String(food.grams) }),
+  save: (values) => api.save.run({ id, ...values }),
+  runtime: FoodsClient.runtime,
+})
+// editor.query: QueryState; editor.form: Form | undefined until data first arrives
+// editor.save(), editor.saving, editor.dirty, editor.failure (non-field failures), editor.revert()
+```
+
+The form is created from the first successful value and replaced when the query atom changes, so a different id never inherits a draft. Each new query value and each saved result is received per field: untouched fields adopt it, fields edited meanwhile keep local input. A tagged failure shaped `{ _tag, field, message }` whose `field` names a form field, such as an `@shivaedev/effect-contract` `fieldRejection`, becomes that field's message; pass `rejectField` to map differently. When a tagged rejection's `field` type names a field the form lacks, `rejectField` is required at compile time. Other failures appear in `failure`. `save()` does nothing while a save is running; submitting through the form's own `submit` atom settles the same way. Render fields with `useField(editor.form, name)` from `@shivaedev/effect-form/react`.
+
+`useCreate({ fields, initialValues, create, runtime, rejectField })` returns the same save state with an always-present `form` and `created: Option<A>`. After success it replaces the form with a fresh one at `initialValues`, carrying over fields changed while the create was in flight, so their messages and submitted state do not leak into the next entry.
+
+## State
+
+Both hooks return:
+
+- `result`: the unchanged native `AsyncResult`, including its discriminant and typed failure.
+- `data`: `Option<A>`, using the current or previous successful result. A valid `undefined` success remains `Some(undefined)`.
+- `cause`: `Option<Cause<E>>`, preserving failures, defects and interruption information.
+- `pending`: whether the native result is waiting, including refreshes.
+- `refreshing`: waiting while successful data is available.
+
+`useQuery(atom)` additionally returns `refresh()`. It does not carry data across different query atoms. `useAction(atom)` additionally returns `dispatch(input): void`. Read its ordinary success value from `data` and errors from `cause` or the discriminated `result`. Dispatch does not return a completion promise. For imperative per-invocation outcomes (such as closing only the editor whose save succeeded), execute the actual native RPC Effect through your application runtime.
+
+## Scope and concurrency
+
+Mount `SessionBoundary` at the authenticated root. For each session key it builds one credential-bound client and one registry, remounts its subtree when the key changes, renders `signedOut` without a session and disposes the outgoing registry. `connect` runs once per key, so a client must read a rotating credential per request, or the key must include a credential generation. A subtree hidden by `<Activity>` keeps its state and gets a fresh registry on reveal. Inside it, `useQuery` and `useAction` call the boundary's `recheck` when a result fails with a tagged `Unauthorized` error; they keep retained data until the auth owner ends the session. See [client lifecycle](../../docs/framework/client-lifecycle.md). SSR isolation is not implemented.
+
+`resumeSignal({ window, native })` is an atom that increments when the page becomes visible, when the network returns while visible, and when an injected native resume source fires. Feed it to native `Atom.makeRefreshOnSignal` or to `Atom.swr` as `focusSignal`.
+
+State belongs to the **supplied atom in the registry**, not to an individual hook call. In particular, native `Api.mutation("RenameMeal")` returns the same atom for that operation. Components using it share pending/result state and the native action's concurrency behavior. With the default native action, a later dispatch interrupts the earlier one; shared state then represents the later action. Disable duplicate submissions, or create distinct native action atoms when independent lifetimes are needed. Native registry retention and disposal govern cleanup. The package adds no optimistic policy, offline queue, form state or parallel action scheduler.
+
+## Validation
+
+React DOM tests exercise native atom execution, refresh retention, typed failures and query identity changes. Compiler fixtures check success/input/error inference. The package smoke test installs its tarball into a standalone consumer and checks both compiler versions and NodeNext resolution.

package/dist/create.d.ts

@@ -0,0 +1,17 @@
+import type { Decoded, Encoded, FieldFailure, Fields, Form, Services } from "@shivaedev/effect-form";
+import { type Effect, Option, type Schema } from "effect";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+import type { AtomServices, FieldRejectionMapping } from "./field-rejection.ts";
+import { type SaveState } from "./save-state.ts";
+export type CreateConfig<F extends Fields, Created, SE, R, ER> = {
+    readonly fields: Schema.Struct<F>;
+    readonly initialValues: Encoded<F>;
+    readonly create: (values: Decoded<F>) => Effect.Effect<Created, SE, AtomServices<R>>;
+    readonly runtime: Atom.AtomRuntime<Services<F, R>, ER>;
+} & FieldRejectionMapping<F, SE>;
+export interface Create<F extends Fields, Created, SE, ER> extends SaveState<SE | ER> {
+    readonly form: Form<F, Created, SE | FieldFailure, ER>;
+    readonly created: Option.Option<Created>;
+}
+export declare const useCreate: <F extends Fields, Created, SE, R, ER>(config: CreateConfig<F, Created, SE, R, ER>) => Create<F, Created, SE, ER>;
+//# sourceMappingURL=create.d.ts.map

package/dist/create.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create.d.ts","sourceRoot":"","sources":["../src/create.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACrG,OAAO,EAAE,KAAK,MAAM,EAAS,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AACjE,OAAO,KAAK,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAE7D,OAAO,KAAK,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAChF,OAAO,EAAE,KAAK,SAAS,EAAgB,MAAM,iBAAiB,CAAC;AAG/D,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI;IAChE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CACvD,GAAG,qBAAqB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAEjC,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAE,SAAQ,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC;IACpF,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,YAAY,EAAE,EAAE,CAAC,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;CACzC;AAOD,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,YAAY,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAiBtI,CAAC"}

package/dist/create.js

@@ -0,0 +1,24 @@
+import { Equal, Option } from "effect";
+import { useCallback, useState } from "react";
+import { useSaveState } from "./save-state.js";
+import { submission } from "./submission.js";
+const editedSince = (current, submitted) => {
+    const before = new Map(Object.entries(submitted ?? current));
+    return Object.fromEntries(Object.entries(current).filter(([name, value]) => !Equal.equals(value, before.get(name))));
+};
+export const useCreate = (config) => {
+    const [{ initialValues, fresh }] = useState(() => {
+        const { fields, initialValues, runtime, create, rejectField } = config;
+        return { initialValues, fresh: () => submission({ fields, initialValues, runtime, save: create, rejectField }) };
+    });
+    const [current, replace] = useState(fresh);
+    const [created, record] = useState(Option.none());
+    const settled = useCallback((value) => {
+        const next = fresh();
+        next.form.values.set({ ...initialValues, ...editedSince(current.form.values.value, current.submitted()) });
+        record(Option.some(value));
+        replace(next);
+    }, [current, fresh, initialValues]);
+    return { ...useSaveState(current.form, settled), form: current.form, created };
+};
+//# sourceMappingURL=create.js.map

package/dist/create.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create.js","sourceRoot":"","sources":["../src/create.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,KAAK,EAAE,MAAM,EAAe,MAAM,QAAQ,CAAC;AAEjE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AAE9C,OAAO,EAAkB,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAc7C,MAAM,WAAW,GAAG,CAAmB,OAAU,EAAE,SAAwB,EAAqC,EAAE;IACjH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC;IAC7D,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACtH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAuC,MAA2C,EAA8B,EAAE;IAC1I,MAAM,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE;QAChD,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC;QACvE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;IAClH,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAyB,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,WAAW,CAC1B,CAAC,KAAc,EAAE,EAAE;QAClB,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,aAAa,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3G,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,EACD,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAC/B,CAAC;IACF,OAAO,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;AAChF,CAAC,CAAC"}

package/dist/editor.d.ts

@@ -0,0 +1,20 @@
+import type { Decoded, Encoded, FieldFailure, Fields, Form, Services } from "@shivaedev/effect-form";
+import { type Effect, type Schema } from "effect";
+import type * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+import type { AtomServices, FieldRejectionMapping } from "./field-rejection.ts";
+import { type QueryState } from "./result-state.ts";
+import { type SaveState } from "./save-state.ts";
+export type EditorConfig<F extends Fields, Row, QE, SE, R, ER> = {
+    readonly query: Atom.Atom<AsyncResult.AsyncResult<Row, QE>>;
+    readonly fields: Schema.Struct<F>;
+    readonly values: (row: Row) => Encoded<F>;
+    readonly save: (values: Decoded<F>) => Effect.Effect<Row, SE, AtomServices<R>>;
+    readonly runtime: Atom.AtomRuntime<Services<F, R>, ER>;
+} & FieldRejectionMapping<F, SE>;
+export interface Editor<F extends Fields, Row, QE, SE, ER> extends SaveState<SE | ER> {
+    readonly query: QueryState<Row, QE>;
+    readonly form: Form<F, Row, SE | FieldFailure, ER> | undefined;
+}
+export declare const useEditor: <F extends Fields, Row, QE, SE, R, ER>(config: EditorConfig<F, Row, QE, SE, R, ER>) => Editor<F, Row, QE, SE, ER>;
+//# sourceMappingURL=editor.d.ts.map

package/dist/editor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACrG,OAAO,EAAE,KAAK,MAAM,EAAU,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1D,OAAO,KAAK,KAAK,WAAW,MAAM,wCAAwC,CAAC;AAC3E,OAAO,KAAK,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAE7D,OAAO,KAAK,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAChF,OAAO,EAAE,KAAK,UAAU,EAAY,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,KAAK,SAAS,EAAgB,MAAM,iBAAiB,CAAC;AAG/D,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI;IAChE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CACvD,GAAG,qBAAqB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAEjC,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAE,SAAQ,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC;IACpF,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,YAAY,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC;CAC/D;AAQD,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,YAAY,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CA0BtI,CAAC"}

package/dist/editor.js

@@ -0,0 +1,34 @@
+import { Option } from "effect";
+import { useCallback, useEffect, useState } from "react";
+import { useQuery } from "./result-state.js";
+import { useSaveState } from "./save-state.js";
+import { submission } from "./submission.js";
+export const useEditor = (config) => {
+    const query = useQuery(config.query);
+    const row = Option.getOrUndefined(query.data);
+    const [held, hold] = useState(undefined);
+    let current = held?.query === config.query ? held : undefined;
+    if (current === undefined && row !== undefined) {
+        current = {
+            query: config.query,
+            values: config.values,
+            form: submission({
+                fields: config.fields,
+                initialValues: config.values(row),
+                runtime: config.runtime,
+                save: config.save,
+                rejectField: config.rejectField,
+            }).form,
+        };
+        hold(current);
+    }
+    const form = current?.form;
+    const values = current?.values;
+    useEffect(() => {
+        if (form && values && row !== undefined)
+            form.receive(values(row));
+    }, [form, values, row]);
+    const settled = useCallback((saved) => (form && values ? form.receive(values(saved)) : undefined), [form, values]);
+    return { ...useSaveState(form, settled), query, form };
+};
+//# sourceMappingURL=editor.js.map

package/dist/editor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"editor.js","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,MAAM,EAAe,MAAM,QAAQ,CAAC;AAG1D,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AAEzD,OAAO,EAAmB,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAkB,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAqB7C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAuC,MAA2C,EAA8B,EAAE;IAC1I,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAmC,SAAS,CAAC,CAAC;IAC3E,IAAI,OAAO,GAAG,IAAI,EAAE,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,IAAI,OAAO,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAChD,OAAO,GAAG;YACT,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,IAAI,EAAE,UAAU,CAAC;gBAChB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;gBACjC,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,WAAW,EAAE,MAAM,CAAC,WAAW;aAC/B,CAAC,CAAC,IAAI;SACP,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,CAAC;IAC3B,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,CAAC;IAC/B,SAAS,CAAC,GAAG,EAAE;QACd,IAAI,IAAI,IAAI,MAAM,IAAI,GAAG,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACpE,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IACxB,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACxH,OAAO,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACxD,CAAC,CAAC"}

package/dist/field-rejection.d.ts

@@ -0,0 +1,23 @@
+import type { FieldFailure, Fields, Name, Submitter } from "@shivaedev/effect-form";
+import { Effect, type Schema, type Scope } from "effect";
+import type { AtomRegistry } from "effect/unstable/reactivity/AtomRegistry";
+import type { Reactivity } from "effect/unstable/reactivity/Reactivity";
+export interface FieldRejection<N extends string> {
+    readonly field: N;
+    readonly message: string;
+}
+export type AtomServices<R> = R | Scope.Scope | AtomRegistry | Reactivity;
+export type RejectField<F extends Fields, E> = (error: E) => FieldRejection<Name<F>> | undefined;
+type Unmatched<F extends Fields, E> = E extends {
+    readonly _tag: string;
+    readonly message: string;
+} ? "field" extends keyof E ? Exclude<E["field"], Name<F> | undefined> : never : never;
+export type FieldRejectionMapping<F extends Fields, E> = {
+    readonly rejectField?: RejectField<F, E>;
+} & ([Unmatched<F, E>] extends [never] ? unknown : {
+    readonly rejectField: RejectField<F, E>;
+});
+export declare const fieldRejectionOf: <F extends Fields>(schema: Schema.Struct<F>) => (error: unknown) => FieldRejection<Name<F>> | undefined;
+export declare const rejecting: <F extends Fields, V, A, E, R>(schema: Schema.Struct<F>, save: (values: V) => Effect.Effect<A, E, R>, reject: RejectField<F, E> | undefined) => (values: V, submitter: Submitter<Name<F>>) => Effect.Effect<A, E | FieldFailure, R>;
+export {};
+//# sourceMappingURL=field-rejection.d.ts.map

package/dist/field-rejection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-rejection.d.ts","sourceRoot":"","sources":["../src/field-rejection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACpF,OAAO,EAAE,MAAM,EAAa,KAAK,MAAM,EAAE,KAAK,KAAK,EAAE,MAAM,QAAQ,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAC;AAC5E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uCAAuC,CAAC;AAExE,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,MAAM;IAC/C,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,YAAY,GAAG,UAAU,CAAC;AAE1E,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;AAEjG,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAChG,OAAO,SAAS,MAAM,CAAC,GACtB,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,GACxC,KAAK,GACN,KAAK,CAAC;AAET,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI;IAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvI,OAAO,GACP;IAAE,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAAC,CAAC;AAEhD,eAAO,MAAM,gBAAgB,GAC3B,CAAC,SAAS,MAAM,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAC1C,OAAO,OAAO,KAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,SAK3C,CAAC;AAEH,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACrD,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EACxB,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC3C,QAAQ,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,MAG7B,QAAQ,CAAC,EAAE,WAAW,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,CAKvF,CAAC"}

package/dist/field-rejection.js

@@ -0,0 +1,16 @@
+import { Effect, Predicate } from "effect";
+export const fieldRejectionOf = (schema) => (error) => {
+    const isName = (name) => typeof name === "string" && Object.hasOwn(schema.fields, name);
+    if (!Predicate.hasProperty(error, "_tag") || !Predicate.hasProperty(error, "field") || !Predicate.hasProperty(error, "message"))
+        return undefined;
+    const { _tag, field, message } = error;
+    return typeof _tag === "string" && isName(field) && typeof message === "string" ? { field, message } : undefined;
+};
+export const rejecting = (schema, save, reject) => {
+    const rejection = reject ?? fieldRejectionOf(schema);
+    return (values, submitter) => Effect.catch(save(values), (error) => {
+        const found = rejection(error);
+        return found === undefined ? Effect.fail(error) : submitter.fail(found.field, found.message);
+    });
+};
+//# sourceMappingURL=field-rejection.js.map

package/dist/field-rejection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-rejection.js","sourceRoot":"","sources":["../src/field-rejection.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,SAAS,EAA2B,MAAM,QAAQ,CAAC;AAuBpE,MAAM,CAAC,MAAM,gBAAgB,GAC5B,CAAmB,MAAwB,EAAE,EAAE,CAC/C,CAAC,KAAc,EAAuC,EAAE;IACvD,MAAM,MAAM,GAAG,CAAC,IAAa,EAAmB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAClH,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAClJ,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACvC,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAClH,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG,CACxB,MAAwB,EACxB,IAA2C,EAC3C,MAAqC,EACpC,EAAE;IACH,MAAM,SAAS,GAAG,MAAM,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACrD,OAAO,CAAC,MAAS,EAAE,SAA6B,EAAyC,EAAE,CAC1F,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAA0C,EAAE;QAC5E,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/form.d.ts

@@ -0,0 +1,7 @@
+export type { Create, CreateConfig } from "./create.ts";
+export { useCreate } from "./create.ts";
+export type { Editor, EditorConfig } from "./editor.ts";
+export { useEditor } from "./editor.ts";
+export type { FieldRejection, FieldRejectionMapping, RejectField } from "./field-rejection.ts";
+export type { SaveState } from "./save-state.ts";
+//# sourceMappingURL=form.d.ts.map

package/dist/form.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"form.d.ts","sourceRoot":"","sources":["../src/form.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,YAAY,EAAE,cAAc,EAAE,qBAAqB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAC/F,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/form.js

@@ -0,0 +1,3 @@
+export { useCreate } from "./create.js";
+export { useEditor } from "./editor.js";
+//# sourceMappingURL=form.js.map

package/dist/form.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"form.js","sourceRoot":"","sources":["../src/form.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,7 @@
+export type { ActionState, QueryState, ResultState } from "./result-state.ts";
+export { isUnauthorized, useAction, useQuery } from "./result-state.ts";
+export type { ResumeOptions, ResumeSource, ResumeWindow } from "./resume-signal.ts";
+export { resumeSignal } from "./resume-signal.ts";
+export type { SessionBoundaryProps } from "./session-boundary.ts";
+export { SessionBoundary, useSessionRecheck } from "./session-boundary.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACxE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,YAAY,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/index.js

@@ -0,0 +1,4 @@
+export { isUnauthorized, useAction, useQuery } from "./result-state.js";
+export { resumeSignal } from "./resume-signal.js";
+export { SessionBoundary, useSessionRecheck } from "./session-boundary.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAExE,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/result-state.d.ts

@@ -0,0 +1,21 @@
+import { Cause, Option } from "effect";
+import * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+export interface ResultState<A, E> {
+    readonly result: AsyncResult.AsyncResult<A, E>;
+    readonly data: Option.Option<A>;
+    readonly cause: Option.Option<Cause.Cause<E>>;
+    readonly pending: boolean;
+    readonly refreshing: boolean;
+}
+export declare const isUnauthorized: <E>(cause: Cause.Cause<E>) => boolean;
+export interface QueryState<A, E> extends ResultState<A, E> {
+    readonly refresh: () => void;
+}
+export declare const useQuery: <A, E>(atom: Atom.Atom<AsyncResult.AsyncResult<A, E>>) => QueryState<A, E>;
+export interface ActionState<Input, A, E> extends ResultState<A, E> {
+    readonly dispatch: (input: Input) => void;
+}
+/** Dispatches an action and reads its shared native state without claiming a per-invocation completion result. */
+export declare const useAction: <Input, A, E>(atom: Atom.AtomResultFn<Input, A, E>) => ActionState<Input, A, E>;
+//# sourceMappingURL=result-state.d.ts.map

package/dist/result-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-state.d.ts","sourceRoot":"","sources":["../src/result-state.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAa,MAAM,QAAQ,CAAC;AAClD,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAC;AACtE,OAAO,KAAK,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAI7D,MAAM,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC7B;AAaD,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAG,OACwE,CAAC;AASnI,MAAM,WAAW,UAAU,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1D,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC;CAC7B;AAED,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAI9F,CAAC;AAEF,MAAM,WAAW,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IAClE,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;CAC1C;AAED,kHAAkH;AAClH,eAAO,MAAM,SAAS,GAAI,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAIpG,CAAC"}

package/dist/result-state.js

@@ -0,0 +1,35 @@
+import { useAtomRefresh, useAtomSet, useAtomValue } from "@effect/atom-react";
+import { Cause, Option, Predicate } from "effect";
+import * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import { useEffect } from "react";
+import { useSessionRecheck } from "./session-boundary.js";
+const state = (result) => {
+    const data = AsyncResult.value(result);
+    return {
+        result,
+        data,
+        cause: AsyncResult.cause(result),
+        pending: result.waiting,
+        refreshing: result.waiting && Option.isSome(data),
+    };
+};
+export const isUnauthorized = (cause) => Option.match(Cause.findErrorOption(cause), { onNone: () => false, onSome: (error) => Predicate.isTagged(error, "Unauthorized") });
+const useRecheckOnUnauthorized = (result) => {
+    const recheck = useSessionRecheck();
+    useEffect(() => {
+        if (AsyncResult.isFailure(result) && isUnauthorized(result.cause))
+            recheck();
+    }, [recheck, result]);
+};
+export const useQuery = (atom) => {
+    const result = useAtomValue(atom);
+    useRecheckOnUnauthorized(result);
+    return { ...state(result), refresh: useAtomRefresh(atom) };
+};
+/** Dispatches an action and reads its shared native state without claiming a per-invocation completion result. */
+export const useAction = (atom) => {
+    const result = useAtomValue(atom);
+    useRecheckOnUnauthorized(result);
+    return { ...state(result), dispatch: useAtomSet(atom) };
+};
+//# sourceMappingURL=result-state.js.map

package/dist/result-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-state.js","sourceRoot":"","sources":["../src/result-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC9E,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAClD,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAC;AAEtE,OAAO,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAClC,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAU1D,MAAM,KAAK,GAAG,CAAO,MAAqC,EAAqB,EAAE;IAChF,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO;QACN,MAAM;QACN,IAAI;QACJ,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC;QAChC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,UAAU,EAAE,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;KACjD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAI,KAAqB,EAAW,EAAE,CACnE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC;AAEnI,MAAM,wBAAwB,GAAG,CAAO,MAAqC,EAAQ,EAAE;IACtF,MAAM,OAAO,GAAG,iBAAiB,EAAE,CAAC;IACpC,SAAS,CAAC,GAAG,EAAE;QACd,IAAI,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;IAC9E,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AACvB,CAAC,CAAC;AAMF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAO,IAA8C,EAAoB,EAAE;IAClG,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5D,CAAC,CAAC;AAMF,kHAAkH;AAClH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAc,IAAoC,EAA4B,EAAE;IACxG,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;AACzD,CAAC,CAAC"}

package/dist/resume-signal.d.ts

@@ -0,0 +1,17 @@
+import * as Atom from "effect/unstable/reactivity/Atom";
+export type ResumeSource = (resume: () => void) => () => void;
+type ResumeEvent = "online" | "visibilitychange";
+export interface ResumeWindow {
+    readonly addEventListener: (type: ResumeEvent, listener: () => void) => void;
+    readonly removeEventListener: (type: ResumeEvent, listener: () => void) => void;
+    readonly document: {
+        readonly visibilityState: string;
+    };
+}
+export interface ResumeOptions {
+    readonly window?: ResumeWindow;
+    readonly native?: ResumeSource;
+}
+export declare const resumeSignal: ({ window, native }: ResumeOptions) => Atom.Atom<number>;
+export {};
+//# sourceMappingURL=resume-signal.d.ts.map

package/dist/resume-signal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resume-signal.d.ts","sourceRoot":"","sources":["../src/resume-signal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAExD,MAAM,MAAM,YAAY,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,KAAK,MAAM,IAAI,CAAC;AAE9D,KAAK,WAAW,GAAG,QAAQ,GAAG,kBAAkB,CAAC;AAEjD,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAAI,CAAC;IAC7E,QAAQ,CAAC,mBAAmB,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAAI,CAAC;IAChF,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;KAAE,CAAC;CACxD;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;CAC/B;AAYD,eAAO,MAAM,YAAY,GAAI,oBAAoB,aAAa,KAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAShF,CAAC"}

package/dist/resume-signal.js

@@ -0,0 +1,21 @@
+import * as Atom from "effect/unstable/reactivity/Atom";
+const whileVisible = (target, type) => (resume) => {
+    const visible = () => {
+        if (target.document.visibilityState === "visible")
+            resume();
+    };
+    target.addEventListener(type, visible);
+    return () => target.removeEventListener(type, visible);
+};
+export const resumeSignal = ({ window, native }) => {
+    const browser = window === undefined ? [] : [whileVisible(window, "visibilitychange"), whileVisible(window, "online")];
+    const sources = native === undefined ? browser : [...browser, native];
+    return Atom.readable((get) => {
+        let count = 0;
+        const resume = () => get.setSelf(++count);
+        for (const source of sources)
+            get.addFinalizer(source(resume));
+        return count;
+    });
+};
+//# sourceMappingURL=resume-signal.js.map

package/dist/resume-signal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resume-signal.js","sourceRoot":"","sources":["../src/resume-signal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAiBxD,MAAM,YAAY,GACjB,CAAC,MAAoB,EAAE,IAAiB,EAAgB,EAAE,CAC1D,CAAC,MAAM,EAAE,EAAE;IACV,MAAM,OAAO,GAAG,GAAG,EAAE;QACpB,IAAI,MAAM,CAAC,QAAQ,CAAC,eAAe,KAAK,SAAS;YAAE,MAAM,EAAE,CAAC;IAC7D,CAAC,CAAC;IACF,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvC,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACxD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAiB,EAAqB,EAAE;IACpF,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvH,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1C,KAAK,MAAM,MAAM,IAAI,OAAO;YAAE,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/D,OAAO,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;AACJ,CAAC,CAAC"}

package/dist/save-state.d.ts

@@ -0,0 +1,11 @@
+import { FieldFailure, type Fields, type Form } from "@shivaedev/effect-form";
+import { Option } from "effect";
+export interface SaveState<E> {
+    readonly dirty: boolean;
+    readonly failure: Option.Option<E>;
+    readonly saving: boolean;
+    readonly save: () => void;
+    readonly revert: () => void;
+}
+export declare const useSaveState: <F extends Fields, A, E, ER>(form: Form<F, A, E | FieldFailure, ER> | undefined, settled: (result: A) => void) => SaveState<E | ER>;
+//# sourceMappingURL=save-state.d.ts.map

package/dist/save-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"save-state.d.ts","sourceRoot":"","sources":["../src/save-state.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,KAAK,MAAM,EAAE,KAAK,IAAI,EAAW,MAAM,wBAAwB,CAAC;AACvF,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAUhC,MAAM,WAAW,SAAS,CAAC,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC;CAC5B;AAED,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EACtD,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,EAAE,CAAC,GAAG,SAAS,EAClD,SAAS,CAAC,MAAM,EAAE,CAAC,KAAK,IAAI,KAC1B,SAAS,CAAC,CAAC,GAAG,EAAE,CA0BlB,CAAC"}

package/dist/save-state.js

@@ -0,0 +1,34 @@
+import { RegistryContext, useAtomValue } from "@effect/atom-react";
+import { FieldFailure, Invalid } from "@shivaedev/effect-form";
+import { Option } from "effect";
+import * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import * as Atom from "effect/unstable/reactivity/Atom";
+import { useCallback, useContext, useEffect } from "react";
+import { isUnauthorized } from "./result-state.js";
+import { useSessionRecheck } from "./session-boundary.js";
+const idle = Atom.make(AsyncResult.initial());
+const clean = Atom.make(false);
+export const useSaveState = (form, settled) => {
+    const registry = useContext(RegistryContext);
+    const recheck = useSessionRecheck();
+    const result = useAtomValue(form?.submit ?? idle);
+    const dirty = useAtomValue(form?.dirty ?? clean);
+    useEffect(() => {
+        if (AsyncResult.isFailure(result) && isUnauthorized(result.cause))
+            recheck();
+    }, [recheck, result]);
+    useEffect(() => form &&
+        registry.subscribe(form.submit, (next) => {
+            if (AsyncResult.isSuccess(next) && !next.waiting)
+                settled(next.value);
+        }), [form, registry, settled]);
+    const save = useCallback(() => {
+        if (form === undefined || registry.get(form.submit).waiting)
+            return;
+        registry.set(form.submit, undefined);
+    }, [form, registry]);
+    const revert = useCallback(() => form?.revert(), [form]);
+    const failure = Option.filter(AsyncResult.error(result), (error) => !(error instanceof FieldFailure) && !(error instanceof Invalid));
+    return { dirty, failure, saving: result.waiting, save, revert };
+};
+//# sourceMappingURL=save-state.js.map

package/dist/save-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"save-state.js","sourceRoot":"","sources":["../src/save-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,YAAY,EAA0B,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACvF,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAC;AACtE,OAAO,KAAK,IAAI,MAAM,iCAAiC,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;AAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAU/B,MAAM,CAAC,MAAM,YAAY,GAAG,CAC3B,IAAkD,EAClD,OAA4B,EACR,EAAE;IACtB,MAAM,QAAQ,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,iBAAiB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAgE,YAAY,CAAC,IAAI,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC;IAC/G,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,IAAI,KAAK,CAAC,CAAC;IACjD,SAAS,CAAC,GAAG,EAAE;QACd,IAAI,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;IAC9E,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACtB,SAAS,CACR,GAAG,EAAE,CACJ,IAAI;QACJ,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACxC,IAAI,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;gBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC,CAAC,EACH,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CACzB,CAAC;IACF,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE;QAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO;YAAE,OAAO;QACpE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACtC,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAC5B,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,EACzB,CAAC,KAAK,EAAmB,EAAE,CAAC,CAAC,CAAC,KAAK,YAAY,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,YAAY,OAAO,CAAC,CAC3F,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACjE,CAAC,CAAC"}

package/dist/session-boundary.d.ts

@@ -0,0 +1,12 @@
+import { type ReactNode } from "react";
+export interface SessionBoundaryProps<S, Client> {
+    readonly session: S | undefined;
+    readonly identify: (session: S) => string;
+    readonly connect: (session: S) => Client;
+    readonly recheck: () => void;
+    readonly signedOut?: ReactNode;
+    readonly children: (client: Client) => ReactNode;
+}
+export declare const useSessionRecheck: () => (() => void);
+export declare const SessionBoundary: <S, Client>({ session, identify, connect, recheck, signedOut, children, }: SessionBoundaryProps<S, Client>) => ReactNode;
+//# sourceMappingURL=session-boundary.d.ts.map

package/dist/session-boundary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-boundary.d.ts","sourceRoot":"","sources":["../src/session-boundary.ts"],"names":[],"mappings":"AAEA,OAAO,EAA0C,KAAK,SAAS,EAAmC,MAAM,OAAO,CAAC;AAEhH,MAAM,WAAW,oBAAoB,CAAC,CAAC,EAAE,MAAM;IAC9C,QAAQ,CAAC,OAAO,EAAE,CAAC,GAAG,SAAS,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,CAAC;CACjD;AAID,eAAO,MAAM,iBAAiB,QAAO,CAAC,MAAM,IAAI,CAAwB,CAAC;AAoDzE,eAAO,MAAM,eAAe,GAAI,CAAC,EAAE,MAAM,EAAE,+DAOxC,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,KAAG,SAGoE,CAAC"}

package/dist/session-boundary.js

@@ -0,0 +1,42 @@
+import { RegistryContext } from "@effect/atom-react";
+import * as AtomRegistry from "effect/unstable/reactivity/AtomRegistry";
+import { createContext, createElement, Fragment, useContext, useEffect, useState } from "react";
+const Recheck = createContext(() => { });
+export const useSessionRecheck = () => useContext(Recheck);
+const owning = (client) => ({ client, registry: AtomRegistry.make(), mounted: 0 });
+// No cleanup runs when a hidden <Activity> subtree is unmounted, so nodes a hidden render creates must not outlive it.
+const hidden = (client) => {
+    const owned = owning(client);
+    let reaping = false;
+    owned.registry.onNodeAdded = () => {
+        if (reaping || owned.mounted > 0)
+            return;
+        reaping = true;
+        setTimeout(() => {
+            reaping = false;
+            if (owned.mounted === 0)
+                owned.registry.reset();
+        }, 0);
+    };
+    return owned;
+};
+const Generation = ({ session, connect, recheck, children }) => {
+    const [owned, own] = useState(() => owning(connect(session)));
+    useEffect(() => {
+        owned.mounted += 1;
+        return () => {
+            owned.mounted -= 1;
+            queueMicrotask(() => {
+                if (owned.mounted > 0)
+                    return;
+                owned.registry.dispose();
+                own((current) => (current === owned ? hidden(owned.client) : current));
+            });
+        };
+    }, [owned]);
+    return createElement(Recheck.Provider, { value: recheck }, createElement(RegistryContext.Provider, { value: owned.registry }, children(owned.client)));
+};
+export const SessionBoundary = ({ session, identify, connect, recheck, signedOut, children, }) => session === undefined
+    ? createElement(Fragment, null, signedOut)
+    : createElement((Generation), { key: identify(session), session, connect, recheck, children });
+//# sourceMappingURL=session-boundary.js.map

package/dist/session-boundary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-boundary.js","sourceRoot":"","sources":["../src/session-boundary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,YAAY,MAAM,yCAAyC,CAAC;AACxE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAkB,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AAWhH,MAAM,OAAO,GAAG,aAAa,CAAa,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;AAEpD,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAiB,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;AAQzE,MAAM,MAAM,GAAG,CAAS,MAAc,EAAiB,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AAElH,uHAAuH;AACvH,MAAM,MAAM,GAAG,CAAS,MAAc,EAAiB,EAAE;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,CAAC,QAAQ,CAAC,WAAW,GAAG,GAAG,EAAE;QACjC,IAAI,OAAO,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC;YAAE,OAAO;QACzC,OAAO,GAAG,IAAI,CAAC;QACf,UAAU,CAAC,GAAG,EAAE;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC;gBAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACjD,CAAC,EAAE,CAAC,CAAC,CAAC;IACP,CAAC,CAAC;IACF,OAAO,KAAK,CAAC;AACd,CAAC,CAAC;AASF,MAAM,UAAU,GAAG,CAAY,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAA8B,EAAa,EAAE;IAChH,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9D,SAAS,CAAC,GAAG,EAAE;QACd,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;QACnB,OAAO,GAAG,EAAE;YACX,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;YACnB,cAAc,CAAC,GAAG,EAAE;gBACnB,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC;oBAAE,OAAO;gBAC9B,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;gBACzB,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACxE,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC;IACH,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACZ,OAAO,aAAa,CACnB,OAAO,CAAC,QAAQ,EAChB,EAAE,KAAK,EAAE,OAAO,EAAE,EAClB,aAAa,CAAC,eAAe,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAC1F,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAY,EAC1C,OAAO,EACP,QAAQ,EACR,OAAO,EACP,OAAO,EACP,SAAS,EACT,QAAQ,GACyB,EAAa,EAAE,CAChD,OAAO,KAAK,SAAS;IACpB,CAAC,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC;IAC1C,CAAC,CAAC,aAAa,CAAC,CAAA,UAAqB,CAAA,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC"}

package/dist/submission.d.ts

@@ -0,0 +1,17 @@
+import { type Decoded, type Encoded, type FieldFailure, type Fields, type Form, type Services } from "@shivaedev/effect-form";
+import type { Effect, Schema } from "effect";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+import { type AtomServices, type RejectField } from "./field-rejection.ts";
+export interface SubmissionConfig<F extends Fields, A, E, R, ER> {
+    readonly fields: Schema.Struct<F>;
+    readonly initialValues: Encoded<F>;
+    readonly save: (values: Decoded<F>) => Effect.Effect<A, E, AtomServices<R>>;
+    readonly runtime: Atom.AtomRuntime<Services<F, R>, ER>;
+    readonly rejectField: RejectField<F, E> | undefined;
+}
+export interface Submission<F extends Fields, A, E, ER> {
+    readonly form: Form<F, A, E | FieldFailure, ER>;
+    readonly submitted: () => Encoded<F> | undefined;
+}
+export declare const submission: <F extends Fields, A, E, R, ER>(config: SubmissionConfig<F, A, E, R, ER>) => Submission<F, A, E, ER>;
+//# sourceMappingURL=submission.d.ts.map

package/dist/submission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission.d.ts","sourceRoot":"","sources":["../src/submission.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,MAAM,EAAE,KAAK,IAAI,EAAQ,KAAK,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACpI,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,KAAK,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAC7D,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,WAAW,EAAa,MAAM,sBAAsB,CAAC;AAEtF,MAAM,WAAW,gBAAgB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC9D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC;CACpD;AAED,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IACrD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,EAAE,CAAC,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;CACjD;AAED,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAa1H,CAAC"}

package/dist/submission.js

@@ -0,0 +1,17 @@
+import { make } from "@shivaedev/effect-form";
+import { rejecting } from "./field-rejection.js";
+export const submission = (config) => {
+    const { fields, initialValues, runtime } = config;
+    const save = rejecting(fields, config.save, config.rejectField);
+    let submitted;
+    const form = make(fields, {
+        initialValues,
+        runtime,
+        onSubmit: (values, submitter, snapshot) => {
+            submitted = snapshot;
+            return save(values, submitter);
+        },
+    });
+    return { form, submitted: () => submitted };
+};
+//# sourceMappingURL=submission.js.map

package/dist/submission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission.js","sourceRoot":"","sources":["../src/submission.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyE,IAAI,EAAiB,MAAM,wBAAwB,CAAC;AAGpI,OAAO,EAAuC,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAetF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAgC,MAAwC,EAA2B,EAAE;IAC9H,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAClD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAChE,IAAI,SAAiC,CAAC;IACtC,MAAM,IAAI,GAAqC,IAAI,CAAC,MAAM,EAAE;QAC3D,aAAa;QACb,OAAO;QACP,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE;YACzC,SAAS,GAAG,QAAQ,CAAC;YACrB,OAAO,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAChC,CAAC;KACD,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AAC7C,CAAC,CAAC"}

package/package.json

@@ -1,14 +1,83 @@
 {
   "name": "@shivaedev/effect-react",
-  "version": "0.0.0",
-  "description": "Name reservation. The first release is published from https://github.com/ShivaeDev/platform.",
+  "version": "0.1.0",
+  "description": "React query, action, editor and session hooks for native Effect atoms",
+  "type": "module",
   "license": "MIT",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/ShivaeDev/platform.git",
     "directory": "packages/effect-react"
   },
+  "homepage": "https://github.com/ShivaeDev/platform/tree/main/packages/effect-react#readme",
+  "bugs": {
+    "url": "https://github.com/ShivaeDev/platform/issues"
+  },
+  "engines": {
+    "node": ">=24"
+  },
+  "sideEffects": false,
+  "files": [
+    "dist",
+    "src",
+    "CHANGELOG.md",
+    "README.md"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "source": "./src/index.ts",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    },
+    "./form": {
+      "types": "./dist/form.d.ts",
+      "source": "./src/form.ts",
+      "import": "./dist/form.js",
+      "default": "./dist/form.js"
+    },
+    "./package.json": "./package.json"
+  },
   "publishConfig": {
-    "access": "public"
+    "access": "public",
+    "provenance": true
+  },
+  "peerDependencies": {
+    "@effect/atom-react": "4.0.0-rc.112",
+    "@shivaedev/effect-form": "^0.1.0",
+    "effect": "4.0.0-rc.112",
+    "react": "19.2.8"
+  },
+  "peerDependenciesMeta": {
+    "@shivaedev/effect-form": {
+      "optional": true
+    }
+  },
+  "devDependencies": {
+    "@effect/atom-react": "4.0.0-rc.112",
+    "@types/node": "24.10.1",
+    "@types/react": "19.2.18",
+    "@types/react-dom": "19.2.4",
+    "@typescript/native": "npm:typescript@7.0.2",
+    "effect": "4.0.0-rc.112",
+    "happy-dom": "20.11.2",
+    "react": "19.2.8",
+    "react-dom": "19.2.8",
+    "typescript": "npm:@typescript/typescript6@6.0.2",
+    "vitest": "4.1.9",
+    "@shivaedev/effect-sql": "0.1.0",
+    "@effect/sql-sqlite-node": "4.0.0-rc.112",
+    "@shivaedev/effect-service": "0.1.0",
+    "@shivaedev/effect-form": "0.1.0",
+    "@shivaedev/effect-contract": "0.1.0"
+  },
+  "scripts": {
+    "build": "node --eval \"import('node:fs').then(({ rmSync }) => rmSync('dist', { force: true, recursive: true }))\" && tsc6 --project tsconfig.build.json",
+    "check": "biome check .",
+    "test": "vitest run",
+    "test:package": "node scripts/test-package.mjs",
+    "typecheck": "tsc --noEmit",
+    "typecheck:compat": "tsc6 --noEmit",
+    "ready": "pnpm check && pnpm typecheck && pnpm typecheck:compat && pnpm test && pnpm build && pnpm test:package"
   }
-}
+}

package/src/create.ts

@@ -0,0 +1,43 @@
+import type { Decoded, Encoded, FieldFailure, Fields, Form, Services } from "@shivaedev/effect-form";
+import { type Effect, Equal, Option, type Schema } from "effect";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+import { useCallback, useState } from "react";
+import type { AtomServices, FieldRejectionMapping } from "./field-rejection.ts";
+import { type SaveState, useSaveState } from "./save-state.ts";
+import { submission } from "./submission.ts";
+
+export type CreateConfig<F extends Fields, Created, SE, R, ER> = {
+	readonly fields: Schema.Struct<F>;
+	readonly initialValues: Encoded<F>;
+	readonly create: (values: Decoded<F>) => Effect.Effect<Created, SE, AtomServices<R>>;
+	readonly runtime: Atom.AtomRuntime<Services<F, R>, ER>;
+} & FieldRejectionMapping<F, SE>;
+
+export interface Create<F extends Fields, Created, SE, ER> extends SaveState<SE | ER> {
+	readonly form: Form<F, Created, SE | FieldFailure, ER>;
+	readonly created: Option.Option<Created>;
+}
+
+const editedSince = <V extends object>(current: V, submitted: V | undefined): Readonly<Record<string, unknown>> => {
+	const before = new Map(Object.entries(submitted ?? current));
+	return Object.fromEntries(Object.entries(current).filter(([name, value]) => !Equal.equals(value, before.get(name))));
+};
+
+export const useCreate = <F extends Fields, Created, SE, R, ER>(config: CreateConfig<F, Created, SE, R, ER>): Create<F, Created, SE, ER> => {
+	const [{ initialValues, fresh }] = useState(() => {
+		const { fields, initialValues, runtime, create, rejectField } = config;
+		return { initialValues, fresh: () => submission({ fields, initialValues, runtime, save: create, rejectField }) };
+	});
+	const [current, replace] = useState(fresh);
+	const [created, record] = useState<Option.Option<Created>>(Option.none());
+	const settled = useCallback(
+		(value: Created) => {
+			const next = fresh();
+			next.form.values.set({ ...initialValues, ...editedSince(current.form.values.value, current.submitted()) });
+			record(Option.some(value));
+			replace(next);
+		},
+		[current, fresh, initialValues],
+	);
+	return { ...useSaveState(current.form, settled), form: current.form, created };
+};

package/src/editor.ts

@@ -0,0 +1,56 @@
+import type { Decoded, Encoded, FieldFailure, Fields, Form, Services } from "@shivaedev/effect-form";
+import { type Effect, Option, type Schema } from "effect";
+import type * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+import { useCallback, useEffect, useState } from "react";
+import type { AtomServices, FieldRejectionMapping } from "./field-rejection.ts";
+import { type QueryState, useQuery } from "./result-state.ts";
+import { type SaveState, useSaveState } from "./save-state.ts";
+import { submission } from "./submission.ts";
+
+export type EditorConfig<F extends Fields, Row, QE, SE, R, ER> = {
+	readonly query: Atom.Atom<AsyncResult.AsyncResult<Row, QE>>;
+	readonly fields: Schema.Struct<F>;
+	readonly values: (row: Row) => Encoded<F>;
+	readonly save: (values: Decoded<F>) => Effect.Effect<Row, SE, AtomServices<R>>;
+	readonly runtime: Atom.AtomRuntime<Services<F, R>, ER>;
+} & FieldRejectionMapping<F, SE>;
+
+export interface Editor<F extends Fields, Row, QE, SE, ER> extends SaveState<SE | ER> {
+	readonly query: QueryState<Row, QE>;
+	readonly form: Form<F, Row, SE | FieldFailure, ER> | undefined;
+}
+
+interface Held<F extends Fields, Row, SE, ER> {
+	readonly query: Atom.Atom<unknown>;
+	readonly form: Form<F, Row, SE | FieldFailure, ER>;
+	readonly values: (row: Row) => Encoded<F>;
+}
+
+export const useEditor = <F extends Fields, Row, QE, SE, R, ER>(config: EditorConfig<F, Row, QE, SE, R, ER>): Editor<F, Row, QE, SE, ER> => {
+	const query = useQuery(config.query);
+	const row = Option.getOrUndefined(query.data);
+	const [held, hold] = useState<Held<F, Row, SE, ER> | undefined>(undefined);
+	let current = held?.query === config.query ? held : undefined;
+	if (current === undefined && row !== undefined) {
+		current = {
+			query: config.query,
+			values: config.values,
+			form: submission({
+				fields: config.fields,
+				initialValues: config.values(row),
+				runtime: config.runtime,
+				save: config.save,
+				rejectField: config.rejectField,
+			}).form,
+		};
+		hold(current);
+	}
+	const form = current?.form;
+	const values = current?.values;
+	useEffect(() => {
+		if (form && values && row !== undefined) form.receive(values(row));
+	}, [form, values, row]);
+	const settled = useCallback((saved: Row) => (form && values ? form.receive(values(saved)) : undefined), [form, values]);
+	return { ...useSaveState(form, settled), query, form };
+};

package/src/field-rejection.ts

@@ -0,0 +1,45 @@
+import type { FieldFailure, Fields, Name, Submitter } from "@shivaedev/effect-form";
+import { Effect, Predicate, type Schema, type Scope } from "effect";
+import type { AtomRegistry } from "effect/unstable/reactivity/AtomRegistry";
+import type { Reactivity } from "effect/unstable/reactivity/Reactivity";
+
+export interface FieldRejection<N extends string> {
+	readonly field: N;
+	readonly message: string;
+}
+
+export type AtomServices<R> = R | Scope.Scope | AtomRegistry | Reactivity;
+
+export type RejectField<F extends Fields, E> = (error: E) => FieldRejection<Name<F>> | undefined;
+
+type Unmatched<F extends Fields, E> = E extends { readonly _tag: string; readonly message: string }
+	? "field" extends keyof E
+		? Exclude<E["field"], Name<F> | undefined>
+		: never
+	: never;
+
+export type FieldRejectionMapping<F extends Fields, E> = { readonly rejectField?: RejectField<F, E> } & ([Unmatched<F, E>] extends [never]
+	? unknown
+	: { readonly rejectField: RejectField<F, E> });
+
+export const fieldRejectionOf =
+	<F extends Fields>(schema: Schema.Struct<F>) =>
+	(error: unknown): FieldRejection<Name<F>> | undefined => {
+		const isName = (name: unknown): name is Name<F> => typeof name === "string" && Object.hasOwn(schema.fields, name);
+		if (!Predicate.hasProperty(error, "_tag") || !Predicate.hasProperty(error, "field") || !Predicate.hasProperty(error, "message")) return undefined;
+		const { _tag, field, message } = error;
+		return typeof _tag === "string" && isName(field) && typeof message === "string" ? { field, message } : undefined;
+	};
+
+export const rejecting = <F extends Fields, V, A, E, R>(
+	schema: Schema.Struct<F>,
+	save: (values: V) => Effect.Effect<A, E, R>,
+	reject: RejectField<F, E> | undefined,
+) => {
+	const rejection = reject ?? fieldRejectionOf(schema);
+	return (values: V, submitter: Submitter<Name<F>>): Effect.Effect<A, E | FieldFailure, R> =>
+		Effect.catch(save(values), (error): Effect.Effect<never, E | FieldFailure> => {
+			const found = rejection(error);
+			return found === undefined ? Effect.fail(error) : submitter.fail(found.field, found.message);
+		});
+};

package/src/form.ts

@@ -0,0 +1,6 @@
+export type { Create, CreateConfig } from "./create.ts";
+export { useCreate } from "./create.ts";
+export type { Editor, EditorConfig } from "./editor.ts";
+export { useEditor } from "./editor.ts";
+export type { FieldRejection, FieldRejectionMapping, RejectField } from "./field-rejection.ts";
+export type { SaveState } from "./save-state.ts";

package/src/index.ts

@@ -0,0 +1,6 @@
+export type { ActionState, QueryState, ResultState } from "./result-state.ts";
+export { isUnauthorized, useAction, useQuery } from "./result-state.ts";
+export type { ResumeOptions, ResumeSource, ResumeWindow } from "./resume-signal.ts";
+export { resumeSignal } from "./resume-signal.ts";
+export type { SessionBoundaryProps } from "./session-boundary.ts";
+export { SessionBoundary, useSessionRecheck } from "./session-boundary.ts";

package/src/result-state.ts

@@ -0,0 +1,56 @@
+import { useAtomRefresh, useAtomSet, useAtomValue } from "@effect/atom-react";
+import { Cause, Option, Predicate } from "effect";
+import * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+import { useEffect } from "react";
+import { useSessionRecheck } from "./session-boundary.ts";
+
+export interface ResultState<A, E> {
+	readonly result: AsyncResult.AsyncResult<A, E>;
+	readonly data: Option.Option<A>;
+	readonly cause: Option.Option<Cause.Cause<E>>;
+	readonly pending: boolean;
+	readonly refreshing: boolean;
+}
+
+const state = <A, E>(result: AsyncResult.AsyncResult<A, E>): ResultState<A, E> => {
+	const data = AsyncResult.value(result);
+	return {
+		result,
+		data,
+		cause: AsyncResult.cause(result),
+		pending: result.waiting,
+		refreshing: result.waiting && Option.isSome(data),
+	};
+};
+
+export const isUnauthorized = <E>(cause: Cause.Cause<E>): boolean =>
+	Option.match(Cause.findErrorOption(cause), { onNone: () => false, onSome: (error) => Predicate.isTagged(error, "Unauthorized") });
+
+const useRecheckOnUnauthorized = <A, E>(result: AsyncResult.AsyncResult<A, E>): void => {
+	const recheck = useSessionRecheck();
+	useEffect(() => {
+		if (AsyncResult.isFailure(result) && isUnauthorized(result.cause)) recheck();
+	}, [recheck, result]);
+};
+
+export interface QueryState<A, E> extends ResultState<A, E> {
+	readonly refresh: () => void;
+}
+
+export const useQuery = <A, E>(atom: Atom.Atom<AsyncResult.AsyncResult<A, E>>): QueryState<A, E> => {
+	const result = useAtomValue(atom);
+	useRecheckOnUnauthorized(result);
+	return { ...state(result), refresh: useAtomRefresh(atom) };
+};
+
+export interface ActionState<Input, A, E> extends ResultState<A, E> {
+	readonly dispatch: (input: Input) => void;
+}
+
+/** Dispatches an action and reads its shared native state without claiming a per-invocation completion result. */
+export const useAction = <Input, A, E>(atom: Atom.AtomResultFn<Input, A, E>): ActionState<Input, A, E> => {
+	const result = useAtomValue(atom);
+	useRecheckOnUnauthorized(result);
+	return { ...state(result), dispatch: useAtomSet(atom) };
+};

package/src/resume-signal.ts

@@ -0,0 +1,37 @@
+import * as Atom from "effect/unstable/reactivity/Atom";
+
+export type ResumeSource = (resume: () => void) => () => void;
+
+type ResumeEvent = "online" | "visibilitychange";
+
+export interface ResumeWindow {
+	readonly addEventListener: (type: ResumeEvent, listener: () => void) => void;
+	readonly removeEventListener: (type: ResumeEvent, listener: () => void) => void;
+	readonly document: { readonly visibilityState: string };
+}
+
+export interface ResumeOptions {
+	readonly window?: ResumeWindow;
+	readonly native?: ResumeSource;
+}
+
+const whileVisible =
+	(target: ResumeWindow, type: ResumeEvent): ResumeSource =>
+	(resume) => {
+		const visible = () => {
+			if (target.document.visibilityState === "visible") resume();
+		};
+		target.addEventListener(type, visible);
+		return () => target.removeEventListener(type, visible);
+	};
+
+export const resumeSignal = ({ window, native }: ResumeOptions): Atom.Atom<number> => {
+	const browser = window === undefined ? [] : [whileVisible(window, "visibilitychange"), whileVisible(window, "online")];
+	const sources = native === undefined ? browser : [...browser, native];
+	return Atom.readable((get) => {
+		let count = 0;
+		const resume = () => get.setSelf(++count);
+		for (const source of sources) get.addFinalizer(source(resume));
+		return count;
+	});
+};

package/src/save-state.ts

@@ -0,0 +1,50 @@
+import { RegistryContext, useAtomValue } from "@effect/atom-react";
+import { FieldFailure, type Fields, type Form, Invalid } from "@shivaedev/effect-form";
+import { Option } from "effect";
+import * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import * as Atom from "effect/unstable/reactivity/Atom";
+import { useCallback, useContext, useEffect } from "react";
+import { isUnauthorized } from "./result-state.ts";
+import { useSessionRecheck } from "./session-boundary.ts";
+
+const idle = Atom.make(AsyncResult.initial());
+const clean = Atom.make(false);
+
+export interface SaveState<E> {
+	readonly dirty: boolean;
+	readonly failure: Option.Option<E>;
+	readonly saving: boolean;
+	readonly save: () => void;
+	readonly revert: () => void;
+}
+
+export const useSaveState = <F extends Fields, A, E, ER>(
+	form: Form<F, A, E | FieldFailure, ER> | undefined,
+	settled: (result: A) => void,
+): SaveState<E | ER> => {
+	const registry = useContext(RegistryContext);
+	const recheck = useSessionRecheck();
+	const result: AsyncResult.AsyncResult<A, E | ER | FieldFailure | Invalid> = useAtomValue(form?.submit ?? idle);
+	const dirty = useAtomValue(form?.dirty ?? clean);
+	useEffect(() => {
+		if (AsyncResult.isFailure(result) && isUnauthorized(result.cause)) recheck();
+	}, [recheck, result]);
+	useEffect(
+		() =>
+			form &&
+			registry.subscribe(form.submit, (next) => {
+				if (AsyncResult.isSuccess(next) && !next.waiting) settled(next.value);
+			}),
+		[form, registry, settled],
+	);
+	const save = useCallback(() => {
+		if (form === undefined || registry.get(form.submit).waiting) return;
+		registry.set(form.submit, undefined);
+	}, [form, registry]);
+	const revert = useCallback(() => form?.revert(), [form]);
+	const failure = Option.filter(
+		AsyncResult.error(result),
+		(error): error is E | ER => !(error instanceof FieldFailure) && !(error instanceof Invalid),
+	);
+	return { dirty, failure, saving: result.waiting, save, revert };
+};

package/src/session-boundary.ts

@@ -0,0 +1,78 @@
+import { RegistryContext } from "@effect/atom-react";
+import * as AtomRegistry from "effect/unstable/reactivity/AtomRegistry";
+import { createContext, createElement, Fragment, type ReactNode, useContext, useEffect, useState } from "react";
+
+export interface SessionBoundaryProps<S, Client> {
+	readonly session: S | undefined;
+	readonly identify: (session: S) => string;
+	readonly connect: (session: S) => Client;
+	readonly recheck: () => void;
+	readonly signedOut?: ReactNode;
+	readonly children: (client: Client) => ReactNode;
+}
+
+const Recheck = createContext<() => void>(() => {});
+
+export const useSessionRecheck = (): (() => void) => useContext(Recheck);
+
+interface Owned<Client> {
+	readonly client: Client;
+	readonly registry: AtomRegistry.AtomRegistry;
+	mounted: number;
+}
+
+const owning = <Client>(client: Client): Owned<Client> => ({ client, registry: AtomRegistry.make(), mounted: 0 });
+
+// No cleanup runs when a hidden <Activity> subtree is unmounted, so nodes a hidden render creates must not outlive it.
+const hidden = <Client>(client: Client): Owned<Client> => {
+	const owned = owning(client);
+	let reaping = false;
+	owned.registry.onNodeAdded = () => {
+		if (reaping || owned.mounted > 0) return;
+		reaping = true;
+		setTimeout(() => {
+			reaping = false;
+			if (owned.mounted === 0) owned.registry.reset();
+		}, 0);
+	};
+	return owned;
+};
+
+interface GenerationProps<S, Client> {
+	readonly session: S;
+	readonly connect: (session: S) => Client;
+	readonly recheck: () => void;
+	readonly children: (client: Client) => ReactNode;
+}
+
+const Generation = <S, Client>({ session, connect, recheck, children }: GenerationProps<S, Client>): ReactNode => {
+	const [owned, own] = useState(() => owning(connect(session)));
+	useEffect(() => {
+		owned.mounted += 1;
+		return () => {
+			owned.mounted -= 1;
+			queueMicrotask(() => {
+				if (owned.mounted > 0) return;
+				owned.registry.dispose();
+				own((current) => (current === owned ? hidden(owned.client) : current));
+			});
+		};
+	}, [owned]);
+	return createElement(
+		Recheck.Provider,
+		{ value: recheck },
+		createElement(RegistryContext.Provider, { value: owned.registry }, children(owned.client)),
+	);
+};
+
+export const SessionBoundary = <S, Client>({
+	session,
+	identify,
+	connect,
+	recheck,
+	signedOut,
+	children,
+}: SessionBoundaryProps<S, Client>): ReactNode =>
+	session === undefined
+		? createElement(Fragment, null, signedOut)
+		: createElement(Generation<S, Client>, { key: identify(session), session, connect, recheck, children });

package/src/submission.ts

@@ -0,0 +1,32 @@
+import { type Decoded, type Encoded, type FieldFailure, type Fields, type Form, make, type Services } from "@shivaedev/effect-form";
+import type { Effect, Schema } from "effect";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+import { type AtomServices, type RejectField, rejecting } from "./field-rejection.ts";
+
+export interface SubmissionConfig<F extends Fields, A, E, R, ER> {
+	readonly fields: Schema.Struct<F>;
+	readonly initialValues: Encoded<F>;
+	readonly save: (values: Decoded<F>) => Effect.Effect<A, E, AtomServices<R>>;
+	readonly runtime: Atom.AtomRuntime<Services<F, R>, ER>;
+	readonly rejectField: RejectField<F, E> | undefined;
+}
+
+export interface Submission<F extends Fields, A, E, ER> {
+	readonly form: Form<F, A, E | FieldFailure, ER>;
+	readonly submitted: () => Encoded<F> | undefined;
+}
+
+export const submission = <F extends Fields, A, E, R, ER>(config: SubmissionConfig<F, A, E, R, ER>): Submission<F, A, E, ER> => {
+	const { fields, initialValues, runtime } = config;
+	const save = rejecting(fields, config.save, config.rejectField);
+	let submitted: Encoded<F> | undefined;
+	const form: Form<F, A, E | FieldFailure, ER> = make(fields, {
+		initialValues,
+		runtime,
+		onSubmit: (values, submitter, snapshot) => {
+			submitted = snapshot;
+			return save(values, submitter);
+		},
+	});
+	return { form, submitted: () => submitted };
+};