@kestack/kabuki 0.0.0 → 0.0.2

package/dist/routing/capability/loading.d.ts

@@ -0,0 +1,82 @@
+import { Context, Effect, Layer, Stream } from 'effect';
+import type { LoadError, Outcome, PlaceSchema } from '../route/index.ts';
+/** A place to load: its dotted name and what its Loader is handed, every path param down to it and its own query. */
+export interface Wanted {
+    readonly name: string;
+    readonly params: Readonly<Record<string, unknown>>;
+}
+/**
+ * What loading one place came to, as `Loading` answers it. `stale` is a
+ * copy the Data cache kept: shown at once, and loaded again behind it.
+ * `at` is when the Data cache had the data arrive, in milliseconds since
+ * the epoch; `cached` that it is a copy; `took` how long its load took.
+ */
+export type Answer = Outcome & {
+    readonly stale?: boolean;
+    readonly at?: number;
+    /** From a copy the Data cache kept, not a load. */
+    readonly cached?: boolean;
+    /** How long, in milliseconds, from asking for it to its answer. */
+    readonly took?: number;
+};
+declare const Loading_base: Context.ServiceClass<Loading, "@kestack/kabuki/routing/Loading", {
+    /**
+     * Loads each place: from a copy the Data cache keeps, else from its
+     * Loader. `again`, behind a stale copy shown, never answers from a copy
+     * but joins a load on its way; `fresh`, a reload's, joins nothing.
+     */
+    readonly load: (places: ReadonlyArray<Wanted>, options?: {
+        readonly fresh?: boolean;
+        readonly again?: boolean;
+    }) => Effect.Effect<Readonly<Record<string, Answer>>>;
+    /**
+     * Loads the places at once, and answers each by its dotted name as it
+     * comes, so a quick place never waits on a slow one. The Data cache
+     * asks through this when there is one.
+     */
+    readonly each?: (places: ReadonlyArray<Wanted>) => Stream.Stream<readonly [string, Answer]>;
+    /** Starts loading the places the Data cache has no copy of, to keep: nothing waits for it. */
+    readonly preload?: (places: ReadonlyArray<Wanted>) => Effect.Effect<void>;
+    /** Drops every copy the Data cache keeps. */
+    readonly forget?: Effect.Effect<void>;
+    /**
+     * Keeps data a place already has, as if it had arrived `at`, now
+     * unless said: what a server drew the page with, so Back to it is at
+     * once. A copy already kept stays.
+     */
+    readonly keep?: (place: Wanted, data: unknown, at?: number) => Effect.Effect<void>;
+}>;
+/**
+ * The Capability the Router uses, if the Layer has it, to
+ * load the data of places: many at once, each answered on its own, never
+ * failing. In a browser under Start it is the Loader RPC's client behind
+ * the Data cache; in a test, a memory one. With none, a place with data
+ * stays loading.
+ */
+export declare class Loading extends Loading_base {
+}
+/** A Loader's run as what it came to: its data, not found, a Redirect, or what broke. */
+export declare const outcomeOf: <R>(run: Effect.Effect<unknown, LoadError, R>) => Effect.Effect<Outcome, never, R>;
+/** What `memory` needs of a Routes tree: every place, with its Render Mode. */
+export interface RoutesWithPlaces {
+    readonly every: ReadonlyArray<PlaceSchema>;
+    /** The Router's options: how many copies the Data cache keeps. */
+    readonly options?: {
+        readonly cacheSize?: number;
+    };
+}
+type AnyLoader = (params: never, request: Request) => Effect.Effect<unknown, LoadError, any>;
+type ServicesOf<L> = {
+    [K in keyof L & string]-?: L[K] extends (...args: never) => Effect.Effect<any, any, infer R> ? R : never;
+}[keyof L & string];
+/**
+ * A `Loading` that runs the Loaders in place, as `router.loaders` types them:
+ * for tests, stories, a server, and an app with no server. A dynamic or
+ * client place's Loader is handed `request()`, a plain GET of
+ * `http://memory/` by default.
+ */
+export declare const memory: <L extends Readonly<Record<string, AnyLoader>>>(routes: RoutesWithPlaces, loaders: L, options?: {
+    readonly request?: () => Request;
+}) => Layer.Layer<Loading, never, ServicesOf<L>>;
+export {};
+//# sourceMappingURL=loading.d.ts.map

package/dist/routing/capability/loading.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loading.d.ts","sourceRoot":"","sources":["../../../src/routing/capability/loading.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtE,OAAO,KAAK,EACV,SAAS,EACT,OAAO,EACP,WAAW,EAEZ,MAAM,mBAAmB,CAAC;AAE3B,qHAAqH;AACrH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAED;;;;;GAKG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,GAAG;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,mDAAmD;IACnD,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;;IAYE;;;;OAIG;mBACY,CACb,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAC7B,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,KAC7D,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD;;;;OAIG;oBACa,CACd,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,KAC1B,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,8FAA8F;uBAC3E,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACzE,6CAA6C;sBAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACrC;;;;OAIG;oBACa,CACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,OAAO,EACb,EAAE,CAAC,EAAE,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;;AAxC5B;;;;;;GAMG;AACH,qBAAa,OAAQ,SAAQ,YAmCS;CAAG;AASzC,yFAAyF;AACzF,eAAO,MAAM,SAAS,GAAI,CAAC,OACpB,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,KACxC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAe/B,CAAC;AAEJ,+EAA+E;AAC/E,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;IAC3C,kEAAkE;IAClE,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACpD;AAED,KAAK,SAAS,GAAG,CACf,MAAM,EAAE,KAAK,EACb,OAAO,EAAE,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;AAE5C,KAAK,UAAU,CAAC,CAAC,IAAI;KAClB,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CACtC,GAAG,IAAI,EAAE,KAAK,KACX,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GACjC,CAAC,GACD,KAAK;CACV,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;AAEpB;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,UAC1D,gBAAgB,WACf,CAAC,YACA;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,OAAO,CAAA;CAAE,KAC7C,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CA8CzC,CAAC"}

package/dist/routing/capability/loading.js

@@ -0,0 +1,53 @@
+import { Cause, Clock, Context, Effect, Layer, Stream } from 'effect';
+/**
+ * The Capability the Router uses, if the Layer has it, to
+ * load the data of places: many at once, each answered on its own, never
+ * failing. In a browser under Start it is the Loader RPC's client behind
+ * the Data cache; in a test, a memory one. With none, a place with data
+ * stays loading.
+ */
+export class Loading extends Context.Service()('@kestack/kabuki/routing/Loading') {
+}
+/** A Loader's Redirect as an outcome: to its Route or its URL, and permanent only if it said so. */
+const redirectOf = (error) => ({
+    _tag: 'Redirect',
+    ...(error.href === undefined ? { route: error.route } : { href: error.href }),
+    ...(error.permanent ? { permanent: true } : {}),
+});
+/** A Loader's run as what it came to: its data, not found, a Redirect, or what broke. */
+export const outcomeOf = (run) => run.pipe(Effect.map((data) => ({ _tag: 'Loaded', data })), Effect.catch((error) => Effect.succeed(error._tag === 'NotFound' ? { _tag: 'NotFound' } : redirectOf(error))), Effect.catchCause((cause) => {
+    const error = Cause.squash(cause);
+    return Effect.succeed({
+        _tag: 'Broken',
+        reason: error instanceof Error ? error.message : String(error),
+    });
+}));
+/**
+ * A `Loading` that runs the Loaders in place, as `router.loaders` types them:
+ * for tests, stories, a server, and an app with no server. A dynamic or
+ * client place's Loader is handed `request()`, a plain GET of
+ * `http://memory/` by default.
+ */
+export const memory = (routes, loaders, options) => Layer.effect(Loading, Effect.gen(function* () {
+    const services = yield* Effect.context();
+    const modes = new Map(routes.every.map((place) => [place.name, place]));
+    const request = options?.request ?? (() => new Request('http://memory/'));
+    const each = (places) => Stream.fromIterable(places).pipe(Stream.mapEffect((place) => {
+        const loader = loaders[place.name];
+        const run = Effect.suspend(() => !loader
+            ? Effect.die(new Error(`[@kestack/kabuki/routing] no Loader for ${place.name}`))
+            : modes.get(place.name)?.render === 'static'
+                ? loader(place.params)
+                : loader(place.params, request()));
+        return Effect.gen(function* () {
+            const began = yield* Clock.currentTimeMillis;
+            const outcome = yield* outcomeOf(run);
+            const took = (yield* Clock.currentTimeMillis) - began;
+            return [place.name, { ...outcome, took }];
+        });
+    }, { concurrency: 'unbounded', unordered: true }), Stream.provideContext(services));
+    return {
+        each,
+        load: (places) => Stream.runCollect(each(places)).pipe(Effect.map((answers) => Object.fromEntries(answers))),
+    };
+}));

package/dist/routing/capability/navigation.d.ts

@@ -0,0 +1,66 @@
+import { Context, Schema } from 'effect';
+import type { Effect } from 'effect';
+/** A Route of any app: what the router moves to. */
+export type AnyRoute = {
+    readonly _tag: string;
+};
+/** How an element is scrolled into view: as `Element.scrollIntoView` takes it. */
+export interface HashScrollOptions {
+    readonly behavior?: 'auto' | 'instant' | 'smooth';
+    readonly block?: 'start' | 'center' | 'end' | 'nearest';
+    readonly inline?: 'start' | 'center' | 'end' | 'nearest';
+}
+/** What a push or replace may say besides where it goes, as TanStack Router's navigations say it. */
+export interface MoveOptions {
+    /** `false`: the move leaves every scroll as it is, restoring and resetting nothing. */
+    readonly resetScroll?: boolean;
+    /** The element the move goes to on the page, by its id: `#setup`. */
+    readonly hash?: string;
+    /** How that element is scrolled into view; `false` leaves it. */
+    readonly hashScrollIntoView?: boolean | HashScrollOptions;
+}
+/** The Schemas of a move's options, for the Messages that carry them. */
+export declare const moveOptions: {
+    resetScroll: Schema.optionalKey<Schema.Boolean>;
+    hash: Schema.optionalKey<Schema.String>;
+    hashScrollIntoView: Schema.optionalKey<Schema.Union<readonly [Schema.Boolean, Schema.Struct<{
+        readonly behavior: Schema.optionalKey<Schema.Literals<readonly ["auto", "instant", "smooth"]>>;
+        readonly block: Schema.optionalKey<Schema.Literals<readonly ["start", "center", "end", "nearest"]>>;
+        readonly inline: Schema.optionalKey<Schema.Literals<readonly ["start", "center", "end", "nearest"]>>;
+    }>]>>;
+};
+declare const Navigation_base: Context.ServiceClass<Navigation, "@kestack/kabuki/routing/Navigation", {
+    readonly push: (to: AnyRoute, options?: MoveOptions) => Effect.Effect<void>;
+    readonly replace: (to: AnyRoute, options?: MoveOptions) => Effect.Effect<void>;
+    readonly back: Effect.Effect<void>;
+    readonly forward: Effect.Effect<void>;
+    /** Back, if the entry before is `route`; else replace this entry with it. */
+    readonly backTo: (to: AnyRoute) => Effect.Effect<void>;
+    /** Load every place on screen again, its data shown meanwhile, and drop every other copy the Data cache keeps. */
+    readonly reload: Effect.Effect<void>;
+    /** Warm the Data cache, and the code of the lazy Views, for a Route the app may move to. */
+    readonly preload: (to: AnyRoute) => Effect.Effect<void>;
+}>;
+/**
+ * The Capability the router Provides to everything below it: Requests that
+ * move the app, each one Message to the router, with who asked. Every page
+ * Requires it, so a page's Update returns `Router.push(…)` and the like as
+ * Commands; any other Actor below the router lists it in its Requires.
+ */
+export declare class Navigation extends Navigation_base {
+}
+/** Move to a Route, as a new entry: `{ resetScroll: false }` leaves the page scrolled as it is, `{ hash }` goes to an element on it. */
+export declare const push: (to: AnyRoute, options?: MoveOptions) => import("../../core/actor/types.ts").Command<void, Navigation>;
+/** Put a Route in place of this entry: Back skips what was here. */
+export declare const replace: (to: AnyRoute, options?: MoveOptions) => import("../../core/actor/types.ts").Command<void, Navigation>;
+/** The browser's Back, or the memory history's. */
+export declare const back: () => import("../../core/actor/types.ts").Command<void, Navigation>;
+export declare const forward: () => import("../../core/actor/types.ts").Command<void, Navigation>;
+/** Close something with a Route of its own, like a dialog: Back if the app came from `route`, else replace this entry with it. */
+export declare const backTo: (to: AnyRoute) => import("../../core/actor/types.ts").Command<void, Navigation>;
+/** Load every place on screen again, as after a save: the data shown stays until the new data comes. */
+export declare const reload: () => import("../../core/actor/types.ts").Command<void, Navigation>;
+/** Warm the Data cache for a Route the app may move to next. */
+export declare const preload: (to: AnyRoute) => import("../../core/actor/types.ts").Command<void, Navigation>;
+export {};
+//# sourceMappingURL=navigation.d.ts.map

package/dist/routing/capability/navigation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation.d.ts","sourceRoot":"","sources":["../../../src/routing/capability/navigation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGrC,oDAAoD;AACpD,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjD,kFAAkF;AAClF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,QAAQ,CAAC;IAClD,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,SAAS,CAAC;IACxD,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,SAAS,CAAC;CAC1D;AAED,qGAAqG;AACrG,MAAM,WAAW,WAAW;IAC1B,uFAAuF;IACvF,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,qEAAqE;IACrE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,iEAAiE;IACjE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,GAAG,iBAAiB,CAAC;CAC3D;AAMD,yEAAyE;AACzE,eAAO,MAAM,WAAW;IACtB,WAAW;IACX,IAAI;IACJ,kBAAkB;;;;;CAYnB,CAAC;;mBAWiB,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;sBACzD,CAChB,EAAE,EAAE,QAAQ,EACZ,OAAO,CAAC,EAAE,WAAW,KAClB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;mBACT,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;sBAChB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACrC,6EAA6E;qBAC5D,CAAC,EAAE,EAAE,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACtD,kHAAkH;qBACjG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACpC,4FAA4F;sBAC1E,CAAC,EAAE,EAAE,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;;AArB3D;;;;;GAKG;AACH,qBAAa,UAAW,SAAQ,eAiBS;CAAG;AAkC5C,wIAAwI;AACxI,eAAO,MAAM,IAAI,OAAQ,QAAQ,YAAW,WAAW,kEACnB,CAAC;AACrC,oEAAoE;AACpE,eAAO,MAAM,OAAO,OAAQ,QAAQ,YAAW,WAAW,kEACpB,CAAC;AACvC,mDAAmD;AACnD,eAAO,MAAM,IAAI,qEAAkB,CAAC;AACpC,eAAO,MAAM,OAAO,qEAAqB,CAAC;AAC1C,kIAAkI;AAClI,eAAO,MAAM,MAAM,OAAQ,QAAQ,kEAA6B,CAAC;AACjE,wGAAwG;AACxG,eAAO,MAAM,MAAM,qEAAoB,CAAC;AACxC,gEAAgE;AAChE,eAAO,MAAM,OAAO,OAAQ,QAAQ,kEAA8B,CAAC"}

package/dist/routing/capability/navigation.js

@@ -0,0 +1,65 @@
+import { Context, Schema } from 'effect';
+import { Command } from '../../core/index.js';
+const position = Schema.optionalKey(Schema.Literals(['start', 'center', 'end', 'nearest']));
+/** The Schemas of a move's options, for the Messages that carry them. */
+export const moveOptions = {
+    resetScroll: Schema.optionalKey(Schema.Boolean),
+    hash: Schema.optionalKey(Schema.String),
+    hashScrollIntoView: Schema.optionalKey(Schema.Union([
+        Schema.Boolean,
+        Schema.Struct({
+            behavior: Schema.optionalKey(Schema.Literals(['auto', 'instant', 'smooth'])),
+            block: position,
+            inline: position,
+        }),
+    ])),
+};
+/**
+ * The Capability the router Provides to everything below it: Requests that
+ * move the app, each one Message to the router, with who asked. Every page
+ * Requires it, so a page's Update returns `Router.push(…)` and the like as
+ * Commands; any other Actor below the router lists it in its Requires.
+ */
+export class Navigation extends Context.Service()('@kestack/kabuki/routing/Navigation') {
+}
+const Route = Schema.Struct({ _tag: Schema.String });
+const args = Schema.Struct({ route: Route });
+const moving = Schema.Struct({ route: Route, ...moveOptions });
+const pushing = Command.make('push', {
+    args: moving,
+    run: ({ route, ...options }) => Navigation.use((navigation) => navigation.push(route, options)),
+});
+const replacing = Command.make('replace', {
+    args: moving,
+    run: ({ route, ...options }) => Navigation.use((navigation) => navigation.replace(route, options)),
+});
+const backing = Command.make('back', {
+    run: () => Navigation.use((navigation) => navigation.back),
+});
+const forwarding = Command.make('forward', {
+    run: () => Navigation.use((navigation) => navigation.forward),
+});
+const backingTo = Command.make('back to', {
+    args,
+    run: ({ route }) => Navigation.use((navigation) => navigation.backTo(route)),
+});
+const reloading = Command.make('reload', {
+    run: () => Navigation.use((navigation) => navigation.reload),
+});
+const preloading = Command.make('preload', {
+    args,
+    run: ({ route }) => Navigation.use((navigation) => navigation.preload(route)),
+});
+/** Move to a Route, as a new entry: `{ resetScroll: false }` leaves the page scrolled as it is, `{ hash }` goes to an element on it. */
+export const push = (to, options = {}) => pushing({ route: to, ...options });
+/** Put a Route in place of this entry: Back skips what was here. */
+export const replace = (to, options = {}) => replacing({ route: to, ...options });
+/** The browser's Back, or the memory history's. */
+export const back = () => backing();
+export const forward = () => forwarding();
+/** Close something with a Route of its own, like a dialog: Back if the app came from `route`, else replace this entry with it. */
+export const backTo = (to) => backingTo({ route: to });
+/** Load every place on screen again, as after a save: the data shown stays until the new data comes. */
+export const reload = () => reloading();
+/** Warm the Data cache for a Route the app may move to next. */
+export const preload = (to) => preloading({ route: to });

package/dist/routing/index.d.ts

@@ -0,0 +1,10 @@
+export { Page, Router } from './routing.ts';
+export { Loading, Navigation } from './capability/index.ts';
+export type { Answer, AnyRoute, MoveOptions, Wanted, } from './capability/index.ts';
+export { useRouter } from './router/index.ts';
+export { useElementScrollRestoration } from './scroll/index.ts';
+export type { HashScroll, ScrollLocation, ScrollRestorationOptions, } from './scroll/index.ts';
+export type { LinkProps, Preload, RouterDefinition, RouterState, } from './router/index.ts';
+export type { DataInfo, From, PageBuild, PageDefinition, PageProps, PlaceInfo, Status, } from './page/index.ts';
+export type { Metadata, RenderMode, RouteOf } from './route/index.ts';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/routing/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAC5D,YAAY,EACV,MAAM,EACN,QAAQ,EACR,WAAW,EACX,MAAM,GACP,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAChE,YAAY,EACV,UAAU,EACV,cAAc,EACd,wBAAwB,GACzB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EACV,SAAS,EACT,OAAO,EACP,gBAAgB,EAChB,WAAW,GACZ,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EACV,QAAQ,EACR,IAAI,EACJ,SAAS,EACT,cAAc,EACd,SAAS,EACT,SAAS,EACT,MAAM,GACP,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/routing/index.js

@@ -0,0 +1,4 @@
+export { Page, Router } from './routing.js';
+export { Loading, Navigation } from './capability/index.js';
+export { useRouter } from './router/index.js';
+export { useElementScrollRestoration } from './scroll/index.js';

package/dist/routing/page/index.d.ts

@@ -0,0 +1,5 @@
+export { Page } from './page.ts';
+export type { AnyPageBuild, AnyPageDefinition, BuiltPage, PageBehaviorOf, PageBuild, PageDefinition, PageOptions, PageProps, Rootless, } from './page.ts';
+export { DataInfoSchema, dataInfoOf, knownOf, placeInfoOf, statusSchema, } from './status.ts';
+export type { DataInfo, From, Known, PlaceInfo, Status, Where, } from './status.ts';
+//# sourceMappingURL=index.d.ts.map

package/dist/routing/page/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/routing/page/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,SAAS,EACT,cAAc,EACd,SAAS,EACT,cAAc,EACd,WAAW,EACX,SAAS,EACT,QAAQ,GACT,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,EACd,UAAU,EACV,OAAO,EACP,WAAW,EACX,YAAY,GACb,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,QAAQ,EACR,IAAI,EACJ,KAAK,EACL,SAAS,EACT,MAAM,EACN,KAAK,GACN,MAAM,aAAa,CAAC"}

package/dist/routing/page/index.js

@@ -0,0 +1,2 @@
+export { Page } from './page.js';
+export { DataInfoSchema, dataInfoOf, knownOf, placeInfoOf, statusSchema, } from './status.js';

package/dist/routing/page/page.d.ts

@@ -0,0 +1,151 @@
+import { Schema } from 'effect';
+import type { ActorType, AnyActor, Behavior, Defined, KidsByState, OpenOfBehavior, Requires, Tagged, Types } from '../../core/index.ts';
+import { Navigation } from '../capability/index.ts';
+import type { Codec, Fields, LevelOf, MetadataOf, Node, RenderMode, Simplify } from '../route/index.ts';
+import type { Status, Where } from './status.ts';
+type Single = {
+    readonly _tag: 'Single';
+};
+/** What `Page.define` takes: where the page is and what it loads, then the Actor's own Schemas. */
+export interface PageOptions<P extends Fields, Q extends Fields, D, M extends RenderMode | undefined, C extends object, Model, State, Msg, R extends Requires> {
+    /** Its path under the page above: `/projects/:id`. None, or `/`, adds nothing. */
+    readonly path?: string;
+    /** The Schema of each path param it names. */
+    readonly params?: P;
+    /** The Schema of each query field it reads; a change in one loads its data again. */
+    readonly query?: Q;
+    /** The Schema of what its Loader gives: it needs one, in `loaders.server.ts`. */
+    readonly data?: Codec<D>;
+    /** How it is first drawn: static, dynamic or client; its parent's unless said. */
+    readonly render?: M;
+    /**
+     * How long, in milliseconds, a copy of its data stays fresh once it
+     * arrives: a Move or a Preload shows a fresh copy and loads nothing, and
+     * an older one is shown and loaded again behind it. Its parent's unless
+     * said, else the Router's. A static page has none: its data is fresh
+     * until the next deploy.
+     */
+    readonly staleTime?: M extends 'static' ? never : number;
+    /** What it says about itself, from its params, query and data once there. */
+    readonly metadata?: MetadataOf<P, Q, D>;
+    /** The definitions of the pages under it, each named by its key here. */
+    readonly pages?: C;
+    /** The Capabilities its own Workers, Commands and Provides use. `Navigation` is always among them. */
+    readonly requires?: R;
+    readonly model?: Codec<Model>;
+    readonly state?: Codec<State>;
+    readonly message?: Codec<Msg>;
+}
+/** What a page is handed as Props. */
+export type PageProps<P extends Fields, Q extends Fields, D, C> = Simplify<{
+    /** Its own path params. */
+    readonly params: Schema.Struct.Type<P>;
+    /** Its own query. */
+    readonly query: Schema.Struct.Type<Q>;
+    /** Where it sits; `route.page` is the Route one level down, if the URL goes on. */
+    readonly route: Where<LevelOf<C>>;
+} & ([D] extends [never] ? {} : {
+    /** Its data: loading, failed, or there. */
+    readonly status: Status<D>;
+})>;
+/** A page definition: a node of the Routes, and the definition of its Actor. */
+export interface PageDefinition<P extends Fields = any, Q extends Fields = any, C extends object = any, D = any, M extends RenderMode | undefined = any, Model = any, State extends Tagged = any, Msg extends Tagged = any, R extends Requires = any> extends Node<P, Q, C, D, M>, Defined<'Page', void, PageProps<P, Q, D, C>, Model, State, Msg, readonly [...R, typeof Navigation]> {
+    /** Its types, as written: read by the types alone, never there. */
+    readonly '~page'?: {
+        readonly params: P;
+        readonly query: Q;
+        readonly children: C;
+        readonly data: [D];
+        readonly model: Model;
+        readonly state: State;
+        readonly message: Msg;
+        readonly requires: R;
+    };
+}
+export type AnyPageDefinition = PageDefinition;
+/** A built page: its Actor, the definition it was built from, and the builds of the pages under it. */
+export type PageBuild<Def = AnyPageDefinition, A = AnyActor, Pages = any> = A & {
+    /** The definition it was built from. */
+    readonly page: Def;
+    /** The build of each page under it, by name. */
+    readonly pages: Pages;
+};
+export type AnyPageBuild = PageBuild<AnyPageDefinition, AnyActor, any>;
+/** The build of each page under a definition: one per page it names, built from that page's definition. */
+type PagesOf<C> = {
+    readonly [K in keyof C]: PageBuild<C[K], AnyActor, any>;
+};
+/** What `Page.build` takes besides the Actor's behavior: the builds of the pages under it, if it has any. */
+type WithPages<C> = [keyof C] extends [never] ? {
+    readonly pages?: never;
+} : {
+    readonly pages: PagesOf<C>;
+};
+/** What the types of a page definition hold, as written. */
+interface PageTypes {
+    readonly params: Fields;
+    readonly query: Fields;
+    readonly children: object;
+    readonly data: [unknown];
+    readonly model: unknown;
+    readonly state: Tagged;
+    readonly message: Tagged;
+    readonly requires: Requires;
+}
+type PropsOf<T extends PageTypes> = PageProps<T['params'], T['query'], T['data'][0], T['children']>;
+type RequiresOf<T extends PageTypes> = readonly [
+    ...T['requires'],
+    typeof Navigation
+];
+/** How the page `D` defines may be built, as written in `B`. */
+export type PageBehaviorOf<D, B> = D extends {
+    readonly '~page'?: infer T extends PageTypes;
+} ? Behavior<void, PropsOf<T>, T['model'], T['state'], T['message'], RequiresOf<T>, B> & WithPages<T['children']> : never;
+/** Each page under it, as a Child of the page: there while the URL names it. */
+type PageKids<Pages> = {
+    readonly [K in keyof Pages]: {
+        readonly actor: Pages[K];
+        readonly while: Function;
+        readonly key: Function;
+    };
+};
+/** What the pages under it still need from above. */
+type PagesOpen<Pages> = {
+    [K in keyof Pages]: Types<Pages[K]>['open'];
+}[keyof Pages];
+type PagesIn<B> = B extends {
+    readonly pages: infer Pages;
+} ? Pages : {};
+/** The page `D` defines, built with `B`. */
+export type BuiltPage<D, B> = D extends {
+    readonly '~page'?: infer T extends PageTypes;
+} ? PageBuild<D, ActorType<'Page', void, PropsOf<T>, T['model'], T['state'], T['message'], {
+    readonly [S in T['state']['_tag']]: KidsByState<T['state'], B>[S] & PageKids<PagesIn<B>>;
+}, OpenOfBehavior<RequiresOf<T>, B> | PagesOpen<PagesIn<B>>>, PagesIn<B>> : never;
+/** The root page is no place: a page with a path, params or data is refused. */
+export type Rootless<G> = G extends {
+    readonly '~page'?: {
+        readonly params: infer P;
+        readonly data: [infer D];
+    };
+} ? [D] extends [never] ? [keyof P] extends [never] ? unknown : {
+    readonly 'the root page has no params': never;
+} : {
+    readonly 'the root page has no data': never;
+} : unknown;
+/**
+ * A page definition: where it is in the URL, what it loads, the pages under
+ * it, and its own Schemas. Its Props are worked out from them.
+ */
+declare const define: <const P extends Fields = {}, const Q extends Fields = {}, D = never, M extends RenderMode | undefined = undefined, const C extends {
+    readonly [name: string]: AnyPageDefinition;
+} = {}, Model = {}, State extends Tagged = Single, Msg extends Tagged = never, const R extends Requires = readonly []>(options: PageOptions<P, Q, D, M, C, Model, State, Msg, R>) => PageDefinition<P, Q, C, D, M, Model, State, Msg, R>;
+declare function build<D extends AnyPageDefinition>(definition: D & ({} extends PageBehaviorOf<D, {}> ? unknown : never)): BuiltPage<D, {}>;
+declare function build<D extends AnyPageDefinition, const B extends PageBehaviorOf<D, B>>(definition: D, behavior: B): BuiltPage<D, B>;
+/** Pages: `define` says what one is, `build` how it behaves. */
+export declare const Page: {
+    define: typeof define;
+    build: typeof build;
+};
+export {};
+//# sourceMappingURL=page.d.ts.map

package/dist/routing/page/page.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"page.d.ts","sourceRoot":"","sources":["../../../src/routing/page/page.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,KAAK,EACV,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,WAAW,EACX,cAAc,EACd,QAAQ,EACR,MAAM,EACN,KAAK,EACN,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,OAAO,KAAK,EAEV,KAAK,EACL,MAAM,EACN,OAAO,EACP,UAAU,EACV,IAAI,EACJ,UAAU,EACV,QAAQ,EAET,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAW,MAAM,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAoB1D,KAAK,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAE1C,mGAAmG;AACnG,MAAM,WAAW,WAAW,CAC1B,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,EAChB,CAAC,EACD,CAAC,SAAS,UAAU,GAAG,SAAS,EAChC,CAAC,SAAS,MAAM,EAChB,KAAK,EACL,KAAK,EACL,GAAG,EACH,CAAC,SAAS,QAAQ;IAElB,kFAAkF;IAClF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACpB,qFAAqF;IACrF,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACnB,iFAAiF;IACjF,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,kFAAkF;IAClF,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACpB;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC;IACzD,6EAA6E;IAC7E,QAAQ,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,yEAAyE;IACzE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACnB,sGAAsG;IACtG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;CAC/B;AAED,sCAAsC;AACtC,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,QAAQ,CACxE;IACE,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,qBAAqB;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;CACnC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,EAAE,GACF;IACE,2CAA2C;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;CAC5B,CAAC,CACP,CAAC;AAEF,gFAAgF;AAChF,MAAM,WAAW,cAAc,CAC7B,CAAC,SAAS,MAAM,GAAG,GAAG,EACtB,CAAC,SAAS,MAAM,GAAG,GAAG,EACtB,CAAC,SAAS,MAAM,GAAG,GAAG,EACtB,CAAC,GAAG,GAAG,EACP,CAAC,SAAS,UAAU,GAAG,SAAS,GAAG,GAAG,EACtC,KAAK,GAAG,GAAG,EACX,KAAK,SAAS,MAAM,GAAG,GAAG,EAC1B,GAAG,SAAS,MAAM,GAAG,GAAG,EACxB,CAAC,SAAS,QAAQ,GAAG,GAAG,CAExB,SACE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACnB,OAAO,CACL,MAAM,EACN,IAAI,EACJ,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACrB,KAAK,EACL,KAAK,EACL,GAAG,EACH,SAAS,CAAC,GAAG,CAAC,EAAE,OAAO,UAAU,CAAC,CACnC;IACH,mEAAmE;IACnE,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACnB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QAClB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;QACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACnB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC;QACtB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;KACtB,CAAC;CACH;AAED,MAAM,MAAM,iBAAiB,GAAG,cAAc,CAAC;AAE/C,uGAAuG;AACvG,MAAM,MAAM,SAAS,CACnB,GAAG,GAAG,iBAAiB,EACvB,CAAC,GAAG,QAAQ,EACZ,KAAK,GAAG,GAAG,IACT,CAAC,GAAG;IACN,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;IACnB,gDAAgD;IAChD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,SAAS,CAAC,iBAAiB,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;AAEvE,2GAA2G;AAC3G,KAAK,OAAO,CAAC,CAAC,IAAI;IAChB,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC;CACxD,CAAC;AAEF,6GAA6G;AAC7G,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzC;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAEnC,4DAA4D;AAC5D,UAAU,SAAS;IACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED,KAAK,OAAO,CAAC,CAAC,SAAS,SAAS,IAAI,SAAS,CAC3C,CAAC,CAAC,QAAQ,CAAC,EACX,CAAC,CAAC,OAAO,CAAC,EACV,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EACZ,CAAC,CAAC,UAAU,CAAC,CACd,CAAC;AAEF,KAAK,UAAU,CAAC,CAAC,SAAS,SAAS,IAAI,SAAS;IAC9C,GAAG,CAAC,CAAC,UAAU,CAAC;IAChB,OAAO,UAAU;CAClB,CAAC;AAEF,gEAAgE;AAChE,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS;IAC3C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,SAAS,SAAS,CAAC;CAC9C,GACG,QAAQ,CACN,IAAI,EACJ,OAAO,CAAC,CAAC,CAAC,EACV,CAAC,CAAC,OAAO,CAAC,EACV,CAAC,CAAC,OAAO,CAAC,EACV,CAAC,CAAC,SAAS,CAAC,EACZ,UAAU,CAAC,CAAC,CAAC,EACb,CAAC,CACF,GACC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAC1B,KAAK,CAAC;AAEV,gFAAgF;AAChF,KAAK,QAAQ,CAAC,KAAK,IAAI;IACrB,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG;QAC3B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;QACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;KACxB;CACF,CAAC;AAEF,qDAAqD;AACrD,KAAK,SAAS,CAAC,KAAK,IAAI;KACrB,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;CAC5C,CAAC,MAAM,KAAK,CAAC,CAAC;AAEf,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GAAG,KAAK,GAAG,EAAE,CAAC;AAEzE,4CAA4C;AAC5C,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,SAAS,SAAS,CAAC;CAC9C,GACG,SAAS,CACP,CAAC,EACD,SAAS,CACP,MAAM,EACN,IAAI,EACJ,OAAO,CAAC,CAAC,CAAC,EACV,CAAC,CAAC,OAAO,CAAC,EACV,CAAC,CAAC,OAAO,CAAC,EACV,CAAC,CAAC,SAAS,CAAC,EACZ;IACE,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAC/D,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;CACvB,EACD,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CACzD,EACD,OAAO,CAAC,CAAC,CAAC,CACX,GACD,KAAK,CAAC;AAEV,gFAAgF;AAChF,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACzB,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;KAC1B,CAAC;CACH,GACG,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvB,OAAO,GACP;IAAE,QAAQ,CAAC,6BAA6B,EAAE,KAAK,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,2BAA2B,EAAE,KAAK,CAAA;CAAE,GACjD,OAAO,CAAC;AAEZ;;;GAGG;AACH,QAAA,MAAM,MAAM,GACV,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,EAAE,EAC3B,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,EAAE,EAC3B,CAAC,GAAG,KAAK,EACT,CAAC,SAAS,UAAU,GAAG,SAAS,GAAG,SAAS,EAC5C,KAAK,CAAC,CAAC,SAAS;IAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAA;CAAE,GAAG,EAAE,EACnE,KAAK,GAAG,EAAE,EACV,KAAK,SAAS,MAAM,GAAG,MAAM,EAC7B,GAAG,SAAS,MAAM,GAAG,KAAK,EAC1B,KAAK,CAAC,CAAC,SAAS,QAAQ,GAAG,SAAS,EAAE,WAE7B,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KACxD,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CA8BpD,CAAC;AAkFF,iBAAS,KAAK,CAAC,CAAC,SAAS,iBAAiB,EACxC,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,SAAS,cAAc,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,GAAG,KAAK,CAAC,GACnE,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACpB,iBAAS,KAAK,CACZ,CAAC,SAAS,iBAAiB,EAC3B,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EACpC,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAgC/C,gEAAgE;AAChE,eAAO,MAAM,IAAI;;;CAAoB,CAAC"}

package/dist/routing/page/page.js

@@ -0,0 +1,121 @@
+import { Schema } from 'effect';
+import { Actor } from '../../core/index.js';
+import { Navigation } from '../capability/index.js';
+import { levelSchema, paramsKey, pick } from '../route/index.js';
+import { statusSchema, whereSchema } from './status.js';
+/**
+ * A page definition: where it is in the URL, what it loads, the pages under
+ * it, and its own Schemas. Its Props are worked out from them.
+ */
+const define = (options) => {
+    const params = (options.params ?? {});
+    const query = (options.query ?? {});
+    const pages = (options.pages ?? {});
+    const props = Schema.Struct({
+        params: Schema.Struct(params),
+        query: Schema.Struct(query),
+        route: whereSchema(Object.keys(pages).length > 0 ? levelSchema(pages, false) : undefined),
+        ...(options.data ? { status: statusSchema(options.data) } : {}),
+    });
+    return {
+        name: 'Page',
+        shape: {
+            props,
+            requires: [...(options.requires ?? []), Navigation],
+            ...(options.model ? { model: options.model } : {}),
+            ...(options.state ? { state: options.state } : {}),
+            ...(options.message ? { message: options.message } : {}),
+        },
+        path: options.path ?? '/',
+        params,
+        query,
+        input: options.data,
+        render: options.render,
+        staleTime: options.staleTime,
+        metadata: options.metadata,
+        children: pages,
+    };
+};
+/** What the places below `name` start from: each level hands down only the statuses under it. */
+const belowOf = (data, name) => {
+    if (data === undefined)
+        return undefined;
+    const below = Object.entries(data).filter(([each]) => each.startsWith(`${name}.`));
+    return below.length === 0 ? undefined : Object.fromEntries(below);
+};
+/** Its Child for each page under it: there while the URL names it, made again when its params change. */
+const pagesOf = (definitions, builds) => Object.fromEntries(Object.entries(definitions).map(([tag, definition]) => {
+    const build = builds[tag];
+    if (!build)
+        throw new Error(`[@kestack/kabuki/routing] the page "${tag}" has no build in \`pages\``);
+    if (build.page !== definition)
+        throw new Error(`[@kestack/kabuki/routing] the build given for the page "${tag}" is built from another page's definition`);
+    // Named after its key, for devtools and errors.
+    if (build.name === 'Page') {
+        build.name = tag;
+        build.definition.name = tag;
+    }
+    const valueOf = ({ props }) => props.route.page;
+    const nameOf = ({ props }) => props.route.name ? `${props.route.name}.${tag}` : tag;
+    return [
+        tag,
+        {
+            actor: build,
+            while: (data) => data.props.route.page?._tag === tag,
+            key: (data) => paramsKey(definition, valueOf(data)),
+            props: (data) => {
+                const value = valueOf(data);
+                const { route } = data.props;
+                const name = nameOf(data);
+                const below = belowOf(route.data, name);
+                return {
+                    params: pick(definition.params, value),
+                    query: pick(definition.query, value),
+                    route: {
+                        name,
+                        ...(value['page'] === undefined ? {} : { page: value['page'] }),
+                        params: { ...route.params, ...pick(definition.params, value) },
+                        notFound: null,
+                        ...(below === undefined ? {} : { data: below }),
+                    },
+                    ...(definition.input
+                        ? {
+                            // The Router hands every page with data its status;
+                            // before it does, the page's own render, its Stale
+                            // time not known here.
+                            status: route.data?.[name] ?? {
+                                _tag: 'Loading',
+                                info: {
+                                    render: definition.render ?? 'static',
+                                    staleTime: null,
+                                },
+                            },
+                        }
+                        : {}),
+                };
+            },
+        },
+    ];
+}));
+/**
+ * A page built: how it behaves, as `Actor.build` takes it, and under
+ * `pages` the build of each page its definition names.
+ */
+function build(definition, behavior = {}) {
+    const { pages: builds = {}, ...written } = behavior;
+    const pages = definition.children;
+    const own = [
+        ...Object.keys(written.children ?? {}),
+        ...Object.values(written.state ?? {}).flatMap((block) => Object.keys(block?.children ?? {})),
+    ];
+    for (const name of own)
+        if (name in pages)
+            throw new Error(`[@kestack/kabuki/routing] a page's Child "${name}" has the name of one of its pages`);
+    const actor = Actor.build(definition, {
+        ...written,
+        children: { ...written.children, ...pagesOf(pages, builds) },
+    });
+    return Object.assign(actor, { page: definition, pages: builds });
+}
+/** Pages: `define` says what one is, `build` how it behaves. */
+export const Page = { define, build };