@devp0nt/route0 1.0.0-next.76 → 1.0.0-next.78

package/dist/esm/index.d.ts

@@ -28,16 +28,24 @@ declare class Route0<TDefinition extends string, TSearchInput extends UnknownSea
     readonly params: _ParamsDefinition<TDefinition>;
     private _origin;
     private _callable;
-    private _regexBaseStrictString?;
+    private _routeSegments?;
+    private _routeTokens?;
+    private _routePatternCandidates?;
+    private _pathParamsDefinition?;
+    private _definitionWithoutTrailingWildcard?;
+    private _routeRegexBaseStringRaw?;
     private _regexBaseString?;
-    private _regexStrictString?;
     private _regexString?;
-    private _regexStrict?;
     private _regex?;
     private _regexAncestor?;
+    private _regexDescendantMatchers?;
     private _captureKeys?;
     private _normalizedDefinition?;
     private _definitionParts?;
+    private static _getRouteSegments;
+    private static _normalizeRouteDefinition;
+    private static _normalizePathname;
+    private static _validateRouteDefinition;
     Infer: {
         ParamsDefinition: _ParamsDefinition<TDefinition>;
         ParamsInput: _ParamsInput<TDefinition>;
@@ -54,15 +62,14 @@ declare class Route0<TDefinition extends string, TSearchInput extends UnknownSea
      *
      * If an existing route/callable route is provided, it is cloned.
      */
-    static create<TDefinition extends string>(definition: TDefinition | AnyRoute<TDefinition> | CallableRoute<TDefinition>, config?: RouteConfigInput): CallableRoute<TDefinition>;
+    static create<TDefinition extends string>(definition: TDefinition | AnyRoute<TDefinition> | CallableRoute<TDefinition>, config?: RouteConfigInput): CallableRoute<NormalizeRouteDefinition<TDefinition>>;
     /**
      * Normalizes a definition/route into a callable route.
      *
      * Unlike `create`, passing a callable route returns the same instance.
      */
-    static from<TDefinition extends string, TSearchInput extends UnknownSearchInput>(definition: TDefinition | AnyRoute<TDefinition, TSearchInput> | CallableRoute<TDefinition, TSearchInput>): CallableRoute<TDefinition, TSearchInput>;
+    static from<TDefinition extends string, TSearchInput extends UnknownSearchInput>(definition: TDefinition | AnyRoute<TDefinition, TSearchInput> | CallableRoute<TDefinition, TSearchInput>): CallableRoute<NormalizeRouteDefinition<TDefinition>, TSearchInput>;
     private static _getAbsPath;
-    private static _getParamsDefinitionByDefinition;
     search<TNewSearchInput extends UnknownSearchInput>(): CallableRoute<TDefinition, TNewSearchInput>;
     /** Extends the current route definition by appending a suffix route. */
     extend<TSuffixDefinition extends string>(suffixDefinition: TSuffixDefinition): CallableRoute<PathExtended<TDefinition, TSuffixDefinition>, TSearchInput>;
@@ -73,24 +80,24 @@ declare class Route0<TDefinition extends string, TSearchInput extends UnknownSea
     getTokens(): RouteToken[];
     /** Clones route with optional config override. */
     clone(config?: RouteConfigInput): CallableRoute<TDefinition>;
-    get regexBaseStrictString(): string;
     get regexBaseString(): string;
-    get regexStrictString(): string;
     get regexString(): string;
-    get regexStrict(): RegExp;
     get regex(): RegExp;
     get regexAncestor(): RegExp;
+    private get regexDescendantMatchers();
     private get captureKeys();
+    private get routeSegments();
+    private get routeTokens();
+    private get routePatternCandidates();
+    private get pathParamsDefinition();
+    private get definitionWithoutTrailingWildcard();
+    private get routeRegexBaseStringRaw();
     private get normalizedDefinition();
     private get definitionParts();
     /** Fast pathname exact match check without building a full location object. */
     isExactPathnameMatch(pathname: string): boolean;
     /** Fast pathname exact or ancestor match check without building a full location object. */
     isExactOrAncestorPathnameMatch(pathname: string): boolean;
-    /** Creates a grouped strict regex pattern string from many routes. */
-    static getRegexStrictStringGroup(routes: AnyRoute[]): string;
-    /** Creates a strict grouped regex from many routes. */
-    static getRegexStrictGroup(routes: AnyRoute[]): RegExp;
     /** Creates a grouped regex pattern string from many routes. */
     static getRegexStringGroup(routes: AnyRoute[]): string;
     /** Creates a grouped regex from many routes. */
@@ -139,9 +146,14 @@ declare class Route0<TDefinition extends string, TSearchInput extends UnknownSea
     /** True when current route is broader/shallower than `other`. */
     isAncestor(other: AnyRoute | string | undefined): boolean;
     /** True when two route patterns can match the same concrete URL. */
+    isOverlap(other: AnyRoute | string | undefined): boolean;
+    /**
+     * True when overlap is not resolvable by route ordering inside one route set.
+     *
+     * Non-conflicting overlap means one route is a strict subset of another
+     * (e.g. `/x/y` is a strict subset of `/x/:id`) and can be safely ordered first.
+     */
     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;
 }
@@ -152,6 +164,7 @@ declare class Route0<TDefinition extends string, TSearchInput extends UnknownSea
  * and returns a "pretty" object with direct route access + helper methods under `._`.
  */
 declare class Routes<const T extends RoutesRecord = any> {
+    private static _getNormalizedPathnameFromInput;
     _routes: RoutesRecordHydrated<T>;
     _pathsOrdering: string[];
     _keysOrdering: string[];
@@ -422,8 +435,13 @@ type _RequiredParamKeys<TDefinition extends string> = {
 }[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 EnsureLeadingSlash<S extends string> = S extends '' ? '/' : S extends `/${string}` ? S : `/${S}`;
+type TrimTrailingSlash<S extends string> = S extends '/' ? '/' : S extends `${infer V}/` ? TrimTrailingSlash<V> : S;
+type NormalizeRouteDefinition<S extends string> = TrimTrailingSlash<EnsureLeadingSlash<DedupeSlashes<S>>>;
 type EmptyRecord = Record<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 JoinPath<Parent extends string, Suffix extends string> = NormalizeRouteDefinition<Definition<Parent> extends infer A extends string ? Definition<Suffix> extends infer B extends string ? NormalizeRouteDefinition<A> extends infer ANormalized extends string ? NormalizeRouteDefinition<B> extends infer BNormalized extends string ? BNormalized extends '/' ? ANormalized : ANormalized extends '/' ? BNormalized : `${ANormalized}/${BNormalized}` : never : never : never : never>;
+type PathExtended<TSourceDefinitionDefinition extends string, TSuffixDefinitionDefinition extends string> = `${NormalizeRouteDefinition<JoinPath<StripTrailingWildcard<TSourceDefinitionDefinition>, TSuffixDefinitionDefinition>>}`;
+type StripTrailingWildcard<TDefinition extends string> = TDefinition extends `${infer TPath}*?` ? NormalizeRouteDefinition<TPath> : TDefinition extends `${infer TPath}*` ? NormalizeRouteDefinition<TPath> : NormalizeRouteDefinition<TDefinition>;
 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 GetPathInput<TDefinition extends string, TSearchInput extends UnknownSearchInput> = _ParamsInput<TDefinition> & {
@@ -431,8 +449,6 @@ type GetPathInput<TDefinition extends string, TSearchInput extends UnknownSearch
     '#'?: string | number;
 };
 type GetPathInputByRoute<TRoute extends AnyRoute | CallableRoute | string> = TRoute extends AnyRoute<any, infer TSearchInput> ? GetPathInput<Definition<TRoute>, TSearchInput> : TRoute extends string ? GetPathInput<TRoute, UnknownSearchInput> : never;
-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;
@@ -452,4 +468,4 @@ type SchemaRoute0<TInput extends Record<string, unknown>, TOutput extends Record
     safeParse: (input: unknown) => _SafeParseInputResult<TOutput>;
 };
 
-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 GetPathInput, type GetPathInputByRoute, type HasParams, type HasRequiredParams, type HasWildcard, 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 ReplacePathParams, Route0, type RouteConfigInput, type RouteToken, Routes, type RoutesPretty, type RoutesRecord, type RoutesRecordHydrated, type SchemaRoute0, type StripTrailingWildcard, type UnknownLocation, type UnknownLocationState, type UnknownSearchInput, type UnknownSearchParsed, type UnknownSearchParsedValue, 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 };
+export { type AncestorLocation, type AncestorLocationState, type AnyLocation, type AnyRoute, type AnyRouteOrDefinition, type CallableRoute, type DedupeSlashes, type Definition, type DescendantLocation, type DescendantLocationState, type EmptyRecord, type EnsureLeadingSlash, type ExactLocation, type ExactLocationState, type Extended, type ExtractRoute, type ExtractRoutesKeys, type GetPathInput, type GetPathInputByRoute, type HasParams, type HasRequiredParams, type HasWildcard, type IsAncestor, type IsAny, type IsDescendant, type IsParamsOptional, type IsSame, type IsSameParams, type JoinPath, type KnownLocation, type LocationParams, type NormalizeRouteDefinition, type OnlyIfHasParams, type OnlyIfNoParams, type ParamsDefinition, type ParamsInput, type ParamsInputStringOnly, type ParamsOutput, type PathExtended, type ReplacePathParams, Route0, type RouteConfigInput, type RouteToken, Routes, type RoutesPretty, type RoutesRecord, type RoutesRecordHydrated, type SchemaRoute0, type StripTrailingWildcard, type TrimTrailingSlash, type UnknownLocation, type UnknownLocationState, type UnknownSearchInput, type UnknownSearchParsed, type UnknownSearchParsedValue, 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 };