@devp0nt/route0 1.0.0-next.67 → 1.0.0-next.69

package/dist/esm/index.d.ts

@@ -1,5 +1,17 @@
 import { StandardSchemaV1 } from '@standard-schema/spec';
 
+type PathToken = {
+    kind: 'static';
+    value: string;
+} | {
+    kind: 'param';
+    name: string;
+    optional: boolean;
+} | {
+    kind: 'wildcard';
+    prefix: string;
+    optional: boolean;
+};
 /**
  * Strongly typed route descriptor and URL builder.
  *
@@ -11,13 +23,18 @@ import { StandardSchemaV1 } from '@standard-schema/spec';
  * Instances are callable (same as `.get()`), so `route(input)` and
  * `route.get(input)` are equivalent.
  */
-declare class Route0<TDefinition extends string> {
+declare class Route0<TDefinition extends string, TSearch extends UnknownSearch = UnknownSearch> {
     readonly definition: TDefinition;
-    readonly pathDefinition: _PathDefinition<TDefinition>;
-    readonly paramsDefinition: _ParamsDefinition<TDefinition>;
-    readonly searchDefinition: _SearchDefinition<TDefinition>;
-    readonly hasLooseSearch: HasLooseSearch<TDefinition>;
+    readonly params: _ParamsDefinition<TDefinition>;
     private _origin;
+    private _callable;
+    Infer: {
+        ParamsDefinition: _ParamsDefinition<TDefinition>;
+        ParamsInput: _ParamsInput<TDefinition>;
+        ParamsInputStringOnly: _ParamsInputStringOnly<TDefinition>;
+        ParamsOutput: ParamsOutput<TDefinition>;
+        SearchInput: TSearch;
+    };
     /** Base URL used when generating absolute URLs (`abs: true`). */
     get origin(): string;
     set origin(origin: string);
@@ -33,67 +50,29 @@ declare class Route0<TDefinition extends string> {
      *
      * Unlike `create`, passing a callable route returns the same instance.
      */
-    static from<TDefinition extends string>(definition: TDefinition | AnyRoute<TDefinition> | CallableRoute<TDefinition>): CallableRoute<TDefinition>;
-    private static _splitPathDefinitionAndSearchTailDefinition;
+    static from<TDefinition extends string, TSearch extends UnknownSearch>(definition: TDefinition | AnyRoute<TDefinition, TSearch> | CallableRoute<TDefinition, TSearch>): CallableRoute<TDefinition, TSearch>;
     private static _getAbsPath;
-    private static _getPathDefinitionBydefinition;
-    private static _getParamsDefinitionBydefinition;
-    private static _getSearchDefinitionBydefinition;
-    private static _hasLooseSearch;
+    private static _getParamsDefinitionByDefinition;
+    search<TNewSearch extends UnknownSearch>(): CallableRoute<TDefinition, TNewSearch>;
     /** Extends the current route definition by appending a suffix route. */
-    extend<TSuffixDefinition extends string>(suffixDefinition: TSuffixDefinition): CallableRoute<PathExtended<TDefinition, TSuffixDefinition>>;
-    /**
-     * Builds a URL string from typed params/search input.
-     *
-     * - `abs: true` returns absolute URL using `origin`
-     * - `hash` appends URL fragment
-     * - `search` accepts named/loose search input based on definition
-     */
-    get(input: OnlyIfHasParams<TDefinition, WithParamsInput<TDefinition, {
-        search?: _LooseSearchInput<TDefinition>;
-        abs?: boolean | string;
-        hash?: string | number;
-    }>>): OnlyIfHasParams<TDefinition, string>;
-    get(...args: OnlyIfNoParams<TDefinition, [], [never]>): string;
-    get(input: OnlyIfNoParams<TDefinition, {
-        search?: _LooseSearchInput<TDefinition>;
-        abs?: boolean | string;
-        hash?: string | number;
-    }>): OnlyIfNoParams<TDefinition, string>;
-    /**
-     * Flat input variant of `get()`, where path params + search keys
-     * are provided in a single object.
-     */
-    flat<TLoose extends boolean = HasLooseSearch<TDefinition>>(input: OnlyIfHasParams<TDefinition, WithParamsInput<TDefinition, FlatInput<TDefinition, TLoose> & {
-        hash?: string | number;
-    }>>, abs?: boolean | string, loose?: TLoose): OnlyIfHasParams<TDefinition, string>;
-    flat(...args: OnlyIfNoParams<TDefinition, [], [never]>): string;
-    flat<TLoose extends boolean = HasLooseSearch<TDefinition>>(input: OnlyIfNoParams<TDefinition, FlatInput<TDefinition, TLoose> & {
-        hash?: string | number;
-    }>, abs?: boolean | string, loose?: TLoose): OnlyIfNoParams<TDefinition, string>;
-    /** Same as `flat()`, but always accepts loose search keys. */
-    flatLoose(input: OnlyIfHasParams<TDefinition, WithParamsInput<TDefinition, LooseFlatInput<TDefinition> & {
-        hash?: string | number;
-    }>>, abs?: boolean | string): OnlyIfHasParams<TDefinition, string>;
-    flatLoose(...args: OnlyIfNoParams<TDefinition, [], [never]>): string;
-    flatLoose(input: OnlyIfNoParams<TDefinition, LooseFlatInput<TDefinition> & {
-        hash?: string | number;
-    }>, abs?: boolean | string): OnlyIfNoParams<TDefinition, string>;
-    /** Same as `flat()`, but only allows declared search keys. */
-    flatStrict(input: OnlyIfHasParams<TDefinition, WithParamsInput<TDefinition, StrictFlatInput<TDefinition> & {
-        hash?: string | number;
-    }>>, abs?: boolean | string): OnlyIfHasParams<TDefinition, string>;
-    flatStrict(...args: OnlyIfNoParams<TDefinition, [], [never]>): string;
-    flatStrict(input: OnlyIfNoParams<TDefinition, StrictFlatInput<TDefinition> & {
-        hash?: string | number;
-    }>, abs?: boolean | string): OnlyIfNoParams<TDefinition, string>;
+    extend<TSuffixDefinition extends string>(suffixDefinition: TSuffixDefinition): CallableRoute<PathExtended<TDefinition, TSuffixDefinition>, TSearch>;
+    get(...args: IsParamsOptional<TDefinition> extends true ? [abs: boolean | string | undefined] : never): string;
+    get(...args: IsParamsOptional<TDefinition> extends true ? [
+        input?: (_ParamsInput<TDefinition> & {
+            '?'?: TSearch;
+            '#'?: string | number;
+        }) | undefined,
+        abs?: boolean | string | undefined
+    ] : [
+        input: _ParamsInput<TDefinition> & {
+            '?'?: TSearch;
+            '#'?: string | number;
+        },
+        abs?: boolean | string | undefined
+    ]): string;
     /** Returns path param keys extracted from route definition. */
     getParamsKeys(): string[];
-    /** Returns named search keys extracted from route definition. */
-    getSearchKeys(): string[];
-    /** Returns all flat input keys (`search + params`). */
-    getFlatKeys(): string[];
-    getDefinition(): string;
+    getPathTokens(): PathToken[];
     /** Clones route with optional config override. */
     clone(config?: RouteConfigInput): CallableRoute<TDefinition>;
     getRegexBaseStrictString(): string;
@@ -141,18 +120,10 @@ declare class Route0<TDefinition extends string> {
     getLocation(url: AnyLocation): KnownLocation<TDefinition>;
     getLocation(hrefOrHrefRelOrLocation: string | AnyLocation | URL): KnownLocation<TDefinition>;
     private _validateParamsInput;
-    private _validateSearchInput;
-    private _validateFlatInput;
     private _safeParseSchemaResult;
     private _parseSchemaResult;
     /** Standard Schema for route params input. */
-    readonly paramsInputSchema: Route0Schema<ParamsInput<TDefinition>, ParamsOutput<TDefinition>>;
-    /** Standard Schema for strict search input. */
-    readonly strictSearchInputSchema: Route0Schema<StrictSearchInput<TDefinition>, StrictSearchOutput<TDefinition>>;
-    /** Standard Schema for loose search input. */
-    readonly looseSearchInputSchema: Route0Schema<LooseSearchInput<TDefinition>, LooseSearchOutput<TDefinition>>;
-    /** Standard Schema for route flat input (uses route default strict/loose mode). */
-    readonly flatInputSchema: Route0Schema<FlatInput<TDefinition, HasLooseSearch<TDefinition>>, FlatOutput<TDefinition, HasLooseSearch<TDefinition>>>;
+    readonly paramsSchema: SchemaRoute0<ParamsInput<TDefinition>, ParamsOutput<TDefinition>>;
     /** True when path structure is equal (param names are ignored). */
     isSame(other: AnyRoute): boolean;
     /** Static convenience wrapper for `isSame`. */
@@ -163,6 +134,8 @@ declare class Route0<TDefinition extends string> {
     isAncestor(other: AnyRoute | string | undefined): boolean;
     /** True when two route patterns can match the same concrete URL. */
     isConflict(other: AnyRoute | string | undefined): boolean;
+    /** True when paths are same or can overlap when optional parts are omitted. */
+    isMayBeSame(other: AnyRoute | string | undefined): boolean;
     /** Specificity comparator used for deterministic route ordering. */
     isMoreSpecificThan(other: AnyRoute | string | undefined): boolean;
 }
@@ -212,9 +185,9 @@ declare class Routes<const T extends RoutesRecord = any> {
     };
 }
 /** Any route instance shape, preserving literal path type when known. */
-type AnyRoute<T extends Route0<string> | string = string> = T extends string ? Route0<T> : T;
+type AnyRoute<T extends Route0<string> | string = string, TSearch extends UnknownSearch = UnknownSearch> = T extends string ? Route0<T, TSearch> : T;
 /** Callable route (`route(input)`) plus route instance methods/properties. */
-type CallableRoute<T extends Route0<string> | string = string> = AnyRoute<T> & AnyRoute<T>['get'];
+type CallableRoute<T extends Route0<string> | string = string, TSearch extends UnknownSearch = UnknownSearch> = AnyRoute<T, TSearch> & AnyRoute<T, TSearch>['get'];
 /** Route input accepted by most APIs: definition string or route object/callable. */
 type AnyRouteOrDefinition<T extends string = string> = AnyRoute<T> | CallableRoute<T> | T;
 /** Route-level runtime configuration. */
@@ -232,67 +205,23 @@ type RoutesPretty<TRoutesRecord extends RoutesRecord = any> = RoutesRecordHydrat
 type ExtractRoutesKeys<TRoutes extends RoutesPretty | RoutesRecord> = TRoutes extends RoutesPretty ? Extract<keyof TRoutes['_']['routes'], string> : TRoutes extends RoutesRecord ? Extract<keyof TRoutes, string> : never;
 type ExtractRoute<TRoutes extends RoutesPretty | RoutesRecord, TKey extends ExtractRoutesKeys<TRoutes>> = TRoutes extends RoutesPretty ? TRoutes['_']['routes'][TKey] : TRoutes extends RoutesRecord ? TRoutes[TKey] : never;
 type Definition<T extends AnyRoute | string> = T extends AnyRoute ? T['definition'] : T extends string ? T : never;
-type PathDefinition<T extends AnyRoute | string> = T extends AnyRoute ? T['pathDefinition'] : T extends string ? _PathDefinition<T> : never;
-type ParamsDefinition<T extends AnyRoute | string> = T extends AnyRoute ? T['paramsDefinition'] : T extends string ? _ParamsDefinition<T> : undefined;
-type SearchDefinition<T extends AnyRoute | string> = T extends AnyRoute ? T['searchDefinition'] : T extends string ? _SearchDefinition<T> : undefined;
-type Extended<T extends AnyRoute | string | undefined, TSuffixDefinition extends string> = T extends AnyRoute ? Route0<PathExtended<T['definition'], TSuffixDefinition>> : T extends string ? Route0<PathExtended<T, TSuffixDefinition>> : T extends undefined ? Route0<TSuffixDefinition> : never;
-type IsAncestor<T extends AnyRoute | string, TAncestor extends AnyRoute | string> = _IsAncestor<PathDefinition<T>, PathDefinition<TAncestor>>;
-type IsDescendant<T extends AnyRoute | string, TDescendant extends AnyRoute | string> = _IsDescendant<PathDefinition<T>, PathDefinition<TDescendant>>;
-type IsSame<T extends AnyRoute | string, TExact extends AnyRoute | string> = _IsSame<PathDefinition<T>, PathDefinition<TExact>>;
+type ParamsDefinition<T extends AnyRoute | string> = T extends AnyRoute ? T['params'] : T extends string ? _ParamsDefinition<T> : undefined;
+type Extended<T extends AnyRoute | string | undefined, TSuffixDefinition extends string, TSearch extends UnknownSearch = UnknownSearch> = T extends AnyRoute ? Route0<PathExtended<T['definition'], TSuffixDefinition>, TSearch> : T extends string ? Route0<PathExtended<T, TSuffixDefinition>, TSearch> : T extends undefined ? Route0<TSuffixDefinition, TSearch> : never;
+type IsAncestor<T extends AnyRoute | string, TAncestor extends AnyRoute | string> = _IsAncestor<Definition<T>, Definition<TAncestor>>;
+type IsDescendant<T extends AnyRoute | string, TDescendant extends AnyRoute | string> = _IsDescendant<Definition<T>, Definition<TDescendant>>;
+type IsSame<T extends AnyRoute | string, TExact extends AnyRoute | string> = _IsSame<Definition<T>, Definition<TExact>>;
 type IsSameParams<T1 extends AnyRoute | string, T2 extends AnyRoute | string> = _IsSameParams<ParamsDefinition<T1>, ParamsDefinition<T2>>;
-type HasParams<T extends AnyRoute | string> = ExtractPathParams<PathDefinition<T>> extends infer U ? ([U] extends [never] ? false : true) : false;
-type HasSearch<T extends AnyRoute | string> = Definition<T> extends `${string}&${string}` ? true : false;
-type HasNamedSearch<T extends AnyRoute | string> = SearchTailDefinitionWithoutFirstAndLastAmp<Definition<T>> extends '' ? false : true;
-type HasLooseSearch<T extends AnyRoute | string> = Definition<T> extends `${string}&` ? true : false;
+type HasParams<T extends AnyRoute | string> = keyof _ParamsDefinition<Definition<T>> extends never ? false : true;
+type HasRequiredParams<T extends AnyRoute | string> = _RequiredParamKeys<Definition<T>> extends never ? false : true;
 type ParamsOutput<T extends AnyRoute | string> = {
-    [K in keyof ParamsDefinition<T>]: string;
-};
-type LooseSearchOutput<T extends AnyRoute | string = string> = Partial<{
-    [K in keyof SearchDefinition<T>]?: string;
-} & Record<string, string | undefined>>;
-type StrictSearchOutput<T extends AnyRoute | string> = Partial<{
-    [K in keyof SearchDefinition<T>]?: string | undefined;
-}>;
-type LooseFlatOutput<T extends AnyRoute | string = string> = HasParams<Definition<T>> extends true ? ParamsOutput<T> & LooseSearchOutput<T> : LooseSearchOutput<T>;
-type StrictFlatOutput<T extends AnyRoute | string> = HasParams<Definition<T>> extends true ? ParamsOutput<T> & StrictSearchOutput<T> : StrictSearchOutput<T>;
-type FlatOutput<T extends AnyRoute | string, TLoose extends boolean = HasLooseSearch<T>> = TLoose extends true ? LooseFlatOutput<T> : StrictFlatOutput<T>;
-type LooseFlatOutputWithHash<T extends AnyRoute | string = string> = LooseFlatOutput<T> & {
-    hash?: string | undefined;
+    [K in keyof ParamsDefinition<T>]: ParamsDefinition<T>[K] extends true ? string : string | undefined;
 };
-type StrictFlatOutputWithHash<T extends AnyRoute | string> = StrictFlatOutput<T> & {
-    hash?: string | undefined;
-};
-type FlatOutputWithHash<T extends AnyRoute | string, TLoose extends boolean = HasLooseSearch<T>> = FlatOutput<T, TLoose> & {
-    hash?: string | undefined;
-};
-type ParamsInput<T extends AnyRoute | string = string> = _ParamsInput<PathDefinition<T>>;
-type LooseSearchInput<T extends AnyRoute | string = string> = _LooseSearchInput<Definition<T>>;
-type StrictSearchInput<T extends AnyRoute | string> = _StrictSearchInput<Definition<T>>;
-type LooseFlatInput<T extends AnyRoute | string> = _LooseFlatInput<Definition<T>>;
-type StrictFlatInput<T extends AnyRoute | string> = _StrictFlatInput<Definition<T>>;
-type FlatInput<T extends AnyRoute | string, TLoose extends boolean = HasLooseSearch<T>> = TLoose extends true ? LooseFlatInput<T> : StrictFlatInput<T>;
-type LooseFlatInputWithHash<T extends AnyRoute | string> = LooseFlatInput<T> & {
-    hash?: string | number;
-};
-type StrictFlatInputWithHash<T extends AnyRoute | string> = StrictFlatInput<T> & {
-    hash?: string | number;
-};
-type FlatInputWithHash<T extends AnyRoute | string, TLoose extends boolean = HasLooseSearch<T>> = FlatInput<T, TLoose> & {
-    hash?: string | number;
-};
-type CanInputBeEmpty<T extends AnyRoute | string> = HasParams<Definition<T>> extends true ? false : true;
-type ParamsInputStringOnly<T extends AnyRoute | string = string> = _ParamsInputStringOnly<PathDefinition<T>>;
-type LooseSearchInputStringOnly<T extends AnyRoute | string = string> = _LooseSearchInputStringOnly<Definition<T>>;
-type StrictSearchInputStringOnly<T extends AnyRoute | string> = _StrictSearchInputStringOnly<Definition<T>>;
-type LooseFlatInputStringOnly<T extends AnyRoute | string> = _LooseFlatInputStringOnly<Definition<T>>;
-type StrictFlatInputStringOnly<T extends AnyRoute | string> = _StrictFlatInputStringOnly<Definition<T>>;
-type FlatInputStringOnly<T extends AnyRoute | string, TLoose extends boolean = HasLooseSearch<T>> = TLoose extends true ? LooseFlatInputStringOnly<T> : StrictFlatInputStringOnly<T>;
+type ParamsInput<T extends AnyRoute | string = string> = _ParamsInput<Definition<T>>;
+type IsParamsOptional<T extends AnyRoute | string> = HasRequiredParams<Definition<T>> extends true ? false : true;
+type ParamsInputStringOnly<T extends AnyRoute | string = string> = _ParamsInputStringOnly<Definition<T>>;
 type LocationParams<TDefinition extends string> = {
-    [K in keyof _ParamsDefinition<TDefinition>]: string;
+    [K in keyof _ParamsDefinition<TDefinition>]: _ParamsDefinition<TDefinition>[K] extends true ? string : string | undefined;
 };
-type LocationSearch<TDefinition extends string = string> = {
-    [K in keyof _SearchDefinition<TDefinition>]: string | undefined;
-} & Record<string, string | undefined>;
 /**
  * URL location primitives independent from route-matching state.
  *
@@ -308,20 +237,19 @@ type _GeneralLocation = {
      */
     pathname: string;
     /**
-     * Raw query string with leading `?`, if present.
+     * Parsed query object.
      *
      * Example:
-     * - `?tab=posts&sort=desc`
+     * - `{ tab: "posts", sort: "desc" }`
      */
-    search: string;
+    search: UnknownSearch;
     /**
-     * Parsed query map (first value per key).
+     * Raw query string with leading `?`, if present.
      *
      * Example:
-     * - search: `?tab=posts&sort=desc`
-     * - searchParams: `{ tab: 'posts', sort: 'desc' }`
+     * - `?tab=posts&sort=desc`
      */
-    searchParams: Record<string, string | undefined>;
+    searchString: string;
     /**
      * Raw hash with leading `#`, if present.
      *
@@ -371,7 +299,6 @@ type UnknownLocationState = {
     known: false;
     route: undefined;
     params: undefined;
-    searchParams: LooseSearchOutput;
     exact: false;
     ancestor: false;
     descendant: false;
@@ -383,7 +310,6 @@ type UnmatchedLocationState<TRoute extends AnyRoute | string = AnyRoute | string
     known: true;
     route: Definition<TRoute>;
     params: Record<never, never>;
-    searchParams: Record<string, string | undefined>;
     exact: false;
     ancestor: false;
     descendant: false;
@@ -395,7 +321,6 @@ type ExactLocationState<TRoute extends AnyRoute | string = AnyRoute | string> =
     known: true;
     route: Definition<TRoute>;
     params: ParamsOutput<TRoute>;
-    searchParams: LooseSearchOutput<TRoute>;
     exact: true;
     ancestor: false;
     descendant: false;
@@ -407,7 +332,6 @@ type AncestorLocationState<TRoute extends AnyRoute | string = AnyRoute | string>
     known: true;
     route: Definition<TRoute>;
     params: ParamsOutput<TRoute>;
-    searchParams: LooseSearchOutput<TRoute>;
     exact: false;
     ancestor: true;
     descendant: false;
@@ -419,7 +343,6 @@ type WeakAncestorLocationState<TRoute extends AnyRoute | string = AnyRoute | str
     known: true;
     route: Definition<TRoute>;
     params: ParamsOutput<TRoute>;
-    searchParams: LooseSearchOutput<TRoute>;
     exact: false;
     ancestor: true;
     descendant: false;
@@ -431,19 +354,18 @@ type DescendantLocationState<TRoute extends AnyRoute | string = AnyRoute | strin
     known: true;
     route: Definition<TRoute>;
     params: Partial<ParamsOutput<TRoute>>;
-    searchParams: LooseSearchOutput<TRoute>;
     exact: false;
     ancestor: false;
     descendant: true;
     unmatched: false;
 };
 type DescendantLocation<TRoute extends AnyRoute | string = AnyRoute | string> = _GeneralLocation & DescendantLocationState<TRoute>;
+type UnknownSearch = Record<string, unknown>;
 /** It is when route not match at all, but params partially match. */
 type WeakDescendantLocationState<TRoute extends AnyRoute | string = AnyRoute | string> = {
     known: true;
     route: Definition<TRoute>;
     params: Partial<ParamsOutput<TRoute>>;
-    searchParams: LooseSearchOutput<TRoute>;
     exact: false;
     ancestor: false;
     descendant: true;
@@ -452,54 +374,50 @@ type WeakDescendantLocationState<TRoute extends AnyRoute | string = AnyRoute | s
 type WeakDescendantLocation<TRoute extends AnyRoute | string = AnyRoute | string> = _GeneralLocation & WeakDescendantLocationState<TRoute>;
 type KnownLocation<TRoute extends AnyRoute | string = AnyRoute | string> = UnmatchedLocation<TRoute> | ExactLocation<TRoute> | AncestorLocation<TRoute> | WeakAncestorLocation<TRoute> | DescendantLocation<TRoute> | WeakDescendantLocation<TRoute>;
 type AnyLocation<TRoute extends AnyRoute | string = AnyRoute | string> = UnknownLocation | KnownLocation<TRoute>;
-type _PathDefinition<T extends string> = T extends string ? TrimSearchTailDefinition<T> : never;
-type _ParamsDefinition<TDefinition extends string> = ExtractPathParams<PathDefinition<TDefinition>> extends infer U ? [U] extends [never] ? undefined : {
-    [K in Extract<U, string>]: true;
-} : undefined;
-type _SearchDefinition<TDefinition extends string> = NonEmpty<SearchTailDefinitionWithoutFirstAndLastAmp<TDefinition>> extends infer Tail extends string ? AmpSplit<Tail> extends infer U ? [U] extends [never] ? undefined : {
-    [K in Extract<U, string>]: true;
-} : undefined : undefined;
-type _ParamsInput<TDefinition extends string> = _ParamsDefinition<TDefinition> extends undefined ? Record<never, never> : {
-    [K in keyof _ParamsDefinition<TDefinition>]: string | number;
-};
-type _LooseSearchInput<TDefinition extends string> = _SearchDefinition<TDefinition> extends undefined ? Record<string, string | number> : Partial<{
-    [K in keyof _SearchDefinition<TDefinition>]: string | number;
-}> & Record<string, string | number>;
-type _StrictSearchInput<TDefinition extends string> = Partial<{
-    [K in keyof _SearchDefinition<TDefinition>]: string | number;
-}>;
-type _LooseFlatInput<TDefinition extends string> = HasParams<TDefinition> extends true ? _ParamsInput<TDefinition> & _LooseSearchInput<TDefinition> : _LooseSearchInput<TDefinition>;
-type _StrictFlatInput<TDefinition extends string> = HasParams<TDefinition> extends true ? HasNamedSearch<TDefinition> extends true ? _StrictSearchInput<TDefinition> & _ParamsInput<TDefinition> : _ParamsInput<TDefinition> : HasNamedSearch<TDefinition> extends true ? _StrictSearchInput<TDefinition> : Record<never, never>;
-type _ParamsInputStringOnly<TDefinition extends string> = _ParamsDefinition<TDefinition> extends undefined ? Record<never, never> : {
-    [K in keyof _ParamsDefinition<TDefinition>]: string;
+type _ParamsDefinition<TDefinition extends string> = _ExtractParamsDefinitionBySegments<_SplitPathSegments<Definition<TDefinition>>>;
+type _Simplify<T> = {
+    [K in keyof T]: T[K];
+} & {};
+type _IfNoKeys<T extends object, TYes, TNo> = keyof T extends never ? TYes : TNo;
+type _ParamsInput<TDefinition extends string> = _ParamsDefinition<TDefinition> extends infer TDef extends Record<string, boolean> ? _IfNoKeys<TDef, Record<never, never>, _Simplify<{
+    [K in keyof TDef as TDef[K] extends true ? K : never]: string | number;
+} & {
+    [K in keyof TDef as TDef[K] extends false ? K : never]?: string | number | undefined;
+}>> : Record<never, never>;
+type _ParamsInputStringOnly<TDefinition extends string> = _ParamsDefinition<TDefinition> extends infer TDef extends Record<string, boolean> ? _IfNoKeys<TDef, Record<never, never>, _Simplify<{
+    [K in keyof TDef as TDef[K] extends true ? K : never]: string;
+} & {
+    [K in keyof TDef as TDef[K] extends false ? K : never]?: string | undefined;
+}>> : Record<never, never>;
+type _SplitPathSegments<TPath extends string> = TPath extends '' ? [] : TPath extends '/' ? [] : TPath extends `/${infer Rest}` ? _SplitPathSegments<Rest> : TPath extends `${infer Segment}/${infer Rest}` ? Segment extends '' ? _SplitPathSegments<Rest> : [Segment, ..._SplitPathSegments<Rest>] : TPath extends '' ? [] : [TPath];
+type _ParamDefinitionFromSegment<TSegment extends string> = TSegment extends `:${infer Name}?` ? {
+    [K in Name]: false;
+} : TSegment extends `:${infer Name}` ? {
+    [K in Name]: true;
+} : TSegment extends `${string}*?` ? {
+    '*': false;
+} : TSegment extends `${string}*` ? {
+    '*': true;
+} : Record<never, never>;
+type _MergeParamDefinitions<A extends Record<string, boolean>, B extends Record<string, boolean>> = {
+    [K in keyof A | keyof B]: K extends keyof B ? B[K] : K extends keyof A ? A[K] : never;
 };
-type _LooseSearchInputStringOnly<TDefinition extends string> = _SearchDefinition<TDefinition> extends undefined ? Record<string, string> : Partial<{
-    [K in keyof _SearchDefinition<TDefinition>]: string;
-}> & Record<string, string>;
-type _StrictSearchInputStringOnly<TDefinition extends string> = Partial<{
-    [K in keyof _SearchDefinition<TDefinition>]: string;
-}>;
-type _LooseFlatInputStringOnly<TDefinition extends string> = HasParams<TDefinition> extends true ? _ParamsInputStringOnly<TDefinition> & _LooseSearchInputStringOnly<TDefinition> : _LooseSearchInputStringOnly<TDefinition>;
-type _StrictFlatInputStringOnly<TDefinition extends string> = HasParams<TDefinition> extends true ? HasNamedSearch<TDefinition> extends true ? _StrictSearchInputStringOnly<TDefinition> & _ParamsInputStringOnly<TDefinition> : _ParamsInputStringOnly<TDefinition> : HasNamedSearch<TDefinition> extends true ? _StrictSearchInputStringOnly<TDefinition> : Record<never, never>;
-type TrimSearchTailDefinition<S extends string> = S extends `${infer P}&${string}` ? P : S;
-type SearchTailDefinitionWithoutFirstAmp<S extends string> = S extends `${string}&${infer T}` ? T : '';
-type SearchTailDefinitionWithoutFirstAndLastAmp<S extends string> = S extends `${string}&${infer T}&` ? T : S extends `${string}&${infer T}` ? T : '';
-type SearchTailDefinitionWithFirstAmp<S extends string> = S extends `${string}&${infer T}` ? `&${T}` : '';
-type AmpSplit<S extends string> = S extends `${infer A}&${infer B}` ? A | AmpSplit<B> : S;
-type NonEmpty<T> = [T] extends ['' | never] ? never : T;
-type ExtractPathParams<S extends string> = S extends `${string}:${infer After}` ? After extends `${infer Name}/${infer Rest}` ? Name | ExtractPathParams<`/${Rest}`> : After : never;
+type _ExtractParamsDefinitionBySegments<TSegments extends string[]> = TSegments extends [
+    infer Segment extends string,
+    ...infer Rest extends string[]
+] ? _MergeParamDefinitions<_ParamDefinitionFromSegment<Segment>, _ExtractParamsDefinitionBySegments<Rest>> : Record<never, never>;
+type _RequiredParamKeys<TDefinition extends string> = {
+    [K in keyof _ParamsDefinition<TDefinition>]: _ParamsDefinition<TDefinition>[K] extends true ? K : never;
+}[keyof _ParamsDefinition<TDefinition>];
 type ReplacePathParams<S extends string> = S extends `${infer Head}:${infer Tail}` ? Tail extends `${infer _Param}/${infer Rest}` ? ReplacePathParams<`${Head}${string}/${Rest}`> : `${Head}${string}` : S;
 type DedupeSlashes<S extends string> = S extends `${infer A}//${infer B}` ? DedupeSlashes<`${A}/${B}`> : S;
 type EmptyRecord = Record<never, never>;
-type JoinPath<Parent extends string, Suffix extends string> = DedupeSlashes<PathDefinition<Parent> extends infer A extends string ? PathDefinition<Suffix> extends infer B extends string ? A extends '' ? B extends '' ? '' : B extends `/${string}` ? B : `/${B}` : B extends '' ? A : A extends `${string}/` ? `${A}${B}` : B extends `/${string}` ? `${A}${B}` : `${A}/${B}` : never : never>;
+type JoinPath<Parent extends string, Suffix extends string> = DedupeSlashes<Definition<Parent> extends infer A extends string ? Definition<Suffix> extends infer B extends string ? A extends '' ? B extends '' ? '' : B extends `/${string}` ? B : `/${B}` : B extends '' ? A : A extends `${string}/` ? `${A}${B}` : B extends `/${string}` ? `${A}${B}` : `${A}/${B}` : never : never>;
 type OnlyIfNoParams<TRoute extends AnyRoute | string, Yes, No = never> = HasParams<TRoute> extends false ? Yes : No;
 type OnlyIfHasParams<TRoute extends AnyRoute | string, Yes, No = never> = HasParams<TRoute> extends true ? Yes : No;
-type PathExtended<TSourcedefinitionDefinition extends string, TSuffixdefinitionDefinition extends string> = `${JoinPath<TSourcedefinitionDefinition, TSuffixdefinitionDefinition>}${SearchTailDefinitionWithFirstAmp<TSuffixdefinitionDefinition>}`;
-type WithParamsInput<TDefinition extends string, T extends {
-    search?: _LooseSearchInput<any>;
-    abs?: boolean | string;
-    hash?: string | number;
-} | undefined = undefined> = _ParamsInput<TDefinition> & (T extends undefined ? Record<never, never> : T);
+type PathExtended<TSourceDefinitionDefinition extends string, TSuffixDefinitionDefinition extends string> = `${JoinPath<StripTrailingWildcard<TSourceDefinitionDefinition>, TSuffixDefinitionDefinition>}`;
+type StripTrailingWildcard<TDefinition extends string> = TDefinition extends `${infer TPath}*?` ? TPath : TDefinition extends `${infer TPath}*` ? TPath : TDefinition;
+type IsAny<T> = 0 extends 1 & T ? true : false;
 type _IsSameParams<T1 extends object | undefined, T2 extends object | undefined> = T1 extends undefined ? T2 extends undefined ? true : false : T2 extends undefined ? false : T1 extends T2 ? T2 extends T1 ? true : false : false;
 type _IsAncestor<T extends string, TAncestor extends string> = T extends TAncestor ? false : T extends `${TAncestor}${string}` ? true : false;
 type _IsDescendant<T extends string, TDescendant extends string> = TDescendant extends T ? false : TDescendant extends `${T}${string}` ? true : false;
@@ -513,11 +431,9 @@ type _SafeParseInputResult<TInputParsed extends Record<string, unknown>> = {
     data: undefined;
     error: Error;
 };
-type SafeParseInputStrictResult<TDefinition extends string> = _SafeParseInputResult<StrictFlatOutput<TDefinition>>;
-type SafeParseInputLooseResult<TDefinition extends string> = _SafeParseInputResult<LooseFlatOutput<TDefinition>>;
-type Route0Schema<TInput extends Record<string, unknown>, TOutput extends Record<string, unknown>> = StandardSchemaV1<TInput, TOutput> & {
+type SchemaRoute0<TInput extends Record<string, unknown>, TOutput extends Record<string, unknown>> = StandardSchemaV1<TInput, TOutput> & {
     parse: (input: unknown) => TOutput;
     safeParse: (input: unknown) => _SafeParseInputResult<TOutput>;
 };
 
-export { type AmpSplit, type AncestorLocation, type AncestorLocationState, type AnyLocation, type AnyRoute, type AnyRouteOrDefinition, type CallableRoute, type CanInputBeEmpty, type DedupeSlashes, type Definition, type DescendantLocation, type DescendantLocationState, type EmptyRecord, type ExactLocation, type ExactLocationState, type Extended, type ExtractPathParams, type ExtractRoute, type ExtractRoutesKeys, type FlatInput, type FlatInputStringOnly, type FlatInputWithHash, type FlatOutput, type FlatOutputWithHash, type HasLooseSearch, type HasNamedSearch, type HasParams, type HasSearch, type IsAncestor, type IsDescendant, type IsSame, type IsSameParams, type JoinPath, type KnownLocation, type LocationParams, type LocationSearch, type LooseFlatInput, type LooseFlatInputStringOnly, type LooseFlatInputWithHash, type LooseFlatOutput, type LooseFlatOutputWithHash, type LooseSearchInput, type LooseSearchInputStringOnly, type LooseSearchOutput, type NonEmpty, type OnlyIfHasParams, type OnlyIfNoParams, type ParamsDefinition, type ParamsInput, type ParamsInputStringOnly, type ParamsOutput, type PathDefinition, type PathExtended, type ReplacePathParams, Route0, type Route0Schema, type RouteConfigInput, Routes, type RoutesPretty, type RoutesRecord, type RoutesRecordHydrated, type SafeParseInputLooseResult, type SafeParseInputStrictResult, type SearchDefinition, type SearchTailDefinitionWithFirstAmp, type SearchTailDefinitionWithoutFirstAmp, type SearchTailDefinitionWithoutFirstAndLastAmp, type StrictFlatInput, type StrictFlatInputStringOnly, type StrictFlatInputWithHash, type StrictFlatOutput, type StrictFlatOutputWithHash, type StrictSearchInput, type StrictSearchInputStringOnly, type StrictSearchOutput, type TrimSearchTailDefinition, type UnknownLocation, type UnknownLocationState, type UnmatchedLocation, type UnmatchedLocationState, type WeakAncestorLocation, type WeakAncestorLocationState, type WeakDescendantLocation, type WeakDescendantLocationState, type WithParamsInput, type _GeneralLocation, type _IsAncestor, type _IsDescendant, type _IsSame, type _IsSameParams, type _LooseFlatInput, type _LooseFlatInputStringOnly, type _LooseSearchInput, type _LooseSearchInputStringOnly, type _ParamsDefinition, type _ParamsInput, type _ParamsInputStringOnly, type _PathDefinition, type _SafeParseInputResult, type _SearchDefinition, type _StrictFlatInput, type _StrictFlatInputStringOnly, type _StrictSearchInput, type _StrictSearchInputStringOnly };
+export { type AncestorLocation, type AncestorLocationState, type AnyLocation, type AnyRoute, type AnyRouteOrDefinition, type CallableRoute, type DedupeSlashes, type Definition, type DescendantLocation, type DescendantLocationState, type EmptyRecord, type ExactLocation, type ExactLocationState, type Extended, type ExtractRoute, type ExtractRoutesKeys, type HasParams, type HasRequiredParams, type IsAncestor, type IsAny, type IsDescendant, type IsParamsOptional, type IsSame, type IsSameParams, type JoinPath, type KnownLocation, type LocationParams, type OnlyIfHasParams, type OnlyIfNoParams, type ParamsDefinition, type ParamsInput, type ParamsInputStringOnly, type ParamsOutput, type PathExtended, type PathToken, type ReplacePathParams, Route0, type RouteConfigInput, Routes, type RoutesPretty, type RoutesRecord, type RoutesRecordHydrated, type SchemaRoute0, type StripTrailingWildcard, type UnknownLocation, type UnknownLocationState, type UnknownSearch, type UnmatchedLocation, type UnmatchedLocationState, type WeakAncestorLocation, type WeakAncestorLocationState, type WeakDescendantLocation, type WeakDescendantLocationState, type _ExtractParamsDefinitionBySegments, type _GeneralLocation, type _IfNoKeys, type _IsAncestor, type _IsDescendant, type _IsSame, type _IsSameParams, type _MergeParamDefinitions, type _ParamDefinitionFromSegment, type _ParamsDefinition, type _ParamsInput, type _ParamsInputStringOnly, type _RequiredParamKeys, type _SafeParseInputResult, type _Simplify, type _SplitPathSegments };