@vertz/ui 0.2.14 → 0.2.16

package/dist/src/router/public.d.ts

@@ -34,6 +34,8 @@ type ExtractParams<T extends string> = [ExtractParamsFromSegments<WithoutWildcar
 * - Fallback: `string` → `string` (backward compat)
 */
 type PathWithParams<T extends string> = T extends `${infer Before}*` ? `${PathWithParams<Before>}${string}` : T extends `${infer Before}:${string}/${infer After}` ? `${Before}${string}/${PathWithParams<`${After}`>}` : T extends `${infer Before}:${string}` ? `${Before}${string}` : T;
+/** Union of route pattern keys from a route map. */
+type RoutePattern<TRouteMap extends Record<string, unknown>> = keyof TRouteMap & string;
 /**
 * Union of all valid URL shapes for a route map.
 * Maps each route pattern key through `PathWithParams` to produce the accepted URL shapes.
@@ -43,7 +45,7 @@ type PathWithParams<T extends string> = T extends `${infer Before}*` ? `${PathWi
 * RoutePaths<{ '/': ..., '/tasks/:id': ... }> = '/' | `/tasks/${string}`
 * ```
 */
-type RoutePaths<TRouteMap extends Record<string, unknown>> = { [K in keyof TRouteMap & string] : PathWithParams<K> }[keyof TRouteMap & string];
+type RoutePaths<TRouteMap extends Record<string, unknown>> = { [K in RoutePattern<TRouteMap>] : PathWithParams<K> }[RoutePattern<TRouteMap>];
 /** Schema interface for parsing and validating values (search params, path params). */
 interface SearchParamSchema<T> {
 	parse(data: unknown): {
@@ -80,6 +82,8 @@ interface RouteConfig<
 	searchParams?: SearchParamSchema<TSearch>;
 	/** Nested child routes. */
 	children?: RouteDefinitionMap;
+	/** Whether to pre-render this route at build time (default: true for static routes). */
+	prerender?: boolean;
 }
 /** A map of path patterns to route configs (user input format). */
 interface RouteDefinitionMap {
@@ -109,6 +113,7 @@ interface RouteConfigLike {
 	params?: ParamSchema<unknown>;
 	searchParams?: SearchParamSchema<unknown>;
 	children?: Record<string, RouteConfigLike>;
+	prerender?: boolean;
 }
 /**
 * Phantom branded array that carries the route map type `T`.
@@ -142,6 +147,8 @@ interface CompiledRoute {
 	searchParams?: RouteConfig["searchParams"];
 	/** Compiled children. */
 	children?: CompiledRoute[];
+	/** Whether to pre-render this route at build time (default: true for static routes). */
+	prerender?: boolean;
 }
 /** A single matched route entry in the matched chain. */
 interface MatchedRoute {
@@ -229,8 +236,8 @@ type UnwrapSignals<T> = T extends object ? { [K in keyof T] : Unwrapped<T[K]> }
 interface LinkProps<T extends Record<string, RouteConfigLike> = RouteDefinitionMap> {
 	/** The target URL path. */
 	href: RoutePaths<T>;
-	/** Text or content for the link. Thunk may return string or Text node. */
-	children: string | (() => string | Node);
+	/** Text or content for the link. Accepts string, Node, or a thunk returning either. */
+	children: string | Node | (() => string | Node);
 	/** Class applied when the link's href matches the current path. */
 	activeClass?: string;
 	/** Static class name for the anchor element. */
@@ -251,11 +258,32 @@ interface LinkFactoryOptions {
 * @returns A Link component function
 */
 declare function createLink(currentPath: ReadonlySignal<string>, navigate: (url: string) => void, factoryOptions?: LinkFactoryOptions): (props: LinkProps) => HTMLAnchorElement;
+/**
+* Context-based Link component for client-side navigation.
+*
+* Reads the router from `RouterContext` automatically — no manual wiring needed.
+* Just use `<Link href="/about">About</Link>` inside a router-provided tree.
+*/
+declare function Link({ href, children, activeClass, className }: LinkProps): HTMLAnchorElement;
+type NavigateSearchValue = string | number | boolean | null | undefined;
+type NavigateSearch = string | URLSearchParams | Record<string, NavigateSearchValue | readonly NavigateSearchValue[]>;
 /** Options for router.navigate(). */
 interface NavigateOptions {
 	/** Use history.replaceState instead of pushState. */
 	replace?: boolean;
+	/** Route params used to interpolate dynamic segments in the route pattern. */
+	params?: Record<string, string>;
+	/** Search params appended to the final URL. */
+	search?: NavigateSearch;
 }
+type NavigateOptionsFor<TPath extends string> = string extends TPath ? NavigateOptions : TPath extends `${string}:${string}` | `${string}*` ? Omit<NavigateOptions, "params"> & {
+	params: ExtractParams<TPath>;
+} : Omit<NavigateOptions, "params"> & {
+	params?: never;
+};
+type NavigateInput<TPath extends string = string> = {
+	to: TPath;
+} & NavigateOptionsFor<TPath>;
 /** Handle returned by prefetchNavData for cancellation. */
 interface PrefetchHandle {
 	abort: () => void;
@@ -280,13 +308,14 @@ interface RouterOptions {
 *
 * Generic over the route map `T`. Defaults to `RouteDefinitionMap` (string
 * index signature) for backward compatibility — unparameterized `Router`
-* accepts any string in `navigate()`.
+* accepts any string in `navigate().to`.
 *
 * Method syntax on `navigate`, `revalidate`, and `dispose` enables bivariant
 * parameter checking under `strictFunctionTypes`. This means `Router<T>` is
 * assignable to `Router` (the unparameterized default), which is required for
 * storing typed routers in the `RouterContext` without contravariance errors.
-* At call sites, TypeScript still enforces the `RoutePaths<T>` constraint.
+* At call sites, TypeScript still enforces the `RoutePattern<T>` constraint and
+* the params required for each route pattern.
 */
 interface Router<T extends Record<string, RouteConfigLike> = RouteDefinitionMap> {
 	/** Current matched route (reactive signal). */
@@ -297,8 +326,8 @@ interface Router<T extends Record<string, RouteConfigLike> = RouteDefinitionMap>
 	loaderError: Signal<Error | null>;
 	/** Parsed search params from the current route (reactive signal). */
 	searchParams: Signal<Record<string, unknown>>;
-	/** Navigate to a new URL path. */
-	navigate(url: RoutePaths<T>, options?: NavigateOptions): Promise<void>;
+	/** Navigate to a route pattern, interpolating params and search into the final URL. */
+	navigate<TPath extends RoutePattern<T>>(input: NavigateInput<TPath>): Promise<void>;
 	/** Re-run all loaders for the current route. */
 	revalidate(): Promise<void>;
 	/** Remove popstate listener and clean up the router. */
@@ -317,7 +346,8 @@ type TypedRouter<T extends Record<string, RouteConfigLike> = RouteDefinitionMap>
 * @param initialUrl - The initial URL to match (optional; auto-detects from window.location or SSR context)
 * @returns Router instance with reactive state and navigation methods
 */
-declare function createRouter<T extends Record<string, RouteConfigLike> = RouteDefinitionMap>(routes: TypedRoutes<T>, initialUrl?: string, options?: RouterOptions): Router<T>;
+declare function createRouter<T extends Record<string, RouteConfigLike> = RouteDefinitionMap>(routes: TypedRoutes<T>, initialUrl: string, options?: RouterOptions): Router<T>;
+declare function createRouter<T extends Record<string, RouteConfigLike> = RouteDefinitionMap>(routes: TypedRoutes<T>, options?: RouterOptions): Router<T>;
 /**
 * Props for the JSX pattern of Context.Provider.
 *
@@ -405,4 +435,4 @@ declare function parseSearchParams<T = Record<string, string>>(urlParams: URLSea
 * @returns The current search params value
 */
 declare function useSearchParams<T>(searchSignal: ReadonlySignal<T>): T;
-export { useSearchParams, useRouter, useParams, parseSearchParams, defineRoutes, createRouter, createLink, TypedRoutes, TypedRouter, SearchParamSchema, RouterViewProps, RouterView, RouterContext, Router, RoutePaths, RouteMatch, RouteDefinitionMap, RouteConfig, PathWithParams, ParamSchema, OutletContextValue, OutletContext, Outlet, NavigateOptions, MatchedRoute, LoaderData, LinkProps, InferRouteMap, ExtractParams, CompiledRoute };
+export { useSearchParams, useRouter, useParams, parseSearchParams, defineRoutes, createRouter, createLink, TypedRoutes, TypedRouter, SearchParamSchema, RouterViewProps, RouterView, RouterContext, Router, RoutePattern, RoutePaths, RouteMatch, RouteDefinitionMap, RouteConfig, PathWithParams, ParamSchema, OutletContextValue, OutletContext, Outlet, NavigateOptions, NavigateInput, MatchedRoute, LoaderData, LinkProps, Link, InferRouteMap, ExtractParams, CompiledRoute };

package/dist/src/router/public.js

@@ -1,26 +1,31 @@
 import {
+  Link,
   Outlet,
   OutletContext,
-  RouterContext,
   RouterView,
   createLink,
   parseSearchParams,
-  useParams,
-  useRouter,
   useSearchParams
-} from "../../shared/chunk-nn9v1zmk.js";
-import"../../shared/chunk-dksg08fq.js";
+} from "../../shared/chunk-b0qqqk03.js";
+import"../../shared/chunk-1rxa2fz4.js";
 import {
   createRouter
-} from "../../shared/chunk-mj7b4t40.js";
+} from "../../shared/chunk-fkbgbf3n.js";
 import {
   defineRoutes
-} from "../../shared/chunk-83g4h38e.js";
+} from "../../shared/chunk-6wd36w21.js";
 import"../../shared/chunk-jrtrk5z4.js";
-import"../../shared/chunk-j6qyxfdc.js";
+import {
+  RouterContext,
+  useParams,
+  useRouter
+} from "../../shared/chunk-mtsvrj9e.js";
+import"../../shared/chunk-pnv25zep.js";
+import"../../shared/chunk-14eqne2a.js";
+import"../../shared/chunk-vndfjfdy.js";
 import"../../shared/chunk-prj7nm08.js";
-import"../../shared/chunk-h89w580h.js";
-import"../../shared/chunk-8hsz5y4a.js";
+import"../../shared/chunk-afawz764.js";
+import"../../shared/chunk-4fwcwxn6.js";
 export {
   useSearchParams,
   useRouter,
@@ -32,5 +37,6 @@ export {
   RouterView,
   RouterContext,
   OutletContext,
-  Outlet
+  Outlet,
+  Link
 };

package/dist/src/test/index.d.ts

@@ -138,25 +138,8 @@ type ExtractParams<T extends string> = [ExtractParamsFromSegments<WithoutWildcar
 } : Record<string, never> : HasWildcard<T> extends true ? { [K in ExtractParamsFromSegments<WithoutWildcard<T>>] : string } & {
 	"*": string;
 } : { [K in ExtractParamsFromSegments<WithoutWildcard<T>>] : string };
-/**
-* Convert a route pattern to the union of URL shapes it accepts.
-* - Static: `'/'` → `'/'`
-* - Param: `'/tasks/:id'` → `` `/tasks/${string}` ``
-* - Wildcard: `'/files/*'` → `` `/files/${string}` ``
-* - Multi: `'/users/:id/posts/:postId'` → `` `/users/${string}/posts/${string}` ``
-* - Fallback: `string` → `string` (backward compat)
-*/
-type PathWithParams<T extends string> = T extends `${infer Before}*` ? `${PathWithParams<Before>}${string}` : T extends `${infer Before}:${string}/${infer After}` ? `${Before}${string}/${PathWithParams<`${After}`>}` : T extends `${infer Before}:${string}` ? `${Before}${string}` : T;
-/**
-* Union of all valid URL shapes for a route map.
-* Maps each route pattern key through `PathWithParams` to produce the accepted URL shapes.
-*
-* Example:
-* ```
-* RoutePaths<{ '/': ..., '/tasks/:id': ... }> = '/' | `/tasks/${string}`
-* ```
-*/
-type RoutePaths<TRouteMap extends Record<string, unknown>> = { [K in keyof TRouteMap & string] : PathWithParams<K> }[keyof TRouteMap & string];
+/** Union of route pattern keys from a route map. */
+type RoutePattern<TRouteMap extends Record<string, unknown>> = keyof TRouteMap & string;
 /** Schema interface for parsing and validating values (search params, path params). */
 interface SearchParamSchema<T> {
 	parse(data: unknown): {
@@ -193,6 +176,8 @@ interface RouteConfig<
 	searchParams?: SearchParamSchema<TSearch>;
 	/** Nested child routes. */
 	children?: RouteDefinitionMap;
+	/** Whether to pre-render this route at build time (default: true for static routes). */
+	prerender?: boolean;
 }
 /** A map of path patterns to route configs (user input format). */
 interface RouteDefinitionMap {
@@ -222,6 +207,7 @@ interface RouteConfigLike {
 	params?: ParamSchema<unknown>;
 	searchParams?: SearchParamSchema<unknown>;
 	children?: Record<string, RouteConfigLike>;
+	prerender?: boolean;
 }
 /** Internal compiled route. */
 interface CompiledRoute {
@@ -239,6 +225,8 @@ interface CompiledRoute {
 	searchParams?: RouteConfig["searchParams"];
 	/** Compiled children. */
 	children?: CompiledRoute[];
+	/** Whether to pre-render this route at build time (default: true for static routes). */
+	prerender?: boolean;
 }
 /** A single matched route entry in the matched chain. */
 interface MatchedRoute {
@@ -273,23 +261,38 @@ interface Signal<T> {
 	/** Manually notify all subscribers (useful after mutating the value in place). */
 	notify(): void;
 }
+type NavigateSearchValue = string | number | boolean | null | undefined;
+type NavigateSearch = string | URLSearchParams | Record<string, NavigateSearchValue | readonly NavigateSearchValue[]>;
 /** Options for router.navigate(). */
 interface NavigateOptions {
 	/** Use history.replaceState instead of pushState. */
 	replace?: boolean;
+	/** Route params used to interpolate dynamic segments in the route pattern. */
+	params?: Record<string, string>;
+	/** Search params appended to the final URL. */
+	search?: NavigateSearch;
 }
+type NavigateOptionsFor<TPath extends string> = string extends TPath ? NavigateOptions : TPath extends `${string}:${string}` | `${string}*` ? Omit<NavigateOptions, "params"> & {
+	params: ExtractParams<TPath>;
+} : Omit<NavigateOptions, "params"> & {
+	params?: never;
+};
+type NavigateInput<TPath extends string = string> = {
+	to: TPath;
+} & NavigateOptionsFor<TPath>;
 /**
 * The router instance returned by createRouter.
 *
 * Generic over the route map `T`. Defaults to `RouteDefinitionMap` (string
 * index signature) for backward compatibility — unparameterized `Router`
-* accepts any string in `navigate()`.
+* accepts any string in `navigate().to`.
 *
 * Method syntax on `navigate`, `revalidate`, and `dispose` enables bivariant
 * parameter checking under `strictFunctionTypes`. This means `Router<T>` is
 * assignable to `Router` (the unparameterized default), which is required for
 * storing typed routers in the `RouterContext` without contravariance errors.
-* At call sites, TypeScript still enforces the `RoutePaths<T>` constraint.
+* At call sites, TypeScript still enforces the `RoutePattern<T>` constraint and
+* the params required for each route pattern.
 */
 interface Router<T extends Record<string, RouteConfigLike> = RouteDefinitionMap> {
 	/** Current matched route (reactive signal). */
@@ -300,8 +303,8 @@ interface Router<T extends Record<string, RouteConfigLike> = RouteDefinitionMap>
 	loaderError: Signal<Error | null>;
 	/** Parsed search params from the current route (reactive signal). */
 	searchParams: Signal<Record<string, unknown>>;
-	/** Navigate to a new URL path. */
-	navigate(url: RoutePaths<T>, options?: NavigateOptions): Promise<void>;
+	/** Navigate to a route pattern, interpolating params and search into the final URL. */
+	navigate<TPath extends RoutePattern<T>>(input: NavigateInput<TPath>): Promise<void>;
 	/** Re-run all loaders for the current route. */
 	revalidate(): Promise<void>;
 	/** Remove popstate listener and clean up the router. */

package/dist/src/test/index.js

@@ -1,11 +1,12 @@
 import {
   createRouter
-} from "../../shared/chunk-mj7b4t40.js";
+} from "../../shared/chunk-fkbgbf3n.js";
 import {
   defineRoutes
-} from "../../shared/chunk-83g4h38e.js";
+} from "../../shared/chunk-6wd36w21.js";
 import"../../shared/chunk-jrtrk5z4.js";
-import"../../shared/chunk-8hsz5y4a.js";
+import"../../shared/chunk-14eqne2a.js";
+import"../../shared/chunk-4fwcwxn6.js";
 
 // src/test/interactions.ts
 async function click(el) {
@@ -199,7 +200,7 @@ async function createTestRouter(routes, opts) {
   container.setAttribute("data-testid", "test-router-container");
   await renderCurrentRoute(router, container);
   async function navigate(path) {
-    await router.navigate(path);
+    await router.navigate({ to: path });
     await renderCurrentRoute(router, container);
   }
   return { component: container, navigate, router };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vertz/ui",
-  "version": "0.2.14",
+  "version": "0.2.16",
   "type": "module",
   "license": "MIT",
   "description": "Vertz UI framework — signals, components, JSX runtime",
@@ -69,11 +69,11 @@
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@vertz/fetch": "^0.2.13"
+    "@vertz/fetch": "^0.2.15"
   },
   "devDependencies": {
     "@happy-dom/global-registrator": "^20.7.0",
-    "@vertz/schema": "^0.2.13",
+    "@vertz/schema": "^0.2.15",
     "bunup": "^0.16.31",
     "happy-dom": "^20.7.0",
     "typescript": "^5.7.0"

package/reactivity.json

@@ -42,17 +42,7 @@
     "useAuth": {
       "kind": "function",
       "reactivity": {
-        "plainProperties": [
-          "signIn",
-          "signUp",
-          "signOut",
-          "refresh",
-          "mfaChallenge",
-          "forgotPassword",
-          "resetPassword"
-        ],
-        "signalProperties": ["user", "status", "isAuthenticated", "isLoading", "error"],
-        "type": "signal-api"
+        "type": "reactive-source"
       }
     },
     "useContext": {