foldkit-crud 0.1.0 → 0.2.0

package/README.md

@@ -57,8 +57,11 @@ pnpm add effect foldkit foldkit-crud foldkit-bundle foldkit-entity foldkit-form
 
 `EditPostForm` is a `Form.make` result and `EditPostMutation` a Remote mutation
 over the same input struct, as in [`examples/entity`](../../examples/entity).
+`Blog` is that application's Entity domain. The example below is the page
+integration, not a definition of those domain values.
 
 ```ts
+import { Schema } from 'effect'
 import { Crud } from 'foldkit-crud'
 import { Bundle } from 'foldkit-bundle'
 import { defineMessageUnion } from 'foldkit/message'
@@ -107,10 +110,25 @@ const subscriptions = Data.subscriptions({ editor: PostEditor.active })
     what the form writes is fetched and retained like any Surface's requirement.
   - `after(update)`: wraps `update` so `sync` runs after every Message.
   - `sync`, the Step itself, if you compose `update` another way.
-  - `status(model)`, and `saveError(model)` while it is `SaveFailed`.
+  - `status(model)`, `saveError(model)` while it is `SaveFailed`, and
+    `target(model)`, the id being edited (`null` for a new one or when closed).
 - The save is a Command that needs `RemoteClient`, so the parent scope names it
   with `withServices<RemoteClient>()`.
 
+### What starts the work?
+
+| Call | What happens |
+| --- | --- |
+| `Crud.editor(...)` / `Editor.at(...)` | Build the editor and its parent integration; no request runs. |
+| `Placed.helpers.open(id)` | Return an Update.Step. Apply it inside your parent update to select a row. |
+| `Data.subscriptions({ editor: PostEditor.active })` | Describe the loader; the runtime must install it and provide `RemoteClient`. |
+| `PostEditor.after(update)` | Fill the form after loading and reconcile save status after Messages. |
+| Valid form submission through `onOut` | Return the mutation Command; its result comes back through Remote. |
+
+Include the placement's own subscriptions as well if your form uses them.
+Do not interpret `Submitted` as `Saved`: only the returned mutation outcome
+settles the save. The status section below describes what the view should show.
+
 ### Drawing it
 
 The editor wraps the form's Model, so it takes the form's view, lifted:
@@ -126,7 +144,7 @@ const Slot = Bundle.declare(
 )
 
 // where the page draws it:
-Placed.view(model, h, { options: pickers(model), submitLabel: 'Save' })
+Placed.view(model, h, { options: pickers(model), words: { submit: 'Save' } })
 ```
 
 `Crud.editorView` works on any Submodel view of the form that takes view
@@ -154,7 +172,7 @@ form creates.
 | `Closed` | nothing is open |
 | `Loading` | an id is open and its current values have not arrived |
 | `NotFound` | it is gone: the server answered without it, a mutation deleted it, or a live event did. This outranks a save that landed |
-| `LoadFailed` | reading it failed to decode |
+| `LoadFailed` | reading it failed, in the request or in decoding what came back. Once the form is filled it stays `Editing`, whatever a later read says |
 | `Editing` | the form is showing, with no save in progress or just settled |
 | `Saving` | this editor's mutation is pending |
 | `Saved` | it was applied |
@@ -199,16 +217,70 @@ const subscriptions = Data.subscriptions({ authors: AuthorList.active })
 ```
 
 - `Authors.columns` is the selected members in the Selection's order, each with
-  its `key`, `member`, and a `label` found the way a form finds one: the schema's
-  `title`, else `Form.label` metadata, else the key.
+  its `key`, `member`, a `label` found the way a form finds one (the schema's
+  `title`, else `Form.label` metadata, else the key), and a `display`.
 - `AuthorList.page(model)` is a `RemoteData` of the page: `items` typed by the
   Selection, `hasNext`, `hasPrevious`.
 - `AuthorList.more(model)` is the Command that loads the next page onto this one,
   or `undefined` when there is none. Return it from `update`.
+- `AuthorList.refresh(model)` is the Model with the list asked for again:
+  `Data.refresh` over its page and rows. A failed read is not retried on its
+  own, so this is what a retry button's Message returns. A placed detail has the
+  same `refresh`.
+- `AuthorList.row(id)` is a Projection of one row through the list's Selection,
+  whether or not the query finds it now, and `AuthorList.choiceOf(model, id)` is
+  that row as a choice once it is read. `Crud.options` uses both for a picker
+  that searches.
 - `AuthorList.active` makes the page and its rows a requirement while `input`
   gives a value, so Remote fetches and retains them. Another input is another
   connection.
 
+### How a column shows
+
+A `Display` is `foldkit-form`'s `Input` from the reading side: how one selected
+member shows, described without a renderer.
+
+```ts
+const Post = Blog.Post.pipe(
+  Entity.annotateMembers({
+    id: Display.of(Display.hidden()), // read, so a row can be opened by it, and not shown
+    cents: Display.of(Display.number(cents => `$${(cents / 100).toFixed(2)}`)),
+  }),
+)
+
+Display.show(column.display, row[column.key], { yes: 'Live', no: 'Draft' }) // the cell's text
+```
+
+| Kind | For |
+| --- | --- |
+| `Text`, `Number` | a value as it is, or through `format` |
+| `Flag` | a boolean, in the words given (`yes` / `no`) |
+| `Hidden` | a member read and not shown |
+| `Ref` | a relation selected with `true`: its id, or ids |
+| `Nested` | a relation read through a Selection: the target's own columns, with `shape` `one`, `many`, or `page` |
+
+There is one primitive, as with a form's controls: a `kind`, whether it is
+`shown`, its `data`, and its `text`. The kinds above are made with
+`Display.kind`, and so is yours:
+
+```ts
+const Badge = Display.kind<{ readonly tone: string }>('Badge', {
+  text: (_, value) => String(value), // the floor: what it says when nothing draws it specially
+})
+
+const Post = Blog.Post.pipe(Entity.annotateMembers({ status: Display.of(Badge.of({ tone: 'soft' })) }))
+```
+
+`Badge.is(display)` narrows `display.data`. A drawn view draws it specially once
+given a renderer for `Badge`.
+
+It is resolved from the most to the least explicit source: `Display.of`
+metadata on the member, how the relation was selected, then the shape of the
+schema. `Display.show` is the text any view can fall back on; a view that wants
+a link or a badge reads `display` and the value.
+[`foldkit-mixins-crud`](../mixins-crud/README.md) draws a list as a table and a
+detail as a description list from exactly this.
+
 ### A relation picker's choices
 
 A form names a relation's target Entity and leaves listing it to you, because a
@@ -223,6 +295,28 @@ const pickers = Crud.options(EditPostForm, [AuthorList])
 Placed.view(model, h, { options: pickers(model) }) // with foldkit-mixins-form
 ```
 
+#### When a picker searches
+
+```ts
+const AuthorList = Authors.at({
+  data: Data,
+  // What the picker's search box holds is the form's; here it is the query's input.
+  input: model => ({ search: EditPostForm.search(model.editor.form, 'authorId') }),
+})
+
+const pickers = Crud.options(EditPostForm, [AuthorList], {
+  chosen: model => model.editor.form, // the form's Model, wherever the page keeps it
+})
+
+const subscriptions = Data.subscriptions({ authors: AuthorList.active, chosen: pickers.active })
+```
+
+A search narrows the list, and what the picker already holds may no longer be
+in it. With `chosen`, those rows stay among the choices, first, and
+`pickers.active` makes them a requirement so Remote reads them and they can be
+named. Without it a `select` would show a post's author as blank the moment a
+search stopped finding them.
+
 `pickers(model)` is keyed by the form's keys: `{ authorId: [{ value, label }, …] }`.
 A list is matched to a picker by Entity, so one author list serves `authorId`
 and `editorId` alike. A picker whose target no list is over, or whose list has no `choice`, throws
@@ -277,11 +371,63 @@ PostDetail.value(model) // RemoteData of the Selection's value
 list's `columns` does, and `PostDetail.active` makes the value a requirement
 while an id is shown.
 
+## Typed ids
+
+When the Entity's `id` is branded, the ids here are too. An editor's
+`helpers.open(id)` takes the `IdOf` of its form's Entity, and `target(model)`
+reads the id being edited as that type. A remover whose mutation's input is just the id names the key, `id: 'id'`, and is
+asked about that key's type; with a fuller input, annotate the function:
+`input: (id: PostId) => ({ id, reason: 'spam' })`. A list's rows
+are its Selection's own value, so `row.id` is a `PostId` when the Selection
+reads `id`.
+
+## Sorting a list
+
+How a list is sorted is your state and the query's input. `Sort` writes that
+state down once, so the Model, the header clicks, and the server agree:
+
+```ts
+const PostSort = Sort.make(['title', 'created']) // the orders offered, by name
+
+const PostsQuery = Query.make('Posts', {
+  Input: { sort: PostSort.Schema },
+  Result: Query.connection(Blog.Post),
+})
+// Model: `postSort: PostSort.Schema`, starting at `PostSort.none`
+// update: `SortedPosts` sets `postSort` to the state the Message carries
+
+PostSort.toggle(model.postSort, 'title') // asc, then desc, then the server's own order
+PostSort.inputs(model.postSort, sort => Message.SortedPosts({ sort })) // a drawn table's `sort`
+```
+
+`Sort` holds nothing. A name is an order the server offers, never a column; on
+the server, `foldkit-remote-drizzle`'s `sortTerms(sort, { title: posts.title })`
+says what each name means and ignores any other.
+
+## Wiring a page
+
+Every placed piece has an `active`: what it requires of Remote while it is on
+screen. A piece whose `active` is not wired never loads, and says nothing.
+`Crud.actives` gathers them from the pieces themselves:
+
+```ts
+Data.wiring(Crud.actives({ posts: Posts, authors: Authors, editor: PostEditor, pickers }))
+```
+
+It takes a placed editor, list, or detail, and the pickers from `Crud.options`,
+and gives `{ posts: Posts.active, ... }`, for `Data.wiring` or
+`Data.subscriptions`.
+
 ## Limits
 
 - A list has no sorting, filtering, or selection state of its own: those are the
-  query's input, which your Model holds.
-- Headless. Draw the editor with `Crud.editorView` over a
+  query's input, which your Model holds. Change the input and the list is another
+  connection, fetched because it is on screen; `foldkit-remote-drizzle`'s `query`
+  reads the input in `where` and `orderBy`. [`examples/entity`](../../examples/entity)
+  searches and sorts its post list this way.
+- Headless. Draw a list or a detail with
+  [`foldkit-mixins-crud`](../mixins-crud/README.md), or from `columns` and
+  `Display.show`. Draw the editor with `Crud.editorView` over a
   [`foldkit-mixins-form`](../mixins-form/README.md) view, or from
   `EditPostForm.controls`. [`examples/entity`](../../examples/entity) draws a
   list and an editor, and runs in a browser.

package/dist/index.d.mts

@@ -1,12 +1,145 @@
 import { Schema } from "effect";
 import { Bundle } from "foldkit-bundle";
-import { AnyEntity, EntityInput, EntityMember, Selection } from "foldkit-entity";
+import { AnyEntity, EntityInput, EntityMember, IdOf, Selection, SelectionPage } from "foldkit-entity";
 import { FormControl, Submitted } from "foldkit-form";
+import { Metadata } from "foldkit-metadata";
+import { ModelRef, Projection } from "foldkit-surface";
 import * as Submodel from "foldkit/submodel";
 import { MutationDescriptor, MutationStatus, Page, QueryDescriptor, RemoteClient, RemoteData, RemoteError, RemoteMessage } from "foldkit-remote";
-import { ModelRef, Projection } from "foldkit-surface";
 import { Command } from "foldkit/command";
 import * as Update from "foldkit/update";
+//#region src/display.d.ts
+/**
+ * How one selected member shows: the primitive every kind of Display is a value
+ * of. `Display.text()` and `Display.flag()` are values of it, made by
+ * `Display.kind`, which is what an application calls for a badge or a relative
+ * date. The kinds here are a collection, not a special case.
+ */
+export interface Display<Data = unknown> {
+  /** The name a renderer is found by. */
+  readonly kind: string;
+  /** Whether a view draws it. A member read and not shown, usually the id, is `false`. */
+  readonly shown: boolean;
+  /** What this kind needs: a format, a relation's target. */
+  readonly data: Data;
+  /**
+   * The value as text: what a cell says when nothing draws it specially. It is
+   * never given `null` or `undefined`; `Display.show` says `nothing` for those.
+   */
+  readonly text: (value: unknown, words: DisplayWords) => string;
+}
+/** A kind of Display: how its values are made, and how one is told from another. */
+interface DisplayKind<Data> {
+  readonly kind: string;
+  readonly of: (data: Data) => Display<Data>;
+  readonly is: (display: Display) => display is Display<Data>;
+}
+/** A selected member with its words and its Display. A list's column, a detail's line. */
+interface DisplayColumn<Key extends string = string> {
+  readonly key: Key;
+  readonly label: string;
+  readonly member: EntityMember;
+  readonly display: Display;
+}
+/** The words a Display needs that are not the value's own. */
+interface DisplayWords {
+  /** Default `yes`. */
+  readonly yes?: string;
+  /** Default `no`. */
+  readonly no?: string;
+  /** What stands for nothing: `null`, `undefined`, an empty list. Default the empty string. */
+  readonly nothing?: string;
+  /** Between the items of a list, and between the members of a nested value. Default `, `. */
+  readonly separator?: string;
+}
+export declare const Display: {
+  /**
+   * A kind of Display. `Display.kind<{ tone: string }>('Badge', { text: (_, value) => String(value) })`
+   * gives `.of(data)` to make one and `.is(display)` to tell one, exactly as the
+   * kinds below were made. `text` is the floor; a view draws it specially once
+   * it is given a renderer for `Badge`.
+   */
+  kind: <Data = Record<string, never>>(name: string, spec: {
+    readonly shown?: boolean;
+    readonly text: (data: Data, value: unknown, words: DisplayWords) => string;
+  }) => DisplayKind<Data>;
+  Text: DisplayKind<{
+    readonly format?: ((value: unknown) => string) | undefined;
+  }>;
+  Number: DisplayKind<{
+    readonly format?: ((value: number) => string) | undefined;
+  }>;
+  Flag: DisplayKind<Record<string, never>>;
+  Hidden: DisplayKind<Record<string, never>>;
+  Ref: DisplayKind<{
+    readonly target: AnyEntity;
+    readonly many: boolean;
+  }>;
+  Nested: DisplayKind<{
+    readonly target: AnyEntity;
+    readonly shape: "one" | "many" | "page";
+    readonly columns: ReadonlyArray<DisplayColumn>;
+  }>;
+  text: (format?: (value: unknown) => string) => Display;
+  number: (format?: (value: number) => string) => Display;
+  flag: () => Display;
+  /** Read, so a row can be opened or keyed by it, and not shown: usually the id. */
+  hidden: () => Display;
+  /**
+   * Entity metadata: how a member shows wherever it is listed, e.g.
+   * `Entity.annotateMembers({ price: Display.of(Display.number(cents => ...)) })`.
+   */
+  of: (display: Display) => Metadata;
+  /**
+   * The Display of one selected member, from the most to the least explicit
+   * source: the member's `Display.of` metadata, how the relation was selected,
+   * then the shape of its schema. `nested` is the columns of a nested Selection,
+   * with `shape` saying how many the relation yields.
+   */
+  resolve: (member: EntityMember, nested?: {
+    readonly shape: "one" | "many" | "page";
+    readonly columns: ReadonlyArray<DisplayColumn>;
+  }) => Display;
+  /**
+   * A value as the text its Display calls for: what a cell says when nothing
+   * draws it specially. A view that wants a link or a badge reads the Display
+   * and the value itself; this is the floor every view can stand on.
+   */
+  show: (display: Display, value: unknown, words?: DisplayWords) => string;
+};
+//#endregion
+//#region src/sort.d.ts
+/** How a list is sorted: by which of its orders, which way; `null` for the server's own order. */
+type SortState<Column extends string> = {
+  readonly by: Column;
+  readonly direction: 'asc' | 'desc';
+} | null;
+/** How one column is sorted now, and the Message a click on its header sends. */
+interface SortedColumn<Message> {
+  readonly direction?: 'asc' | 'desc' | undefined;
+  readonly message: Message;
+}
+export declare const Sort: {
+  /**
+   * The orders a list offers, by name. A name is an order the server knows, not
+   * a column: which columns may sort, and what `title` means in SQL, stay the
+   * server's to decide.
+   */
+  make: <const Columns extends readonly [string, ...string[]]>(columns: Columns) => {
+    columns: Columns;
+    /** For the Model field, and for the query's input. */
+    Schema: Schema.Codec<SortState<Columns[number]>, SortState<Columns[number]>>;
+    /** The server's own order. */
+    none: SortState<Columns[number]>;
+    toggle: (current: SortState<Columns[number]>, column: Columns[number]) => SortState<Columns[number]>;
+    /**
+     * What a drawn table takes as `sort`: every order with how it is sorted now
+     * and the Message a click sends, made from the state the click leads to.
+     */
+    inputs: <Message>(current: SortState<Columns[number]>, message: (next: SortState<Columns[number]>) => Message) => { readonly [K in Columns[number]]: SortedColumn<Message>; };
+  };
+};
+//#endregion
 //#region src/index.d.ts
 /** The parts of a `Form.make` result an editor wraps. */
 export interface EditableForm<Name extends string, FormModel, FormMessage, Value, E extends AnyEntity, Fields extends Schema.Struct.Fields, Members, R = never> {
@@ -66,6 +199,7 @@ export interface DomainLike<Root> {
     readonly query: string;
   } | undefined;
   fetch(ref: any): Command<RemoteMessage, never, RemoteClient>;
+  refresh(model: Root, target: any): Root;
   mutation(model: Root, requestId: string): MutationStatus;
   readonly contract: {
     readonly owner?: object | undefined;
@@ -77,13 +211,11 @@ export interface Choice {
   readonly value: string;
   readonly label: string;
 }
-/** One column of a list, or one line of a detail: a member the Selection reads. */
-export interface ListColumn<Key extends string = string> {
-  readonly key: Key;
-  /** The schema's `title` annotation, else `Form.label` metadata, else the key. */
-  readonly label: string;
-  readonly member: EntityMember;
-}
+/**
+ * One column of a list, or one line of a detail: a member the Selection reads,
+ * with its words and its `Display`.
+ */
+export type ListColumn<Key extends string = string> = DisplayColumn<Key>;
 export declare const Crud: {
   /**
    * One Entity read through a Selection, for a page that shows it. Like a list
@@ -97,6 +229,8 @@ export declare const Crud: {
     name: Name;
     /** The selected members in the Selection's order, each with its label. */
     fields: readonly ListColumn<keyof Members & string>[];
+    /** Type-only: the value shown, for a view to be typed by. Never read. */
+    Value: Row;
     /** The detail where it lives: `id` is the one shown, or `undefined` while none is. */
     at: <Root>(where: {
       readonly data: DomainLike<Root>;
@@ -109,15 +243,29 @@ export declare const Crud: {
         projectionOf: (root: Root) => Projection<Root, RemoteData<any>> | undefined;
       };
       value: (root: Root) => RemoteData<Row>;
+      /**
+       * Asks for the value again: `Data.refresh` over this detail, for a retry
+       * button. A failed read is not retried on its own. Unchanged while no id
+       * is shown.
+       */
+      refresh: (root: Root) => Root;
     };
   };
   /**
    * Deleting through one mutation, with a yes in between: asked, confirmed,
-   * deleted. What the mutation's input is for an id is `input`'s to say.
+   * deleted. What the mutation's input is for an id is `input`'s to say, and the
+   * id it names there (`(id: PostId) => ...`) is the id `ask` takes.
    */
-  remover: <const Name extends string, Input>(name: Name, config: {
+  remover: <const Name extends string, Input, Id extends string = string, const Key extends keyof Input = never>(name: Name, config: {
     readonly mutation: MutationDescriptor<string, Input, any>;
-    readonly input: (id: string) => Input;
+    readonly input: (id: Id) => Input;
+  } | {
+    readonly mutation: MutationDescriptor<string, Input, any>;
+    /**
+     * The key of the mutation's input that holds the id, when that is all the
+     * input is: `id: 'id'` for `{ id }`. The id's type is that key's.
+     */
+    readonly id: Key & (Input extends Readonly<Record<Key, string>> ? Key : never);
   }) => {
     bundle: Bundle.Bundle<Name, void, RemoverModel, {
       readonly _tag: "Confirmed";
@@ -125,9 +273,9 @@ export declare const Crud: {
       readonly _tag: "Cancelled";
     }, ConfirmedRemoval, never, never, void, {}, {
       /** Asks whether to delete `id`. Nothing is deleted until `Confirmed`. */
-      ask: (_: RemoverModel, id: string) => {
+      ask: (_: RemoverModel, id: [Key] extends [never] ? Id : Input[Key] & string) => {
         model: {
-          target: string;
+          target: [Key] extends [never] ? Id : Input[Key] & string;
           requestId: null;
         };
       };
@@ -147,7 +295,7 @@ export declare const Crud: {
       /** For the placement: a yes becomes the mutation, and its request is remembered. */
       onOut: (confirmed: ConfirmedRemoval) => Step<Root>;
       /** The id being asked about or deleted, for the words of a confirmation. */
-      target: (root: Root) => string | null;
+      target: (root: Root) => ([Key] extends [never] ? Id : Input[Key] & string) | null;
       status: (root: Root) => RemoverStatus;
       /** Why the last delete failed, while `status` is `DeleteFailed`. */
       error: (root: Root) => RemoteError | undefined;
@@ -157,11 +305,9 @@ export declare const Crud: {
    * A list over one query: which rows to show is the query's, what to show of
    * each is the Selection's. The pages live in Remote; the list holds no state.
    */
-  list: <const Name extends string, EntityName extends string, Members, Row, Input>(name: Name, config: {
+  list: <const Name extends string, EntityName extends string, Members, S extends Schema.Constraint, Input>(name: Name, config: {
     readonly query: QueryDescriptor<string, Input, any>;
-    readonly selection: Selection<EntityName, Members, Schema.Constraint & {
-      readonly Type: Row;
-    }>;
+    readonly selection: Selection<EntityName, Members, S>;
     /** How many rows a page holds. Default 25. */
     readonly pageSize?: number;
     /**
@@ -169,13 +315,15 @@ export declare const Crud: {
      * that identify it to a person. Give it to a list that feeds pickers.
      */
     readonly choice?: {
-      readonly value: (row: Row) => string;
-      readonly label: (row: Row) => string;
+      readonly value: (row: S["Type"]) => string;
+      readonly label: (row: S["Type"]) => string;
     };
   }) => {
     name: Name;
     /** The selected members in the Selection's order, each with its label. */
     columns: readonly ListColumn<keyof Members & string>[];
+    /** Type-only: a row, for a view to be typed by. Never read. */
+    Row: S["Type"];
     /**
      * The list where it lives. `input` is the query's input as the Model has
      * it (filters, a search term), or `undefined` while the list is not shown.
@@ -190,10 +338,23 @@ export declare const Crud: {
         owner: object;
         projectionOf: (root: Root) => Projection<Root, RemoteData<Page<any>>> | undefined;
       };
-      page: (root: Root) => RemoteData<Page<Row>>;
+      page: (root: Root) => RemoteData<Page<S["Type"]>>;
       /** The Command that loads the next page onto this one, or `undefined` when there is none. */
       more: (root: Root) => Command<RemoteMessage, never, RemoteClient> | undefined;
+      /**
+       * Asks for the list again: `Data.refresh` over its page and rows, for a
+       * retry button. A failed read is not retried on its own. Unchanged while
+       * the list is not shown.
+       */
+      refresh: (root: Root) => Root;
       name: Name;
+      /** Whose requirement the list is, for anything that requires beside it. */
+      owner: object;
+      /**
+       * One of the list's Entity through the list's Selection, by id, whether or
+       * not the query finds it now: what a picker reads to name what is chosen.
+       */
+      row: (id: string) => Projection<Root, RemoteData<any>>;
       /** The Entity the rows are of, which is how a picker finds the list for its target. */
       entity: AnyEntity;
       /** Whether the list was given a `choice`, so its rows can be a picker's choices. */
@@ -204,6 +365,8 @@ export declare const Crud: {
        * server authorizes; nothing is read because a relation exists.
        */
       choices: (root: Root) => ReadonlyArray<Choice>;
+      /** That row as a choice, once it is read. */
+      choiceOf: (root: Root, id: string) => Choice | undefined;
     };
   };
   /**
@@ -220,15 +383,49 @@ export declare const Crud: {
    * The choices of every relation picker in a form, from the lists of their
    * targets: `foldkit-mixins-form`'s `options`, keyed by the form's keys. A
    * picker whose target no list here is over is a wiring mistake, reported now.
+   *
+   * With `chosen`, the form's Model as the page has it, what a picker already
+   * holds stays among its choices when the list no longer finds it (a search
+   * narrowed it, or it is on a later page), and `active` requires those rows so
+   * their words are there. Give `chosen` to any form whose pickers search.
    */
-  options: <Key extends string, Root>(form: {
+  options: <Key extends string, Root, FormModel = never>(form: {
     readonly controls: ReadonlyArray<FormControl<Key>>;
+    readonly field?: (model: FormModel, key: never) => {
+      readonly value: unknown;
+    };
   }, lists: ReadonlyArray<{
     readonly name: string;
     readonly entity: AnyEntity;
     readonly offersChoices: boolean;
+    readonly owner: object;
     readonly choices: (root: Root) => ReadonlyArray<Choice>;
-  }>) => ((root: Root) => { readonly [K in Key]?: ReadonlyArray<Choice>; });
+    readonly row: (id: string) => Projection<Root, RemoteData<any>>;
+    readonly choiceOf: (root: Root, id: string) => Choice | undefined;
+  }>, options?: {
+    readonly chosen?: (root: Root) => FormModel | undefined;
+  }) => ((root: Root) => { readonly [K in Key]?: ReadonlyArray<Choice>; }) & {
+    /** For `Data.subscriptions`: what the pickers hold is read, so it can be named. */
+    active: {
+      name: string;
+      owner: object;
+      projectionOf: (root: Root) => Projection<Root, {
+        readonly [x: string]: RemoteData<any>;
+      }> | undefined;
+    };
+  };
+  /**
+   * What the pieces on a page require of Remote, by the names given: a placed
+   * editor, list, or detail, or the pickers from `Crud.options`. It is each one's
+   * `active`, gathered, so handing the pieces over is enough and none is left out:
+   *
+   * ```ts
+   * Data.wiring(Crud.actives({ posts: Posts, authors: Authors, editor: PostEditor, pickers }))
+   * ```
+   */
+  actives: <const Pieces extends Readonly<Record<string, {
+    readonly active: unknown;
+  }>>>(pieces: Pieces) => { readonly [K in keyof Pieces]: Pieces[K]["active"]; };
   /**
    * An editor for one form and the mutation its value feeds. The form's value
    * must be the mutation's input, which is what declaring the input once and
@@ -242,10 +439,10 @@ export declare const Crud: {
   }) => {
     bundle: Bundle.Bundle<Name, void, EditorModel<FormModel>, FormMessage, Submitted<Value>, R, never, void, {}, {
       /** Edits `id`: the form is emptied, and filled once the current values arrive. */
-      open: (_: EditorModel<FormModel>, id: string) => {
+      open: (_: EditorModel<FormModel>, id: IdOf<E>) => {
         model: {
           mode: "edit";
-          target: string;
+          target: IdOf<E>;
           form: FormModel;
           filled: boolean;
           requestId: string | null;
@@ -266,20 +463,20 @@ export declare const Crud: {
       };
     }>;
     /** What the editor loads before it shows the form: every member the form writes. */
-    selection: Selection<E["name"], import("foldkit-entity").WrittenSpec<Members>, Schema.Struct<{ readonly [K in keyof import("foldkit-entity").WrittenSpec<Members> & keyof E["members"]]: E["members"][K] extends (infer T) ? T extends E["members"][K] ? T extends import("foldkit-entity").EntityField<any, any, infer S extends Schema.Constraint> | import("foldkit-entity").EntityDerived<any, any, infer S extends Schema.Constraint> ? S : T extends import("foldkit-entity").EntityRelation<any, any, infer Target extends AnyEntity, infer C extends import("foldkit-entity").Cardinality, infer Optional extends boolean> ? import("foldkit-entity").WrittenSpec<Members>[K] extends (infer T_1) ? T_1 extends import("foldkit-entity").WrittenSpec<Members>[K] ? T_1 extends import("foldkit-entity").SelectionPage<any, infer S_1 extends Schema.Constraint> ? Schema.Struct<{
+    selection: Selection<E["name"], import("foldkit-entity").WrittenSpec<Members>, Schema.Struct<{ readonly [K in keyof import("foldkit-entity").WrittenSpec<Members> & keyof E["members"]]: E["members"][K] extends (infer T) ? T extends E["members"][K] ? T extends import("foldkit-entity").EntityField<any, any, infer S extends Schema.Constraint> | import("foldkit-entity").EntityDerived<any, any, infer S extends Schema.Constraint> ? S : T extends import("foldkit-entity").EntityRelation<any, any, infer Target extends AnyEntity, infer C extends import("foldkit-entity").Cardinality, infer Optional extends boolean> ? import("foldkit-entity").WrittenSpec<Members>[K] extends (infer T_1) ? T_1 extends import("foldkit-entity").WrittenSpec<Members>[K] ? T_1 extends SelectionPage<any, infer S_1 extends Schema.Constraint> ? Schema.Struct<{
       readonly items: Schema.$Array<S_1>;
       readonly hasNext: Schema.Boolean;
       readonly hasPrevious: Schema.Boolean;
-    }> : C extends "many" ? Schema.$Array<T_1 extends Selection<any, any, infer S_2 extends Schema.Constraint> ? S_2 : Schema.Struct<{
+    }> : C extends "many" ? Schema.$Array<T_1 extends Selection<any, any, infer S_2 extends Schema.Constraint, string> ? S_2 : Schema.Struct<{
       readonly entity: Schema.Literal<Target["name"]>;
-      readonly id: Schema.String;
-    }>> : Optional extends true ? Schema.NullOr<T_1 extends Selection<any, any, infer S_2 extends Schema.Constraint> ? S_2 : Schema.Struct<{
+      readonly id: import("foldkit-entity").IdSchemaOf<Target>;
+    }>> : Optional extends true ? Schema.NullOr<T_1 extends Selection<any, any, infer S_2 extends Schema.Constraint, string> ? S_2 : Schema.Struct<{
       readonly entity: Schema.Literal<Target["name"]>;
-      readonly id: Schema.String;
-    }>> : T_1 extends Selection<any, any, infer S_2 extends Schema.Constraint> ? S_2 : Schema.Struct<{
+      readonly id: import("foldkit-entity").IdSchemaOf<Target>;
+    }>> : T_1 extends Selection<any, any, infer S_2 extends Schema.Constraint, string> ? S_2 : Schema.Struct<{
       readonly entity: Schema.Literal<Target["name"]>;
-      readonly id: Schema.String;
-    }> : never : never : never : never : never; }>>;
+      readonly id: import("foldkit-entity").IdSchemaOf<Target>;
+    }> : never : never : never : never : never; }>, IdOf<E>>;
     /**
      * The editor where it lives: `model` is its slice of the parent Model (the
      * field it was declared at), and `data` the Remote domain that registers the
@@ -310,9 +507,12 @@ export declare const Crud: {
       }>(update: (model: Root, message: Message) => Result) => (model: Root, message: Message) => Result;
       /** Why the last save failed, while `status` is `SaveFailed`. */
       saveError: (root: Root) => RemoteError | undefined;
+      /** The id being edited, typed as the Entity's own; `null` for a new one or a closed editor. */
+      target: (root: Root) => IdOf<E> | null;
       status: (root: Root) => EditorStatus;
     };
   };
 };
 //#endregion
+export type { DisplayColumn, DisplayKind, DisplayWords, SortState, SortedColumn };
 //# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/index.ts"],"mappings":";;;;;;;;;;;iBAsCiB,aACf,qBACA,WACA,aACA,OACA,UAAU,WACV,eAAe,OAAO,OAAO,QAC7B,SACA;WAES;aACE,MAAM;aACN,OAAO,OAAO,MAAM;aACpB,SAAS,OAAO,MAAM;aACtB,SACP,OAAO,WACP,SAAS,aACT,eACG,OAAO,qBAAqB,WAAW,aAAa,UAAU,QAAQ;;WAEpE,OAAO,YAAY,GAAG,QAAQ;WAC9B,SAAS;WACT,OAAO,OAAO,WAAW,QAAQ,QAAQ;aAAsB,OAAO;;;;;;;;iBAQhE,YAAY;WAClB,MAAM;WACN;WACA;WACA;WACA;;;;;;iBAOM;WACN;WACA;;;iBAIM;WACN;WACA;;YAGC;;;YAQA;;;;iBAYK,WAAW;EAE1B,OACE,OAAO,MACP,eACA;aAES,OAAO;aACP;aACA,SAAS,QAAQ,sBAAsB;;EAElD,IAAI,gBAAgB,aAAa,WAAW,MAAM;EAClD,MAAM,YAAY,YAAY,eAAe,WAAW,MAAM,WAAW;EACzE,KAAK,OAAO,MAAM;aAA6B;;EAC/C,MAAM,WAAW,QAAQ,sBAAsB;EAC/C,SAAS,OAAO,MAAM,oBAAoB;WACjC;aAAqB;;;KAG3B,KAAK,QAAQ,OAAO,KAAK,MAAM,eAAe;;iBAGlC;WACN;WACA;;;iBAIM,WAAW;WACjB,KAAK;;WAEL;WACA,QAAQ;;qBA4BN;;;;;EAKI,eAAA,qBAAqB,2BAA2B,SAAS,KAAG,MACnE,MAAI;aAEC,WAAW,UAAU,YAAY,SAAS,OAAO;eAAwB,MAAM;;;;;;;IAQrF,KAAA,MAAI;eACE,MAAM,WAAW;eACjB,KAAK,MAAM;;;;;;QAEQ,eAAA,MAAA,SAAI,WAAA,MAAA;;MAWhB,QAAA,MAAA,SAAO,WAAW;;;;;;;EAUtB,gBAAA,qBAAqB,OAAK,MAClC,MAAI;aAEC,UAAU,2BAA2B;aACrC,QAAQ,eAAe;;;;;;;;MAgBrB,MAAA,GAAA,cAAY;;;;;;;;;;;;;;;IAUlB,KAAA,MAAI;eACE,MAAM,WAAW;eACjB,OAAO,SAAS,MAAM;;;MAUf,QAAA,WAAA,qBAAmB,KAAK;;MAavB,SAAA,MAAA;MAEA,SAAA,MAAA,SAAO;;MAeR,QAAA,MAAA,SAAO;;;;;;;EAahB,aAAA,qBAAqB,2BAA2B,SAAS,KAAK,OAAK,MACxE,MAAI;aAEC,OAAO,wBAAwB;aAC/B,WAAW,UAAU,YAAY,SAAS,OAAO;eAAwB,MAAM;;;aAE/E;;;;;aAKA;eACE,QAAQ,KAAK;eACb,QAAQ,KAAK;;;;;;;;;;IAgBnB,KAAA,MAAI;eACE,MAAM,WAAW;eACjB,QAAQ,MAAM,SAAS;;;;;;QAGJ,eAAA,MAAA,SAAI,WAAA,MAAA,WAAA;;MAMZ,OAAA,MAAA,SAAO,WAAW,KAAK;;MAc5B,OAAA,MAAA,SAAO,QAAQ,sBAAsB;;;MAQtB,QAAA;;;;;;;;MASZ,UAAA,MAAA,SAAO,cAAc;;;;;;;;;;;;EAyBhC,aAAA,WAAW,SAAS,YAAU,MACnC,SAAS,KAAK,WAAW,SAAS,gBACvC,SAAS,KAAK,YAAY,YAAY,SAAS;;;;;;EAiBxC,UAAA,oBAAoB,MAAI;aACf,UAAU,cAAc,YAAY;KAAO,OACrD;aACI;aACA,QAAQ;aACR;aACA,UAAU,MAAM,SAAS,cAAc;WAE/C,MAAM,qBAAqB,KAAK,OAAO,cAAc;;;;;;EA0BlD,eAAA,qBACN,yBACA,WACA;aAA+B;KAC/B,OACA,UAAU,WACV,eAAe,OAAO,OAAO,QAC7B,SACA,WAAC,MAEK,MAAI;aAEC,MAAM,aAAa,UAAU,WAAW,aAAa,OAAO,GAAG,QAAQ,SAAS;aAChF,UAAU,2BAA2B;;;;MAwCvB,OAAA,GAAA,YAAA,YAAA;;;;;UA3aV;UACG;;;;;;;;;UAFH;UAEG;;;;;;;;;;;;;;;;;;;;;;;;;;;IA+bX,KAAA,MAAI;eACE,MAAM,WAAW;eACjB,OAAO,SAAS,MAAI,YAAA;;;MAkCb,QAAA,WAAA,UAAU,WAAS,KAAK;;;;;;;;;;;;;;;MA8BnC,QAAA,SAAS;iBAA0B,OAAO;SAAM,SACtC,OAAO,MAAM,SAAS,YAAY,YAE5C,OAAO,MAAM,SAAS,YAAU;;MAMjB,YAAA,MAAA,SAAO;MAKV,SAAA,MAAA,SAAO"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/display.ts","../src/sort.ts","../src/index.ts"],"mappings":";;;;;;;;;;;;;;;;;iBAgBiB,QAAQ;;WAEd;;WAEA;;WAEA,MAAM;;;;;WAKN,OAAO,gBAAgB,OAAO;;;UAIxB,YAAY;WAClB;WACA,KAAK,MAAM,SAAS,QAAQ;WAC5B,KAAK,SAAS,YAAY,WAAW,QAAQ;;;UAIvC,cAAc;WACpB,KAAK;WACL;WACA,QAAQ;WACR,SAAS;;;UAIH;;WAEN;;WAEA;;WAEA;;WAEA;;qBAsGE;;;;;;;EA3EC,OAAA,OAAI,uBAAA,cACJ;aAED;aACA,OAAO,MAAM,MAAM,gBAAgB,OAAO;QAEpD,YAAY;;aAeuB,WAAE;;;aAGC,WAAE;;;;;aASP,QAAA;aAA0B;;;aAa3C,QAAA;aACD;aACE,SAAA,cAAc;;EA4ChB,OAAA,UAAC,8BAA4B;EAC3B,SAAA,UAAC,6BAA2B;EACpC,YAAA;;EAEE,cAAA;;;;;EAME,KAAA,SAAA,YAAO;;;;;;;EASX,UAAA,QAAA,cAAY;aAET;aACA,SAAS,cAAc;QAEjC;;;;;;EAlGkB,OAAA,SAAA,SAAO,gBAAgB,QAAS;;;;;KC1F3C,UAAU;WACX,IAAI;WACJ;;;UAIM,aAAa;WACnB;WACA,SAAS;;qBAGP;;;;;;EAME,aAAA,gDAA8C,SAAW;;;IAkBlD,QAAA,OAAO,MAAK,UAAA,kBAAA,UAAA;;;;;;;;IAQnB,SAAA,SAAO,SAAA,UAAA,kBAAA,UAEJ,MAAI,UAAA,qBAAY,wBACb,KAAC,kBAAa,aAAa;;;;;;iBCb/B,aACf,qBACA,WACA,aACA,OACA,UAAU,WACV,eAAe,OAAO,OAAO,QAC7B,SACA;WAES;aACE,MAAM;aACN,OAAO,OAAO,MAAM;aACpB,SAAS,OAAO,MAAM;aACtB,SACP,OAAO,WACP,SAAS,aACT,eACG,OAAO,qBAAqB,WAAW,aAAa,UAAU,QAAQ;;WAEpE,OAAO,YAAY,GAAG,QAAQ;WAC9B,SAAS;WACT,OAAO,OAAO,WAAW,QAAQ,QAAQ;aAAsB,OAAO;;;;;;;;iBAQhE,YAAY;WAClB,MAAM;WACN;WACA;WACA;WACA;;;;;;iBAOM;WACN;WACA;;;iBAIM;WACN;WACA;;YAGC;;;YAQA;;;;iBAYK,WAAW;EAE1B,OACE,OAAO,MACP,eACA;aAES,OAAO;aACP;aACA,SAAS,QAAQ,sBAAsB;;EAElD,IAAI,gBAAgB,aAAa,WAAW,MAAM;EAClD,MAAM,YAAY,YAAY,eAAe,WAAW,MAAM,WAAW;EACzE,KAAK,OAAO,MAAM;aAA6B;;EAC/C,MAAM,WAAW,QAAQ,sBAAsB;EAC/C,QAAQ,OAAO,MAAM,cAAc;EACnC,SAAS,OAAO,MAAM,oBAAoB;WACjC;aAAqB;;;KAG3B,KAAK,QAAQ,OAAO,KAAK,MAAM,eAAe;;iBAGlC;WACN;WACA;;;;;;YAOC,WAAW,+BAA+B,cAAc;qBA+CvD;;;;;EAKI,eAAA,qBAAqB,2BAA2B,SAAS,KAAG,MACnE,MAAI;aAEC,WAAW,UAAU,YAAY,SAAS,OAAO;eAAwB,MAAM;;;;;;;IAO3D,OAAA;;IAG1B,KAAA,MAAI;eACE,MAAM,WAAW;eACjB,KAAK,MAAM;;;;;;QAEQ,eAAA,MAAA,SAAI,WAAA,MAAA;;MAWhB,QAAA,MAAA,SAAO,WAAW;;;;;;MAOhB,UAAA,MAAA,SAAO;;;;;;;;EAcrB,gBAAA,qBACN,OACA,kCACM,kBAAkB,eAAK,MAEvB,MAAI;aAGK,UAAU,2BAA2B;aACrC,QAAQ,IAAI,OAAO;;aAGnB,UAAU,2BAA2B;;;;;aAKrC,IAAI,OAAO,cAAc,SAAS,OAAO,gBAAgB;;;;;;;;MAmB3D,MAAA,GAAA,cAAY,KAAA,uBAAA,KAAA,MAAA;;;;;;;;;;;;;;;IAUlB,KAAA,MAAI;eACE,MAAM,WAAW;eACjB,OAAO,SAAS,MAAM;;;MAUf,QAAA,WAAA,qBAAmB,KAAK;;MAavB,SAAA,MAAA,WAAO,uBAAA,KAAA,MAAA;MAEP,SAAA,MAAA,SAAO;;MAeR,QAAA,MAAA,SAAO;;;;;;;EAcrB,aAAA,qBACN,2BACA,SACA,UAAU,OAAO,YACjB,OAAK,MAEC,MAAI;aAEC,OAAO,wBAAwB;aAE/B,WAAW,UAAU,YAAY,SAAS;;aAE1C;;;;;aAKA;eACE,QAAQ,KAAK;eACb,QAAQ,KAAK;;;;;;;IAYK,KAAA;;;;;IAMxB,KAAA,MAAI;eACE,MAAM,WAAW;eACjB,QAAQ,MAAM,SAAS;;;;;;QAGJ,eAAA,MAAA,SAAI,WAAA,MAAA,WAAA;;MAMZ,OAAA,MAAA,SAAO,WAAW,KAAK;;MAc5B,OAAA,MAAA,SAAO,QAAQ,sBAAsB;;;;;;MAWlC,UAAA,MAAA,SAAO;;;;;;;;MAYb,MAAA,eAAS,WAAW,MAAM;;MAER,QAAA;;;;;;;;MASZ,UAAA,MAAA,SAAO,cAAc;;MAapB,WAAA,MAAA,MAAI,eAAe;;;;;;;;;;;;EAqB/B,aAAA,WAAW,SAAS,YAAU,MACnC,SAAS,KAAK,WAAW,SAAS,gBACvC,SAAS,KAAK,YAAY,YAAY,SAAS;;;;;;;;;;;EAsBxC,UAAA,oBAAoB,MAAM,mBAAS;aAEhC,UAAU,cAAc,YAAY;aACpC,SAAS,OAAO,WAAW;eAA0B;;KAC/D,OACM;aACI;aACA,QAAQ;aACR;aACA;aACA,UAAU,MAAM,SAAS,cAAc;aACvC,MAAM,eAAe,WAAW,MAAM;aACtC,WAAW,MAAM,MAAM,eAAe;MAC/C;aACkB,UAAU,MAAM,SAAS;UAAuB,MAgC7C,qBAAmB,KAAK,OAAO,cAAc;;;;;MAoB3C,eAAA,MAAA,SAAI,WAAA;;;;;;;;;;;;;;EAqBf,gBAAA,eAAe,SAAS;aAA0B;OAAmB,QAC3E,uBACK,WAAW,SAAS,OAAO;;;;;;EAWlC,eAAA,qBACN,yBACA,WACA;aAA+B;KAC/B,OACA,UAAU,WACV,eAAe,OAAO,OAAO,QAC7B,SACA,WAAC,MAEK,MAAI;aAEC,MAAM,aAAa,UAAU,WAAW,aAAa,OAAO,GAAG,QAAQ,SAAS;aAChF,UAAU,2BAA2B;;;;MAwCvB,OAAA,GAAA,YAAA,YAAA,IAAA,KAAK;;;;;UArkBf;UACG;;;;;;;;;UAFH;UAEG;;;;;;;;;;;;;;;;;;;;;;;;;;;IAylBX,KAAA,MAAI;eACE,MAAM,WAAW;eACjB,OAAO,SAAS,MAAI,YAAA;;;MAkCb,QAAA,WAAA,UAAU,WAAS,KAAK;;;;;;;;;;;;;;;MA8BnC,QAAA,SAAS;iBAA0B,OAAO;SAAM,SACtC,OAAO,MAAM,SAAS,YAAY,YAE5C,OAAO,MAAM,SAAS,YAAU;;MAMjB,YAAA,MAAA,SAAO;;MAMV,SAAA,MAAA,SAAO,KAAK;MACZ,SAAA,MAAA,SAAO"}

package/dist/index.mjs

@@ -1,9 +1,159 @@
 import { Schema } from "effect";
 import { Bundle } from "foldkit-bundle";
-import { Entity } from "foldkit-entity";
-import { Form } from "foldkit-form";
+import { Entity, SelectionPageTypeId } from "foldkit-entity";
+import { Form, Input } from "foldkit-form";
+import { Metadata } from "foldkit-metadata";
+import { Projection } from "foldkit-surface";
 import { defineMessageUnion } from "foldkit/message";
 import * as Submodel from "foldkit/submodel";
+//#region src/display.ts
+/**
+* Displays: how one selected member shows in a list or a detail, described
+* without a renderer. It is `foldkit-form`'s `Input` from the reading side: the
+* member says what it is, a Display says how it reads, and which DOM draws it is
+* the application's.
+*/
+const key = Metadata.key("foldkit-crud/display", {
+	merge: (displays) => displays.slice(-1),
+	summarize: (display) => display.kind
+});
+const fromSchema = (schema) => {
+	const ast = Schema.toType(schema).ast;
+	const members = ast._tag === "Union" ? (ast.types ?? []).filter((member) => member._tag !== "Null" && member._tag !== "Undefined") : [ast];
+	const [only] = members;
+	if (members.length === 1 && only?._tag === "Number") return Number_.of({});
+	if (members.length === 1 && only?._tag === "Boolean") return Flag.of(nothing);
+	return Text.of({});
+};
+/** A kind of Display. The kinds below are made with it, and so is an application's. */
+const kind = (name, spec) => ({
+	kind: name,
+	of: (data) => Object.freeze({
+		kind: name,
+		shown: spec.shown ?? true,
+		data,
+		text: (value, words) => spec.text(data, value, words)
+	}),
+	is: (display) => display.kind === name
+});
+const show = (display, value, words = {}) => value === null || value === void 0 ? words.nothing ?? "" : display.text(value, words);
+const Text = kind("Text", { text: (data, value) => data.format === void 0 ? String(value) : data.format(value) });
+const Number_ = kind("Number", { text: (data, value) => typeof value === "number" && data.format !== void 0 ? data.format(value) : String(value) });
+const Flag = kind("Flag", { text: (_, value, words) => value === true ? words.yes ?? "yes" : words.no ?? "no" });
+const Hidden = kind("Hidden", {
+	shown: false,
+	text: () => ""
+});
+/** A relation read as refs: which one, with nothing to say about it but its id. */
+const Ref = kind("Ref", { text: (_, value, words) => {
+	const ids = (Array.isArray(value) ? value : [value]).map((ref) => typeof ref === "object" && ref !== null && "id" in ref ? String(ref.id) : String(ref));
+	return ids.length === 0 ? words.nothing ?? "" : ids.join(words.separator ?? ", ");
+} });
+/**
+* A relation read through a Selection: the target's own members, each with a
+* Display. `shape` is how many there are: one, a list, or a page of a list.
+*/
+const Nested = kind("Nested", { text: (data, value, words) => {
+	const one = (item) => data.columns.filter((column) => column.display.shown).map((column) => show(column.display, item?.[column.key], words)).filter((text) => text !== "").join(" ");
+	const items = data.shape === "one" ? [value] : data.shape === "page" ? value.items ?? [] : value;
+	return items.length === 0 ? words.nothing ?? "" : items.map(one).join(words.separator ?? ", ");
+} });
+const nothing = Object.freeze({});
+const Display = {
+	/**
+	* A kind of Display. `Display.kind<{ tone: string }>('Badge', { text: (_, value) => String(value) })`
+	* gives `.of(data)` to make one and `.is(display)` to tell one, exactly as the
+	* kinds below were made. `text` is the floor; a view draws it specially once
+	* it is given a renderer for `Badge`.
+	*/
+	kind,
+	Text,
+	Number: Number_,
+	Flag,
+	Hidden,
+	Ref,
+	Nested,
+	text: (format) => Text.of({ format }),
+	number: (format) => Number_.of({ format }),
+	flag: () => Flag.of(nothing),
+	/** Read, so a row can be opened or keyed by it, and not shown: usually the id. */
+	hidden: () => Hidden.of(nothing),
+	/**
+	* Entity metadata: how a member shows wherever it is listed, e.g.
+	* `Entity.annotateMembers({ price: Display.of(Display.number(cents => ...)) })`.
+	*/
+	of: (display) => key.of(display),
+	/**
+	* The Display of one selected member, from the most to the least explicit
+	* source: the member's `Display.of` metadata, how the relation was selected,
+	* then the shape of its schema. `nested` is the columns of a nested Selection,
+	* with `shape` saying how many the relation yields.
+	*/
+	resolve: (member, nested) => {
+		const [explicit] = key.get(member.metadata);
+		if (explicit !== void 0) return explicit;
+		if (member._tag !== "Relation") return fromSchema(member.schema);
+		const target = member.target();
+		return nested === void 0 ? Ref.of({
+			target,
+			many: member.cardinality === "many"
+		}) : Nested.of({
+			target,
+			shape: nested.shape,
+			columns: nested.columns
+		});
+	},
+	/**
+	* A value as the text its Display calls for: what a cell says when nothing
+	* draws it specially. A view that wants a link or a badge reads the Display
+	* and the value itself; this is the floor every view can stand on.
+	*/
+	show
+};
+//#endregion
+//#region src/sort.ts
+/**
+* Sorting a list, written once. How a list is sorted is the application's state
+* and its query's input, so this holds none of it: it is the schema of that
+* state, what a click on a header makes of it, and the shape a drawn table
+* takes. The server reads the same state and decides which columns it means.
+*/
+const Sort = { 
+/**
+* The orders a list offers, by name. A name is an order the server knows, not
+* a column: which columns may sort, and what `title` means in SQL, stay the
+* server's to decide.
+*/
+make: (columns) => {
+	/** A click on a header: ascending, then descending, then the server's own order again. */
+	const toggle = (current, column) => current === null || current.by !== column ? {
+		by: column,
+		direction: "asc"
+	} : current.direction === "asc" ? {
+		by: column,
+		direction: "desc"
+	} : null;
+	return {
+		columns,
+		/** For the Model field, and for the query's input. */
+		Schema: Schema.NullOr(Schema.Struct({
+			by: Schema.Literals(columns),
+			direction: Schema.Literals(["asc", "desc"])
+		})),
+		/** The server's own order. */
+		none: null,
+		toggle,
+		/**
+		* What a drawn table takes as `sort`: every order with how it is sorted now
+		* and the Message a click sends, made from the state the click leads to.
+		*/
+		inputs: (current, message) => Object.fromEntries(columns.map((column) => [column, {
+			direction: current?.by === column ? current.direction : void 0,
+			message: message(toggle(current, column))
+		}]))
+	};
+} };
+//#endregion
 //#region src/index.ts
 /**
 * `foldkit-crud` — management screens assembled from parts an application
@@ -19,14 +169,27 @@ const columnLabel = (key, member) => {
 	const title = member._tag === "Relation" ? void 0 : Schema.resolveAnnotations(member.schema)?.title;
 	return typeof title === "string" ? title : Form.labelOf(member) ?? key;
 };
-/** The selected members in the Selection's order, each with its label. */
+/** The selected members in the Selection's order, each with its label and its Display. */
 const columnsOf = (selection) => {
 	const members = selection.entity.members;
-	return Object.keys(selection.members).map((key) => ({
-		key,
-		label: columnLabel(key, members[key]),
-		member: members[key]
-	}));
+	const selected = selection.members;
+	return Object.keys(selected).map((key) => {
+		const member = members[key];
+		const how = selected[key];
+		const nested = how === true || member._tag !== "Relation" ? void 0 : SelectionPageTypeId in how ? {
+			shape: "page",
+			columns: columnsOf(how.selection)
+		} : {
+			shape: member.cardinality === "many" ? "many" : "one",
+			columns: columnsOf(how)
+		};
+		return {
+			key,
+			label: columnLabel(key, member),
+			member,
+			display: Display.resolve(member, nested)
+		};
+	});
 };
 const RemoverMessage = defineMessageUnion({
 	Confirmed: {},
@@ -45,6 +208,8 @@ const Crud = {
 		name,
 		/** The selected members in the Selection's order, each with its label. */
 		fields: columnsOf(config.selection),
+		/** Type-only: the value shown, for a view to be typed by. Never read. */
+		Value: void 0,
 		/** The detail where it lives: `id` is the one shown, or `undefined` while none is. */
 		at: (where) => {
 			const projectionOf = (root) => {
@@ -58,15 +223,26 @@ const Crud = {
 					owner: where.data.contract.owner ?? {},
 					projectionOf
 				},
-				value: (root) => projectionOf(root)?.read(root) ?? { _tag: "Initial" }
+				value: (root) => projectionOf(root)?.read(root) ?? { _tag: "Initial" },
+				/**
+				* Asks for the value again: `Data.refresh` over this detail, for a retry
+				* button. A failed read is not retried on its own. Unchanged while no id
+				* is shown.
+				*/
+				refresh: (root) => {
+					const projection = projectionOf(root);
+					return projection === void 0 ? root : where.data.refresh(root, projection);
+				}
 			};
 		}
 	}),
 	/**
 	* Deleting through one mutation, with a yes in between: asked, confirmed,
-	* deleted. What the mutation's input is for an id is `input`'s to say.
+	* deleted. What the mutation's input is for an id is `input`'s to say, and the
+	* id it names there (`(id: PostId) => ...`) is the id `ask` takes.
 	*/
 	remover: (name, config) => {
+		const inputFor = (id) => "input" in config ? config.input(id) : { [config.id]: id };
 		return {
 			bundle: Bundle.make(name, {
 				Model: Schema.Struct({
@@ -102,7 +278,7 @@ const Crud = {
 				return {
 					/** For the placement: a yes becomes the mutation, and its request is remembered. */
 					onOut: (confirmed) => (root) => {
-						const started = data.mutate(root, config.mutation, config.input(confirmed.id));
+						const started = data.mutate(root, config.mutation, inputFor(confirmed.id));
 						return {
 							model: slice.set(started.model, {
 								target: confirmed.id,
@@ -137,6 +313,8 @@ const Crud = {
 			name,
 			/** The selected members in the Selection's order, each with its label. */
 			columns: columnsOf(selection),
+			/** Type-only: a row, for a view to be typed by. Never read. */
+			Row: void 0,
 			/**
 			* The list where it lives. `input` is the query's input as the Model has
 			* it (filters, a search term), or `undefined` while the list is not shown.
@@ -165,7 +343,23 @@ const Crud = {
 						const next = projection === void 0 ? void 0 : data.next(root, projection);
 						return next === void 0 ? void 0 : data.fetch(next);
 					},
+					/**
+					* Asks for the list again: `Data.refresh` over its page and rows, for a
+					* retry button. A failed read is not retried on its own. Unchanged while
+					* the list is not shown.
+					*/
+					refresh: (root) => {
+						const projection = projectionOf(root);
+						return projection === void 0 ? root : data.refresh(root, projection);
+					},
 					name,
+					/** Whose requirement the list is, for anything that requires beside it. */
+					owner: data.contract.owner ?? {},
+					/**
+					* One of the list's Entity through the list's Selection, by id, whether or
+					* not the query finds it now: what a picker reads to name what is chosen.
+					*/
+					row: (id) => data.get(selection, id),
 					/** The Entity the rows are of, which is how a picker finds the list for its target. */
 					entity: selection.entity,
 					/** Whether the list was given a `choice`, so its rows can be a picker's choices. */
@@ -182,6 +376,15 @@ const Crud = {
 							value: choice.value(row),
 							label: choice.label(row)
 						})) : [];
+					},
+					/** That row as a choice, once it is read. */
+					choiceOf: (root, id) => {
+						if (choice === void 0) return void 0;
+						const read = data.get(selection, id).read(root);
+						return read._tag === "Ready" || read._tag === "Refreshing" ? {
+							value: choice.value(read.value),
+							label: choice.label(read.value)
+						} : void 0;
 					}
 				};
 			}
@@ -201,18 +404,65 @@ const Crud = {
 	* The choices of every relation picker in a form, from the lists of their
 	* targets: `foldkit-mixins-form`'s `options`, keyed by the form's keys. A
 	* picker whose target no list here is over is a wiring mistake, reported now.
+	*
+	* With `chosen`, the form's Model as the page has it, what a picker already
+	* holds stays among its choices when the list no longer finds it (a search
+	* narrowed it, or it is on a later page), and `active` requires those rows so
+	* their words are there. Give `chosen` to any form whose pickers search.
 	*/
-	options: (form, lists) => {
+	options: (form, lists, options = {}) => {
 		const pickers = form.controls.flatMap(({ key, control }) => {
-			if (control._tag !== "RelationOne" && control._tag !== "RelationMany") return [];
-			const list = lists.find((candidate) => Entity.same(candidate.entity, control.target));
-			if (list === void 0) throw new Error(`Crud.options: "${key}" picks a ${control.target.name}, and no list given is over ${control.target.name}`);
+			if (!Input.RelationOne.is(control) && !Input.RelationMany.is(control)) return [];
+			const { target } = control.data;
+			const list = lists.find((candidate) => Entity.same(candidate.entity, target));
+			if (list === void 0) throw new Error(`Crud.options: "${key}" picks a ${target.name}, and no list given is over ${target.name}`);
 			if (!list.offersChoices) throw new Error(`Crud.options: "${key}" would pick from list "${list.name}", which has no "choice"`);
 			return [[key, list]];
 		});
-		return (root) => Object.fromEntries(pickers.map(([key, list]) => [key, list.choices(root)]));
+		/** The ids each picker holds now: the draft of a `one`, or of a `many`. */
+		const held = (root) => {
+			const model = options.chosen?.(root);
+			const field = form.field;
+			if (model === void 0 || field === void 0) return [];
+			return pickers.flatMap(([key, list]) => {
+				const draft = field(model, key).value;
+				return (Array.isArray(draft) ? draft : typeof draft === "string" ? [draft] : []).filter((id) => typeof id === "string" && id !== "").map((id) => [
+					key,
+					list,
+					id
+				]);
+			});
+		};
+		const choices = (root) => {
+			const chosen = held(root);
+			return Object.fromEntries(pickers.map(([key, list]) => {
+				const listed = list.choices(root);
+				return [key, [...chosen.filter(([heldBy, , id]) => heldBy === key && !listed.some((item) => item.value === id)).flatMap(([, , id]) => list.choiceOf(root, id) ?? []), ...listed]];
+			}));
+		};
+		const [first] = lists;
+		return Object.assign(choices, { 
+		/** For `Data.subscriptions`: what the pickers hold is read, so it can be named. */
+active: {
+			name: `${pickers.map(([key]) => key).join("+")} chosen`,
+			owner: first?.owner ?? {},
+			projectionOf: (root) => {
+				const rows = held(root);
+				return rows.length === 0 ? void 0 : Projection.struct(Object.fromEntries(rows.map(([key, list, id]) => [`${key}:${id}`, list.row(id)])));
+			}
+		} });
 	},
 	/**
+	* What the pieces on a page require of Remote, by the names given: a placed
+	* editor, list, or detail, or the pickers from `Crud.options`. It is each one's
+	* `active`, gathered, so handing the pieces over is enough and none is left out:
+	*
+	* ```ts
+	* Data.wiring(Crud.actives({ posts: Posts, authors: Authors, editor: PostEditor, pickers }))
+	* ```
+	*/
+	actives: (pieces) => Object.fromEntries(Object.entries(pieces).map(([name, piece]) => [name, piece.active])),
+	/**
 	* An editor for one form and the mutation its value feeds. The form's value
 	* must be the mutation's input, which is what declaring the input once and
 	* giving it to both guarantees.
@@ -348,6 +598,8 @@ const Crud = {
 						const save = saveOf(root);
 						return save._tag === "Failed" ? save.error : void 0;
 					},
+					/** The id being edited, typed as the Entity's own; `null` for a new one or a closed editor. */
+					target: (root) => slice.get(root).target,
 					status: (root) => {
 						const editor = slice.get(root);
 						if (editor.mode === "closed") return "Closed";
@@ -366,6 +618,6 @@ const Crud = {
 	}
 };
 //#endregion
-export { Crud };
+export { Crud, Display, Sort };
 
 //# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","names":[],"sources":["../src/index.ts"],"sourcesContent":["/**\n * `foldkit-crud` — management screens assembled from parts an application\n * already has.\n *\n * An editor joins a `foldkit-form` form, the Remote mutation its value feeds,\n * and the Entity they share: it loads what the form writes, shows it, turns a\n * valid submit into the mutation, and says how that went. Everything it makes is\n * ordinary Foldkit: a Bundle, an ActiveSurface, Update Steps. Nothing is\n * generated from an Entity alone; each capability is declared.\n */\nimport { Schema } from 'effect'\nimport { Bundle } from 'foldkit-bundle'\nimport {\n  Entity,\n  type AnyEntity,\n  type EntityInput,\n  type EntityMember,\n  type Selection,\n} from 'foldkit-entity'\nimport { Form, type FormControl, type Submitted } from 'foldkit-form'\nimport type {\n  MutationDescriptor,\n  Page,\n  QueryDescriptor,\n  MutationStatus,\n  RemoteClient,\n  RemoteData,\n  RemoteError,\n  RemoteMessage,\n} from 'foldkit-remote'\nimport type { ActiveSurface, ModelRef, Projection } from 'foldkit-surface'\nimport type { Command } from 'foldkit/command'\nimport { defineMessageUnion } from 'foldkit/message'\nimport type { Html, HtmlBuilder } from 'foldkit/html'\nimport * as Submodel from 'foldkit/submodel'\nimport type * as Update from 'foldkit/update'\n\n/** The parts of a `Form.make` result an editor wraps. */\nexport interface EditableForm<\n  Name extends string,\n  FormModel,\n  FormMessage,\n  Value,\n  E extends AnyEntity,\n  Fields extends Schema.Struct.Fields,\n  Members,\n  R = never,\n> {\n  readonly bundle: {\n    readonly name: Name\n    readonly Model: Schema.Codec<FormModel, unknown>\n    readonly Message: Schema.Codec<FormMessage, unknown>\n    readonly update: (\n      model: FormModel,\n      message: FormMessage,\n      args: void,\n    ) => Update.ReturnWithOutMessage<FormModel, FormMessage, Submitted<Value>, R>\n  }\n  readonly input: EntityInput<E, Fields, Members>\n  readonly initial: FormModel\n  readonly fill: (model: FormModel, values: Partial<Value>) => { readonly model: FormModel }\n}\n\n/**\n * An editor's slice of the parent Model. `target` is the id being edited, or\n * `null` for a new one; `filled` is whether the loaded value has been shown;\n * `requestId` is the save in progress or last settled.\n */\nexport interface EditorModel<FormModel> {\n  readonly form: FormModel\n  readonly mode: 'closed' | 'new' | 'edit'\n  readonly target: string | null\n  readonly filled: boolean\n  readonly requestId: string | null\n}\n\n/**\n * A remover's slice of the parent Model: the id it was asked to delete and is\n * waiting on a yes for, and the delete in progress or last settled.\n */\nexport interface RemoverModel {\n  readonly target: string | null\n  readonly requestId: string | null\n}\n\n/** A remover's out Message: the user said yes to deleting `id`. */\nexport interface ConfirmedRemoval {\n  readonly _tag: 'Confirmed'\n  readonly id: string\n}\n\nexport type RemoverStatus =\n  | 'Idle'\n  /** Asked to delete an id, and waiting for a yes or a no. */\n  | 'Confirming'\n  | 'Deleting'\n  | 'Deleted'\n  | 'DeleteFailed'\n\nexport type EditorStatus =\n  | 'Closed'\n  /** Editing an id whose current values have not arrived. */\n  | 'Loading'\n  | 'NotFound'\n  | 'LoadFailed'\n  | 'Editing'\n  | 'Saving'\n  | 'Saved'\n  | 'SaveFailed'\n\n/** The parts of a bound Remote domain an editor uses. */\nexport interface DomainLike<Root> {\n  // Method syntax: the descriptors are checked where the editor is made, not here.\n  mutate(\n    model: Root,\n    mutation: any,\n    input: any,\n  ): {\n    readonly model: Root\n    readonly requestId: string\n    readonly command: Command<RemoteMessage, never, RemoteClient>\n  }\n  get(selection: any, id: string): Projection<Root, RemoteData<any>>\n  query(query: any, input: any, options: any): Projection<Root, RemoteData<Page<any>>>\n  next(model: Root, projection: any): { readonly query: string } | undefined\n  fetch(ref: any): Command<RemoteMessage, never, RemoteClient>\n  mutation(model: Root, requestId: string): MutationStatus\n  readonly contract: { readonly owner?: object | undefined }\n}\n\ntype Step<Root> = Update.Step<Root, RemoteMessage, RemoteClient>\n\n/** One thing a relation picker offers. */\nexport interface Choice {\n  readonly value: string\n  readonly label: string\n}\n\n/** One column of a list, or one line of a detail: a member the Selection reads. */\nexport interface ListColumn<Key extends string = string> {\n  readonly key: Key\n  /** The schema's `title` annotation, else `Form.label` metadata, else the key. */\n  readonly label: string\n  readonly member: EntityMember\n}\n\nconst columnLabel = (key: string, member: EntityMember): string => {\n  const title =\n    member._tag === 'Relation'\n      ? undefined\n      : Schema.resolveAnnotations(member.schema as Schema.Top)?.title\n  return typeof title === 'string' ? title : (Form.labelOf(member) ?? key)\n}\n\n/** The selected members in the Selection's order, each with its label. */\nconst columnsOf = <Members>(\n  selection: Selection<string, Members, Schema.Constraint>,\n): ReadonlyArray<ListColumn<keyof Members & string>> => {\n  const members: Readonly<Record<string, EntityMember>> = selection.entity.members\n  return Object.keys(selection.members as object).map(key => ({\n    key: key as keyof Members & string,\n    label: columnLabel(key, members[key]!),\n    member: members[key]!,\n  }))\n}\n\nconst RemoverMessage = defineMessageUnion({ Confirmed: {}, Cancelled: {} })\ntype RemoverMessage = typeof RemoverMessage.Type\n\nconst idle: RemoverModel = { target: null, requestId: null }\n\nexport const Crud = {\n  /**\n   * One Entity read through a Selection, for a page that shows it. Like a list\n   * it holds no state: the value is Remote's and the id is the application's.\n   */\n  detail: <const Name extends string, EntityName extends string, Members, Row>(\n    name: Name,\n    config: {\n      readonly selection: Selection<EntityName, Members, Schema.Constraint & { readonly Type: Row }>\n    },\n  ) => ({\n    name,\n    /** The selected members in the Selection's order, each with its label. */\n    fields: columnsOf(config.selection),\n\n    /** The detail where it lives: `id` is the one shown, or `undefined` while none is. */\n    at: <Root>(where: {\n      readonly data: DomainLike<Root>\n      readonly id: (root: Root) => string | undefined\n    }) => {\n      const projectionOf = (root: Root) => {\n        const id = where.id(root)\n        return id === undefined ? undefined : where.data.get(config.selection, id)\n      }\n      return {\n        /** For `Data.subscriptions`: the value is fetched and retained while an id is shown. */\n        active: {\n          name,\n          owner: where.data.contract.owner ?? {},\n          projectionOf,\n        } satisfies ActiveSurface<Root>,\n        value: (root: Root): RemoteData<Row> =>\n          projectionOf(root)?.read(root) ?? { _tag: 'Initial' },\n      }\n    },\n  }),\n\n  /**\n   * Deleting through one mutation, with a yes in between: asked, confirmed,\n   * deleted. What the mutation's input is for an id is `input`'s to say.\n   */\n  remover: <const Name extends string, Input>(\n    name: Name,\n    config: {\n      readonly mutation: MutationDescriptor<string, Input, any>\n      readonly input: (id: string) => Input\n    },\n  ) => {\n    const bundle = Bundle.make(name, {\n      Model: Schema.Struct({\n        target: Schema.NullOr(Schema.String),\n        requestId: Schema.NullOr(Schema.String),\n      }) as unknown as Schema.Codec<RemoverModel, unknown>,\n      Message: RemoverMessage,\n      init: () => ({ model: idle }),\n      update: (model: RemoverModel, message: RemoverMessage) =>\n        message._tag === 'Cancelled' || model.target === null\n          ? { model: idle }\n          : { model, outMessage: { _tag: 'Confirmed', id: model.target } as ConfirmedRemoval },\n      helpers: {\n        /** Asks whether to delete `id`. Nothing is deleted until `Confirmed`. */\n        ask: (_: RemoverModel, id: string) => ({ model: { target: id, requestId: null } }),\n        dismiss: () => ({ model: idle }),\n      },\n    })\n\n    return {\n      bundle,\n      /** The remover's Messages, for the yes and the no of a confirmation. */\n      Message: RemoverMessage,\n\n      at: <Root>(where: {\n        readonly data: DomainLike<Root>\n        readonly model: ModelRef<Root, RemoverModel>\n      }) => {\n        const { data, model: slice } = where\n        const outcome = (root: Root): MutationStatus => {\n          const { requestId } = slice.get(root)\n          return requestId === null ? { _tag: 'Unknown' } : data.mutation(root, requestId)\n        }\n        return {\n          /** For the placement: a yes becomes the mutation, and its request is remembered. */\n          onOut:\n            (confirmed: ConfirmedRemoval): Step<Root> =>\n            root => {\n              const started = data.mutate(root, config.mutation, config.input(confirmed.id))\n              return {\n                model: slice.set(started.model, {\n                  target: confirmed.id,\n                  requestId: started.requestId,\n                }),\n                commands: [started.command],\n              }\n            },\n\n          /** The id being asked about or deleted, for the words of a confirmation. */\n          target: (root: Root): string | null => slice.get(root).target,\n\n          status: (root: Root): RemoverStatus => {\n            const { target } = slice.get(root)\n            const deleting = outcome(root)\n            return deleting._tag === 'Pending'\n              ? 'Deleting'\n              : deleting._tag === 'Applied'\n                ? 'Deleted'\n                : deleting._tag === 'Failed'\n                  ? 'DeleteFailed'\n                  : target === null\n                    ? 'Idle'\n                    : 'Confirming'\n          },\n\n          /** Why the last delete failed, while `status` is `DeleteFailed`. */\n          error: (root: Root): RemoteError | undefined => {\n            const deleting = outcome(root)\n            return deleting._tag === 'Failed' ? deleting.error : undefined\n          },\n        }\n      },\n    }\n  },\n\n  /**\n   * A list over one query: which rows to show is the query's, what to show of\n   * each is the Selection's. The pages live in Remote; the list holds no state.\n   */\n  list: <const Name extends string, EntityName extends string, Members, Row, Input>(\n    name: Name,\n    config: {\n      readonly query: QueryDescriptor<string, Input, any>\n      readonly selection: Selection<EntityName, Members, Schema.Constraint & { readonly Type: Row }>\n      /** How many rows a page holds. Default 25. */\n      readonly pageSize?: number\n      /**\n       * How a row reads as a choice in a relation picker: its id, and the words\n       * that identify it to a person. Give it to a list that feeds pickers.\n       */\n      readonly choice?: {\n        readonly value: (row: Row) => string\n        readonly label: (row: Row) => string\n      }\n    },\n  ) => {\n    const { query, selection, pageSize = 25, choice } = config\n    const columns = columnsOf(selection)\n\n    return {\n      name,\n      /** The selected members in the Selection's order, each with its label. */\n      columns,\n\n      /**\n       * The list where it lives. `input` is the query's input as the Model has\n       * it (filters, a search term), or `undefined` while the list is not shown.\n       */\n      at: <Root>(where: {\n        readonly data: DomainLike<Root>\n        readonly input: (root: Root) => Input | undefined\n      }) => {\n        const { data, input } = where\n        const projectionOf = (root: Root) => {\n          const value = input(root)\n          return value === undefined\n            ? undefined\n            : data.query(query, value, { select: selection, first: pageSize })\n        }\n        const page = (root: Root): RemoteData<Page<Row>> =>\n          projectionOf(root)?.read(root) ?? { _tag: 'Initial' }\n\n        return {\n          /** For `Data.subscriptions`: the page and its rows are fetched and retained while shown. */\n          active: {\n            name,\n            owner: data.contract.owner ?? {},\n            projectionOf,\n          } satisfies ActiveSurface<Root>,\n\n          page,\n\n          /** The Command that loads the next page onto this one, or `undefined` when there is none. */\n          more: (root: Root): Command<RemoteMessage, never, RemoteClient> | undefined => {\n            const projection = projectionOf(root)\n            const next = projection === undefined ? undefined : data.next(root, projection)\n            return next === undefined ? undefined : data.fetch(next)\n          },\n\n          name,\n          /** The Entity the rows are of, which is how a picker finds the list for its target. */\n          entity: selection.entity as AnyEntity,\n          /** Whether the list was given a `choice`, so its rows can be a picker's choices. */\n          offersChoices: choice !== undefined,\n\n          /**\n           * The loaded rows as a picker's choices, read through `choice`. Listing a\n           * relation's target is this query, which the application chose and the\n           * server authorizes; nothing is read because a relation exists.\n           */\n          choices: (root: Root): ReadonlyArray<Choice> => {\n            if (choice === undefined)\n              throw new Error(`Crud list \"${name}\": give it a \"choice\" to use its rows in a picker`)\n            const read = page(root)\n            return read._tag === 'Ready' || read._tag === 'Refreshing'\n              ? read.value.items.map(row => ({\n                  value: choice.value(row),\n                  label: choice.label(row),\n                }))\n              : []\n          },\n        }\n      },\n    }\n  },\n\n  /**\n   * A form's Submodel view as the view of the editor that wraps it, for\n   * `Bundle.withView`: the editor's Messages are the form's, and its Model holds\n   * the form's under `form`.\n   *\n   * ```ts\n   * Editor.bundle.pipe(Bundle.withView(Crud.editorView(FormView.submodel(form, view))))\n   * ```\n   */\n  editorView: <FormModel, Message, ViewInputs>(\n    view: Submodel.View<FormModel, Message, ViewInputs>,\n  ): Submodel.View<EditorModel<FormModel>, Message, ViewInputs> =>\n    Submodel.defineView<EditorModel<FormModel>, Message, ViewInputs>(((\n      model: EditorModel<FormModel>,\n      inputs: ViewInputs,\n      h: HtmlBuilder<Message>,\n    ): Html =>\n      (view as (model: FormModel, inputs: ViewInputs, h: HtmlBuilder<Message>) => Html)(\n        model.form,\n        inputs,\n        h,\n      )) as never),\n\n  /**\n   * The choices of every relation picker in a form, from the lists of their\n   * targets: `foldkit-mixins-form`'s `options`, keyed by the form's keys. A\n   * picker whose target no list here is over is a wiring mistake, reported now.\n   */\n  options: <Key extends string, Root>(\n    form: { readonly controls: ReadonlyArray<FormControl<Key>> },\n    lists: ReadonlyArray<{\n      readonly name: string\n      readonly entity: AnyEntity\n      readonly offersChoices: boolean\n      readonly choices: (root: Root) => ReadonlyArray<Choice>\n    }>,\n  ): ((root: Root) => { readonly [K in Key]?: ReadonlyArray<Choice> }) => {\n    const pickers = form.controls.flatMap(({ key, control }) => {\n      if (control._tag !== 'RelationOne' && control._tag !== 'RelationMany') return []\n      const list = lists.find(candidate => Entity.same(candidate.entity, control.target))\n      if (list === undefined)\n        throw new Error(\n          `Crud.options: \"${key}\" picks a ${control.target.name}, and no list given is over ${control.target.name}`,\n        )\n      if (!list.offersChoices)\n        throw new Error(\n          `Crud.options: \"${key}\" would pick from list \"${list.name}\", which has no \"choice\"`,\n        )\n      return [[key, list] as const]\n    })\n    return root =>\n      Object.fromEntries(pickers.map(([key, list]) => [key, list.choices(root)])) as {\n        readonly [K in Key]?: ReadonlyArray<Choice>\n      }\n  },\n\n  /**\n   * An editor for one form and the mutation its value feeds. The form's value\n   * must be the mutation's input, which is what declaring the input once and\n   * giving it to both guarantees.\n   */\n  editor: <\n    const Name extends string,\n    FormName extends string,\n    FormModel,\n    FormMessage extends { readonly _tag: string },\n    Value,\n    E extends AnyEntity,\n    Fields extends Schema.Struct.Fields,\n    Members,\n    R = never,\n  >(\n    name: Name,\n    config: {\n      readonly form: EditableForm<FormName, FormModel, FormMessage, Value, E, Fields, Members, R>\n      readonly mutation: MutationDescriptor<string, Value, any>\n    },\n  ) => {\n    type Model = EditorModel<FormModel>\n    const { form, mutation } = config\n\n    const closed: Model = {\n      form: form.initial,\n      mode: 'closed',\n      target: null,\n      filled: false,\n      requestId: null,\n    }\n    const Model = Schema.Struct({\n      form: form.bundle.Model,\n      mode: Schema.Literals(['closed', 'new', 'edit']),\n      target: Schema.NullOr(Schema.String),\n      filled: Schema.Boolean,\n      requestId: Schema.NullOr(Schema.String),\n    }) as unknown as Schema.Codec<Model, unknown>\n\n    // The editor's Messages are the form's own: it adds state around the form,\n    // not a second vocabulary.\n    const bundle = Bundle.make(name, {\n      Model,\n      Message: form.bundle.Message,\n      init: () => ({ model: closed }),\n      update: (model: Model, message: FormMessage) => {\n        const next = form.bundle.update(model.form, message, undefined)\n        // An edit after a save starts a new round; the last save no longer describes the form.\n        const requestId = message._tag === 'Changed' ? null : model.requestId\n        // The form's Commands are the editor's: a check the form started has to run.\n        const edited = {\n          model: { ...model, form: next.model, requestId },\n          ...(next.commands === undefined ? {} : { commands: next.commands }),\n        }\n        return next.outMessage === undefined ? edited : { ...edited, outMessage: next.outMessage }\n      },\n      helpers: {\n        /** Edits `id`: the form is emptied, and filled once the current values arrive. */\n        open: (_: Model, id: string) => ({\n          model: { ...closed, mode: 'edit' as const, target: id },\n        }),\n        /** A blank form for a new one: nothing to load. */\n        blank: () => ({ model: { ...closed, mode: 'new' as const, filled: true } }),\n        close: () => ({ model: closed }),\n      },\n    })\n\n    const current = Entity.selectFor(form.input)\n\n    return {\n      bundle,\n      /** What the editor loads before it shows the form: every member the form writes. */\n      selection: current,\n\n      /**\n       * The editor where it lives: `model` is its slice of the parent Model (the\n       * field it was declared at), and `data` the Remote domain that registers the\n       * mutation and the Entity.\n       */\n      at: <Root>(where: {\n        readonly data: DomainLike<Root>\n        readonly model: ModelRef<Root, Model>\n      }) => {\n        const { data, model: slice } = where\n        const loaded = (root: Root): RemoteData<any> | undefined => {\n          const { mode, target } = slice.get(root)\n          return mode === 'edit' && target !== null\n            ? data.get(current, target).read(root)\n            : undefined\n        }\n\n        /** Shows the loaded value once, the first time it is there. Later refreshes leave the drafts alone. */\n        const sync: Update.Step<Root, never, never> = root => {\n          const editor = slice.get(root)\n          const read = loaded(root)\n          if (editor.filled || read === undefined) return { model: root }\n          if (read._tag !== 'Ready' && read._tag !== 'Refreshing') return { model: root }\n          const values = Entity.valuesFor(form.input, read.value) as Partial<Value>\n          return {\n            model: slice.set(root, {\n              ...editor,\n              form: form.fill(editor.form, values).model,\n              filled: true,\n            }),\n          }\n        }\n\n        const saveOf = (root: Root): MutationStatus => {\n          const { requestId } = slice.get(root)\n          return requestId === null ? { _tag: 'Unknown' } : data.mutation(root, requestId)\n        }\n\n        return {\n          /** For the placement: a valid submit becomes the mutation, and its request is remembered. */\n          onOut:\n            (submitted: Submitted<Value>): Step<Root> =>\n            root => {\n              const started = data.mutate(root, mutation, submitted.value)\n              const editor = slice.get(started.model)\n              return {\n                model: slice.set(started.model, { ...editor, requestId: started.requestId }),\n                commands: [started.command],\n              }\n            },\n\n          /**\n           * For `Data.subscriptions`: while an id is being edited, what it loads is\n           * a requirement like any Surface's, so Remote fetches and retains it.\n           */\n          active: {\n            name,\n            owner: data.contract.owner ?? {},\n            projectionOf: root => {\n              const { mode, target } = slice.get(root)\n              return mode === 'edit' && target !== null ? data.get(current, target) : undefined\n            },\n          } satisfies ActiveSurface<Root>,\n\n          sync,\n\n          /**\n           * Wraps the application's `update` so `sync` runs after every Message:\n           * the value may arrive with any of them.\n           */\n          after:\n            <Message, Result extends { readonly model: Root }>(\n              update: (model: Root, message: Message) => Result,\n            ) =>\n            (model: Root, message: Message): Result => {\n              const next = update(model, message)\n              return { ...next, model: sync(next.model).model }\n            },\n\n          /** Why the last save failed, while `status` is `SaveFailed`. */\n          saveError: (root: Root): RemoteError | undefined => {\n            const save = saveOf(root)\n            return save._tag === 'Failed' ? save.error : undefined\n          },\n\n          status: (root: Root): EditorStatus => {\n            const editor = slice.get(root)\n            if (editor.mode === 'closed') return 'Closed'\n            // Gone outranks everything: a save that landed describes a thing that no longer exists.\n            const read = loaded(root)\n            if (read?._tag === 'NotFound') return 'NotFound'\n            const save = saveOf(root)\n            if (save._tag === 'Pending') return 'Saving'\n            if (save._tag === 'Failed') return 'SaveFailed'\n            if (save._tag === 'Applied') return 'Saved'\n            if (editor.filled) return 'Editing'\n            return read?._tag === 'Failed' ? 'LoadFailed' : 'Loading'\n          },\n        }\n      },\n    }\n  },\n}\n"],"mappings":";;;;;;;;;;;;;;;;;AAkJA,MAAM,eAAe,KAAa,WAAiC;CACjE,MAAM,QACJ,OAAO,SAAS,aACZ,KAAA,IACA,OAAO,mBAAmB,OAAO,MAAoB,CAAC,EAAE;CAC9D,OAAO,OAAO,UAAU,WAAW,QAAS,KAAK,QAAQ,MAAM,KAAK;AACtE;;AAGA,MAAM,aACJ,cACsD;CACtD,MAAM,UAAkD,UAAU,OAAO;CACzE,OAAO,OAAO,KAAK,UAAU,OAAiB,CAAC,CAAC,KAAI,SAAQ;EACrD;EACL,OAAO,YAAY,KAAK,QAAQ,IAAK;EACrC,QAAQ,QAAQ;CAClB,EAAE;AACJ;AAEA,MAAM,iBAAiB,mBAAmB;CAAE,WAAW,CAAC;CAAG,WAAW,CAAC;AAAE,CAAC;AAG1E,MAAM,OAAqB;CAAE,QAAQ;CAAM,WAAW;AAAK;AAE3D,MAAa,OAAO;;;;;CAKlB,SACE,MACA,YAGI;EACJ;;EAEA,QAAQ,UAAU,OAAO,SAAS;;EAGlC,KAAW,UAGL;GACJ,MAAM,gBAAgB,SAAe;IACnC,MAAM,KAAK,MAAM,GAAG,IAAI;IACxB,OAAO,OAAO,KAAA,IAAY,KAAA,IAAY,MAAM,KAAK,IAAI,OAAO,WAAW,EAAE;GAC3E;GACA,OAAO;;IAEL,QAAQ;KACN;KACA,OAAO,MAAM,KAAK,SAAS,SAAS,CAAC;KACrC;IACF;IACA,QAAQ,SACN,aAAa,IAAI,CAAC,EAAE,KAAK,IAAI,KAAK,EAAE,MAAM,UAAU;GACxD;EACF;CACF;;;;;CAMA,UACE,MACA,WAIG;EAmBH,OAAO;GACL,QAnBa,OAAO,KAAK,MAAM;IAC/B,OAAO,OAAO,OAAO;KACnB,QAAQ,OAAO,OAAO,OAAO,MAAM;KACnC,WAAW,OAAO,OAAO,OAAO,MAAM;IACxC,CAAC;IACD,SAAS;IACT,aAAa,EAAE,OAAO,KAAK;IAC3B,SAAS,OAAqB,YAC5B,QAAQ,SAAS,eAAe,MAAM,WAAW,OAC7C,EAAE,OAAO,KAAK,IACd;KAAE;KAAO,YAAY;MAAE,MAAM;MAAa,IAAI,MAAM;KAAO;IAAsB;IACvF,SAAS;;KAEP,MAAM,GAAiB,QAAgB,EAAE,OAAO;MAAE,QAAQ;MAAI,WAAW;KAAK,EAAE;KAChF,gBAAgB,EAAE,OAAO,KAAK;IAChC;GACF,CAGO;;GAEL,SAAS;GAET,KAAW,UAGL;IACJ,MAAM,EAAE,MAAM,OAAO,UAAU;IAC/B,MAAM,WAAW,SAA+B;KAC9C,MAAM,EAAE,cAAc,MAAM,IAAI,IAAI;KACpC,OAAO,cAAc,OAAO,EAAE,MAAM,UAAU,IAAI,KAAK,SAAS,MAAM,SAAS;IACjF;IACA,OAAO;;KAEL,QACG,eACD,SAAQ;MACN,MAAM,UAAU,KAAK,OAAO,MAAM,OAAO,UAAU,OAAO,MAAM,UAAU,EAAE,CAAC;MAC7E,OAAO;OACL,OAAO,MAAM,IAAI,QAAQ,OAAO;QAC9B,QAAQ,UAAU;QAClB,WAAW,QAAQ;OACrB,CAAC;OACD,UAAU,CAAC,QAAQ,OAAO;MAC5B;KACF;;KAGF,SAAS,SAA8B,MAAM,IAAI,IAAI,CAAC,CAAC;KAEvD,SAAS,SAA8B;MACrC,MAAM,EAAE,WAAW,MAAM,IAAI,IAAI;MACjC,MAAM,WAAW,QAAQ,IAAI;MAC7B,OAAO,SAAS,SAAS,YACrB,aACA,SAAS,SAAS,YAChB,YACA,SAAS,SAAS,WAChB,iBACA,WAAW,OACT,SACA;KACZ;;KAGA,QAAQ,SAAwC;MAC9C,MAAM,WAAW,QAAQ,IAAI;MAC7B,OAAO,SAAS,SAAS,WAAW,SAAS,QAAQ,KAAA;KACvD;IACF;GACF;EACF;CACF;;;;;CAMA,OACE,MACA,WAcG;EACH,MAAM,EAAE,OAAO,WAAW,WAAW,IAAI,WAAW;EAGpD,OAAO;GACL;;GAEA,SALc,UAAU,SAKlB;;;;;GAMN,KAAW,UAGL;IACJ,MAAM,EAAE,MAAM,UAAU;IACxB,MAAM,gBAAgB,SAAe;KACnC,MAAM,QAAQ,MAAM,IAAI;KACxB,OAAO,UAAU,KAAA,IACb,KAAA,IACA,KAAK,MAAM,OAAO,OAAO;MAAE,QAAQ;MAAW,OAAO;KAAS,CAAC;IACrE;IACA,MAAM,QAAQ,SACZ,aAAa,IAAI,CAAC,EAAE,KAAK,IAAI,KAAK,EAAE,MAAM,UAAU;IAEtD,OAAO;;KAEL,QAAQ;MACN;MACA,OAAO,KAAK,SAAS,SAAS,CAAC;MAC/B;KACF;KAEA;;KAGA,OAAO,SAAwE;MAC7E,MAAM,aAAa,aAAa,IAAI;MACpC,MAAM,OAAO,eAAe,KAAA,IAAY,KAAA,IAAY,KAAK,KAAK,MAAM,UAAU;MAC9E,OAAO,SAAS,KAAA,IAAY,KAAA,IAAY,KAAK,MAAM,IAAI;KACzD;KAEA;;KAEA,QAAQ,UAAU;;KAElB,eAAe,WAAW,KAAA;;;;;;KAO1B,UAAU,SAAsC;MAC9C,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,MAAM,cAAc,KAAK,kDAAkD;MACvF,MAAM,OAAO,KAAK,IAAI;MACtB,OAAO,KAAK,SAAS,WAAW,KAAK,SAAS,eAC1C,KAAK,MAAM,MAAM,KAAI,SAAQ;OAC3B,OAAO,OAAO,MAAM,GAAG;OACvB,OAAO,OAAO,MAAM,GAAG;MACzB,EAAE,IACF,CAAC;KACP;IACF;GACF;EACF;CACF;;;;;;;;;;CAWA,aACE,SAEA,SAAS,aACP,OACA,QACA,MAEC,KACC,MAAM,MACN,QACA,CACF,EAAW;;;;;;CAOf,UACE,MACA,UAMsE;EACtE,MAAM,UAAU,KAAK,SAAS,SAAS,EAAE,KAAK,cAAc;GAC1D,IAAI,QAAQ,SAAS,iBAAiB,QAAQ,SAAS,gBAAgB,OAAO,CAAC;GAC/E,MAAM,OAAO,MAAM,MAAK,cAAa,OAAO,KAAK,UAAU,QAAQ,QAAQ,MAAM,CAAC;GAClF,IAAI,SAAS,KAAA,GACX,MAAM,IAAI,MACR,kBAAkB,IAAI,YAAY,QAAQ,OAAO,KAAK,8BAA8B,QAAQ,OAAO,MACrG;GACF,IAAI,CAAC,KAAK,eACR,MAAM,IAAI,MACR,kBAAkB,IAAI,0BAA0B,KAAK,KAAK,yBAC5D;GACF,OAAO,CAAC,CAAC,KAAK,IAAI,CAAU;EAC9B,CAAC;EACD,QAAO,SACL,OAAO,YAAY,QAAQ,KAAK,CAAC,KAAK,UAAU,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC;CAG9E;;;;;;CAOA,SAWE,MACA,WAIG;EAEH,MAAM,EAAE,MAAM,aAAa;EAE3B,MAAM,SAAgB;GACpB,MAAM,KAAK;GACX,MAAM;GACN,QAAQ;GACR,QAAQ;GACR,WAAW;EACb;EACA,MAAM,QAAQ,OAAO,OAAO;GAC1B,MAAM,KAAK,OAAO;GAClB,MAAM,OAAO,SAAS;IAAC;IAAU;IAAO;GAAM,CAAC;GAC/C,QAAQ,OAAO,OAAO,OAAO,MAAM;GACnC,QAAQ,OAAO;GACf,WAAW,OAAO,OAAO,OAAO,MAAM;EACxC,CAAC;EAID,MAAM,SAAS,OAAO,KAAK,MAAM;GAC/B;GACA,SAAS,KAAK,OAAO;GACrB,aAAa,EAAE,OAAO,OAAO;GAC7B,SAAS,OAAc,YAAyB;IAC9C,MAAM,OAAO,KAAK,OAAO,OAAO,MAAM,MAAM,SAAS,KAAA,CAAS;IAE9D,MAAM,YAAY,QAAQ,SAAS,YAAY,OAAO,MAAM;IAE5D,MAAM,SAAS;KACb,OAAO;MAAE,GAAG;MAAO,MAAM,KAAK;MAAO;KAAU;KAC/C,GAAI,KAAK,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,UAAU,KAAK,SAAS;IACnE;IACA,OAAO,KAAK,eAAe,KAAA,IAAY,SAAS;KAAE,GAAG;KAAQ,YAAY,KAAK;IAAW;GAC3F;GACA,SAAS;;IAEP,OAAO,GAAU,QAAgB,EAC/B,OAAO;KAAE,GAAG;KAAQ,MAAM;KAAiB,QAAQ;IAAG,EACxD;;IAEA,cAAc,EAAE,OAAO;KAAE,GAAG;KAAQ,MAAM;KAAgB,QAAQ;IAAK,EAAE;IACzE,cAAc,EAAE,OAAO,OAAO;GAChC;EACF,CAAC;EAED,MAAM,UAAU,OAAO,UAAU,KAAK,KAAK;EAE3C,OAAO;GACL;;GAEA,WAAW;;;;;;GAOX,KAAW,UAGL;IACJ,MAAM,EAAE,MAAM,OAAO,UAAU;IAC/B,MAAM,UAAU,SAA4C;KAC1D,MAAM,EAAE,MAAM,WAAW,MAAM,IAAI,IAAI;KACvC,OAAO,SAAS,UAAU,WAAW,OACjC,KAAK,IAAI,SAAS,MAAM,CAAC,CAAC,KAAK,IAAI,IACnC,KAAA;IACN;;IAGA,MAAM,QAAwC,SAAQ;KACpD,MAAM,SAAS,MAAM,IAAI,IAAI;KAC7B,MAAM,OAAO,OAAO,IAAI;KACxB,IAAI,OAAO,UAAU,SAAS,KAAA,GAAW,OAAO,EAAE,OAAO,KAAK;KAC9D,IAAI,KAAK,SAAS,WAAW,KAAK,SAAS,cAAc,OAAO,EAAE,OAAO,KAAK;KAC9E,MAAM,SAAS,OAAO,UAAU,KAAK,OAAO,KAAK,KAAK;KACtD,OAAO,EACL,OAAO,MAAM,IAAI,MAAM;MACrB,GAAG;MACH,MAAM,KAAK,KAAK,OAAO,MAAM,MAAM,CAAC,CAAC;MACrC,QAAQ;KACV,CAAC,EACH;IACF;IAEA,MAAM,UAAU,SAA+B;KAC7C,MAAM,EAAE,cAAc,MAAM,IAAI,IAAI;KACpC,OAAO,cAAc,OAAO,EAAE,MAAM,UAAU,IAAI,KAAK,SAAS,MAAM,SAAS;IACjF;IAEA,OAAO;;KAEL,QACG,eACD,SAAQ;MACN,MAAM,UAAU,KAAK,OAAO,MAAM,UAAU,UAAU,KAAK;MAC3D,MAAM,SAAS,MAAM,IAAI,QAAQ,KAAK;MACtC,OAAO;OACL,OAAO,MAAM,IAAI,QAAQ,OAAO;QAAE,GAAG;QAAQ,WAAW,QAAQ;OAAU,CAAC;OAC3E,UAAU,CAAC,QAAQ,OAAO;MAC5B;KACF;;;;;KAMF,QAAQ;MACN;MACA,OAAO,KAAK,SAAS,SAAS,CAAC;MAC/B,eAAc,SAAQ;OACpB,MAAM,EAAE,MAAM,WAAW,MAAM,IAAI,IAAI;OACvC,OAAO,SAAS,UAAU,WAAW,OAAO,KAAK,IAAI,SAAS,MAAM,IAAI,KAAA;MAC1E;KACF;KAEA;;;;;KAMA,QAEI,YAED,OAAa,YAA6B;MACzC,MAAM,OAAO,OAAO,OAAO,OAAO;MAClC,OAAO;OAAE,GAAG;OAAM,OAAO,KAAK,KAAK,KAAK,CAAC,CAAC;MAAM;KAClD;;KAGF,YAAY,SAAwC;MAClD,MAAM,OAAO,OAAO,IAAI;MACxB,OAAO,KAAK,SAAS,WAAW,KAAK,QAAQ,KAAA;KAC/C;KAEA,SAAS,SAA6B;MACpC,MAAM,SAAS,MAAM,IAAI,IAAI;MAC7B,IAAI,OAAO,SAAS,UAAU,OAAO;MAErC,MAAM,OAAO,OAAO,IAAI;MACxB,IAAI,MAAM,SAAS,YAAY,OAAO;MACtC,MAAM,OAAO,OAAO,IAAI;MACxB,IAAI,KAAK,SAAS,WAAW,OAAO;MACpC,IAAI,KAAK,SAAS,UAAU,OAAO;MACnC,IAAI,KAAK,SAAS,WAAW,OAAO;MACpC,IAAI,OAAO,QAAQ,OAAO;MAC1B,OAAO,MAAM,SAAS,WAAW,eAAe;KAClD;IACF;GACF;EACF;CACF;AACF"}
+{"version":3,"file":"index.mjs","names":[],"sources":["../src/display.ts","../src/sort.ts","../src/index.ts"],"sourcesContent":["/**\n * Displays: how one selected member shows in a list or a detail, described\n * without a renderer. It is `foldkit-form`'s `Input` from the reading side: the\n * member says what it is, a Display says how it reads, and which DOM draws it is\n * the application's.\n */\nimport { Schema } from 'effect'\nimport type { AnyEntity, EntityMember } from 'foldkit-entity'\nimport { Metadata } from 'foldkit-metadata'\n\n/**\n * How one selected member shows: the primitive every kind of Display is a value\n * of. `Display.text()` and `Display.flag()` are values of it, made by\n * `Display.kind`, which is what an application calls for a badge or a relative\n * date. The kinds here are a collection, not a special case.\n */\nexport interface Display<Data = unknown> {\n  /** The name a renderer is found by. */\n  readonly kind: string\n  /** Whether a view draws it. A member read and not shown, usually the id, is `false`. */\n  readonly shown: boolean\n  /** What this kind needs: a format, a relation's target. */\n  readonly data: Data\n  /**\n   * The value as text: what a cell says when nothing draws it specially. It is\n   * never given `null` or `undefined`; `Display.show` says `nothing` for those.\n   */\n  readonly text: (value: unknown, words: DisplayWords) => string\n}\n\n/** A kind of Display: how its values are made, and how one is told from another. */\nexport interface DisplayKind<Data> {\n  readonly kind: string\n  readonly of: (data: Data) => Display<Data>\n  readonly is: (display: Display) => display is Display<Data>\n}\n\n/** A selected member with its words and its Display. A list's column, a detail's line. */\nexport interface DisplayColumn<Key extends string = string> {\n  readonly key: Key\n  readonly label: string\n  readonly member: EntityMember\n  readonly display: Display\n}\n\n/** The words a Display needs that are not the value's own. */\nexport interface DisplayWords {\n  /** Default `yes`. */\n  readonly yes?: string\n  /** Default `no`. */\n  readonly no?: string\n  /** What stands for nothing: `null`, `undefined`, an empty list. Default the empty string. */\n  readonly nothing?: string\n  /** Between the items of a list, and between the members of a nested value. Default `, `. */\n  readonly separator?: string\n}\n\nconst key = Metadata.key<Display>('foldkit-crud/display', {\n  // The last Display attached wins: a later annotation refines an earlier one.\n  merge: displays => displays.slice(-1),\n  summarize: display => display.kind,\n})\n\ninterface AstLike {\n  readonly _tag: string\n  readonly types?: ReadonlyArray<AstLike>\n}\n\nconst fromSchema = (schema: Schema.Top): Display => {\n  const ast = Schema.toType(schema).ast as unknown as AstLike\n  const members =\n    ast._tag === 'Union'\n      ? (ast.types ?? []).filter(member => member._tag !== 'Null' && member._tag !== 'Undefined')\n      : [ast]\n  const [only] = members\n  if (members.length === 1 && only?._tag === 'Number') return Number_.of({})\n  if (members.length === 1 && only?._tag === 'Boolean') return Flag.of(nothing)\n  return Text.of({})\n}\n\n/** A kind of Display. The kinds below are made with it, and so is an application's. */\nconst kind = <Data = Record<string, never>>(\n  name: string,\n  spec: {\n    readonly shown?: boolean\n    readonly text: (data: Data, value: unknown, words: DisplayWords) => string\n  },\n): DisplayKind<Data> => ({\n  kind: name,\n  of: data =>\n    Object.freeze({\n      kind: name,\n      shown: spec.shown ?? true,\n      data,\n      text: (value: unknown, words: DisplayWords) => spec.text(data, value, words),\n    }),\n  is: (display): display is Display<Data> => display.kind === name,\n})\n\nconst show = (display: Display, value: unknown, words: DisplayWords = {}): string =>\n  value === null || value === undefined ? (words.nothing ?? '') : display.text(value, words)\n\nconst Text = kind<{ readonly format?: ((value: unknown) => string) | undefined }>('Text', {\n  text: (data, value) => (data.format === undefined ? String(value) : data.format(value)),\n})\nconst Number_ = kind<{ readonly format?: ((value: number) => string) | undefined }>('Number', {\n  text: (data, value) =>\n    typeof value === 'number' && data.format !== undefined ? data.format(value) : String(value),\n})\nconst Flag = kind('Flag', {\n  text: (_, value, words) => (value === true ? (words.yes ?? 'yes') : (words.no ?? 'no')),\n})\nconst Hidden = kind('Hidden', { shown: false, text: () => '' })\n/** A relation read as refs: which one, with nothing to say about it but its id. */\nconst Ref = kind<{ readonly target: AnyEntity; readonly many: boolean }>('Ref', {\n  text: (_, value, words) => {\n    const ids = (Array.isArray(value) ? value : [value]).map(ref =>\n      typeof ref === 'object' && ref !== null && 'id' in ref ? String(ref.id) : String(ref),\n    )\n    return ids.length === 0 ? (words.nothing ?? '') : ids.join(words.separator ?? ', ')\n  },\n})\n/**\n * A relation read through a Selection: the target's own members, each with a\n * Display. `shape` is how many there are: one, a list, or a page of a list.\n */\nconst Nested = kind<{\n  readonly target: AnyEntity\n  readonly shape: 'one' | 'many' | 'page'\n  readonly columns: ReadonlyArray<DisplayColumn>\n}>('Nested', {\n  text: (data, value, words) => {\n    const one = (item: unknown): string =>\n      data.columns\n        .filter(column => column.display.shown)\n        .map(column =>\n          show(\n            column.display,\n            (item as Readonly<Record<string, unknown>> | null)?.[column.key],\n            words,\n          ),\n        )\n        .filter(text => text !== '')\n        .join(' ')\n    const items =\n      data.shape === 'one'\n        ? [value]\n        : data.shape === 'page'\n          ? ((value as { readonly items?: ReadonlyArray<unknown> }).items ?? [])\n          : (value as ReadonlyArray<unknown>)\n    return items.length === 0 ? (words.nothing ?? '') : items.map(one).join(words.separator ?? ', ')\n  },\n})\n\nconst nothing: Record<string, never> = Object.freeze({})\n\nexport const Display = {\n  /**\n   * A kind of Display. `Display.kind<{ tone: string }>('Badge', { text: (_, value) => String(value) })`\n   * gives `.of(data)` to make one and `.is(display)` to tell one, exactly as the\n   * kinds below were made. `text` is the floor; a view draws it specially once\n   * it is given a renderer for `Badge`.\n   */\n  kind,\n\n  // The kinds this package resolves to. A view finds its renderer by `kind`.\n  Text,\n  Number: Number_,\n  Flag,\n  Hidden,\n  Ref,\n  Nested,\n\n  text: (format?: (value: unknown) => string): Display => Text.of({ format }),\n  number: (format?: (value: number) => string): Display => Number_.of({ format }),\n  flag: (): Display => Flag.of(nothing),\n  /** Read, so a row can be opened or keyed by it, and not shown: usually the id. */\n  hidden: (): Display => Hidden.of(nothing),\n\n  /**\n   * Entity metadata: how a member shows wherever it is listed, e.g.\n   * `Entity.annotateMembers({ price: Display.of(Display.number(cents => ...)) })`.\n   */\n  of: (display: Display) => key.of(display),\n\n  /**\n   * The Display of one selected member, from the most to the least explicit\n   * source: the member's `Display.of` metadata, how the relation was selected,\n   * then the shape of its schema. `nested` is the columns of a nested Selection,\n   * with `shape` saying how many the relation yields.\n   */\n  resolve: (\n    member: EntityMember,\n    nested?: {\n      readonly shape: 'one' | 'many' | 'page'\n      readonly columns: ReadonlyArray<DisplayColumn>\n    },\n  ): Display => {\n    const [explicit] = key.get(member.metadata)\n    if (explicit !== undefined) return explicit\n    if (member._tag !== 'Relation') return fromSchema(member.schema as Schema.Top)\n    const target = member.target()\n    return nested === undefined\n      ? Ref.of({ target, many: member.cardinality === 'many' })\n      : Nested.of({ target, shape: nested.shape, columns: nested.columns })\n  },\n\n  /**\n   * A value as the text its Display calls for: what a cell says when nothing\n   * draws it specially. A view that wants a link or a badge reads the Display\n   * and the value itself; this is the floor every view can stand on.\n   */\n  show,\n}\n","/**\n * Sorting a list, written once. How a list is sorted is the application's state\n * and its query's input, so this holds none of it: it is the schema of that\n * state, what a click on a header makes of it, and the shape a drawn table\n * takes. The server reads the same state and decides which columns it means.\n */\nimport { Schema } from 'effect'\n\n/** How a list is sorted: by which of its orders, which way; `null` for the server's own order. */\nexport type SortState<Column extends string> = {\n  readonly by: Column\n  readonly direction: 'asc' | 'desc'\n} | null\n\n/** How one column is sorted now, and the Message a click on its header sends. */\nexport interface SortedColumn<Message> {\n  readonly direction?: 'asc' | 'desc' | undefined\n  readonly message: Message\n}\n\nexport const Sort = {\n  /**\n   * The orders a list offers, by name. A name is an order the server knows, not\n   * a column: which columns may sort, and what `title` means in SQL, stay the\n   * server's to decide.\n   */\n  make: <const Columns extends readonly [string, ...string[]]>(columns: Columns) => {\n    type Column = Columns[number]\n    type State = SortState<Column>\n    /** A click on a header: ascending, then descending, then the server's own order again. */\n    const toggle = (current: State, column: Column): State =>\n      current === null || current.by !== column\n        ? { by: column, direction: 'asc' }\n        : current.direction === 'asc'\n          ? { by: column, direction: 'desc' }\n          : null\n    return {\n      columns,\n      /** For the Model field, and for the query's input. */\n      Schema: Schema.NullOr(\n        Schema.Struct({\n          by: Schema.Literals(columns),\n          direction: Schema.Literals(['asc', 'desc']),\n        }),\n      ) as unknown as Schema.Codec<State, State>,\n      /** The server's own order. */\n      none: null as State,\n      toggle,\n      /**\n       * What a drawn table takes as `sort`: every order with how it is sorted now\n       * and the Message a click sends, made from the state the click leads to.\n       */\n      inputs: <Message>(\n        current: State,\n        message: (next: State) => Message,\n      ): { readonly [K in Column]: SortedColumn<Message> } =>\n        Object.fromEntries(\n          columns.map(column => [\n            column,\n            {\n              direction: current?.by === column ? current.direction : undefined,\n              message: message(toggle(current, column)),\n            },\n          ]),\n        ) as { readonly [K in Column]: SortedColumn<Message> },\n    }\n  },\n}\n","/**\n * `foldkit-crud` — management screens assembled from parts an application\n * already has.\n *\n * An editor joins a `foldkit-form` form, the Remote mutation its value feeds,\n * and the Entity they share: it loads what the form writes, shows it, turns a\n * valid submit into the mutation, and says how that went. Everything it makes is\n * ordinary Foldkit: a Bundle, an ActiveSurface, Update Steps. Nothing is\n * generated from an Entity alone; each capability is declared.\n */\nimport { Schema } from 'effect'\nimport { Bundle } from 'foldkit-bundle'\nimport {\n  Entity,\n  SelectionPageTypeId,\n  type AnyEntity,\n  type EntityInput,\n  type EntityMember,\n  type Selection,\n  type IdOf,\n  type SelectionPage,\n} from 'foldkit-entity'\nimport { Form, Input, type FormControl, type Submitted } from 'foldkit-form'\nimport { Display, type DisplayColumn } from './display.js'\nimport type {\n  MutationDescriptor,\n  Page,\n  QueryDescriptor,\n  MutationStatus,\n  RemoteClient,\n  RemoteData,\n  RemoteError,\n  RemoteMessage,\n} from 'foldkit-remote'\nimport { Projection, type ActiveSurface, type ModelRef } from 'foldkit-surface'\nimport type { Command } from 'foldkit/command'\nimport { defineMessageUnion } from 'foldkit/message'\nimport type { Html, HtmlBuilder } from 'foldkit/html'\nimport * as Submodel from 'foldkit/submodel'\nimport type * as Update from 'foldkit/update'\n\n/** The parts of a `Form.make` result an editor wraps. */\nexport interface EditableForm<\n  Name extends string,\n  FormModel,\n  FormMessage,\n  Value,\n  E extends AnyEntity,\n  Fields extends Schema.Struct.Fields,\n  Members,\n  R = never,\n> {\n  readonly bundle: {\n    readonly name: Name\n    readonly Model: Schema.Codec<FormModel, unknown>\n    readonly Message: Schema.Codec<FormMessage, unknown>\n    readonly update: (\n      model: FormModel,\n      message: FormMessage,\n      args: void,\n    ) => Update.ReturnWithOutMessage<FormModel, FormMessage, Submitted<Value>, R>\n  }\n  readonly input: EntityInput<E, Fields, Members>\n  readonly initial: FormModel\n  readonly fill: (model: FormModel, values: Partial<Value>) => { readonly model: FormModel }\n}\n\n/**\n * An editor's slice of the parent Model. `target` is the id being edited, or\n * `null` for a new one; `filled` is whether the loaded value has been shown;\n * `requestId` is the save in progress or last settled.\n */\nexport interface EditorModel<FormModel> {\n  readonly form: FormModel\n  readonly mode: 'closed' | 'new' | 'edit'\n  readonly target: string | null\n  readonly filled: boolean\n  readonly requestId: string | null\n}\n\n/**\n * A remover's slice of the parent Model: the id it was asked to delete and is\n * waiting on a yes for, and the delete in progress or last settled.\n */\nexport interface RemoverModel {\n  readonly target: string | null\n  readonly requestId: string | null\n}\n\n/** A remover's out Message: the user said yes to deleting `id`. */\nexport interface ConfirmedRemoval {\n  readonly _tag: 'Confirmed'\n  readonly id: string\n}\n\nexport type RemoverStatus =\n  | 'Idle'\n  /** Asked to delete an id, and waiting for a yes or a no. */\n  | 'Confirming'\n  | 'Deleting'\n  | 'Deleted'\n  | 'DeleteFailed'\n\nexport type EditorStatus =\n  | 'Closed'\n  /** Editing an id whose current values have not arrived. */\n  | 'Loading'\n  | 'NotFound'\n  | 'LoadFailed'\n  | 'Editing'\n  | 'Saving'\n  | 'Saved'\n  | 'SaveFailed'\n\n/** The parts of a bound Remote domain an editor uses. */\nexport interface DomainLike<Root> {\n  // Method syntax: the descriptors are checked where the editor is made, not here.\n  mutate(\n    model: Root,\n    mutation: any,\n    input: any,\n  ): {\n    readonly model: Root\n    readonly requestId: string\n    readonly command: Command<RemoteMessage, never, RemoteClient>\n  }\n  get(selection: any, id: string): Projection<Root, RemoteData<any>>\n  query(query: any, input: any, options: any): Projection<Root, RemoteData<Page<any>>>\n  next(model: Root, projection: any): { readonly query: string } | undefined\n  fetch(ref: any): Command<RemoteMessage, never, RemoteClient>\n  refresh(model: Root, target: any): Root\n  mutation(model: Root, requestId: string): MutationStatus\n  readonly contract: { readonly owner?: object | undefined }\n}\n\ntype Step<Root> = Update.Step<Root, RemoteMessage, RemoteClient>\n\n/** One thing a relation picker offers. */\nexport interface Choice {\n  readonly value: string\n  readonly label: string\n}\n\n/**\n * One column of a list, or one line of a detail: a member the Selection reads,\n * with its words and its `Display`.\n */\nexport type ListColumn<Key extends string = string> = DisplayColumn<Key>\n\nconst columnLabel = (key: string, member: EntityMember): string => {\n  const title =\n    member._tag === 'Relation'\n      ? undefined\n      : Schema.resolveAnnotations(member.schema as Schema.Top)?.title\n  return typeof title === 'string' ? title : (Form.labelOf(member) ?? key)\n}\n\ntype AnySelection = Selection<string, unknown, Schema.Constraint>\n\n/** The selected members in the Selection's order, each with its label and its Display. */\nconst columnsOf = <Members>(\n  selection: Selection<string, Members, Schema.Constraint>,\n): ReadonlyArray<ListColumn<keyof Members & string>> => {\n  const members: Readonly<Record<string, EntityMember>> = selection.entity.members\n  const selected = selection.members as Readonly<\n    Record<string, true | AnySelection | SelectionPage<string, Schema.Constraint>>\n  >\n  return Object.keys(selected).map(key => {\n    const member = members[key]!\n    const how = selected[key]!\n    // A relation read through a Selection shows the target's own members.\n    const nested =\n      how === true || member._tag !== 'Relation'\n        ? undefined\n        : SelectionPageTypeId in how\n          ? { shape: 'page' as const, columns: columnsOf(how.selection) }\n          : {\n              shape: member.cardinality === 'many' ? ('many' as const) : ('one' as const),\n              columns: columnsOf(how),\n            }\n    return {\n      key: key as keyof Members & string,\n      label: columnLabel(key, member),\n      member,\n      display: Display.resolve(member, nested),\n    }\n  })\n}\n\nconst RemoverMessage = defineMessageUnion({ Confirmed: {}, Cancelled: {} })\ntype RemoverMessage = typeof RemoverMessage.Type\n\nconst idle: RemoverModel = { target: null, requestId: null }\n\nexport const Crud = {\n  /**\n   * One Entity read through a Selection, for a page that shows it. Like a list\n   * it holds no state: the value is Remote's and the id is the application's.\n   */\n  detail: <const Name extends string, EntityName extends string, Members, Row>(\n    name: Name,\n    config: {\n      readonly selection: Selection<EntityName, Members, Schema.Constraint & { readonly Type: Row }>\n    },\n  ) => ({\n    name,\n    /** The selected members in the Selection's order, each with its label. */\n    fields: columnsOf(config.selection),\n    /** Type-only: the value shown, for a view to be typed by. Never read. */\n    Value: undefined as unknown as Row,\n\n    /** The detail where it lives: `id` is the one shown, or `undefined` while none is. */\n    at: <Root>(where: {\n      readonly data: DomainLike<Root>\n      readonly id: (root: Root) => string | undefined\n    }) => {\n      const projectionOf = (root: Root) => {\n        const id = where.id(root)\n        return id === undefined ? undefined : where.data.get(config.selection, id)\n      }\n      return {\n        /** For `Data.subscriptions`: the value is fetched and retained while an id is shown. */\n        active: {\n          name,\n          owner: where.data.contract.owner ?? {},\n          projectionOf,\n        } satisfies ActiveSurface<Root>,\n        value: (root: Root): RemoteData<Row> =>\n          projectionOf(root)?.read(root) ?? { _tag: 'Initial' },\n        /**\n         * Asks for the value again: `Data.refresh` over this detail, for a retry\n         * button. A failed read is not retried on its own. Unchanged while no id\n         * is shown.\n         */\n        refresh: (root: Root): Root => {\n          const projection = projectionOf(root)\n          return projection === undefined ? root : where.data.refresh(root, projection)\n        },\n      }\n    },\n  }),\n\n  /**\n   * Deleting through one mutation, with a yes in between: asked, confirmed,\n   * deleted. What the mutation's input is for an id is `input`'s to say, and the\n   * id it names there (`(id: PostId) => ...`) is the id `ask` takes.\n   */\n  remover: <\n    const Name extends string,\n    Input,\n    Id extends string = string,\n    const Key extends keyof Input = never,\n  >(\n    name: Name,\n    config:\n      | {\n          readonly mutation: MutationDescriptor<string, Input, any>\n          readonly input: (id: Id) => Input\n        }\n      | {\n          readonly mutation: MutationDescriptor<string, Input, any>\n          /**\n           * The key of the mutation's input that holds the id, when that is all the\n           * input is: `id: 'id'` for `{ id }`. The id's type is that key's.\n           */\n          readonly id: Key & (Input extends Readonly<Record<Key, string>> ? Key : never)\n        },\n  ) => {\n    type AskedId = [Key] extends [never] ? Id : Input[Key] & string\n    const inputFor = (id: string): Input =>\n      'input' in config ? config.input(id as Id) : ({ [config.id]: id } as Input)\n    const bundle = Bundle.make(name, {\n      Model: Schema.Struct({\n        target: Schema.NullOr(Schema.String),\n        requestId: Schema.NullOr(Schema.String),\n      }) as unknown as Schema.Codec<RemoverModel, unknown>,\n      Message: RemoverMessage,\n      init: () => ({ model: idle }),\n      update: (model: RemoverModel, message: RemoverMessage) =>\n        message._tag === 'Cancelled' || model.target === null\n          ? { model: idle }\n          : { model, outMessage: { _tag: 'Confirmed', id: model.target } as ConfirmedRemoval },\n      helpers: {\n        /** Asks whether to delete `id`. Nothing is deleted until `Confirmed`. */\n        ask: (_: RemoverModel, id: AskedId) => ({ model: { target: id, requestId: null } }),\n        dismiss: () => ({ model: idle }),\n      },\n    })\n\n    return {\n      bundle,\n      /** The remover's Messages, for the yes and the no of a confirmation. */\n      Message: RemoverMessage,\n\n      at: <Root>(where: {\n        readonly data: DomainLike<Root>\n        readonly model: ModelRef<Root, RemoverModel>\n      }) => {\n        const { data, model: slice } = where\n        const outcome = (root: Root): MutationStatus => {\n          const { requestId } = slice.get(root)\n          return requestId === null ? { _tag: 'Unknown' } : data.mutation(root, requestId)\n        }\n        return {\n          /** For the placement: a yes becomes the mutation, and its request is remembered. */\n          onOut:\n            (confirmed: ConfirmedRemoval): Step<Root> =>\n            root => {\n              const started = data.mutate(root, config.mutation, inputFor(confirmed.id))\n              return {\n                model: slice.set(started.model, {\n                  target: confirmed.id,\n                  requestId: started.requestId,\n                }),\n                commands: [started.command],\n              }\n            },\n\n          /** The id being asked about or deleted, for the words of a confirmation. */\n          target: (root: Root): AskedId | null => slice.get(root).target as AskedId | null,\n\n          status: (root: Root): RemoverStatus => {\n            const { target } = slice.get(root)\n            const deleting = outcome(root)\n            return deleting._tag === 'Pending'\n              ? 'Deleting'\n              : deleting._tag === 'Applied'\n                ? 'Deleted'\n                : deleting._tag === 'Failed'\n                  ? 'DeleteFailed'\n                  : target === null\n                    ? 'Idle'\n                    : 'Confirming'\n          },\n\n          /** Why the last delete failed, while `status` is `DeleteFailed`. */\n          error: (root: Root): RemoteError | undefined => {\n            const deleting = outcome(root)\n            return deleting._tag === 'Failed' ? deleting.error : undefined\n          },\n        }\n      },\n    }\n  },\n\n  /**\n   * A list over one query: which rows to show is the query's, what to show of\n   * each is the Selection's. The pages live in Remote; the list holds no state.\n   */\n  list: <\n    const Name extends string,\n    EntityName extends string,\n    Members,\n    S extends Schema.Constraint,\n    Input,\n  >(\n    name: Name,\n    config: {\n      readonly query: QueryDescriptor<string, Input, any>\n      // The row is the Selection's own value, so it is typed with or without a `choice`.\n      readonly selection: Selection<EntityName, Members, S>\n      /** How many rows a page holds. Default 25. */\n      readonly pageSize?: number\n      /**\n       * How a row reads as a choice in a relation picker: its id, and the words\n       * that identify it to a person. Give it to a list that feeds pickers.\n       */\n      readonly choice?: {\n        readonly value: (row: S['Type']) => string\n        readonly label: (row: S['Type']) => string\n      }\n    },\n  ) => {\n    const { query, selection, pageSize = 25, choice } = config\n    const columns = columnsOf(selection)\n\n    return {\n      name,\n      /** The selected members in the Selection's order, each with its label. */\n      columns,\n      /** Type-only: a row, for a view to be typed by. Never read. */\n      Row: undefined as unknown as S['Type'],\n\n      /**\n       * The list where it lives. `input` is the query's input as the Model has\n       * it (filters, a search term), or `undefined` while the list is not shown.\n       */\n      at: <Root>(where: {\n        readonly data: DomainLike<Root>\n        readonly input: (root: Root) => Input | undefined\n      }) => {\n        const { data, input } = where\n        const projectionOf = (root: Root) => {\n          const value = input(root)\n          return value === undefined\n            ? undefined\n            : data.query(query, value, { select: selection, first: pageSize })\n        }\n        const page = (root: Root): RemoteData<Page<S['Type']>> =>\n          projectionOf(root)?.read(root) ?? { _tag: 'Initial' }\n\n        return {\n          /** For `Data.subscriptions`: the page and its rows are fetched and retained while shown. */\n          active: {\n            name,\n            owner: data.contract.owner ?? {},\n            projectionOf,\n          } satisfies ActiveSurface<Root>,\n\n          page,\n\n          /** The Command that loads the next page onto this one, or `undefined` when there is none. */\n          more: (root: Root): Command<RemoteMessage, never, RemoteClient> | undefined => {\n            const projection = projectionOf(root)\n            const next = projection === undefined ? undefined : data.next(root, projection)\n            return next === undefined ? undefined : data.fetch(next)\n          },\n\n          /**\n           * Asks for the list again: `Data.refresh` over its page and rows, for a\n           * retry button. A failed read is not retried on its own. Unchanged while\n           * the list is not shown.\n           */\n          refresh: (root: Root): Root => {\n            const projection = projectionOf(root)\n            return projection === undefined ? root : data.refresh(root, projection)\n          },\n\n          name,\n          /** Whose requirement the list is, for anything that requires beside it. */\n          owner: data.contract.owner ?? {},\n          /**\n           * One of the list's Entity through the list's Selection, by id, whether or\n           * not the query finds it now: what a picker reads to name what is chosen.\n           */\n          row: (id: string): Projection<Root, RemoteData<any>> => data.get(selection, id),\n          /** The Entity the rows are of, which is how a picker finds the list for its target. */\n          entity: selection.entity as AnyEntity,\n          /** Whether the list was given a `choice`, so its rows can be a picker's choices. */\n          offersChoices: choice !== undefined,\n\n          /**\n           * The loaded rows as a picker's choices, read through `choice`. Listing a\n           * relation's target is this query, which the application chose and the\n           * server authorizes; nothing is read because a relation exists.\n           */\n          choices: (root: Root): ReadonlyArray<Choice> => {\n            if (choice === undefined)\n              throw new Error(`Crud list \"${name}\": give it a \"choice\" to use its rows in a picker`)\n            const read = page(root)\n            return read._tag === 'Ready' || read._tag === 'Refreshing'\n              ? read.value.items.map(row => ({\n                  value: choice.value(row),\n                  label: choice.label(row),\n                }))\n              : []\n          },\n\n          /** That row as a choice, once it is read. */\n          choiceOf: (root: Root, id: string): Choice | undefined => {\n            if (choice === undefined) return undefined\n            const read = data.get(selection, id).read(root)\n            return read._tag === 'Ready' || read._tag === 'Refreshing'\n              ? { value: choice.value(read.value), label: choice.label(read.value) }\n              : undefined\n          },\n        }\n      },\n    }\n  },\n\n  /**\n   * A form's Submodel view as the view of the editor that wraps it, for\n   * `Bundle.withView`: the editor's Messages are the form's, and its Model holds\n   * the form's under `form`.\n   *\n   * ```ts\n   * Editor.bundle.pipe(Bundle.withView(Crud.editorView(FormView.submodel(form, view))))\n   * ```\n   */\n  editorView: <FormModel, Message, ViewInputs>(\n    view: Submodel.View<FormModel, Message, ViewInputs>,\n  ): Submodel.View<EditorModel<FormModel>, Message, ViewInputs> =>\n    Submodel.defineView<EditorModel<FormModel>, Message, ViewInputs>(((\n      model: EditorModel<FormModel>,\n      inputs: ViewInputs,\n      h: HtmlBuilder<Message>,\n    ): Html =>\n      (view as (model: FormModel, inputs: ViewInputs, h: HtmlBuilder<Message>) => Html)(\n        model.form,\n        inputs,\n        h,\n      )) as never),\n\n  /**\n   * The choices of every relation picker in a form, from the lists of their\n   * targets: `foldkit-mixins-form`'s `options`, keyed by the form's keys. A\n   * picker whose target no list here is over is a wiring mistake, reported now.\n   *\n   * With `chosen`, the form's Model as the page has it, what a picker already\n   * holds stays among its choices when the list no longer finds it (a search\n   * narrowed it, or it is on a later page), and `active` requires those rows so\n   * their words are there. Give `chosen` to any form whose pickers search.\n   */\n  options: <Key extends string, Root, FormModel = never>(\n    form: {\n      readonly controls: ReadonlyArray<FormControl<Key>>\n      readonly field?: (model: FormModel, key: never) => { readonly value: unknown }\n    },\n    lists: ReadonlyArray<{\n      readonly name: string\n      readonly entity: AnyEntity\n      readonly offersChoices: boolean\n      readonly owner: object\n      readonly choices: (root: Root) => ReadonlyArray<Choice>\n      readonly row: (id: string) => Projection<Root, RemoteData<any>>\n      readonly choiceOf: (root: Root, id: string) => Choice | undefined\n    }>,\n    options: { readonly chosen?: (root: Root) => FormModel | undefined } = {},\n  ) => {\n    const pickers = form.controls.flatMap(({ key, control }) => {\n      if (!Input.RelationOne.is(control) && !Input.RelationMany.is(control)) return []\n      const { target } = control.data\n      const list = lists.find(candidate => Entity.same(candidate.entity, target))\n      if (list === undefined)\n        throw new Error(\n          `Crud.options: \"${key}\" picks a ${target.name}, and no list given is over ${target.name}`,\n        )\n      if (!list.offersChoices)\n        throw new Error(\n          `Crud.options: \"${key}\" would pick from list \"${list.name}\", which has no \"choice\"`,\n        )\n      return [[key, list] as const]\n    })\n\n    /** The ids each picker holds now: the draft of a `one`, or of a `many`. */\n    const held = (root: Root): ReadonlyArray<readonly [Key, (typeof lists)[number], string]> => {\n      const model = options.chosen?.(root)\n      const field = form.field as\n        ((model: FormModel, key: string) => { readonly value: unknown }) | undefined\n      if (model === undefined || field === undefined) return []\n      return pickers.flatMap(([key, list]) => {\n        const draft = field(model, key).value\n        const ids = Array.isArray(draft) ? draft : typeof draft === 'string' ? [draft] : []\n        return ids\n          .filter((id): id is string => typeof id === 'string' && id !== '')\n          .map(id => [key, list, id] as const)\n      })\n    }\n\n    const choices = (root: Root): { readonly [K in Key]?: ReadonlyArray<Choice> } => {\n      const chosen = held(root)\n      return Object.fromEntries(\n        pickers.map(([key, list]) => {\n          const listed = list.choices(root)\n          const missing = chosen\n            .filter(([heldBy, , id]) => heldBy === key && !listed.some(item => item.value === id))\n            .flatMap(([, , id]) => list.choiceOf(root, id) ?? [])\n          // What is chosen leads, so it is in reach whatever the list shows.\n          return [key, [...missing, ...listed]]\n        }),\n      ) as unknown as { readonly [K in Key]?: ReadonlyArray<Choice> }\n    }\n\n    const [first] = lists\n    return Object.assign(choices, {\n      /** For `Data.subscriptions`: what the pickers hold is read, so it can be named. */\n      active: {\n        name: `${pickers.map(([key]) => key).join('+')} chosen`,\n        owner: first?.owner ?? {},\n        projectionOf: (root: Root) => {\n          const rows = held(root)\n          return rows.length === 0\n            ? undefined\n            : Projection.struct(\n                Object.fromEntries(rows.map(([key, list, id]) => [`${key}:${id}`, list.row(id)])),\n              )\n        },\n      } satisfies ActiveSurface<Root>,\n    })\n  },\n\n  /**\n   * What the pieces on a page require of Remote, by the names given: a placed\n   * editor, list, or detail, or the pickers from `Crud.options`. It is each one's\n   * `active`, gathered, so handing the pieces over is enough and none is left out:\n   *\n   * ```ts\n   * Data.wiring(Crud.actives({ posts: Posts, authors: Authors, editor: PostEditor, pickers }))\n   * ```\n   */\n  actives: <const Pieces extends Readonly<Record<string, { readonly active: unknown }>>>(\n    pieces: Pieces,\n  ): { readonly [K in keyof Pieces]: Pieces[K]['active'] } =>\n    Object.fromEntries(Object.entries(pieces).map(([name, piece]) => [name, piece.active])) as {\n      readonly [K in keyof Pieces]: Pieces[K]['active']\n    },\n\n  /**\n   * An editor for one form and the mutation its value feeds. The form's value\n   * must be the mutation's input, which is what declaring the input once and\n   * giving it to both guarantees.\n   */\n  editor: <\n    const Name extends string,\n    FormName extends string,\n    FormModel,\n    FormMessage extends { readonly _tag: string },\n    Value,\n    E extends AnyEntity,\n    Fields extends Schema.Struct.Fields,\n    Members,\n    R = never,\n  >(\n    name: Name,\n    config: {\n      readonly form: EditableForm<FormName, FormModel, FormMessage, Value, E, Fields, Members, R>\n      readonly mutation: MutationDescriptor<string, Value, any>\n    },\n  ) => {\n    type Model = EditorModel<FormModel>\n    const { form, mutation } = config\n\n    const closed: Model = {\n      form: form.initial,\n      mode: 'closed',\n      target: null,\n      filled: false,\n      requestId: null,\n    }\n    const Model = Schema.Struct({\n      form: form.bundle.Model,\n      mode: Schema.Literals(['closed', 'new', 'edit']),\n      target: Schema.NullOr(Schema.String),\n      filled: Schema.Boolean,\n      requestId: Schema.NullOr(Schema.String),\n    }) as unknown as Schema.Codec<Model, unknown>\n\n    // The editor's Messages are the form's own: it adds state around the form,\n    // not a second vocabulary.\n    const bundle = Bundle.make(name, {\n      Model,\n      Message: form.bundle.Message,\n      init: () => ({ model: closed }),\n      update: (model: Model, message: FormMessage) => {\n        const next = form.bundle.update(model.form, message, undefined)\n        // An edit after a save starts a new round; the last save no longer describes the form.\n        const requestId = message._tag === 'Changed' ? null : model.requestId\n        // The form's Commands are the editor's: a check the form started has to run.\n        const edited = {\n          model: { ...model, form: next.model, requestId },\n          ...(next.commands === undefined ? {} : { commands: next.commands }),\n        }\n        return next.outMessage === undefined ? edited : { ...edited, outMessage: next.outMessage }\n      },\n      helpers: {\n        /** Edits `id`: the form is emptied, and filled once the current values arrive. */\n        open: (_: Model, id: IdOf<E>) => ({\n          model: { ...closed, mode: 'edit' as const, target: id },\n        }),\n        /** A blank form for a new one: nothing to load. */\n        blank: () => ({ model: { ...closed, mode: 'new' as const, filled: true } }),\n        close: () => ({ model: closed }),\n      },\n    })\n\n    const current = Entity.selectFor(form.input)\n\n    return {\n      bundle,\n      /** What the editor loads before it shows the form: every member the form writes. */\n      selection: current,\n\n      /**\n       * The editor where it lives: `model` is its slice of the parent Model (the\n       * field it was declared at), and `data` the Remote domain that registers the\n       * mutation and the Entity.\n       */\n      at: <Root>(where: {\n        readonly data: DomainLike<Root>\n        readonly model: ModelRef<Root, Model>\n      }) => {\n        const { data, model: slice } = where\n        const loaded = (root: Root): RemoteData<any> | undefined => {\n          const { mode, target } = slice.get(root)\n          return mode === 'edit' && target !== null\n            ? data.get(current, target).read(root)\n            : undefined\n        }\n\n        /** Shows the loaded value once, the first time it is there. Later refreshes leave the drafts alone. */\n        const sync: Update.Step<Root, never, never> = root => {\n          const editor = slice.get(root)\n          const read = loaded(root)\n          if (editor.filled || read === undefined) return { model: root }\n          if (read._tag !== 'Ready' && read._tag !== 'Refreshing') return { model: root }\n          const values = Entity.valuesFor(form.input, read.value) as Partial<Value>\n          return {\n            model: slice.set(root, {\n              ...editor,\n              form: form.fill(editor.form, values).model,\n              filled: true,\n            }),\n          }\n        }\n\n        const saveOf = (root: Root): MutationStatus => {\n          const { requestId } = slice.get(root)\n          return requestId === null ? { _tag: 'Unknown' } : data.mutation(root, requestId)\n        }\n\n        return {\n          /** For the placement: a valid submit becomes the mutation, and its request is remembered. */\n          onOut:\n            (submitted: Submitted<Value>): Step<Root> =>\n            root => {\n              const started = data.mutate(root, mutation, submitted.value)\n              const editor = slice.get(started.model)\n              return {\n                model: slice.set(started.model, { ...editor, requestId: started.requestId }),\n                commands: [started.command],\n              }\n            },\n\n          /**\n           * For `Data.subscriptions`: while an id is being edited, what it loads is\n           * a requirement like any Surface's, so Remote fetches and retains it.\n           */\n          active: {\n            name,\n            owner: data.contract.owner ?? {},\n            projectionOf: root => {\n              const { mode, target } = slice.get(root)\n              return mode === 'edit' && target !== null ? data.get(current, target) : undefined\n            },\n          } satisfies ActiveSurface<Root>,\n\n          sync,\n\n          /**\n           * Wraps the application's `update` so `sync` runs after every Message:\n           * the value may arrive with any of them.\n           */\n          after:\n            <Message, Result extends { readonly model: Root }>(\n              update: (model: Root, message: Message) => Result,\n            ) =>\n            (model: Root, message: Message): Result => {\n              const next = update(model, message)\n              return { ...next, model: sync(next.model).model }\n            },\n\n          /** Why the last save failed, while `status` is `SaveFailed`. */\n          saveError: (root: Root): RemoteError | undefined => {\n            const save = saveOf(root)\n            return save._tag === 'Failed' ? save.error : undefined\n          },\n\n          /** The id being edited, typed as the Entity's own; `null` for a new one or a closed editor. */\n          target: (root: Root): IdOf<E> | null => slice.get(root).target as IdOf<E> | null,\n          status: (root: Root): EditorStatus => {\n            const editor = slice.get(root)\n            if (editor.mode === 'closed') return 'Closed'\n            // Gone outranks everything: a save that landed describes a thing that no longer exists.\n            const read = loaded(root)\n            if (read?._tag === 'NotFound') return 'NotFound'\n            const save = saveOf(root)\n            if (save._tag === 'Pending') return 'Saving'\n            if (save._tag === 'Failed') return 'SaveFailed'\n            if (save._tag === 'Applied') return 'Saved'\n            if (editor.filled) return 'Editing'\n            return read?._tag === 'Failed' ? 'LoadFailed' : 'Loading'\n          },\n        }\n      },\n    }\n  },\n}\n\nexport { Display, type DisplayColumn, type DisplayKind, type DisplayWords } from './display.js'\nexport { Sort, type SortState, type SortedColumn } from './sort.js'\n"],"mappings":";;;;;;;;;;;;;;;AAyDA,MAAM,MAAM,SAAS,IAAa,wBAAwB;CAExD,QAAO,aAAY,SAAS,MAAM,EAAE;CACpC,YAAW,YAAW,QAAQ;AAChC,CAAC;AAOD,MAAM,cAAc,WAAgC;CAClD,MAAM,MAAM,OAAO,OAAO,MAAM,CAAC,CAAC;CAClC,MAAM,UACJ,IAAI,SAAS,WACR,IAAI,SAAS,CAAC,EAAA,CAAG,QAAO,WAAU,OAAO,SAAS,UAAU,OAAO,SAAS,WAAW,IACxF,CAAC,GAAG;CACV,MAAM,CAAC,QAAQ;CACf,IAAI,QAAQ,WAAW,KAAK,MAAM,SAAS,UAAU,OAAO,QAAQ,GAAG,CAAC,CAAC;CACzE,IAAI,QAAQ,WAAW,KAAK,MAAM,SAAS,WAAW,OAAO,KAAK,GAAG,OAAO;CAC5E,OAAO,KAAK,GAAG,CAAC,CAAC;AACnB;;AAGA,MAAM,QACJ,MACA,UAIuB;CACvB,MAAM;CACN,KAAI,SACF,OAAO,OAAO;EACZ,MAAM;EACN,OAAO,KAAK,SAAS;EACrB;EACA,OAAO,OAAgB,UAAwB,KAAK,KAAK,MAAM,OAAO,KAAK;CAC7E,CAAC;CACH,KAAK,YAAsC,QAAQ,SAAS;AAC9D;AAEA,MAAM,QAAQ,SAAkB,OAAgB,QAAsB,CAAC,MACrE,UAAU,QAAQ,UAAU,KAAA,IAAa,MAAM,WAAW,KAAM,QAAQ,KAAK,OAAO,KAAK;AAE3F,MAAM,OAAO,KAAqE,QAAQ,EACxF,OAAO,MAAM,UAAW,KAAK,WAAW,KAAA,IAAY,OAAO,KAAK,IAAI,KAAK,OAAO,KAAK,EACvF,CAAC;AACD,MAAM,UAAU,KAAoE,UAAU,EAC5F,OAAO,MAAM,UACX,OAAO,UAAU,YAAY,KAAK,WAAW,KAAA,IAAY,KAAK,OAAO,KAAK,IAAI,OAAO,KAAK,EAC9F,CAAC;AACD,MAAM,OAAO,KAAK,QAAQ,EACxB,OAAO,GAAG,OAAO,UAAW,UAAU,OAAQ,MAAM,OAAO,QAAU,MAAM,MAAM,KACnF,CAAC;AACD,MAAM,SAAS,KAAK,UAAU;CAAE,OAAO;CAAO,YAAY;AAAG,CAAC;;AAE9D,MAAM,MAAM,KAA6D,OAAO,EAC9E,OAAO,GAAG,OAAO,UAAU;CACzB,MAAM,OAAO,MAAM,QAAQ,KAAK,IAAI,QAAQ,CAAC,KAAK,EAAA,CAAG,KAAI,QACvD,OAAO,QAAQ,YAAY,QAAQ,QAAQ,QAAQ,MAAM,OAAO,IAAI,EAAE,IAAI,OAAO,GAAG,CACtF;CACA,OAAO,IAAI,WAAW,IAAK,MAAM,WAAW,KAAM,IAAI,KAAK,MAAM,aAAa,IAAI;AACpF,EACF,CAAC;;;;;AAKD,MAAM,SAAS,KAIZ,UAAU,EACX,OAAO,MAAM,OAAO,UAAU;CAC5B,MAAM,OAAO,SACX,KAAK,QACF,QAAO,WAAU,OAAO,QAAQ,KAAK,CAAC,CACtC,KAAI,WACH,KACE,OAAO,SACN,OAAoD,OAAO,MAC5D,KACF,CACF,CAAC,CACA,QAAO,SAAQ,SAAS,EAAE,CAAC,CAC3B,KAAK,GAAG;CACb,MAAM,QACJ,KAAK,UAAU,QACX,CAAC,KAAK,IACN,KAAK,UAAU,SACX,MAAsD,SAAS,CAAC,IACjE;CACT,OAAO,MAAM,WAAW,IAAK,MAAM,WAAW,KAAM,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,MAAM,aAAa,IAAI;AACjG,EACF,CAAC;AAED,MAAM,UAAiC,OAAO,OAAO,CAAC,CAAC;AAEvD,MAAa,UAAU;;;;;;;CAOrB;CAGA;CACA,QAAQ;CACR;CACA;CACA;CACA;CAEA,OAAO,WAAiD,KAAK,GAAG,EAAE,OAAO,CAAC;CAC1E,SAAS,WAAgD,QAAQ,GAAG,EAAE,OAAO,CAAC;CAC9E,YAAqB,KAAK,GAAG,OAAO;;CAEpC,cAAuB,OAAO,GAAG,OAAO;;;;;CAMxC,KAAK,YAAqB,IAAI,GAAG,OAAO;;;;;;;CAQxC,UACE,QACA,WAIY;EACZ,MAAM,CAAC,YAAY,IAAI,IAAI,OAAO,QAAQ;EAC1C,IAAI,aAAa,KAAA,GAAW,OAAO;EACnC,IAAI,OAAO,SAAS,YAAY,OAAO,WAAW,OAAO,MAAoB;EAC7E,MAAM,SAAS,OAAO,OAAO;EAC7B,OAAO,WAAW,KAAA,IACd,IAAI,GAAG;GAAE;GAAQ,MAAM,OAAO,gBAAgB;EAAO,CAAC,IACtD,OAAO,GAAG;GAAE;GAAQ,OAAO,OAAO;GAAO,SAAS,OAAO;EAAQ,CAAC;CACxE;;;;;;CAOA;AACF;;;;;;;;;ACjMA,MAAa,OAAO;;;;;;AAMlB,OAA6D,YAAqB;;CAIhF,MAAM,UAAU,SAAgB,WAC9B,YAAY,QAAQ,QAAQ,OAAO,SAC/B;EAAE,IAAI;EAAQ,WAAW;CAAM,IAC/B,QAAQ,cAAc,QACpB;EAAE,IAAI;EAAQ,WAAW;CAAO,IAChC;CACR,OAAO;EACL;;EAEA,QAAQ,OAAO,OACb,OAAO,OAAO;GACZ,IAAI,OAAO,SAAS,OAAO;GAC3B,WAAW,OAAO,SAAS,CAAC,OAAO,MAAM,CAAC;EAC5C,CAAC,CACH;;EAEA,MAAM;EACN;;;;;EAKA,SACE,SACA,YAEA,OAAO,YACL,QAAQ,KAAI,WAAU,CACpB,QACA;GACE,WAAW,SAAS,OAAO,SAAS,QAAQ,YAAY,KAAA;GACxD,SAAS,QAAQ,OAAO,SAAS,MAAM,CAAC;EAC1C,CACF,CAAC,CACH;CACJ;AACF,EACF;;;;;;;;;;;;;ACkFA,MAAM,eAAe,KAAa,WAAiC;CACjE,MAAM,QACJ,OAAO,SAAS,aACZ,KAAA,IACA,OAAO,mBAAmB,OAAO,MAAoB,CAAC,EAAE;CAC9D,OAAO,OAAO,UAAU,WAAW,QAAS,KAAK,QAAQ,MAAM,KAAK;AACtE;;AAKA,MAAM,aACJ,cACsD;CACtD,MAAM,UAAkD,UAAU,OAAO;CACzE,MAAM,WAAW,UAAU;CAG3B,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,KAAI,QAAO;EACtC,MAAM,SAAS,QAAQ;EACvB,MAAM,MAAM,SAAS;EAErB,MAAM,SACJ,QAAQ,QAAQ,OAAO,SAAS,aAC5B,KAAA,IACA,uBAAuB,MACrB;GAAE,OAAO;GAAiB,SAAS,UAAU,IAAI,SAAS;EAAE,IAC5D;GACE,OAAO,OAAO,gBAAgB,SAAU,SAAoB;GAC5D,SAAS,UAAU,GAAG;EACxB;EACR,OAAO;GACA;GACL,OAAO,YAAY,KAAK,MAAM;GAC9B;GACA,SAAS,QAAQ,QAAQ,QAAQ,MAAM;EACzC;CACF,CAAC;AACH;AAEA,MAAM,iBAAiB,mBAAmB;CAAE,WAAW,CAAC;CAAG,WAAW,CAAC;AAAE,CAAC;AAG1E,MAAM,OAAqB;CAAE,QAAQ;CAAM,WAAW;AAAK;AAE3D,MAAa,OAAO;;;;;CAKlB,SACE,MACA,YAGI;EACJ;;EAEA,QAAQ,UAAU,OAAO,SAAS;;EAElC,OAAO,KAAA;;EAGP,KAAW,UAGL;GACJ,MAAM,gBAAgB,SAAe;IACnC,MAAM,KAAK,MAAM,GAAG,IAAI;IACxB,OAAO,OAAO,KAAA,IAAY,KAAA,IAAY,MAAM,KAAK,IAAI,OAAO,WAAW,EAAE;GAC3E;GACA,OAAO;;IAEL,QAAQ;KACN;KACA,OAAO,MAAM,KAAK,SAAS,SAAS,CAAC;KACrC;IACF;IACA,QAAQ,SACN,aAAa,IAAI,CAAC,EAAE,KAAK,IAAI,KAAK,EAAE,MAAM,UAAU;;;;;;IAMtD,UAAU,SAAqB;KAC7B,MAAM,aAAa,aAAa,IAAI;KACpC,OAAO,eAAe,KAAA,IAAY,OAAO,MAAM,KAAK,QAAQ,MAAM,UAAU;IAC9E;GACF;EACF;CACF;;;;;;CAOA,UAME,MACA,WAaG;EAEH,MAAM,YAAY,OAChB,WAAW,SAAS,OAAO,MAAM,EAAQ,IAAK,GAAG,OAAO,KAAK,GAAG;EAmBlE,OAAO;GACL,QAnBa,OAAO,KAAK,MAAM;IAC/B,OAAO,OAAO,OAAO;KACnB,QAAQ,OAAO,OAAO,OAAO,MAAM;KACnC,WAAW,OAAO,OAAO,OAAO,MAAM;IACxC,CAAC;IACD,SAAS;IACT,aAAa,EAAE,OAAO,KAAK;IAC3B,SAAS,OAAqB,YAC5B,QAAQ,SAAS,eAAe,MAAM,WAAW,OAC7C,EAAE,OAAO,KAAK,IACd;KAAE;KAAO,YAAY;MAAE,MAAM;MAAa,IAAI,MAAM;KAAO;IAAsB;IACvF,SAAS;;KAEP,MAAM,GAAiB,QAAiB,EAAE,OAAO;MAAE,QAAQ;MAAI,WAAW;KAAK,EAAE;KACjF,gBAAgB,EAAE,OAAO,KAAK;IAChC;GACF,CAGO;;GAEL,SAAS;GAET,KAAW,UAGL;IACJ,MAAM,EAAE,MAAM,OAAO,UAAU;IAC/B,MAAM,WAAW,SAA+B;KAC9C,MAAM,EAAE,cAAc,MAAM,IAAI,IAAI;KACpC,OAAO,cAAc,OAAO,EAAE,MAAM,UAAU,IAAI,KAAK,SAAS,MAAM,SAAS;IACjF;IACA,OAAO;;KAEL,QACG,eACD,SAAQ;MACN,MAAM,UAAU,KAAK,OAAO,MAAM,OAAO,UAAU,SAAS,UAAU,EAAE,CAAC;MACzE,OAAO;OACL,OAAO,MAAM,IAAI,QAAQ,OAAO;QAC9B,QAAQ,UAAU;QAClB,WAAW,QAAQ;OACrB,CAAC;OACD,UAAU,CAAC,QAAQ,OAAO;MAC5B;KACF;;KAGF,SAAS,SAA+B,MAAM,IAAI,IAAI,CAAC,CAAC;KAExD,SAAS,SAA8B;MACrC,MAAM,EAAE,WAAW,MAAM,IAAI,IAAI;MACjC,MAAM,WAAW,QAAQ,IAAI;MAC7B,OAAO,SAAS,SAAS,YACrB,aACA,SAAS,SAAS,YAChB,YACA,SAAS,SAAS,WAChB,iBACA,WAAW,OACT,SACA;KACZ;;KAGA,QAAQ,SAAwC;MAC9C,MAAM,WAAW,QAAQ,IAAI;MAC7B,OAAO,SAAS,SAAS,WAAW,SAAS,QAAQ,KAAA;KACvD;IACF;GACF;EACF;CACF;;;;;CAMA,OAOE,MACA,WAeG;EACH,MAAM,EAAE,OAAO,WAAW,WAAW,IAAI,WAAW;EAGpD,OAAO;GACL;;GAEA,SALc,UAAU,SAKlB;;GAEN,KAAK,KAAA;;;;;GAML,KAAW,UAGL;IACJ,MAAM,EAAE,MAAM,UAAU;IACxB,MAAM,gBAAgB,SAAe;KACnC,MAAM,QAAQ,MAAM,IAAI;KACxB,OAAO,UAAU,KAAA,IACb,KAAA,IACA,KAAK,MAAM,OAAO,OAAO;MAAE,QAAQ;MAAW,OAAO;KAAS,CAAC;IACrE;IACA,MAAM,QAAQ,SACZ,aAAa,IAAI,CAAC,EAAE,KAAK,IAAI,KAAK,EAAE,MAAM,UAAU;IAEtD,OAAO;;KAEL,QAAQ;MACN;MACA,OAAO,KAAK,SAAS,SAAS,CAAC;MAC/B;KACF;KAEA;;KAGA,OAAO,SAAwE;MAC7E,MAAM,aAAa,aAAa,IAAI;MACpC,MAAM,OAAO,eAAe,KAAA,IAAY,KAAA,IAAY,KAAK,KAAK,MAAM,UAAU;MAC9E,OAAO,SAAS,KAAA,IAAY,KAAA,IAAY,KAAK,MAAM,IAAI;KACzD;;;;;;KAOA,UAAU,SAAqB;MAC7B,MAAM,aAAa,aAAa,IAAI;MACpC,OAAO,eAAe,KAAA,IAAY,OAAO,KAAK,QAAQ,MAAM,UAAU;KACxE;KAEA;;KAEA,OAAO,KAAK,SAAS,SAAS,CAAC;;;;;KAK/B,MAAM,OAAkD,KAAK,IAAI,WAAW,EAAE;;KAE9E,QAAQ,UAAU;;KAElB,eAAe,WAAW,KAAA;;;;;;KAO1B,UAAU,SAAsC;MAC9C,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,MAAM,cAAc,KAAK,kDAAkD;MACvF,MAAM,OAAO,KAAK,IAAI;MACtB,OAAO,KAAK,SAAS,WAAW,KAAK,SAAS,eAC1C,KAAK,MAAM,MAAM,KAAI,SAAQ;OAC3B,OAAO,OAAO,MAAM,GAAG;OACvB,OAAO,OAAO,MAAM,GAAG;MACzB,EAAE,IACF,CAAC;KACP;;KAGA,WAAW,MAAY,OAAmC;MACxD,IAAI,WAAW,KAAA,GAAW,OAAO,KAAA;MACjC,MAAM,OAAO,KAAK,IAAI,WAAW,EAAE,CAAC,CAAC,KAAK,IAAI;MAC9C,OAAO,KAAK,SAAS,WAAW,KAAK,SAAS,eAC1C;OAAE,OAAO,OAAO,MAAM,KAAK,KAAK;OAAG,OAAO,OAAO,MAAM,KAAK,KAAK;MAAE,IACnE,KAAA;KACN;IACF;GACF;EACF;CACF;;;;;;;;;;CAWA,aACE,SAEA,SAAS,aACP,OACA,QACA,MAEC,KACC,MAAM,MACN,QACA,CACF,EAAW;;;;;;;;;;;CAYf,UACE,MAIA,OASA,UAAuE,CAAC,MACrE;EACH,MAAM,UAAU,KAAK,SAAS,SAAS,EAAE,KAAK,cAAc;GAC1D,IAAI,CAAC,MAAM,YAAY,GAAG,OAAO,KAAK,CAAC,MAAM,aAAa,GAAG,OAAO,GAAG,OAAO,CAAC;GAC/E,MAAM,EAAE,WAAW,QAAQ;GAC3B,MAAM,OAAO,MAAM,MAAK,cAAa,OAAO,KAAK,UAAU,QAAQ,MAAM,CAAC;GAC1E,IAAI,SAAS,KAAA,GACX,MAAM,IAAI,MACR,kBAAkB,IAAI,YAAY,OAAO,KAAK,8BAA8B,OAAO,MACrF;GACF,IAAI,CAAC,KAAK,eACR,MAAM,IAAI,MACR,kBAAkB,IAAI,0BAA0B,KAAK,KAAK,yBAC5D;GACF,OAAO,CAAC,CAAC,KAAK,IAAI,CAAU;EAC9B,CAAC;;EAGD,MAAM,QAAQ,SAA8E;GAC1F,MAAM,QAAQ,QAAQ,SAAS,IAAI;GACnC,MAAM,QAAQ,KAAK;GAEnB,IAAI,UAAU,KAAA,KAAa,UAAU,KAAA,GAAW,OAAO,CAAC;GACxD,OAAO,QAAQ,SAAS,CAAC,KAAK,UAAU;IACtC,MAAM,QAAQ,MAAM,OAAO,GAAG,CAAC,CAAC;IAEhC,QADY,MAAM,QAAQ,KAAK,IAAI,QAAQ,OAAO,UAAU,WAAW,CAAC,KAAK,IAAI,CAAC,EAAA,CAE/E,QAAQ,OAAqB,OAAO,OAAO,YAAY,OAAO,EAAE,CAAC,CACjE,KAAI,OAAM;KAAC;KAAK;KAAM;IAAE,CAAU;GACvC,CAAC;EACH;EAEA,MAAM,WAAW,SAAgE;GAC/E,MAAM,SAAS,KAAK,IAAI;GACxB,OAAO,OAAO,YACZ,QAAQ,KAAK,CAAC,KAAK,UAAU;IAC3B,MAAM,SAAS,KAAK,QAAQ,IAAI;IAKhC,OAAO,CAAC,KAAK,CAAC,GAJE,OACb,QAAQ,CAAC,UAAU,QAAQ,WAAW,OAAO,CAAC,OAAO,MAAK,SAAQ,KAAK,UAAU,EAAE,CAAC,CAAC,CACrF,SAAS,KAAK,QAAQ,KAAK,SAAS,MAAM,EAAE,KAAK,CAAC,CAE9B,GAAG,GAAG,MAAM,CAAC;GACtC,CAAC,CACH;EACF;EAEA,MAAM,CAAC,SAAS;EAChB,OAAO,OAAO,OAAO,SAAS;;AAE5B,QAAQ;GACN,MAAM,GAAG,QAAQ,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE;GAC/C,OAAO,OAAO,SAAS,CAAC;GACxB,eAAe,SAAe;IAC5B,MAAM,OAAO,KAAK,IAAI;IACtB,OAAO,KAAK,WAAW,IACnB,KAAA,IACA,WAAW,OACT,OAAO,YAAY,KAAK,KAAK,CAAC,KAAK,MAAM,QAAQ,CAAC,GAAG,IAAI,GAAG,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAClF;GACN;EACF,EACF,CAAC;CACH;;;;;;;;;;CAWA,UACE,WAEA,OAAO,YAAY,OAAO,QAAQ,MAAM,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC;;;;;;CASxF,SAWE,MACA,WAIG;EAEH,MAAM,EAAE,MAAM,aAAa;EAE3B,MAAM,SAAgB;GACpB,MAAM,KAAK;GACX,MAAM;GACN,QAAQ;GACR,QAAQ;GACR,WAAW;EACb;EACA,MAAM,QAAQ,OAAO,OAAO;GAC1B,MAAM,KAAK,OAAO;GAClB,MAAM,OAAO,SAAS;IAAC;IAAU;IAAO;GAAM,CAAC;GAC/C,QAAQ,OAAO,OAAO,OAAO,MAAM;GACnC,QAAQ,OAAO;GACf,WAAW,OAAO,OAAO,OAAO,MAAM;EACxC,CAAC;EAID,MAAM,SAAS,OAAO,KAAK,MAAM;GAC/B;GACA,SAAS,KAAK,OAAO;GACrB,aAAa,EAAE,OAAO,OAAO;GAC7B,SAAS,OAAc,YAAyB;IAC9C,MAAM,OAAO,KAAK,OAAO,OAAO,MAAM,MAAM,SAAS,KAAA,CAAS;IAE9D,MAAM,YAAY,QAAQ,SAAS,YAAY,OAAO,MAAM;IAE5D,MAAM,SAAS;KACb,OAAO;MAAE,GAAG;MAAO,MAAM,KAAK;MAAO;KAAU;KAC/C,GAAI,KAAK,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,UAAU,KAAK,SAAS;IACnE;IACA,OAAO,KAAK,eAAe,KAAA,IAAY,SAAS;KAAE,GAAG;KAAQ,YAAY,KAAK;IAAW;GAC3F;GACA,SAAS;;IAEP,OAAO,GAAU,QAAiB,EAChC,OAAO;KAAE,GAAG;KAAQ,MAAM;KAAiB,QAAQ;IAAG,EACxD;;IAEA,cAAc,EAAE,OAAO;KAAE,GAAG;KAAQ,MAAM;KAAgB,QAAQ;IAAK,EAAE;IACzE,cAAc,EAAE,OAAO,OAAO;GAChC;EACF,CAAC;EAED,MAAM,UAAU,OAAO,UAAU,KAAK,KAAK;EAE3C,OAAO;GACL;;GAEA,WAAW;;;;;;GAOX,KAAW,UAGL;IACJ,MAAM,EAAE,MAAM,OAAO,UAAU;IAC/B,MAAM,UAAU,SAA4C;KAC1D,MAAM,EAAE,MAAM,WAAW,MAAM,IAAI,IAAI;KACvC,OAAO,SAAS,UAAU,WAAW,OACjC,KAAK,IAAI,SAAS,MAAM,CAAC,CAAC,KAAK,IAAI,IACnC,KAAA;IACN;;IAGA,MAAM,QAAwC,SAAQ;KACpD,MAAM,SAAS,MAAM,IAAI,IAAI;KAC7B,MAAM,OAAO,OAAO,IAAI;KACxB,IAAI,OAAO,UAAU,SAAS,KAAA,GAAW,OAAO,EAAE,OAAO,KAAK;KAC9D,IAAI,KAAK,SAAS,WAAW,KAAK,SAAS,cAAc,OAAO,EAAE,OAAO,KAAK;KAC9E,MAAM,SAAS,OAAO,UAAU,KAAK,OAAO,KAAK,KAAK;KACtD,OAAO,EACL,OAAO,MAAM,IAAI,MAAM;MACrB,GAAG;MACH,MAAM,KAAK,KAAK,OAAO,MAAM,MAAM,CAAC,CAAC;MACrC,QAAQ;KACV,CAAC,EACH;IACF;IAEA,MAAM,UAAU,SAA+B;KAC7C,MAAM,EAAE,cAAc,MAAM,IAAI,IAAI;KACpC,OAAO,cAAc,OAAO,EAAE,MAAM,UAAU,IAAI,KAAK,SAAS,MAAM,SAAS;IACjF;IAEA,OAAO;;KAEL,QACG,eACD,SAAQ;MACN,MAAM,UAAU,KAAK,OAAO,MAAM,UAAU,UAAU,KAAK;MAC3D,MAAM,SAAS,MAAM,IAAI,QAAQ,KAAK;MACtC,OAAO;OACL,OAAO,MAAM,IAAI,QAAQ,OAAO;QAAE,GAAG;QAAQ,WAAW,QAAQ;OAAU,CAAC;OAC3E,UAAU,CAAC,QAAQ,OAAO;MAC5B;KACF;;;;;KAMF,QAAQ;MACN;MACA,OAAO,KAAK,SAAS,SAAS,CAAC;MAC/B,eAAc,SAAQ;OACpB,MAAM,EAAE,MAAM,WAAW,MAAM,IAAI,IAAI;OACvC,OAAO,SAAS,UAAU,WAAW,OAAO,KAAK,IAAI,SAAS,MAAM,IAAI,KAAA;MAC1E;KACF;KAEA;;;;;KAMA,QAEI,YAED,OAAa,YAA6B;MACzC,MAAM,OAAO,OAAO,OAAO,OAAO;MAClC,OAAO;OAAE,GAAG;OAAM,OAAO,KAAK,KAAK,KAAK,CAAC,CAAC;MAAM;KAClD;;KAGF,YAAY,SAAwC;MAClD,MAAM,OAAO,OAAO,IAAI;MACxB,OAAO,KAAK,SAAS,WAAW,KAAK,QAAQ,KAAA;KAC/C;;KAGA,SAAS,SAA+B,MAAM,IAAI,IAAI,CAAC,CAAC;KACxD,SAAS,SAA6B;MACpC,MAAM,SAAS,MAAM,IAAI,IAAI;MAC7B,IAAI,OAAO,SAAS,UAAU,OAAO;MAErC,MAAM,OAAO,OAAO,IAAI;MACxB,IAAI,MAAM,SAAS,YAAY,OAAO;MACtC,MAAM,OAAO,OAAO,IAAI;MACxB,IAAI,KAAK,SAAS,WAAW,OAAO;MACpC,IAAI,KAAK,SAAS,UAAU,OAAO;MACnC,IAAI,KAAK,SAAS,WAAW,OAAO;MACpC,IAAI,OAAO,QAAQ,OAAO;MAC1B,OAAO,MAAM,SAAS,WAAW,eAAe;KAClD;IACF;GACF;EACF;CACF;AACF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "foldkit-crud",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "description": "Create, read, update and delete screens for Foldkit Plus, assembled from a form, a Remote operation, and the Entity they share. Each capability is declared, never implied.",
   "keywords": [
     "foldkit",
@@ -40,10 +40,11 @@
   ],
   "dependencies": {
     "foldkit-bundle": "0.2.0",
-    "foldkit-entity": "0.1.0",
-    "foldkit-form": "0.1.0",
-    "foldkit-remote": "0.4.0",
-    "foldkit-surface": "0.3.0"
+    "foldkit-entity": "0.3.0",
+    "foldkit-metadata": "0.1.0",
+    "foldkit-surface": "0.4.0",
+    "foldkit-form": "0.1.2",
+    "foldkit-remote": "0.6.0"
   },
   "peerDependencies": {
     "effect": "^4.0.0-rc.112",