effective-rsc 0.1.0

package/dist/application/render-runtime.d.ts

@@ -0,0 +1,9 @@
+import type { Effect } from 'effect';
+export type RenderRuntime<Services> = <Output, Error>(effect: Effect.Effect<Output, Error, Services>) => Promise<Output>;
+type RenderConcern = 'Component' | 'Layout' | 'Page';
+export type RenderRuntimeContext = {
+    readonly bind: <Services, Output>(runtime: RenderRuntime<Services>, activeMiddleware: ReadonlyArray<object>, evaluate: () => Output) => Output;
+    readonly run: <Output, Error, Services>(concern: RenderConcern, effect: Effect.Effect<Output, Error, Services>, requiredMiddleware: ReadonlyArray<object>) => Promise<Output>;
+};
+export declare const makeRenderRuntimeContext: () => RenderRuntimeContext;
+export {};

package/dist/application/render-runtime.js

@@ -0,0 +1,28 @@
+import { AsyncLocalStorage } from "node:async_hooks";
+
+
+
+const makeRenderRuntimeContext = ()=>{
+    const storage = new AsyncLocalStorage();
+    return {
+        bind: (runtime, activeMiddleware, evaluate)=>storage.run({
+                activeMiddleware,
+                run: runtime
+            }, evaluate),
+        run: (concern, effect, requiredMiddleware)=>{
+            const bound = storage.getStore();
+            if (bound === undefined) {
+                throw new TypeError(`ERSC ${concern} rendered outside its application request runtime.`);
+            }
+            const middlewareAvailable = requiredMiddleware.every((required)=>bound.activeMiddleware.includes(required));
+            if (!middlewareAvailable) {
+                throw new TypeError(`ERSC ${concern} requires a middleware scope that is not active for this request.`);
+            }
+            return bound.run(effect);
+        }
+    };
+};
+
+export { makeRenderRuntimeContext };
+
+//# sourceMappingURL=render-runtime.js.map

package/dist/application/render-runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"application/render-runtime.js","sources":["../../src/application/render-runtime.ts"],"sourcesContent":["import { AsyncLocalStorage } from 'node:async_hooks';\n\nimport type { Effect } from 'effect';\n\nexport type RenderRuntime<Services> = <Output, Error>(\n  effect: Effect.Effect<Output, Error, Services>,\n) => Promise<Output>;\n\ntype RenderConcern = 'Component' | 'Layout' | 'Page';\n\ntype BoundRenderRuntime = {\n  readonly activeMiddleware: ReadonlyArray<object>;\n  readonly run: RenderRuntime<any>;\n};\n\nexport type RenderRuntimeContext = {\n  readonly bind: <Services, Output>(\n    runtime: RenderRuntime<Services>,\n    activeMiddleware: ReadonlyArray<object>,\n    evaluate: () => Output,\n  ) => Output;\n  readonly run: <Output, Error, Services>(\n    concern: RenderConcern,\n    effect: Effect.Effect<Output, Error, Services>,\n    requiredMiddleware: ReadonlyArray<object>,\n  ) => Promise<Output>;\n};\n\nexport const makeRenderRuntimeContext = (): RenderRuntimeContext => {\n  const storage = new AsyncLocalStorage<BoundRenderRuntime>();\n\n  return {\n    bind: (runtime, activeMiddleware, evaluate) =>\n      storage.run({ activeMiddleware, run: runtime }, evaluate),\n    run: (concern, effect, requiredMiddleware) => {\n      const bound = storage.getStore();\n      if (bound === undefined) {\n        throw new TypeError(`ERSC ${concern} rendered outside its application request runtime.`);\n      }\n      const middlewareAvailable = requiredMiddleware.every((required) =>\n        bound.activeMiddleware.includes(required),\n      );\n      if (!middlewareAvailable) {\n        throw new TypeError(\n          `ERSC ${concern} requires a middleware scope that is not active for this request.`,\n        );\n      }\n\n      return bound.run(effect);\n    },\n  };\n};\n"],"names":["AsyncLocalStorage","makeRenderRuntimeContext","storage","runtime","activeMiddleware","evaluate","concern","effect","requiredMiddleware","bound","undefined","TypeError","middlewareAvailable","required"],"mappings":";;;AAAqD;AA4B9C,MAAMC,wBAAwBA,GAAG;IACtC,MAAMC,UAAU,IAAIF,iBAAiBA;IAErC,OAAO;QACL,MAAM,CAACG,SAASC,kBAAkBC,WAChCH,QAAQ,GAAG,CAAC;gBAAEE;gBAAkB,KAAKD;YAAQ,GAAGE;QAClD,KAAK,CAACC,SAASC,QAAQC;YACrB,MAAMC,QAAQP,QAAQ,QAAQ;YAC9B,IAAIO,UAAUC,WAAW;gBACvB,MAAM,IAAIC,UAAU,CAAC,KAAK,EAAEL,QAAQ,kDAAkD,CAAC;YACzF;YACA,MAAMM,sBAAsBJ,mBAAmB,KAAK,CAAC,CAACK,WACpDJ,MAAM,gBAAgB,CAAC,QAAQ,CAACI;YAElC,IAAI,CAACD,qBAAqB;gBACxB,MAAM,IAAID,UACR,CAAC,KAAK,EAAEL,QAAQ,iEAAiE,CAAC;YAEtF;YAEA,OAAOG,MAAM,GAAG,CAACF;QACnB;IACF;AACF,EAAE"}

package/dist/application/route-graph.d.ts

@@ -0,0 +1,22 @@
+import type { LayoutComponent } from './layout.js';
+import type { LoadingComponent } from './loading.js';
+import type { AnyMiddleware } from './middleware.js';
+import { type PageImplementationState } from './page.js';
+import { type AbsolutePath } from './route-path.js';
+import { type AnyRoutes } from './routes.js';
+export type RouteScope<Services> = {
+    readonly id: string;
+    readonly layout: LayoutComponent<Services> | null;
+    readonly loading: LoadingComponent<Services> | null;
+};
+export type CompiledDestination<Services> = {
+    readonly middleware: ReadonlyArray<AnyMiddleware<Services>>;
+    readonly page: PageImplementationState;
+    readonly pattern: AbsolutePath;
+    readonly scopes: ReadonlyArray<RouteScope<Services>>;
+};
+export type CompiledRouteGraph<Services> = readonly [
+    CompiledDestination<Services>,
+    ...Array<CompiledDestination<Services>>
+];
+export declare const compileRouteGraph: <Services>(routes: AnyRoutes<Services>) => CompiledRouteGraph<Services>;

package/dist/application/route-graph.js

@@ -0,0 +1,68 @@
+import { getPageState } from "./page.js";
+import { joinRoutePaths, validateUnreservedPath } from "./route-path.js";
+import { getRoutesState } from "./routes.js";
+
+
+
+
+
+
+
+const resolveRouteMiddleware = (inherited, declared)=>{
+    let sharedCount = 0;
+    while(sharedCount < inherited.length && inherited[sharedCount] === declared[sharedCount]){
+        sharedCount += 1;
+    }
+    return sharedCount === inherited.length ? declared : Object.freeze([
+        ...inherited,
+        ...declared.slice(sharedCount)
+    ]);
+};
+const compileRouteGraph = (routes)=>{
+    const rootState = getRoutesState(routes);
+    if (rootState.layout === null) {
+        throw new TypeError('The root Routes passed to ERSC.make must define a Layout.');
+    }
+    const destinations = [];
+    const visit = (current, prefix, inheritedScopes, inheritedMiddleware)=>{
+        const currentState = getRoutesState(current);
+        const middleware = resolveRouteMiddleware(inheritedMiddleware, currentState.middleware);
+        if (new Set(middleware).size !== middleware.length) {
+            throw new TypeError(`Middleware beneath route prefix "${prefix}" appears more than once in its resolved chain.`);
+        }
+        const scopes = currentState.layout === null && currentState.loading === null ? inheritedScopes : Object.freeze([
+            ...inheritedScopes,
+            Object.freeze({
+                id: `${currentState.scopeId}:${prefix}`,
+                layout: currentState.layout,
+                loading: currentState.loading
+            })
+        ]);
+        for (const route of currentState.pages){
+            const pattern = joinRoutePaths(prefix, route.path);
+            validateUnreservedPath(pattern);
+            destinations.push(Object.freeze({
+                middleware,
+                page: getPageState(route.page),
+                pattern,
+                scopes
+            }));
+        }
+        for (const mount of currentState.mounts){
+            visit(mount.routes, joinRoutePaths(prefix, mount.path), scopes, middleware);
+        }
+    };
+    visit(routes, '/', [], []);
+    const [firstDestination, ...remainingDestinations] = destinations;
+    if (firstDestination === undefined) {
+        throw new TypeError('The root Routes passed to ERSC.make must contain a Page.');
+    }
+    return Object.freeze([
+        firstDestination,
+        ...remainingDestinations
+    ]);
+};
+
+export { compileRouteGraph };
+
+//# sourceMappingURL=route-graph.js.map

package/dist/application/route-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"application/route-graph.js","sources":["../../src/application/route-graph.ts"],"sourcesContent":["import type { LayoutComponent } from './layout';\nimport type { LoadingComponent } from './loading';\nimport type { AnyMiddleware } from './middleware';\nimport { getPageState, type PageImplementationState } from './page';\nimport { type AbsolutePath, joinRoutePaths, validateUnreservedPath } from './route-path';\nimport { type AnyRoutes, getRoutesState } from './routes';\n\nexport type RouteScope<Services> = {\n  readonly id: string;\n  readonly layout: LayoutComponent<Services> | null;\n  readonly loading: LoadingComponent<Services> | null;\n};\n\nexport type CompiledDestination<Services> = {\n  readonly middleware: ReadonlyArray<AnyMiddleware<Services>>;\n  readonly page: PageImplementationState;\n  readonly pattern: AbsolutePath;\n  readonly scopes: ReadonlyArray<RouteScope<Services>>;\n};\n\nexport type CompiledRouteGraph<Services> = readonly [\n  CompiledDestination<Services>,\n  ...Array<CompiledDestination<Services>>,\n];\n\nconst resolveRouteMiddleware = <Services>(\n  inherited: ReadonlyArray<AnyMiddleware<Services>>,\n  declared: ReadonlyArray<AnyMiddleware<Services>>,\n) => {\n  let sharedCount = 0;\n  while (sharedCount < inherited.length && inherited[sharedCount] === declared[sharedCount]) {\n    sharedCount += 1;\n  }\n\n  return sharedCount === inherited.length\n    ? declared\n    : Object.freeze([...inherited, ...declared.slice(sharedCount)]);\n};\n\nexport const compileRouteGraph = <Services>(\n  routes: AnyRoutes<Services>,\n): CompiledRouteGraph<Services> => {\n  const rootState = getRoutesState(routes);\n  if (rootState.layout === null) {\n    throw new TypeError('The root Routes passed to ERSC.make must define a Layout.');\n  }\n\n  const destinations: Array<CompiledDestination<Services>> = [];\n  const visit = (\n    current: AnyRoutes<Services>,\n    prefix: AbsolutePath,\n    inheritedScopes: ReadonlyArray<RouteScope<Services>>,\n    inheritedMiddleware: ReadonlyArray<AnyMiddleware<Services>>,\n  ): void => {\n    const currentState = getRoutesState(current);\n    const middleware = resolveRouteMiddleware(inheritedMiddleware, currentState.middleware);\n    if (new Set(middleware).size !== middleware.length) {\n      throw new TypeError(\n        `Middleware beneath route prefix \"${prefix}\" appears more than once in its resolved chain.`,\n      );\n    }\n    const scopes =\n      currentState.layout === null && currentState.loading === null\n        ? inheritedScopes\n        : Object.freeze([\n            ...inheritedScopes,\n            Object.freeze({\n              id: `${currentState.scopeId}:${prefix}`,\n              layout: currentState.layout,\n              loading: currentState.loading,\n            }),\n          ]);\n\n    for (const route of currentState.pages) {\n      const pattern = joinRoutePaths(prefix, route.path);\n      validateUnreservedPath(pattern);\n      destinations.push(\n        Object.freeze({ middleware, page: getPageState(route.page), pattern, scopes }),\n      );\n    }\n\n    for (const mount of currentState.mounts) {\n      visit(mount.routes, joinRoutePaths(prefix, mount.path), scopes, middleware);\n    }\n  };\n\n  visit(routes, '/', [], []);\n  const [firstDestination, ...remainingDestinations] = destinations;\n  if (firstDestination === undefined) {\n    throw new TypeError('The root Routes passed to ERSC.make must contain a Page.');\n  }\n\n  return Object.freeze([firstDestination, ...remainingDestinations]);\n};\n"],"names":["getPageState","joinRoutePaths","validateUnreservedPath","getRoutesState","resolveRouteMiddleware","inherited","declared","sharedCount","Object","compileRouteGraph","routes","rootState","TypeError","destinations","visit","current","prefix","inheritedScopes","inheritedMiddleware","currentState","middleware","Set","scopes","route","pattern","mount","firstDestination","remainingDestinations","undefined"],"mappings":";;;;;;;AAGoE;AACqB;AAC/B;AAoB1D,MAAMI,sBAAsBA,GAAG,CAC7BC,WACAC;IAEA,IAAIC,cAAc;IAClB,MAAOA,cAAcF,UAAU,MAAM,IAAIA,SAAS,CAACE,YAAY,KAAKD,QAAQ,CAACC,YAAY,CAAE;QACzFA,eAAe;IACjB;IAEA,OAAOA,gBAAgBF,UAAU,MAAM,GACnCC,WACAE,OAAO,MAAM,CAAC;WAAIH;WAAcC,SAAS,KAAK,CAACC;KAAa;AAClE;AAEO,MAAME,iBAAiBA,GAAG,CAC/BC;IAEA,MAAMC,YAAYR,cAAcA,CAACO;IACjC,IAAIC,UAAU,MAAM,KAAK,MAAM;QAC7B,MAAM,IAAIC,UAAU;IACtB;IAEA,MAAMC,eAAqD,EAAE;IAC7D,MAAMC,QAAQ,CACZC,SACAC,QACAC,iBACAC;QAEA,MAAMC,eAAehB,cAAcA,CAACY;QACpC,MAAMK,aAAahB,sBAAsBA,CAACc,qBAAqBC,aAAa,UAAU;QACtF,IAAI,IAAIE,IAAID,YAAY,IAAI,KAAKA,WAAW,MAAM,EAAE;YAClD,MAAM,IAAIR,UACR,CAAC,iCAAiC,EAAEI,OAAO,+CAA+C,CAAC;QAE/F;QACA,MAAMM,SACJH,aAAa,MAAM,KAAK,QAAQA,aAAa,OAAO,KAAK,OACrDF,kBACAT,OAAO,MAAM,CAAC;eACTS;YACHT,OAAO,MAAM,CAAC;gBACZ,IAAI,GAAGW,aAAa,OAAO,CAAC,CAAC,EAAEH,QAAQ;gBACvC,QAAQG,aAAa,MAAM;gBAC3B,SAASA,aAAa,OAAO;YAC/B;SACD;QAEP,KAAK,MAAMI,SAASJ,aAAa,KAAK,CAAE;YACtC,MAAMK,UAAUvB,cAAcA,CAACe,QAAQO,MAAM,IAAI;YACjDrB,sBAAsBA,CAACsB;YACvBX,aAAa,IAAI,CACfL,OAAO,MAAM,CAAC;gBAAEY;gBAAY,MAAMpB,YAAYA,CAACuB,MAAM,IAAI;gBAAGC;gBAASF;YAAO;QAEhF;QAEA,KAAK,MAAMG,SAASN,aAAa,MAAM,CAAE;YACvCL,MAAMW,MAAM,MAAM,EAAExB,cAAcA,CAACe,QAAQS,MAAM,IAAI,GAAGH,QAAQF;QAClE;IACF;IAEAN,MAAMJ,QAAQ,KAAK,EAAE,EAAE,EAAE;IACzB,MAAM,CAACgB,kBAAkB,GAAGC,sBAAsB,GAAGd;IACrD,IAAIa,qBAAqBE,WAAW;QAClC,MAAM,IAAIhB,UAAU;IACtB;IAEA,OAAOJ,OAAO,MAAM,CAAC;QAACkB;WAAqBC;KAAsB;AACnE,EAAE"}

package/dist/application/route-path.d.ts

@@ -0,0 +1,31 @@
+export type AbsolutePath = `/${string}`;
+type InvalidRouteCharacter = '*' | '?' | '#' | '%' | ';' | '\\';
+type InvalidParameterCharacter = InvalidRouteCharacter | '/' | ':' | '(' | ')' | '.' | '-';
+export type ValidRouteParamName<Name extends string> = string extends Name ? never : Name extends '' ? never : Name extends `${string}${InvalidParameterCharacter}${string}` ? never : Name;
+type IsUnion<Value, Whole = Value> = Value extends Whole ? [Whole] extends [Value] ? false : true : never;
+type ValidRouteSegments<Segments extends string, Seen extends string = never> = string extends Segments ? false : Segments extends `${infer Segment}/${infer Rest}` ? Segment extends '' | '.' | '..' ? false : Segment extends `:${infer Parameter}` ? Parameter extends '' ? false : Parameter extends `${string}${InvalidParameterCharacter}${string}` ? false : Parameter extends Seen ? false : ValidRouteSegments<Rest, Seen | Parameter> : Segment extends `${string}:${string}` ? false : ValidRouteSegments<Rest, Seen> : Segments extends '' | '.' | '..' ? false : Segments extends `:${infer Parameter}` ? Parameter extends '' ? false : Parameter extends `${string}${InvalidParameterCharacter}${string}` ? false : Parameter extends Seen ? false : true : Segments extends `${string}:${string}` ? false : true;
+export type ValidRoutePath<Path extends AbsolutePath> = true extends IsUnion<Path> ? never : Path extends '/' ? Path : Path extends `${string}${InvalidRouteCharacter}${string}` ? never : Path extends `/${infer Segments}` ? ValidRouteSegments<Segments> extends true ? Path : never : never;
+type RouteParamNamesFromSegments<Segments extends string> = Segments extends `${infer Segment}/${infer Rest}` ? (Segment extends `:${infer Parameter}` ? Parameter : never) | RouteParamNamesFromSegments<Rest> : Segments extends `:${infer Parameter}` ? Parameter : never;
+export type RouteParamNames<Path extends AbsolutePath> = Path extends `/${infer Segments}` ? RouteParamNamesFromSegments<Segments> : never;
+type RouteShapeSegments<Segments extends string> = Segments extends `${infer Segment}/${infer Rest}` ? `${Segment extends `:${string}` ? ':' : Segment}/${RouteShapeSegments<Rest>}` : Segments extends `:${string}` ? ':' : Segments;
+export type RouteShape<Path extends AbsolutePath> = Path extends `/${infer Segments}` ? Lowercase<`/${RouteShapeSegments<Segments>}`> : never;
+export type JoinPath<Prefix extends AbsolutePath, Path extends AbsolutePath> = Prefix extends '/' ? Path : Path extends '/' ? Prefix : `${Prefix}${Path}`;
+export declare const FrameworkNamespace = "/_ersc";
+export declare const FrameworkAssetNamespace = "/_ersc/assets";
+export declare const FrameworkAssetPrefix: "/_ersc/assets/";
+type SegmentCanMatch<Segment extends string, Expected extends string> = Segment extends `:${string}` ? true : Lowercase<Segment> extends Expected ? true : false;
+type MatchesReservedSegments<Segments extends string> = Segments extends `${infer First}/${string}` ? SegmentCanMatch<First, '_ersc'> : SegmentCanMatch<Segments, '_ersc'>;
+export type ReservedRoutePath<Path extends AbsolutePath> = Path extends `/${infer Segments}` ? MatchesReservedSegments<Segments> extends true ? Path : never : never;
+type RouteAnalysis = {
+    readonly _tag: 'ParameterFree';
+    readonly shape: string;
+} | {
+    readonly _tag: 'Parameterized';
+    readonly parameterNames: readonly [string, ...Array<string>];
+    readonly shape: string;
+};
+export declare const analyzeRoutePath: (path: string) => RouteAnalysis;
+export declare const validateUnreservedPath: (path: string) => void;
+export declare const joinRoutePaths: (prefix: AbsolutePath, path: AbsolutePath) => AbsolutePath;
+export declare const isAbsolutePath: (value: string) => value is AbsolutePath;
+export {};

package/dist/application/route-path.js

@@ -0,0 +1,67 @@
+const FrameworkNamespace = '/_ersc';
+const FrameworkAssetNamespace = `${FrameworkNamespace}/assets`;
+const FrameworkAssetPrefix = `${FrameworkAssetNamespace}/`;
+const InvalidRoutePath = /[*?#%;\\]/u;
+const DynamicSegment = /^:([^:().-]+)$/u;
+const analyzeRoutePath = (path)=>{
+    if (!path.startsWith('/') || InvalidRoutePath.test(path)) {
+        throw new TypeError(`Invalid route path "${path}". Route paths must start with "/" and cannot contain "*", "?", "#", "%", ";", or "\\".`);
+    }
+    const segments = path === '/' ? [] : path.slice(1).split('/');
+    if (segments.some((segment)=>segment === '' || segment === '.' || segment === '..')) {
+        throw new TypeError(`Invalid route path "${path}". Route paths cannot contain empty, ".", or ".." segments or end with "/".`);
+    }
+    const parameterNames = new Set();
+    const shapeSegments = [];
+    for (const segment of segments){
+        if (!segment.includes(':')) {
+            shapeSegments.push(segment.toLowerCase());
+            continue;
+        }
+        const match = DynamicSegment.exec(segment);
+        if (match === null) {
+            throw new TypeError(`Invalid route path "${path}". Dynamic segments must use the ":parameter" convention.`);
+        }
+        const parameterName = match[1];
+        if (parameterName === undefined || parameterNames.has(parameterName)) {
+            throw new TypeError(`Invalid route path "${path}". Dynamic parameter names must be unique within a route.`);
+        }
+        parameterNames.add(parameterName);
+        shapeSegments.push(':');
+    }
+    const shape = `/${shapeSegments.join('/')}`;
+    const parameters = parameterNames.values();
+    const firstParameter = parameters.next();
+    return firstParameter.done ? {
+        _tag: 'ParameterFree',
+        shape
+    } : {
+        _tag: 'Parameterized',
+        parameterNames: Object.freeze([
+            firstParameter.value,
+            ...parameters
+        ]),
+        shape
+    };
+};
+const validateUnreservedPath = (path)=>{
+    const segments = path.slice(1).split('/');
+    const canMatch = (segment, expected)=>segment?.startsWith(':') === true || segment?.toLowerCase() === expected;
+    if (canMatch(segments[0], '_ersc')) {
+        throw new TypeError(`Route "${path}" uses the framework-reserved "${FrameworkNamespace}" namespace.`);
+    }
+};
+const joinRoutePaths = (prefix, path)=>{
+    if (prefix === '/') {
+        return path;
+    }
+    if (path === '/') {
+        return prefix;
+    }
+    return `${prefix}${path}`;
+};
+const isAbsolutePath = (value)=>value.startsWith('/');
+
+export { FrameworkAssetNamespace, FrameworkAssetPrefix, FrameworkNamespace, analyzeRoutePath, isAbsolutePath, joinRoutePaths, validateUnreservedPath };
+
+//# sourceMappingURL=route-path.js.map

package/dist/application/route-path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"application/route-path.js","sources":["../../src/application/route-path.ts"],"sourcesContent":["export type AbsolutePath = `/${string}`;\n\n// Compile-time and runtime route grammars are deliberately paired. Any grammar change must update\n// both ValidRoutePath/ValidRouteParamName and analyzeRoutePath, with one paired type/runtime test.\ntype InvalidRouteCharacter = '*' | '?' | '#' | '%' | ';' | '\\\\';\ntype InvalidParameterCharacter = InvalidRouteCharacter | '/' | ':' | '(' | ')' | '.' | '-';\n\nexport type ValidRouteParamName<Name extends string> = string extends Name\n  ? never\n  : Name extends ''\n    ? never\n    : Name extends `${string}${InvalidParameterCharacter}${string}`\n      ? never\n      : Name;\n\ntype IsUnion<Value, Whole = Value> = Value extends Whole\n  ? [Whole] extends [Value]\n    ? false\n    : true\n  : never;\n\ntype ValidRouteSegments<\n  Segments extends string,\n  Seen extends string = never,\n> = string extends Segments\n  ? false\n  : Segments extends `${infer Segment}/${infer Rest}`\n    ? Segment extends '' | '.' | '..'\n      ? false\n      : Segment extends `:${infer Parameter}`\n        ? Parameter extends ''\n          ? false\n          : Parameter extends `${string}${InvalidParameterCharacter}${string}`\n            ? false\n            : Parameter extends Seen\n              ? false\n              : ValidRouteSegments<Rest, Seen | Parameter>\n        : Segment extends `${string}:${string}`\n          ? false\n          : ValidRouteSegments<Rest, Seen>\n    : Segments extends '' | '.' | '..'\n      ? false\n      : Segments extends `:${infer Parameter}`\n        ? Parameter extends ''\n          ? false\n          : Parameter extends `${string}${InvalidParameterCharacter}${string}`\n            ? false\n            : Parameter extends Seen\n              ? false\n              : true\n        : Segments extends `${string}:${string}`\n          ? false\n          : true;\n\nexport type ValidRoutePath<Path extends AbsolutePath> =\n  true extends IsUnion<Path>\n    ? never\n    : Path extends '/'\n      ? Path\n      : Path extends `${string}${InvalidRouteCharacter}${string}`\n        ? never\n        : Path extends `/${infer Segments}`\n          ? ValidRouteSegments<Segments> extends true\n            ? Path\n            : never\n          : never;\n\ntype RouteParamNamesFromSegments<Segments extends string> =\n  Segments extends `${infer Segment}/${infer Rest}`\n    ?\n        | (Segment extends `:${infer Parameter}` ? Parameter : never)\n        | RouteParamNamesFromSegments<Rest>\n    : Segments extends `:${infer Parameter}`\n      ? Parameter\n      : never;\n\nexport type RouteParamNames<Path extends AbsolutePath> = Path extends `/${infer Segments}`\n  ? RouteParamNamesFromSegments<Segments>\n  : never;\n\ntype RouteShapeSegments<Segments extends string> = Segments extends `${infer Segment}/${infer Rest}`\n  ? `${Segment extends `:${string}` ? ':' : Segment}/${RouteShapeSegments<Rest>}`\n  : Segments extends `:${string}`\n    ? ':'\n    : Segments;\n\nexport type RouteShape<Path extends AbsolutePath> = Path extends `/${infer Segments}`\n  ? Lowercase<`/${RouteShapeSegments<Segments>}`>\n  : never;\n\nexport type JoinPath<Prefix extends AbsolutePath, Path extends AbsolutePath> = Prefix extends '/'\n  ? Path\n  : Path extends '/'\n    ? Prefix\n    : `${Prefix}${Path}`;\n\nexport const FrameworkNamespace = '/_ersc';\n\nexport const FrameworkAssetNamespace = `${FrameworkNamespace}/assets`;\n\nexport const FrameworkAssetPrefix = `${FrameworkAssetNamespace}/` as const;\n\ntype SegmentCanMatch<Segment extends string, Expected extends string> = Segment extends `:${string}`\n  ? true\n  : Lowercase<Segment> extends Expected\n    ? true\n    : false;\n\ntype MatchesReservedSegments<Segments extends string> = Segments extends `${infer First}/${string}`\n  ? SegmentCanMatch<First, '_ersc'>\n  : SegmentCanMatch<Segments, '_ersc'>;\n\nexport type ReservedRoutePath<Path extends AbsolutePath> = Path extends `/${infer Segments}`\n  ? MatchesReservedSegments<Segments> extends true\n    ? Path\n    : never\n  : never;\n\nconst InvalidRoutePath = /[*?#%;\\\\]/u;\nconst DynamicSegment = /^:([^:().-]+)$/u;\n\ntype RouteAnalysis =\n  | {\n      readonly _tag: 'ParameterFree';\n      readonly shape: string;\n    }\n  | {\n      readonly _tag: 'Parameterized';\n      readonly parameterNames: readonly [string, ...Array<string>];\n      readonly shape: string;\n    };\n\nexport const analyzeRoutePath = (path: string): RouteAnalysis => {\n  if (!path.startsWith('/') || InvalidRoutePath.test(path)) {\n    throw new TypeError(\n      `Invalid route path \"${path}\". Route paths must start with \"/\" and cannot contain \"*\", \"?\", \"#\", \"%\", \";\", or \"\\\\\".`,\n    );\n  }\n\n  const segments = path === '/' ? [] : path.slice(1).split('/');\n  if (segments.some((segment) => segment === '' || segment === '.' || segment === '..')) {\n    throw new TypeError(\n      `Invalid route path \"${path}\". Route paths cannot contain empty, \".\", or \"..\" segments or end with \"/\".`,\n    );\n  }\n\n  const parameterNames = new Set<string>();\n  const shapeSegments: Array<string> = [];\n  for (const segment of segments) {\n    if (!segment.includes(':')) {\n      shapeSegments.push(segment.toLowerCase());\n      continue;\n    }\n\n    const match = DynamicSegment.exec(segment);\n    if (match === null) {\n      throw new TypeError(\n        `Invalid route path \"${path}\". Dynamic segments must use the \":parameter\" convention.`,\n      );\n    }\n\n    const parameterName = match[1];\n    if (parameterName === undefined || parameterNames.has(parameterName)) {\n      throw new TypeError(\n        `Invalid route path \"${path}\". Dynamic parameter names must be unique within a route.`,\n      );\n    }\n\n    parameterNames.add(parameterName);\n    shapeSegments.push(':');\n  }\n\n  const shape = `/${shapeSegments.join('/')}`;\n  const parameters = parameterNames.values();\n  const firstParameter = parameters.next();\n  return firstParameter.done\n    ? { _tag: 'ParameterFree', shape }\n    : {\n        _tag: 'Parameterized',\n        parameterNames: Object.freeze([firstParameter.value, ...parameters]),\n        shape,\n      };\n};\n\nexport const validateUnreservedPath = (path: string) => {\n  const segments = path.slice(1).split('/');\n  const canMatch = (segment: string | undefined, expected: string) =>\n    segment?.startsWith(':') === true || segment?.toLowerCase() === expected;\n  if (canMatch(segments[0], '_ersc')) {\n    throw new TypeError(\n      `Route \"${path}\" uses the framework-reserved \"${FrameworkNamespace}\" namespace.`,\n    );\n  }\n};\n\nexport const joinRoutePaths = (prefix: AbsolutePath, path: AbsolutePath): AbsolutePath => {\n  if (prefix === '/') {\n    return path;\n  }\n  if (path === '/') {\n    return prefix;\n  }\n  return `${prefix}${path}`;\n};\n\nexport const isAbsolutePath = (value: string): value is AbsolutePath => value.startsWith('/');\n"],"names":["FrameworkNamespace","FrameworkAssetNamespace","FrameworkAssetPrefix","InvalidRoutePath","DynamicSegment","analyzeRoutePath","path","TypeError","segments","segment","parameterNames","Set","shapeSegments","match","parameterName","undefined","shape","parameters","firstParameter","Object","validateUnreservedPath","canMatch","expected","joinRoutePaths","prefix","isAbsolutePath","value"],"mappings":"AAgGO,MAAMA,kBAAkBA,GAAG,SAAS;AAEpC,MAAMC,uBAAuBA,GAAG,GAAGD,kBAAkBA,CAAC,OAAO,CAAC,CAAC;AAE/D,MAAME,oBAAoBA,GAAG,GAAGD,uBAAuBA,CAAC,CAAC,CAAC,CAAU;AAkB3E,MAAME,gBAAgBA,GAAG;AACzB,MAAMC,cAAcA,GAAG;AAahB,MAAMC,gBAAgBA,GAAG,CAACC;IAC/B,IAAI,CAACA,KAAK,UAAU,CAAC,QAAQH,gBAAgBA,CAAC,IAAI,CAACG,OAAO;QACxD,MAAM,IAAIC,UACR,CAAC,oBAAoB,EAAED,KAAK,uFAAuF,CAAC;IAExH;IAEA,MAAME,WAAWF,SAAS,MAAM,EAAE,GAAGA,KAAK,KAAK,CAAC,GAAG,KAAK,CAAC;IACzD,IAAIE,SAAS,IAAI,CAAC,CAACC,UAAYA,YAAY,MAAMA,YAAY,OAAOA,YAAY,OAAO;QACrF,MAAM,IAAIF,UACR,CAAC,oBAAoB,EAAED,KAAK,2EAA2E,CAAC;IAE5G;IAEA,MAAMI,iBAAiB,IAAIC;IAC3B,MAAMC,gBAA+B,EAAE;IACvC,KAAK,MAAMH,WAAWD,SAAU;QAC9B,IAAI,CAACC,QAAQ,QAAQ,CAAC,MAAM;YAC1BG,cAAc,IAAI,CAACH,QAAQ,WAAW;YACtC;QACF;QAEA,MAAMI,QAAQT,cAAcA,CAAC,IAAI,CAACK;QAClC,IAAII,UAAU,MAAM;YAClB,MAAM,IAAIN,UACR,CAAC,oBAAoB,EAAED,KAAK,yDAAyD,CAAC;QAE1F;QAEA,MAAMQ,gBAAgBD,KAAK,CAAC,EAAE;QAC9B,IAAIC,kBAAkBC,aAAaL,eAAe,GAAG,CAACI,gBAAgB;YACpE,MAAM,IAAIP,UACR,CAAC,oBAAoB,EAAED,KAAK,yDAAyD,CAAC;QAE1F;QAEAI,eAAe,GAAG,CAACI;QACnBF,cAAc,IAAI,CAAC;IACrB;IAEA,MAAMI,QAAQ,CAAC,CAAC,EAAEJ,cAAc,IAAI,CAAC,MAAM;IAC3C,MAAMK,aAAaP,eAAe,MAAM;IACxC,MAAMQ,iBAAiBD,WAAW,IAAI;IACtC,OAAOC,eAAe,IAAI,GACtB;QAAE,MAAM;QAAiBF;IAAM,IAC/B;QACE,MAAM;QACN,gBAAgBG,OAAO,MAAM,CAAC;YAACD,eAAe,KAAK;eAAKD;SAAW;QACnED;IACF;AACN,EAAE;AAEK,MAAMI,sBAAsBA,GAAG,CAACd;IACrC,MAAME,WAAWF,KAAK,KAAK,CAAC,GAAG,KAAK,CAAC;IACrC,MAAMe,WAAW,CAACZ,SAA6Ba,WAC7Cb,SAAS,WAAW,SAAS,QAAQA,SAAS,kBAAkBa;IAClE,IAAID,SAASb,QAAQ,CAAC,EAAE,EAAE,UAAU;QAClC,MAAM,IAAID,UACR,CAAC,OAAO,EAAED,KAAK,+BAA+B,EAAEN,kBAAkBA,CAAC,YAAY,CAAC;IAEpF;AACF,EAAE;AAEK,MAAMuB,cAAcA,GAAG,CAACC,QAAsBlB;IACnD,IAAIkB,WAAW,KAAK;QAClB,OAAOlB;IACT;IACA,IAAIA,SAAS,KAAK;QAChB,OAAOkB;IACT;IACA,OAAO,GAAGA,SAASlB,MAAM;AAC3B,EAAE;AAEK,MAAMmB,cAAcA,GAAG,CAACC,QAAyCA,MAAM,UAAU,CAAC,KAAK"}

package/dist/application/routes.d.ts

@@ -0,0 +1,66 @@
+import { type Types } from 'effect';
+import { type ERSCIdentity, type ERSCStatefulMember } from './ersc-identity.js';
+import type { LayoutComponent } from './layout.js';
+import type { LoadingComponent } from './loading.js';
+import type { AnyMiddleware } from './middleware.js';
+import { type AnyPageDefinition, type PageConcern } from './page.js';
+import { type AbsolutePath, type JoinPath, type RouteParamNames, type RouteShape, type ValidRoutePath } from './route-path.js';
+declare const RoutesContractTypeId: unique symbol;
+type RoutesState<HasLayout extends boolean, Paths extends AbsolutePath> = {
+    readonly hasLayout: Types.Covariant<HasLayout>;
+    readonly paths: Types.Covariant<Paths>;
+};
+type MountedPaths<Prefix extends AbsolutePath, Child> = RoutesPaths<Child> extends infer Path extends AbsolutePath ? JoinPath<Prefix, Path> : never;
+type RouteShapes<Paths extends AbsolutePath> = Paths extends AbsolutePath ? RouteShape<Paths> : never;
+type NoPathCollision<Current extends AbsolutePath, Added extends AbsolutePath> = [
+    Extract<RouteShapes<Current>, RouteShapes<Added>>
+] extends [never] ? unknown : never;
+type PageParamNames<Page> = Page extends PageConcern<infer ParamNames, infer _Mode> ? ParamNames : never;
+type PageMode<Page> = Page extends PageConcern<infer _ParamNames, infer Mode> ? Mode : never;
+type ExactPageParamNames<Path extends AbsolutePath, Page> = [RouteParamNames<Path>] extends [
+    PageParamNames<Page>
+] ? [PageParamNames<Page>] extends [RouteParamNames<Path>] ? unknown : never : never;
+type MatchingPageParams<Path extends AbsolutePath, Page> = PageMode<Page> extends 'Static' ? [RouteParamNames<Path>] extends [never] ? unknown : never : PageMode<Page> extends 'Parameterized' ? [RouteParamNames<Path>] extends [never] ? never : ExactPageParamNames<Path, Page> : never;
+type StaticMountPath<Path extends AbsolutePath> = [RouteParamNames<Path>] extends [never] ? unknown : never;
+type KnownNonEmptyRoutes<Definition> = AbsolutePath extends RoutesPaths<Definition> ? never : [RoutesPaths<Definition>] extends [never] ? never : unknown;
+export interface RoutesDefinition<Services, out HasLayout extends boolean, out Paths extends AbsolutePath> extends ERSCStatefulMember<Services, 'Routes', RoutesImplementationState<Services>> {
+    readonly [RoutesContractTypeId]: RoutesState<HasLayout, Paths>;
+    page<const Path extends AbsolutePath, const Page extends AnyPageDefinition<Services>>(path: Path & ValidRoutePath<Path> & NoPathCollision<Paths, Path>, page: Page & MatchingPageParams<Path, Page>): RoutesDefinition<Services, HasLayout, Paths | Path>;
+    mount<const Prefix extends AbsolutePath, const Child extends AnyRoutes<Services>>(path: Prefix & ValidRoutePath<Prefix> & StaticMountPath<Prefix>, routes: Child & KnownNonEmptyRoutes<Child> & NoPathCollision<Paths, MountedPaths<Prefix, Child>>): RoutesDefinition<Services, HasLayout, Paths | MountedPaths<Prefix, Child>>;
+}
+export type AnyRoutes<Services> = RoutesDefinition<Services, boolean, AbsolutePath>;
+export type RoutesHasLayout<Definition> = Definition extends RoutesDefinition<infer _Services, infer HasLayout, infer _Paths> ? HasLayout : never;
+export type RoutesPaths<Definition> = Definition extends RoutesDefinition<infer _Services, infer _HasLayout, infer Paths> ? Paths : never;
+type RoutesPage<Services> = {
+    readonly page: AnyPageDefinition<Services>;
+    readonly path: AbsolutePath;
+};
+type RoutesMount<Services> = {
+    readonly path: AbsolutePath;
+    readonly routes: AnyRoutes<Services>;
+};
+export type RoutesImplementationState<Services> = {
+    readonly layout: LayoutComponent<Services> | null;
+    readonly loading: LoadingComponent<Services> | null;
+    readonly middleware: ReadonlyArray<AnyMiddleware<Services>>;
+    readonly mounts: ReadonlyArray<RoutesMount<Services>>;
+    readonly pages: ReadonlyArray<RoutesPage<Services>>;
+    readonly paths: ReadonlyArray<AbsolutePath>;
+    readonly scopeId: number;
+};
+type RoutesOptions<Services> = {
+    readonly layout?: LayoutComponent<Services>;
+    readonly loading?: LoadingComponent<Services>;
+};
+type HasLayoutFromOptions<Options> = Options extends {
+    readonly layout: unknown;
+} ? true : false;
+export declare const getRoutesState: <Services>(routes: AnyRoutes<Services>) => RoutesImplementationState<Services>;
+export type RoutesFactory<Services> = {
+    readonly make: {
+        (): RoutesDefinition<Services, false, never>;
+        <Options extends RoutesOptions<Services>>(options: Options): RoutesDefinition<Services, HasLayoutFromOptions<Options>, never>;
+    };
+};
+export declare const makeRoutesFactory: <Services>(identity: ERSCIdentity<Services>, middleware: ReadonlyArray<AnyMiddleware<Services>>, allocateScopeId: () => number) => RoutesFactory<Services>;
+export {};

package/dist/application/routes.js

@@ -0,0 +1,159 @@
+import { ERSCIdentityTypeId, ERSCMemberKindTypeId, ERSCStateTypeId, getERSCIdentity, isERSCMember } from "./ersc-identity.js";
+import { getPageState } from "./page.js";
+import { analyzeRoutePath, joinRoutePaths } from "./route-path.js";
+
+
+
+
+
+
+
+class RoutesDefinitionImpl {
+    [ERSCIdentityTypeId];
+    [ERSCMemberKindTypeId] = 'Routes';
+    get [ERSCStateTypeId]() {
+        return this;
+    }
+    layout;
+    loading;
+    middleware;
+    mounts;
+    pages;
+    paths;
+    scopeId;
+    #routeShapes;
+    constructor(identity, { layout, loading, middleware, mounts, pages, paths, routeShapes, scopeId }){
+        this[ERSCIdentityTypeId] = identity;
+        this.layout = layout;
+        this.loading = loading;
+        this.middleware = middleware;
+        this.mounts = mounts;
+        this.pages = pages;
+        this.paths = paths;
+        this.scopeId = scopeId;
+        this.#routeShapes = routeShapes;
+        Object.freeze(this);
+    }
+    page(path, page) {
+        const route = analyzeRoutePath(path);
+        if (this.#routeShapes.has(route.shape)) {
+            throw new TypeError(`Route "${path}" conflicts with an existing route pattern.`);
+        }
+        const pageState = getPageState(page);
+        if (getERSCIdentity(page) !== this[ERSCIdentityTypeId]) {
+            throw new TypeError(`Page for "${path}" was created by a different ERSC module.`);
+        }
+        if (route._tag === 'ParameterFree' && pageState.paramsSchema !== null) {
+            throw new TypeError(`Parameterized Page for "${path}" requires route parameters.`);
+        }
+        if (route._tag === 'Parameterized' && pageState.paramsSchema === null) {
+            throw new TypeError(`Page for "${path}" must declare a parameter Schema.`);
+        }
+        const routeShapes = new Set(this.#routeShapes);
+        routeShapes.add(route.shape);
+        return new RoutesDefinitionImpl(this[ERSCIdentityTypeId], {
+            layout: this.layout,
+            loading: this.loading,
+            middleware: this.middleware,
+            mounts: this.mounts,
+            pages: Object.freeze([
+                ...this.pages,
+                Object.freeze({
+                    page,
+                    path
+                })
+            ]),
+            paths: Object.freeze([
+                ...this.paths,
+                path
+            ]),
+            routeShapes,
+            scopeId: this.scopeId
+        });
+    }
+    mount(path, routes) {
+        const route = analyzeRoutePath(path);
+        if (route._tag === 'Parameterized') {
+            throw new TypeError(`Routes cannot be mounted beneath parameterized path "${path}".`);
+        }
+        const routesState = getRoutesState(routes);
+        if (routesState.paths.length === 0) {
+            throw new TypeError(`Cannot mount empty Routes at "${path}".`);
+        }
+        if (getERSCIdentity(routes) !== this[ERSCIdentityTypeId]) {
+            throw new TypeError(`Routes mounted at "${path}" were created by a different ERSC module.`);
+        }
+        const mountedPaths = routesState.paths.map((childPath)=>joinRoutePaths(path, childPath));
+        const routeShapes = new Set(this.#routeShapes);
+        for (const mountedPath of mountedPaths){
+            const shape = analyzeRoutePath(mountedPath).shape;
+            if (routeShapes.has(shape)) {
+                throw new TypeError(`Route "${mountedPath}" conflicts with an existing route pattern.`);
+            }
+            routeShapes.add(shape);
+        }
+        return new RoutesDefinitionImpl(this[ERSCIdentityTypeId], {
+            layout: this.layout,
+            loading: this.loading,
+            middleware: this.middleware,
+            mounts: Object.freeze([
+                ...this.mounts,
+                Object.freeze({
+                    path,
+                    routes
+                })
+            ]),
+            pages: this.pages,
+            paths: Object.freeze([
+                ...this.paths,
+                ...mountedPaths
+            ]),
+            routeShapes,
+            scopeId: this.scopeId
+        });
+    }
+}
+const getRoutesState = (routes)=>{
+    if (!isERSCMember(routes, 'Routes')) {
+        throw new TypeError('Routes must be created with ERSC.Routes.make.');
+    }
+    return routes[ERSCStateTypeId];
+};
+const makeRoutesFactory = (identity, middleware, allocateScopeId)=>{
+    function make(options = {}) {
+        if (options.layout !== undefined) {
+            if (!isERSCMember(options.layout, 'Layout')) {
+                throw new TypeError('Layout must be created with ERSC.Layout.make.');
+            }
+            if (getERSCIdentity(options.layout) !== identity) {
+                throw new TypeError('Layout was created by a different ERSC module.');
+            }
+        }
+        if (options.loading !== undefined) {
+            if (!isERSCMember(options.loading, 'Loading')) {
+                throw new TypeError('Loading must be created with ERSC.Loading.make.');
+            }
+            if (getERSCIdentity(options.loading) !== identity) {
+                throw new TypeError('Loading was created by a different ERSC module.');
+            }
+        }
+        const scopeId = allocateScopeId();
+        return new RoutesDefinitionImpl(identity, {
+            layout: options.layout ?? null,
+            loading: options.loading ?? null,
+            middleware,
+            mounts: Object.freeze([]),
+            pages: Object.freeze([]),
+            paths: Object.freeze([]),
+            routeShapes: new Set(),
+            scopeId
+        });
+    }
+    return {
+        make
+    };
+};
+
+export { getRoutesState, makeRoutesFactory };
+
+//# sourceMappingURL=routes.js.map

package/dist/application/routes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"application/routes.js","sources":["../../src/application/routes.ts"],"sourcesContent":["import { type Types } from 'effect';\n\nimport {\n  type ERSCIdentity,\n  ERSCIdentityTypeId,\n  ERSCMemberKindTypeId,\n  type ERSCStatefulMember,\n  ERSCStateTypeId,\n  getERSCIdentity,\n  isERSCMember,\n} from './ersc-identity';\nimport type { LayoutComponent } from './layout';\nimport type { LoadingComponent } from './loading';\nimport type { AnyMiddleware } from './middleware';\nimport { type AnyPageDefinition, getPageState, type PageConcern } from './page';\nimport {\n  type AbsolutePath,\n  analyzeRoutePath,\n  joinRoutePaths,\n  type JoinPath,\n  type RouteParamNames,\n  type RouteShape,\n  type ValidRoutePath,\n} from './route-path';\n\ndeclare const RoutesContractTypeId: unique symbol;\n\ntype RoutesState<HasLayout extends boolean, Paths extends AbsolutePath> = {\n  readonly hasLayout: Types.Covariant<HasLayout>;\n  readonly paths: Types.Covariant<Paths>;\n};\n\ntype MountedPaths<Prefix extends AbsolutePath, Child> =\n  RoutesPaths<Child> extends infer Path extends AbsolutePath ? JoinPath<Prefix, Path> : never;\n\ntype RouteShapes<Paths extends AbsolutePath> = Paths extends AbsolutePath\n  ? RouteShape<Paths>\n  : never;\n\ntype NoPathCollision<Current extends AbsolutePath, Added extends AbsolutePath> = [\n  Extract<RouteShapes<Current>, RouteShapes<Added>>,\n] extends [never]\n  ? unknown\n  : never;\n\ntype PageParamNames<Page> =\n  Page extends PageConcern<infer ParamNames, infer _Mode> ? ParamNames : never;\n\ntype PageMode<Page> = Page extends PageConcern<infer _ParamNames, infer Mode> ? Mode : never;\n\ntype ExactPageParamNames<Path extends AbsolutePath, Page> = [RouteParamNames<Path>] extends [\n  PageParamNames<Page>,\n]\n  ? [PageParamNames<Page>] extends [RouteParamNames<Path>]\n    ? unknown\n    : never\n  : never;\n\ntype MatchingPageParams<Path extends AbsolutePath, Page> =\n  PageMode<Page> extends 'Static'\n    ? [RouteParamNames<Path>] extends [never]\n      ? unknown\n      : never\n    : PageMode<Page> extends 'Parameterized'\n      ? [RouteParamNames<Path>] extends [never]\n        ? never\n        : ExactPageParamNames<Path, Page>\n      : never;\n\ntype StaticMountPath<Path extends AbsolutePath> = [RouteParamNames<Path>] extends [never]\n  ? unknown\n  : never;\n\ntype KnownNonEmptyRoutes<Definition> =\n  AbsolutePath extends RoutesPaths<Definition>\n    ? never\n    : [RoutesPaths<Definition>] extends [never]\n      ? never\n      : unknown;\n\nexport interface RoutesDefinition<\n  Services,\n  out HasLayout extends boolean,\n  out Paths extends AbsolutePath,\n> extends ERSCStatefulMember<Services, 'Routes', RoutesImplementationState<Services>> {\n  readonly [RoutesContractTypeId]: RoutesState<HasLayout, Paths>;\n\n  page<const Path extends AbsolutePath, const Page extends AnyPageDefinition<Services>>(\n    path: Path & ValidRoutePath<Path> & NoPathCollision<Paths, Path>,\n    page: Page & MatchingPageParams<Path, Page>,\n  ): RoutesDefinition<Services, HasLayout, Paths | Path>;\n\n  mount<const Prefix extends AbsolutePath, const Child extends AnyRoutes<Services>>(\n    path: Prefix & ValidRoutePath<Prefix> & StaticMountPath<Prefix>,\n    routes: Child &\n      KnownNonEmptyRoutes<Child> &\n      NoPathCollision<Paths, MountedPaths<Prefix, Child>>,\n  ): RoutesDefinition<Services, HasLayout, Paths | MountedPaths<Prefix, Child>>;\n}\n\nexport type AnyRoutes<Services> = RoutesDefinition<Services, boolean, AbsolutePath>;\n\nexport type RoutesHasLayout<Definition> =\n  Definition extends RoutesDefinition<infer _Services, infer HasLayout, infer _Paths>\n    ? HasLayout\n    : never;\n\nexport type RoutesPaths<Definition> =\n  Definition extends RoutesDefinition<infer _Services, infer _HasLayout, infer Paths>\n    ? Paths\n    : never;\n\ntype RoutesPage<Services> = {\n  readonly page: AnyPageDefinition<Services>;\n  readonly path: AbsolutePath;\n};\n\ntype RoutesMount<Services> = {\n  readonly path: AbsolutePath;\n  readonly routes: AnyRoutes<Services>;\n};\n\nexport type RoutesImplementationState<Services> = {\n  readonly layout: LayoutComponent<Services> | null;\n  readonly loading: LoadingComponent<Services> | null;\n  readonly middleware: ReadonlyArray<AnyMiddleware<Services>>;\n  readonly mounts: ReadonlyArray<RoutesMount<Services>>;\n  readonly pages: ReadonlyArray<RoutesPage<Services>>;\n  readonly paths: ReadonlyArray<AbsolutePath>;\n  readonly scopeId: number;\n};\n\ntype RoutesOptions<Services> = {\n  readonly layout?: LayoutComponent<Services>;\n  readonly loading?: LoadingComponent<Services>;\n};\n\ntype HasLayoutFromOptions<Options> = Options extends { readonly layout: unknown } ? true : false;\n\ntype RuntimeRoutesOptions<Services> = RoutesImplementationState<Services> & {\n  readonly routeShapes: ReadonlySet<string>;\n};\n\nclass RoutesDefinitionImpl<\n  Services,\n  HasLayout extends boolean,\n  Paths extends AbsolutePath,\n> implements RoutesDefinition<Services, HasLayout, Paths> {\n  declare readonly [RoutesContractTypeId]: RoutesState<HasLayout, Paths>;\n  readonly [ERSCIdentityTypeId]: ERSCIdentity<Services>;\n  readonly [ERSCMemberKindTypeId] = 'Routes' as const;\n  get [ERSCStateTypeId](): RoutesImplementationState<Services> {\n    return this;\n  }\n\n  readonly layout: LayoutComponent<Services> | null;\n  readonly loading: LoadingComponent<Services> | null;\n  readonly middleware: ReadonlyArray<AnyMiddleware<Services>>;\n  readonly mounts: ReadonlyArray<RoutesMount<Services>>;\n  readonly pages: ReadonlyArray<RoutesPage<Services>>;\n  readonly paths: ReadonlyArray<AbsolutePath>;\n  readonly scopeId: number;\n  readonly #routeShapes: ReadonlySet<string>;\n\n  constructor(\n    identity: ERSCIdentity<Services>,\n    {\n      layout,\n      loading,\n      middleware,\n      mounts,\n      pages,\n      paths,\n      routeShapes,\n      scopeId,\n    }: RuntimeRoutesOptions<Services>,\n  ) {\n    this[ERSCIdentityTypeId] = identity;\n    this.layout = layout;\n    this.loading = loading;\n    this.middleware = middleware;\n    this.mounts = mounts;\n    this.pages = pages;\n    this.paths = paths;\n    this.scopeId = scopeId;\n    this.#routeShapes = routeShapes;\n    Object.freeze(this);\n  }\n\n  page<const Path extends AbsolutePath, const Page extends AnyPageDefinition<Services>>(\n    path: Path & ValidRoutePath<Path> & NoPathCollision<Paths, Path>,\n    page: Page & MatchingPageParams<Path, Page>,\n  ): RoutesDefinitionImpl<Services, HasLayout, Paths | Path> {\n    const route = analyzeRoutePath(path);\n    if (this.#routeShapes.has(route.shape)) {\n      throw new TypeError(`Route \"${path}\" conflicts with an existing route pattern.`);\n    }\n    const pageState = getPageState(page);\n    if (getERSCIdentity(page) !== this[ERSCIdentityTypeId]) {\n      throw new TypeError(`Page for \"${path}\" was created by a different ERSC module.`);\n    }\n\n    if (route._tag === 'ParameterFree' && pageState.paramsSchema !== null) {\n      throw new TypeError(`Parameterized Page for \"${path}\" requires route parameters.`);\n    }\n    if (route._tag === 'Parameterized' && pageState.paramsSchema === null) {\n      throw new TypeError(`Page for \"${path}\" must declare a parameter Schema.`);\n    }\n\n    const routeShapes = new Set(this.#routeShapes);\n    routeShapes.add(route.shape);\n\n    return new RoutesDefinitionImpl(this[ERSCIdentityTypeId], {\n      layout: this.layout,\n      loading: this.loading,\n      middleware: this.middleware,\n      mounts: this.mounts,\n      pages: Object.freeze([...this.pages, Object.freeze({ page, path })]),\n      paths: Object.freeze([...this.paths, path]),\n      routeShapes,\n      scopeId: this.scopeId,\n    });\n  }\n\n  mount<const Prefix extends AbsolutePath, const Child extends AnyRoutes<Services>>(\n    path: Prefix & ValidRoutePath<Prefix> & StaticMountPath<Prefix>,\n    routes: Child &\n      KnownNonEmptyRoutes<Child> &\n      NoPathCollision<Paths, MountedPaths<Prefix, Child>>,\n  ): RoutesDefinitionImpl<Services, HasLayout, Paths | MountedPaths<Prefix, Child>> {\n    const route = analyzeRoutePath(path);\n    if (route._tag === 'Parameterized') {\n      throw new TypeError(`Routes cannot be mounted beneath parameterized path \"${path}\".`);\n    }\n    const routesState = getRoutesState(routes);\n    if (routesState.paths.length === 0) {\n      throw new TypeError(`Cannot mount empty Routes at \"${path}\".`);\n    }\n    if (getERSCIdentity(routes) !== this[ERSCIdentityTypeId]) {\n      throw new TypeError(`Routes mounted at \"${path}\" were created by a different ERSC module.`);\n    }\n\n    const mountedPaths = routesState.paths.map((childPath) => joinRoutePaths(path, childPath));\n    const routeShapes = new Set(this.#routeShapes);\n    for (const mountedPath of mountedPaths) {\n      const shape = analyzeRoutePath(mountedPath).shape;\n      if (routeShapes.has(shape)) {\n        throw new TypeError(`Route \"${mountedPath}\" conflicts with an existing route pattern.`);\n      }\n      routeShapes.add(shape);\n    }\n\n    return new RoutesDefinitionImpl(this[ERSCIdentityTypeId], {\n      layout: this.layout,\n      loading: this.loading,\n      middleware: this.middleware,\n      mounts: Object.freeze([...this.mounts, Object.freeze({ path, routes })]),\n      pages: this.pages,\n      paths: Object.freeze([...this.paths, ...mountedPaths]),\n      routeShapes,\n      scopeId: this.scopeId,\n    });\n  }\n}\n\nexport const getRoutesState = <Services>(\n  routes: AnyRoutes<Services>,\n): RoutesImplementationState<Services> => {\n  if (!isERSCMember(routes, 'Routes')) {\n    throw new TypeError('Routes must be created with ERSC.Routes.make.');\n  }\n  return routes[ERSCStateTypeId];\n};\n\nexport type RoutesFactory<Services> = {\n  readonly make: {\n    (): RoutesDefinition<Services, false, never>;\n    <Options extends RoutesOptions<Services>>(\n      options: Options,\n    ): RoutesDefinition<Services, HasLayoutFromOptions<Options>, never>;\n  };\n};\n\nexport const makeRoutesFactory = <Services>(\n  identity: ERSCIdentity<Services>,\n  middleware: ReadonlyArray<AnyMiddleware<Services>>,\n  allocateScopeId: () => number,\n): RoutesFactory<Services> => {\n  function make(): RoutesDefinition<Services, false, never>;\n  function make<Options extends RoutesOptions<Services>>(\n    options: Options,\n  ): RoutesDefinition<Services, HasLayoutFromOptions<Options>, never>;\n  function make(options: RoutesOptions<Services> = {}): AnyRoutes<Services> {\n    if (options.layout !== undefined) {\n      if (!isERSCMember(options.layout, 'Layout')) {\n        throw new TypeError('Layout must be created with ERSC.Layout.make.');\n      }\n      if (getERSCIdentity(options.layout) !== identity) {\n        throw new TypeError('Layout was created by a different ERSC module.');\n      }\n    }\n    if (options.loading !== undefined) {\n      if (!isERSCMember(options.loading, 'Loading')) {\n        throw new TypeError('Loading must be created with ERSC.Loading.make.');\n      }\n      if (getERSCIdentity(options.loading) !== identity) {\n        throw new TypeError('Loading was created by a different ERSC module.');\n      }\n    }\n    const scopeId = allocateScopeId();\n\n    return new RoutesDefinitionImpl(identity, {\n      layout: options.layout ?? null,\n      loading: options.loading ?? null,\n      middleware,\n      mounts: Object.freeze([]),\n      pages: Object.freeze([]),\n      paths: Object.freeze([]),\n      routeShapes: new Set(),\n      scopeId,\n    });\n  }\n\n  return { make };\n};\n"],"names":["ERSCIdentityTypeId","ERSCMemberKindTypeId","ERSCStateTypeId","getERSCIdentity","isERSCMember","getPageState","analyzeRoutePath","joinRoutePaths","RoutesDefinitionImpl","identity","layout","loading","middleware","mounts","pages","paths","routeShapes","scopeId","Object","path","page","route","TypeError","pageState","Set","routes","routesState","getRoutesState","mountedPaths","childPath","mountedPath","shape","makeRoutesFactory","allocateScopeId","make","options","undefined"],"mappings":";;;;;;;AAUyB;AAIuD;AAS1D;AAwHtB,MAAMQ,oBAAoBA;IAMf,CAACR,kBAAkBA,CAAC,CAAyB;IAC7C,CAACC,oBAAoBA,CAAC,GAAG,SAAkB;IACpD,IAAI,CAACC,eAAeA,CAAC,GAAwC;QAC3D,OAAO,IAAI;IACb;IAES,OAAyC;IACzC,QAA2C;IAC3C,WAAmD;IACnD,OAA6C;IAC7C,MAA2C;IAC3C,MAAmC;IACnC,QAAgB;IAChB,YAAY,CAAsB;IAE3C,YACEO,QAAgC,EAChC,EACEC,MAAM,EACNC,OAAO,EACPC,UAAU,EACVC,MAAM,EACNC,KAAK,EACLC,KAAK,EACLC,WAAW,EACXC,OAAO,EACwB,CACjC;QACA,IAAI,CAACjB,kBAAkBA,CAAC,GAAGS;QAC3B,IAAI,CAAC,MAAM,GAAGC;QACd,IAAI,CAAC,OAAO,GAAGC;QACf,IAAI,CAAC,UAAU,GAAGC;QAClB,IAAI,CAAC,MAAM,GAAGC;QACd,IAAI,CAAC,KAAK,GAAGC;QACb,IAAI,CAAC,KAAK,GAAGC;QACb,IAAI,CAAC,OAAO,GAAGE;QACf,IAAI,CAAC,YAAY,GAAGD;QACpBE,OAAO,MAAM,CAAC,IAAI;IACpB;IAEA,KACEC,IAAgE,EAChEC,IAA2C,EACc;QACzD,MAAMC,QAAQf,gBAAgBA,CAACa;QAC/B,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAACE,MAAM,KAAK,GAAG;YACtC,MAAM,IAAIC,UAAU,CAAC,OAAO,EAAEH,KAAK,2CAA2C,CAAC;QACjF;QACA,MAAMI,YAAYlB,YAAYA,CAACe;QAC/B,IAAIjB,eAAeA,CAACiB,UAAU,IAAI,CAACpB,kBAAkBA,CAAC,EAAE;YACtD,MAAM,IAAIsB,UAAU,CAAC,UAAU,EAAEH,KAAK,yCAAyC,CAAC;QAClF;QAEA,IAAIE,MAAM,IAAI,KAAK,mBAAmBE,UAAU,YAAY,KAAK,MAAM;YACrE,MAAM,IAAID,UAAU,CAAC,wBAAwB,EAAEH,KAAK,4BAA4B,CAAC;QACnF;QACA,IAAIE,MAAM,IAAI,KAAK,mBAAmBE,UAAU,YAAY,KAAK,MAAM;YACrE,MAAM,IAAID,UAAU,CAAC,UAAU,EAAEH,KAAK,kCAAkC,CAAC;QAC3E;QAEA,MAAMH,cAAc,IAAIQ,IAAI,IAAI,CAAC,YAAY;QAC7CR,YAAY,GAAG,CAACK,MAAM,KAAK;QAE3B,OAAO,IAAIb,oBAAoBA,CAAC,IAAI,CAACR,kBAAkBA,CAAC,EAAE;YACxD,QAAQ,IAAI,CAAC,MAAM;YACnB,SAAS,IAAI,CAAC,OAAO;YACrB,YAAY,IAAI,CAAC,UAAU;YAC3B,QAAQ,IAAI,CAAC,MAAM;YACnB,OAAOkB,OAAO,MAAM,CAAC;mBAAI,IAAI,CAAC,KAAK;gBAAEA,OAAO,MAAM,CAAC;oBAAEE;oBAAMD;gBAAK;aAAG;YACnE,OAAOD,OAAO,MAAM,CAAC;mBAAI,IAAI,CAAC,KAAK;gBAAEC;aAAK;YAC1CH;YACA,SAAS,IAAI,CAAC,OAAO;QACvB;IACF;IAEA,MACEG,IAA+D,EAC/DM,MAEqD,EAC2B;QAChF,MAAMJ,QAAQf,gBAAgBA,CAACa;QAC/B,IAAIE,MAAM,IAAI,KAAK,iBAAiB;YAClC,MAAM,IAAIC,UAAU,CAAC,qDAAqD,EAAEH,KAAK,EAAE,CAAC;QACtF;QACA,MAAMO,cAAcC,cAAcA,CAACF;QACnC,IAAIC,YAAY,KAAK,CAAC,MAAM,KAAK,GAAG;YAClC,MAAM,IAAIJ,UAAU,CAAC,8BAA8B,EAAEH,KAAK,EAAE,CAAC;QAC/D;QACA,IAAIhB,eAAeA,CAACsB,YAAY,IAAI,CAACzB,kBAAkBA,CAAC,EAAE;YACxD,MAAM,IAAIsB,UAAU,CAAC,mBAAmB,EAAEH,KAAK,0CAA0C,CAAC;QAC5F;QAEA,MAAMS,eAAeF,YAAY,KAAK,CAAC,GAAG,CAAC,CAACG,YAActB,cAAcA,CAACY,MAAMU;QAC/E,MAAMb,cAAc,IAAIQ,IAAI,IAAI,CAAC,YAAY;QAC7C,KAAK,MAAMM,eAAeF,aAAc;YACtC,MAAMG,QAAQzB,gBAAgBA,CAACwB,aAAa,KAAK;YACjD,IAAId,YAAY,GAAG,CAACe,QAAQ;gBAC1B,MAAM,IAAIT,UAAU,CAAC,OAAO,EAAEQ,YAAY,2CAA2C,CAAC;YACxF;YACAd,YAAY,GAAG,CAACe;QAClB;QAEA,OAAO,IAAIvB,oBAAoBA,CAAC,IAAI,CAACR,kBAAkBA,CAAC,EAAE;YACxD,QAAQ,IAAI,CAAC,MAAM;YACnB,SAAS,IAAI,CAAC,OAAO;YACrB,YAAY,IAAI,CAAC,UAAU;YAC3B,QAAQkB,OAAO,MAAM,CAAC;mBAAI,IAAI,CAAC,MAAM;gBAAEA,OAAO,MAAM,CAAC;oBAAEC;oBAAMM;gBAAO;aAAG;YACvE,OAAO,IAAI,CAAC,KAAK;YACjB,OAAOP,OAAO,MAAM,CAAC;mBAAI,IAAI,CAAC,KAAK;mBAAKU;aAAa;YACrDZ;YACA,SAAS,IAAI,CAAC,OAAO;QACvB;IACF;AACF;AAEO,MAAMW,cAAcA,GAAG,CAC5BF;IAEA,IAAI,CAACrB,YAAYA,CAACqB,QAAQ,WAAW;QACnC,MAAM,IAAIH,UAAU;IACtB;IACA,OAAOG,MAAM,CAACvB,eAAeA,CAAC;AAChC,EAAE;AAWK,MAAM8B,iBAAiBA,GAAG,CAC/BvB,UACAG,YACAqB;IAMA,SAASC,KAAKC,UAAmC,CAAC,CAAC;QACjD,IAAIA,QAAQ,MAAM,KAAKC,WAAW;YAChC,IAAI,CAAChC,YAAYA,CAAC+B,QAAQ,MAAM,EAAE,WAAW;gBAC3C,MAAM,IAAIb,UAAU;YACtB;YACA,IAAInB,eAAeA,CAACgC,QAAQ,MAAM,MAAM1B,UAAU;gBAChD,MAAM,IAAIa,UAAU;YACtB;QACF;QACA,IAAIa,QAAQ,OAAO,KAAKC,WAAW;YACjC,IAAI,CAAChC,YAAYA,CAAC+B,QAAQ,OAAO,EAAE,YAAY;gBAC7C,MAAM,IAAIb,UAAU;YACtB;YACA,IAAInB,eAAeA,CAACgC,QAAQ,OAAO,MAAM1B,UAAU;gBACjD,MAAM,IAAIa,UAAU;YACtB;QACF;QACA,MAAML,UAAUgB;QAEhB,OAAO,IAAIzB,oBAAoBA,CAACC,UAAU;YACxC,QAAQ0B,QAAQ,MAAM,IAAI;YAC1B,SAASA,QAAQ,OAAO,IAAI;YAC5BvB;YACA,QAAQM,OAAO,MAAM,CAAC,EAAE;YACxB,OAAOA,OAAO,MAAM,CAAC,EAAE;YACvB,OAAOA,OAAO,MAAM,CAAC,EAAE;YACvB,aAAa,IAAIM;YACjBP;QACF;IACF;IAEA,OAAO;QAAEiB;IAAK;AAChB,EAAE"}

package/dist/application/server-fn.d.ts

@@ -0,0 +1,30 @@
+import { Effect, Schema } from 'effect';
+import { type ERSCIdentity, type ERSCMember } from './ersc-identity.js';
+import type { AnyMiddleware } from './middleware.js';
+declare const ServerFnOperationError_base: Schema.Class<ServerFnOperationError, Schema.TaggedStruct<"ServerFnOperationError", {
+    readonly cause: Schema.Defect;
+}>, import("effect/Cause").YieldableError>;
+declare class ServerFnOperationError extends ServerFnOperationError_base {
+}
+type ServerFnInvocationMatch<ApplicationServices> = {
+    readonly _tag: 'Native';
+} | {
+    readonly _tag: 'IdentityMismatch';
+} | {
+    readonly _tag: 'Match';
+    readonly effect: Effect.Effect<unknown, ServerFnOperationError, ApplicationServices>;
+    readonly middleware: ReadonlyArray<AnyMiddleware<ApplicationServices>>;
+};
+interface ServerFunction<Input, Output, ApplicationServices> extends ERSCMember<ApplicationServices, 'ServerFn'> {
+    (input: Input): Promise<Output>;
+}
+type ServerFnOptions<InputSchema extends Schema.Constraint, Output, Error, Services> = {
+    readonly input: InputSchema;
+    readonly handler: (input: InputSchema['Type']) => Effect.Effect<Output, Error, Services>;
+};
+export type ServerFnFactory<ApplicationServices, AvailableServices> = {
+    readonly make: <InputSchema extends Schema.ConstraintDecoder<unknown, AvailableServices>, Output, Error>(options: ServerFnOptions<InputSchema, Output, Error, AvailableServices>) => ServerFunction<InputSchema['Encoded'], Output, ApplicationServices>;
+};
+export declare const matchServerFnInvocation: <ApplicationServices>(value: unknown, identity: ERSCIdentity<ApplicationServices>) => ServerFnInvocationMatch<ApplicationServices>;
+export declare const makeServerFnFactory: <ApplicationServices, AvailableServices>(identity: ERSCIdentity<ApplicationServices>, middleware: ReadonlyArray<AnyMiddleware<ApplicationServices>>) => ServerFnFactory<ApplicationServices, AvailableServices>;
+export {};

package/dist/application/server-fn.js

@@ -0,0 +1,58 @@
+import { Effect, Predicate, Schema } from "effect";
+import { attachERSCMember } from "./ersc-identity.js";
+
+
+
+
+
+const ServerFnInvocationTypeId = Symbol.for('ersc/ServerFnInvocation');
+class ServerFnOperationError extends Schema.TaggedError()('ServerFnOperationError', {
+    cause: Schema.Defect()
+}) {
+}
+const directInvocationError = ()=>new TypeError('An ERSC ServerFn is a framework intrinsic and cannot be invoked directly in the server graph.');
+const isServerFnInvocation = (value)=>Predicate.hasProperty(value, ServerFnInvocationTypeId);
+const matchServerFnInvocation = (value, identity)=>{
+    if (!isServerFnInvocation(value)) {
+        return {
+            _tag: 'Native'
+        };
+    }
+    // The framework-owned brand proves the state shape; matching the opaque identity proves the
+    // application service universe erased by the native React invocation.
+    const metadata = value[ServerFnInvocationTypeId];
+    if (metadata.identity !== identity) {
+        return {
+            _tag: 'IdentityMismatch'
+        };
+    }
+    return {
+        _tag: 'Match',
+        effect: metadata.effect,
+        middleware: metadata.middleware
+    };
+};
+const makeServerFnFactory = (identity, middleware)=>({
+        make: ({ input, handler })=>{
+            const decode = Schema.decodeUnknownEffect(input);
+            const serverFunction = (untrustedInput)=>{
+                const effect = decode(untrustedInput).pipe(Effect.flatMap(handler), Effect.mapError((cause)=>new ServerFnOperationError({
+                        cause
+                    })));
+                const unavailable = Promise.reject(directInvocationError());
+                void unavailable.catch(()=>undefined);
+                return Object.assign(unavailable, {
+                    [ServerFnInvocationTypeId]: Object.freeze({
+                        effect,
+                        identity,
+                        middleware
+                    })
+                });
+            };
+            return attachERSCMember(serverFunction, identity, 'ServerFn');
+        }
+    });
+
+export { makeServerFnFactory, matchServerFnInvocation };
+
+//# sourceMappingURL=server-fn.js.map