@devp0nt/route0 1.0.0-next.3 → 1.0.0-next.30

package/src/index.ts

@@ -1,41 +1,47 @@
+// TODO: asterisk
+// TODO: when asterisk then query params will be extended also after extend
+// TODO: optional params
+// TODO: required search
+
+// TODO: .extension('.json') to not add additional / but just add some extension
+// TODO: search input can be boolean, or even object with qs
+// TODO: Роут0 три пусть три тоже сам генерится вероятно
+// TODO: Роут0 три мод, тогда там все ноуты кончаются на .селф
 // TODO: use splats in param definition "*"
-// TODO: ? check extend for query only .extend('&x&z')
-// TODO: .create(route, {useQuery, useParams})
+// TODO: ? check extend for search only .extend('&x&z')
+// TODO: .create(route, {useSearch, useParams})
 // TODO: Из пас экзакт, из пасвизквери экзает, из чилдрен, из парент, из экзактОр
 // TODO: isEqual, isChildren, isParent
-// TODO: extractParams, extractQuery
-// TODO: getPathDefinition respecting definitionParamPrefix, definitionQueryPrefix
+// TODO: extractParams, extractSearch
+// TODO: getPathDefinition respecting definitionParamPrefix, definitionSearchPrefix
 // TODO: prepend
 // TODO: Route0.createTree({base:{self: x, children: ...})
 // TODO: overrideTree
 // TODO: .create(route, {baseUrl, useLocation})
 // TODO: ? optional path params as @
 // TODO: prependMany, extendMany, overrideMany, with types
+// TODO: optional route params /x/:id?
 
-export class Route0<
-  TPathOriginalDefinition extends string,
-  TPathDefinition extends Route0._PathDefinition<TPathOriginalDefinition>,
-  TParamsDefinition extends Route0._ParamsDefinition<TPathOriginalDefinition>,
-  TQueryDefinition extends Route0._QueryDefinition<TPathOriginalDefinition>,
-> {
-  pathOriginalDefinition: TPathOriginalDefinition
-  private pathDefinition: TPathDefinition
-  paramsDefinition: TParamsDefinition
-  queryDefinition: TQueryDefinition
+export class Route0<TDefinition extends string> {
+  readonly definition: TDefinition
+  readonly pathDefinition: _PathDefinition<TDefinition>
+  readonly paramsDefinition: _ParamsDefinition<TDefinition>
+  readonly searchDefinition: _SearchDefinition<TDefinition>
   baseUrl: string
 
-  private constructor(definition: TPathOriginalDefinition, config: Route0.RouteConfigInput = {}) {
-    this.pathOriginalDefinition = definition as TPathOriginalDefinition
-    this.pathDefinition = Route0._getPathDefinitionByOriginalDefinition(definition) as TPathDefinition
-    this.paramsDefinition = Route0._getParamsDefinitionByRouteDefinition(definition) as TParamsDefinition
-    this.queryDefinition = Route0._getQueryDefinitionByRouteDefinition(definition) as TQueryDefinition
+  private constructor(definition: TDefinition, config: RouteConfigInput = {}) {
+    this.definition = definition
+    this.pathDefinition = Route0._getPathDefinitionBydefinition(definition)
+    this.paramsDefinition = Route0._getParamsDefinitionBydefinition(definition)
+    this.searchDefinition = Route0._getSearchDefinitionBydefinition(definition)
 
     const { baseUrl } = config
     if (baseUrl && typeof baseUrl === 'string' && baseUrl.length) {
       this.baseUrl = baseUrl
     } else {
       const g = globalThis as unknown as { location?: { origin?: string } }
-      if (g?.location?.origin) {
+      // eslint-disable-next-line @typescript-eslint/no-unnecessary-condition
+      if (typeof g?.location?.origin === 'string' && g.location.origin.length > 0) {
         this.baseUrl = g.location.origin
       } else {
         this.baseUrl = 'https://example.com'
@@ -43,185 +49,142 @@ export class Route0<
     }
   }
 
-  static create<
-    TPathOriginalDefinition extends string,
-    TPathDefinition extends Route0._PathDefinition<TPathOriginalDefinition>,
-    TParamsDefinition extends Route0._ParamsDefinition<TPathOriginalDefinition>,
-    TQueryDefinition extends Route0._QueryDefinition<TPathOriginalDefinition>,
-  >(
-    definition: TPathOriginalDefinition,
-    config?: Route0.RouteConfigInput,
-  ): Route0.Callable<Route0<TPathOriginalDefinition, TPathDefinition, TParamsDefinition, TQueryDefinition>> {
-    const original = new Route0<TPathOriginalDefinition, TPathDefinition, TParamsDefinition, TQueryDefinition>(
-      definition,
-      config,
-    )
+  static create<TDefinition extends string>(
+    definition: TDefinition | AnyRoute<TDefinition>,
+    config?: RouteConfigInput,
+  ): CallabelRoute<TDefinition> {
+    if (typeof definition === 'function') {
+      return definition
+    }
+    const original = typeof definition === 'object' ? definition : new Route0<TDefinition>(definition, config)
     const callable = original.get.bind(original)
-    const proxy = new Proxy(callable, {
-      get(_target, prop, receiver) {
-        const value = (original as any)[prop]
-        if (typeof value === 'function') {
-          return value.bind(original)
-        }
-        return value
-      },
-      set(_target, prop, value, receiver) {
-        ;(original as any)[prop] = value
-        return true
-      },
-      has(_target, prop) {
-        return prop in original
-      },
+    Object.setPrototypeOf(callable, original)
+    Object.defineProperty(callable, Symbol.toStringTag, {
+      value: original.definition,
     })
-    Object.setPrototypeOf(proxy, Route0.prototype)
-    return proxy as never
+    return callable as never
   }
 
-  private static _splitPathDefinitionAndQueryTailDefinition(pathOriginalDefinition: string) {
-    const i = pathOriginalDefinition.indexOf('&')
-    if (i === -1) return { pathDefinition: pathOriginalDefinition, queryTailDefinition: '' }
+  private static _splitPathDefinitionAndSearchTailDefinition(definition: string) {
+    const i = definition.indexOf('&')
+    if (i === -1) return { pathDefinition: definition, searchTailDefinition: '' }
     return {
-      pathDefinition: pathOriginalDefinition.slice(0, i),
-      queryTailDefinition: pathOriginalDefinition.slice(i),
+      pathDefinition: definition.slice(0, i),
+      searchTailDefinition: definition.slice(i),
     }
   }
 
-  private static _getAbsPath(baseUrl: string, pathWithQuery: string) {
-    return new URL(pathWithQuery, baseUrl).toString().replace(/\/$/, '')
+  private static _getAbsPath(baseUrl: string, pathWithSearch: string) {
+    return new URL(pathWithSearch, baseUrl).toString().replace(/\/$/, '')
   }
 
-  private static _getPathDefinitionByOriginalDefinition<TPathOriginalDefinition extends string>(
-    pathOriginalDefinition: TPathOriginalDefinition,
-  ) {
-    const { pathDefinition } = Route0._splitPathDefinitionAndQueryTailDefinition(pathOriginalDefinition)
-    return pathDefinition as Route0._PathDefinition<TPathOriginalDefinition>
+  private static _getPathDefinitionBydefinition<TDefinition extends string>(definition: TDefinition) {
+    const { pathDefinition } = Route0._splitPathDefinitionAndSearchTailDefinition(definition)
+    return pathDefinition as _PathDefinition<TDefinition>
   }
 
-  private static _getParamsDefinitionByRouteDefinition<TPathOriginalDefinition extends string>(
-    pathOriginalDefinition: TPathOriginalDefinition,
-  ) {
-    const { pathDefinition } = Route0._splitPathDefinitionAndQueryTailDefinition(pathOriginalDefinition)
+  private static _getParamsDefinitionBydefinition<TDefinition extends string>(
+    definition: TDefinition,
+  ): _ParamsDefinition<TDefinition> {
+    const { pathDefinition } = Route0._splitPathDefinitionAndSearchTailDefinition(definition)
     const matches = Array.from(pathDefinition.matchAll(/:([A-Za-z0-9_]+)/g))
     const paramsDefinition = Object.fromEntries(matches.map((m) => [m[1], true]))
-    return paramsDefinition as Route0._ParamsDefinition<TPathOriginalDefinition>
-  }
-
-  private static _getQueryDefinitionByRouteDefinition<TPathOriginalDefinition extends string>(
-    pathOriginalDefinition: TPathOriginalDefinition,
-  ) {
-    const { queryTailDefinition } = Route0._splitPathDefinitionAndQueryTailDefinition(pathOriginalDefinition)
-    if (!queryTailDefinition) {
-      return {} as Route0._QueryDefinition<TPathOriginalDefinition>
+    const keysCount = Object.keys(paramsDefinition).length
+    if (keysCount === 0) {
+      return undefined as _ParamsDefinition<TDefinition>
     }
-    const keys = queryTailDefinition.split('&').map(Boolean)
-    const queryDefinition = Object.fromEntries(keys.map((k) => [k, true]))
-    return queryDefinition as Route0._QueryDefinition<TPathOriginalDefinition>
+    return paramsDefinition as _ParamsDefinition<TDefinition>
   }
 
-  static overrideMany<T extends Record<string, Route0<any, any, any, any>>>(
-    routes: T,
-    config: Route0.RouteConfigInput,
-  ): T {
-    const result = {} as T
-    for (const [key, value] of Object.entries(routes)) {
-      ;(result as any)[key] = value.clone(config)
+  private static _getSearchDefinitionBydefinition<TDefinition extends string>(
+    definition: TDefinition,
+  ): _SearchDefinition<TDefinition> {
+    const { searchTailDefinition } = Route0._splitPathDefinitionAndSearchTailDefinition(definition)
+    if (!searchTailDefinition) {
+      return undefined as _SearchDefinition<TDefinition>
     }
-    return result
+    const keys = searchTailDefinition.split('&').filter(Boolean)
+    const searchDefinition = Object.fromEntries(keys.map((k) => [k, true]))
+    const keysCount = Object.keys(searchDefinition).length
+    if (keysCount === 0) {
+      return undefined as _SearchDefinition<TDefinition>
+    }
+    return searchDefinition as _SearchDefinition<TDefinition>
   }
 
   extend<TSuffixDefinition extends string>(
     suffixDefinition: TSuffixDefinition,
-  ): Route0.Callable<
-    Route0<
-      Route0._RoutePathOriginalDefinitionExtended<TPathOriginalDefinition, TSuffixDefinition>,
-      Route0._PathDefinition<Route0._RoutePathOriginalDefinitionExtended<TPathOriginalDefinition, TSuffixDefinition>>,
-      Route0._ParamsDefinition<Route0._RoutePathOriginalDefinitionExtended<TPathOriginalDefinition, TSuffixDefinition>>,
-      Route0._QueryDefinition<Route0._RoutePathOriginalDefinitionExtended<TPathOriginalDefinition, TSuffixDefinition>>
-    >
-  > {
-    const { pathDefinition: parentPathDefinition } = Route0._splitPathDefinitionAndQueryTailDefinition(
-      this.pathOriginalDefinition,
-    )
-    const { pathDefinition: suffixPathDefinition, queryTailDefinition: suffixQueryTailDefinition } =
-      Route0._splitPathDefinitionAndQueryTailDefinition(suffixDefinition)
+  ): CallabelRoute<PathExtended<TDefinition, TSuffixDefinition>> {
+    const { pathDefinition: parentPathDefinition } = Route0._splitPathDefinitionAndSearchTailDefinition(this.definition)
+    const { pathDefinition: suffixPathDefinition, searchTailDefinition: suffixSearchTailDefinition } =
+      Route0._splitPathDefinitionAndSearchTailDefinition(suffixDefinition)
     const pathDefinition = `${parentPathDefinition}/${suffixPathDefinition}`.replace(/\/{2,}/g, '/')
-    const pathOriginalDefinition =
-      `${pathDefinition}${suffixQueryTailDefinition}` as Route0._RoutePathOriginalDefinitionExtended<
-        TPathOriginalDefinition,
-        TSuffixDefinition
-      >
-    return Route0.create<
-      Route0._RoutePathOriginalDefinitionExtended<TPathOriginalDefinition, TSuffixDefinition>,
-      Route0._PathDefinition<Route0._RoutePathOriginalDefinitionExtended<TPathOriginalDefinition, TSuffixDefinition>>,
-      Route0._ParamsDefinition<Route0._RoutePathOriginalDefinitionExtended<TPathOriginalDefinition, TSuffixDefinition>>,
-      Route0._QueryDefinition<Route0._RoutePathOriginalDefinitionExtended<TPathOriginalDefinition, TSuffixDefinition>>
-    >(pathOriginalDefinition, { baseUrl: this.baseUrl })
+    const definition = `${pathDefinition}${suffixSearchTailDefinition}` as PathExtended<TDefinition, TSuffixDefinition>
+    return Route0.create<PathExtended<TDefinition, TSuffixDefinition>>(definition, { baseUrl: this.baseUrl })
   }
 
   // has params
   get(
-    input: Route0._OnlyIfHasParams<
-      TParamsDefinition,
-      Route0._WithParamsInput<TParamsDefinition, { query?: undefined; abs?: false }>
+    input: OnlyIfHasParams<
+      _ParamsDefinition<TDefinition>,
+      WithParamsInput<TDefinition, { search?: undefined; abs?: false }>
     >,
-  ): Route0._OnlyIfHasParams<TParamsDefinition, Route0._PathOnlyRouteValue<TPathOriginalDefinition>>
+  ): OnlyIfHasParams<_ParamsDefinition<TDefinition>, PathOnlyRouteValue<TDefinition>>
   get(
-    input: Route0._OnlyIfHasParams<
-      TParamsDefinition,
-      Route0._WithParamsInput<TParamsDefinition, { query: Route0._QueryInput<TQueryDefinition>; abs?: false }>
+    input: OnlyIfHasParams<
+      _ParamsDefinition<TDefinition>,
+      WithParamsInput<TDefinition, { search: _SearchInput<TDefinition>; abs?: false }>
     >,
-  ): Route0._OnlyIfHasParams<TParamsDefinition, Route0._WithQueryRouteValue<TPathOriginalDefinition>>
+  ): OnlyIfHasParams<_ParamsDefinition<TDefinition>, WithSearchRouteValue<TDefinition>>
   get(
-    input: Route0._OnlyIfHasParams<
-      TParamsDefinition,
-      Route0._WithParamsInput<TParamsDefinition, { query?: undefined; abs: true }>
+    input: OnlyIfHasParams<
+      _ParamsDefinition<TDefinition>,
+      WithParamsInput<TDefinition, { search?: undefined; abs: true }>
     >,
-  ): Route0._OnlyIfHasParams<TParamsDefinition, Route0._AbsolutePathOnlyRouteValue<TPathOriginalDefinition>>
+  ): OnlyIfHasParams<_ParamsDefinition<TDefinition>, AbsolutePathOnlyRouteValue<TDefinition>>
   get(
-    input: Route0._OnlyIfHasParams<
-      TParamsDefinition,
-      Route0._WithParamsInput<TParamsDefinition, { query: Route0._QueryInput<TQueryDefinition>; abs: true }>
+    input: OnlyIfHasParams<
+      _ParamsDefinition<TDefinition>,
+      WithParamsInput<TDefinition, { search: _SearchInput<TDefinition>; abs: true }>
     >,
-  ): Route0._OnlyIfHasParams<TParamsDefinition, Route0._AbsoluteWithQueryRouteValue<TPathOriginalDefinition>>
+  ): OnlyIfHasParams<_ParamsDefinition<TDefinition>, AbsoluteWithSearchRouteValue<TDefinition>>
 
   // no params
+  get(...args: OnlyIfNoParams<_ParamsDefinition<TDefinition>, [], [never]>): PathOnlyRouteValue<TDefinition>
   get(
-    ...args: Route0._OnlyIfNoParams<TParamsDefinition, [], [never]>
-  ): Route0._PathOnlyRouteValue<TPathOriginalDefinition>
-  get(
-    input: Route0._OnlyIfNoParams<TParamsDefinition, { query?: undefined; abs?: false }>,
-  ): Route0._OnlyIfNoParams<TParamsDefinition, Route0._PathOnlyRouteValue<TPathOriginalDefinition>>
+    input: OnlyIfNoParams<_ParamsDefinition<TDefinition>, { search?: undefined; abs?: false }>,
+  ): OnlyIfNoParams<_ParamsDefinition<TDefinition>, PathOnlyRouteValue<TDefinition>>
   get(
-    input: Route0._OnlyIfNoParams<TParamsDefinition, { query: Route0._QueryInput<TQueryDefinition>; abs?: false }>,
-  ): Route0._OnlyIfNoParams<TParamsDefinition, Route0._WithQueryRouteValue<TPathOriginalDefinition>>
+    input: OnlyIfNoParams<_ParamsDefinition<TDefinition>, { search: _SearchInput<TDefinition>; abs?: false }>,
+  ): OnlyIfNoParams<_ParamsDefinition<TDefinition>, WithSearchRouteValue<TDefinition>>
   get(
-    input: Route0._OnlyIfNoParams<TParamsDefinition, { query?: undefined; abs: true }>,
-  ): Route0._OnlyIfNoParams<TParamsDefinition, Route0._AbsolutePathOnlyRouteValue<TPathOriginalDefinition>>
+    input: OnlyIfNoParams<_ParamsDefinition<TDefinition>, { search?: undefined; abs: true }>,
+  ): OnlyIfNoParams<_ParamsDefinition<TDefinition>, AbsolutePathOnlyRouteValue<TDefinition>>
   get(
-    input: Route0._OnlyIfNoParams<TParamsDefinition, { query: Route0._QueryInput<TQueryDefinition>; abs: true }>,
-  ): Route0._OnlyIfNoParams<TParamsDefinition, Route0._AbsoluteWithQueryRouteValue<TPathOriginalDefinition>>
+    input: OnlyIfNoParams<_ParamsDefinition<TDefinition>, { search: _SearchInput<TDefinition>; abs: true }>,
+  ): OnlyIfNoParams<_ParamsDefinition<TDefinition>, AbsoluteWithSearchRouteValue<TDefinition>>
 
   // implementation
   get(...args: any[]): string {
-    const { queryInput, paramsInput, absInput } = ((): {
-      queryInput: Record<string, string | number>
+    const { searchInput, paramsInput, absInput } = ((): {
+      searchInput: Record<string, string | number>
       paramsInput: Record<string, string | number>
       absInput: boolean
     } => {
       if (args.length === 0) {
-        return { queryInput: {}, paramsInput: {}, absInput: false }
+        return { searchInput: {}, paramsInput: {}, absInput: false }
       }
       const input = args[0]
       if (typeof input !== 'object' || input === null) {
         // throw new Error("Invalid get route input: expected object")
-        return { queryInput: {}, paramsInput: {}, absInput: false }
+        return { searchInput: {}, paramsInput: {}, absInput: false }
       }
-      const { query, abs, ...params } = input
-      return { queryInput: query || {}, paramsInput: params, absInput: abs ?? false }
+      const { search, abs, ...params } = input
+      return { searchInput: search || {}, paramsInput: params, absInput: abs ?? false }
     })()
 
     // validate params
-    const neededParamsKeys = Object.keys(this.paramsDefinition)
+    const neededParamsKeys = this.paramsDefinition ? Object.keys(this.paramsDefinition) : []
     const providedParamsKeys = Object.keys(paramsInput)
     const notProvidedKeys = neededParamsKeys.filter((k) => !providedParamsKeys.includes(k))
     if (notProvidedKeys.length) {
@@ -230,12 +193,14 @@ export class Route0<
     }
 
     // create url
-    let url = String(this.pathDefinition)
+
+    let url = this.pathDefinition as string
     // replace params
+    // eslint-disable-next-line @typescript-eslint/no-unnecessary-condition
     url = url.replace(/:([A-Za-z0-9_]+)/g, (_m, k) => encodeURIComponent(String(paramsInput?.[k] ?? '')))
-    // query params
-    const queryInputStringified = Object.fromEntries(Object.entries(queryInput).map(([k, v]) => [k, String(v)]))
-    url = [url, new URLSearchParams(queryInputStringified).toString()].filter(Boolean).join('?')
+    // search params
+    const searchInputStringified = Object.fromEntries(Object.entries(searchInput).map(([k, v]) => [k, String(v)]))
+    url = [url, new URLSearchParams(searchInputStringified).toString()].filter(Boolean).join('?')
     // dedupe slashes
     url = url.replace(/\/{2,}/g, '/')
     // absolute
@@ -244,113 +209,889 @@ export class Route0<
     return url
   }
 
-  getDefinition() {
+  // has params
+  flat(
+    input: OnlyIfHasParams<_ParamsDefinition<TDefinition>, WithParamsInput<TDefinition>>,
+    abs?: false,
+  ): OnlyIfHasParams<_ParamsDefinition<TDefinition>, PathOnlyRouteValue<TDefinition>>
+  flat(
+    input: OnlyIfHasParams<_ParamsDefinition<TDefinition>, WithParamsInput<TDefinition, _SearchInput<TDefinition>>>,
+    abs?: false,
+  ): OnlyIfHasParams<_ParamsDefinition<TDefinition>, WithSearchRouteValue<TDefinition>>
+  flat(
+    input: OnlyIfHasParams<_ParamsDefinition<TDefinition>, WithParamsInput<TDefinition>>,
+    abs: true,
+  ): OnlyIfHasParams<_ParamsDefinition<TDefinition>, AbsolutePathOnlyRouteValue<TDefinition>>
+  flat(
+    input: OnlyIfHasParams<_ParamsDefinition<TDefinition>, WithParamsInput<TDefinition, _SearchInput<TDefinition>>>,
+    abs: true,
+  ): OnlyIfHasParams<_ParamsDefinition<TDefinition>, AbsoluteWithSearchRouteValue<TDefinition>>
+
+  // no params
+  flat(...args: OnlyIfNoParams<_ParamsDefinition<TDefinition>, [], [never]>): PathOnlyRouteValue<TDefinition>
+  flat(
+    input: OnlyIfNoParams<_ParamsDefinition<TDefinition>, Record<never, never>>,
+    abs?: false,
+  ): OnlyIfNoParams<_ParamsDefinition<TDefinition>, PathOnlyRouteValue<TDefinition>>
+  flat(
+    input: OnlyIfNoParams<_ParamsDefinition<TDefinition>, _SearchInput<TDefinition>>,
+    abs?: false,
+  ): OnlyIfNoParams<_ParamsDefinition<TDefinition>, WithSearchRouteValue<TDefinition>>
+  flat(
+    input: OnlyIfNoParams<_ParamsDefinition<TDefinition>, Record<never, never>>,
+    abs: true,
+  ): OnlyIfNoParams<_ParamsDefinition<TDefinition>, AbsolutePathOnlyRouteValue<TDefinition>>
+  flat(
+    input: OnlyIfNoParams<_ParamsDefinition<TDefinition>, _SearchInput<TDefinition>>,
+    abs: true,
+  ): OnlyIfNoParams<_ParamsDefinition<TDefinition>, AbsoluteWithSearchRouteValue<TDefinition>>
+
+  // implementation
+  flat(...args: any[]): string {
+    const { searchInput, paramsInput, absInput } = ((): {
+      searchInput: Record<string, string | number>
+      paramsInput: Record<string, string | number>
+      absInput: boolean
+    } => {
+      if (args.length === 0) {
+        return { searchInput: {}, paramsInput: {}, absInput: false }
+      }
+      const input = args[0]
+      if (typeof input !== 'object' || input === null) {
+        // throw new Error("Invalid get route input: expected object")
+        return { searchInput: {}, paramsInput: {}, absInput: args[1] ?? false }
+      }
+      const paramsKeys = this.getParamsKeys()
+      const paramsInput = paramsKeys.reduce<Record<string, string | number>>((acc, key) => {
+        if (input[key] !== undefined) {
+          acc[key] = input[key]
+        }
+        return acc
+      }, {})
+      const searchKeys = this.getSearchKeys()
+      const searchInput = Object.keys(input)
+        .filter((k) => {
+          if (searchKeys.includes(k)) {
+            return true
+          }
+          if (paramsKeys.includes(k)) {
+            return false
+          }
+          return true
+        })
+        .reduce<Record<string, string | number>>((acc, key) => {
+          acc[key] = input[key]
+          return acc
+        }, {})
+      return { searchInput, paramsInput, absInput: args[1] ?? false }
+    })()
+
+    return this.get({ ...paramsInput, search: searchInput, abs: absInput } as never)
+  }
+
+  getParamsKeys(): string[] {
+    return Object.keys(this.paramsDefinition || {})
+  }
+  getSearchKeys(): string[] {
+    return Object.keys(this.searchDefinition || {})
+  }
+  getFlatKeys(): string[] {
+    return [...this.getSearchKeys(), ...this.getParamsKeys()]
+  }
+
+  getDefinition(): string {
     return this.pathDefinition
   }
 
-  clone(config?: Route0.RouteConfigInput) {
-    return new Route0(this.pathOriginalDefinition, config)
+  clone(config?: RouteConfigInput): Route0<TDefinition> {
+    return new Route0(this.definition, config)
+  }
+
+  getRegexString(): string {
+    // Normalize the path definition (remove trailing slash except for root)
+    const def =
+      this.pathDefinition.length > 1 && this.pathDefinition.endsWith('/')
+        ? this.pathDefinition.slice(0, -1)
+        : this.pathDefinition
+
+    // Replace :param with placeholders, escape regex special chars, then restore capture groups
+    const pattern = def
+      .replace(/:([A-Za-z0-9_]+)/g, '___PARAM___') // temporarily replace params with placeholder
+      .replace(/[.*+?^${}()|[\]\\]/g, '\\$&') // escape regex special chars
+      .replace(/___PARAM___/g, '([^/]+)') // replace placeholder with capture group
+
+    return pattern
+  }
+
+  getRegex(): RegExp {
+    const inner = this.getRegexString()
+    if (inner === '/') return /^\/?$/
+    // Match the pattern exactly, with optional trailing slash, but nothing more
+    return new RegExp(`^${inner}/?$`)
+  }
+
+  static getRegexStringGroup(routes: AnyRoute[]): string {
+    return routes.map((route) => route.getRegexString()).join('|')
+  }
+  static getRegexGroup(routes: AnyRoute[]): RegExp {
+    const patterns = routes.map((route) => {
+      const inner = route.getRegexString()
+      if (inner === '/') return '/?'
+      // Each pattern needs to handle optional trailing slash and be grouped
+      return `${inner}/?`
+    })
+    // Group each pattern with parentheses for proper alternation
+    return new RegExp(`^(${patterns.join('|')})$`)
+  }
+
+  static getLocation(href: `${string}://${string}`): UnknownLocation
+  static getLocation(hrefRel: `/${string}`): UnknownLocation
+  static getLocation(hrefOrHrefRel: string): UnknownLocation
+  static getLocation(location: AnyLocation): UnknownLocation
+  static getLocation(url: URL): UnknownLocation
+  static getLocation(hrefOrHrefRelOrLocation: string | AnyLocation | URL): UnknownLocation
+  static getLocation(hrefOrHrefRelOrLocation: string | AnyLocation | URL): UnknownLocation {
+    if (hrefOrHrefRelOrLocation instanceof URL) {
+      return Route0.getLocation(hrefOrHrefRelOrLocation.href)
+    }
+    if (typeof hrefOrHrefRelOrLocation !== 'string') {
+      hrefOrHrefRelOrLocation = hrefOrHrefRelOrLocation.href || hrefOrHrefRelOrLocation.hrefRel
+    }
+    // Check if it's an absolute URL (starts with scheme://)
+    const abs = /^[a-zA-Z][a-zA-Z\d+\-.]*:\/\//.test(hrefOrHrefRelOrLocation)
+
+    // Use dummy base only if relative
+    const base = abs ? undefined : 'http://example.com'
+    const url = new URL(hrefOrHrefRelOrLocation, base)
+
+    // Extract search params
+    const searchParams = Object.fromEntries(url.searchParams.entries())
+
+    // Normalize pathname (remove trailing slash except for root)
+    let pathname = url.pathname
+    if (pathname.length > 1 && pathname.endsWith('/')) {
+      pathname = pathname.slice(0, -1)
+    }
+
+    // Common derived values
+    const hrefRel = pathname + url.search + url.hash
+
+    // Build the location object consistent with _GeneralLocation
+    const location: UnknownLocation = {
+      pathname,
+      search: url.search,
+      hash: url.hash,
+      origin: abs ? url.origin : undefined,
+      href: abs ? url.href : undefined,
+      hrefRel,
+      abs,
+
+      // extra host-related fields (available even for relative with dummy base)
+      host: abs ? url.host : undefined,
+      hostname: abs ? url.hostname : undefined,
+      port: abs ? url.port || undefined : undefined,
+
+      // specific to UnknownLocation
+      searchParams,
+      params: undefined,
+      route: undefined,
+      exact: false,
+      parent: false,
+      children: false,
+    }
+
+    return location
+  }
+
+  getLocation(href: `${string}://${string}`): KnownLocation<TDefinition>
+  getLocation(hrefRel: `/${string}`): KnownLocation<TDefinition>
+  getLocation(hrefOrHrefRel: string): KnownLocation<TDefinition>
+  getLocation(location: AnyLocation): KnownLocation<TDefinition>
+  getLocation(url: AnyLocation): KnownLocation<TDefinition>
+  getLocation(hrefOrHrefRelOrLocation: string | AnyLocation | URL): KnownLocation<TDefinition>
+  getLocation(hrefOrHrefRelOrLocation: string | AnyLocation | URL): KnownLocation<TDefinition> {
+    if (hrefOrHrefRelOrLocation instanceof URL) {
+      return this.getLocation(hrefOrHrefRelOrLocation.href)
+    }
+    if (typeof hrefOrHrefRelOrLocation !== 'string') {
+      hrefOrHrefRelOrLocation = hrefOrHrefRelOrLocation.href || hrefOrHrefRelOrLocation.hrefRel
+    }
+    const location = Route0.getLocation(hrefOrHrefRelOrLocation) as never as KnownLocation<TDefinition>
+    location.route = this.definition as Definition<TDefinition>
+    location.params = {}
+
+    // Normalize pathname (no trailing slash except root)
+    const pathname =
+      location.pathname.length > 1 && location.pathname.endsWith('/')
+        ? location.pathname.slice(0, -1)
+        : location.pathname
+
+    // Use getRegexString() to get the pattern
+    const pattern = this.getRegexString()
+
+    // Extract param names from the definition
+    const paramNames: string[] = []
+    const def =
+      this.pathDefinition.length > 1 && this.pathDefinition.endsWith('/')
+        ? this.pathDefinition.slice(0, -1)
+        : this.pathDefinition
+    def.replace(/:([A-Za-z0-9_]+)/g, (_m: string, name: string) => {
+      // eslint-disable-next-line @typescript-eslint/no-unnecessary-type-conversion
+      paramNames.push(String(name))
+      return ''
+    })
+
+    const exactRe = new RegExp(`^${pattern}$`)
+    const parentRe = new RegExp(`^${pattern}(?:/.*)?$`) // route matches the beginning of the URL (may have more)
+    const exactMatch = pathname.match(exactRe)
+
+    // Fill params only for exact match (keeps behavior predictable)
+    if (exactMatch) {
+      const values = exactMatch.slice(1)
+      const params = Object.fromEntries(paramNames.map((n, i) => [n, decodeURIComponent(values[i] ?? '')]))
+      location.params = params
+    } else {
+      location.params = {}
+    }
+
+    const exact = !!exactMatch
+    const parent = !exact && parentRe.test(pathname)
+
+    // "children": the URL is a prefix of the route definition (params match any single segment)
+    const getParts = (path: string) => (path === '/' ? ['/'] : path.split('/').filter(Boolean))
+    const defParts = getParts(def)
+    const pathParts = getParts(pathname)
+
+    let isPrefix = true
+    if (pathParts.length > defParts.length) {
+      isPrefix = false
+    } else {
+      for (let i = 0; i < pathParts.length; i++) {
+        const defPart = defParts[i]
+        const pathPart = pathParts[i]
+        if (!defPart) {
+          isPrefix = false
+          break
+        }
+        if (defPart.startsWith(':')) continue
+        if (defPart !== pathPart) {
+          isPrefix = false
+          break
+        }
+      }
+    }
+    const children = !exact && isPrefix
+
+    return {
+      ...location,
+      exact,
+      parent,
+      children,
+    } as KnownLocation<TDefinition>
+  }
+
+  isSame(other: Route0<TDefinition>): boolean {
+    return (
+      this.pathDefinition.replace(/:([A-Za-z0-9_]+)/g, '__PARAM__') ===
+      other.pathDefinition.replace(/:([A-Za-z0-9_]+)/g, '__PARAM__')
+    )
+  }
+  static isSame(a: AnyRoute | string | undefined, b: AnyRoute | string | undefined): boolean {
+    if (!a) {
+      if (!b) return true
+      return false
+    }
+    if (!b) {
+      return false
+    }
+    return Route0.create(a).isSame(Route0.create(b))
+  }
+
+  isChildren(other: AnyRoute | string | undefined): boolean {
+    if (!other) return false
+    other = Route0.create(other)
+    // this is a child of other if:
+    // - paths are not exactly the same
+    // - other's path is a prefix of this path, matching params as wildcards
+    const getParts = (path: string) => (path === '/' ? ['/'] : path.split('/').filter(Boolean))
+    // Root is parent of any non-root; thus any non-root is a child of root
+    if (other.pathDefinition === '/' && this.pathDefinition !== '/') {
+      return true
+    }
+    const thisParts = getParts(this.pathDefinition)
+    const otherParts = getParts(other.pathDefinition)
+
+    // A child must be deeper
+    if (thisParts.length <= otherParts.length) return false
+
+    for (let i = 0; i < otherParts.length; i++) {
+      const otherPart = otherParts[i]
+      const thisPart = thisParts[i]
+      if (otherPart.startsWith(':')) continue
+      if (otherPart !== thisPart) return false
+    }
+    // Not equal (depth already ensures not equal)
+    return true
+  }
+
+  isParent(other: AnyRoute | string | undefined): boolean {
+    if (!other) return false
+    other = Route0.create(other)
+    // this is a parent of other if:
+    // - paths are not exactly the same
+    // - this path is a prefix of other path, matching params as wildcards
+    const getParts = (path: string) => (path === '/' ? ['/'] : path.split('/').filter(Boolean))
+    // Root is parent of any non-root path
+    if (this.pathDefinition === '/' && other.pathDefinition !== '/') {
+      return true
+    }
+    const thisParts = getParts(this.pathDefinition)
+    const otherParts = getParts(other.pathDefinition)
+
+    // A parent must be shallower
+    if (thisParts.length >= otherParts.length) return false
+
+    for (let i = 0; i < thisParts.length; i++) {
+      const thisPart = thisParts[i]
+      const otherPart = otherParts[i]
+      if (thisPart.startsWith(':')) continue
+      if (thisPart !== otherPart) return false
+    }
+    // Not equal (depth already ensures not equal)
+    return true
+  }
+
+  isConflict(other: AnyRoute | string | undefined): boolean {
+    if (!other) return false
+    other = Route0.create(other)
+    const getParts = (path: string) => {
+      if (path === '/') return ['/']
+      return path.split('/').filter(Boolean)
+    }
+
+    const thisParts = getParts(this.pathDefinition)
+    const otherParts = getParts(other.pathDefinition)
+
+    // Different lengths = no conflict (one is deeper than the other)
+    if (thisParts.length !== otherParts.length) {
+      return false
+    }
+
+    // Check if all segments could match
+    for (let i = 0; i < thisParts.length; i++) {
+      const thisPart = thisParts[i]
+      const otherPart = otherParts[i]
+
+      // Both params = always match
+      if (thisPart.startsWith(':') && otherPart.startsWith(':')) {
+        continue
+      }
+
+      // One is param = can match
+      if (thisPart.startsWith(':') || otherPart.startsWith(':')) {
+        continue
+      }
+
+      // Both static = must be same
+      if (thisPart !== otherPart) {
+        return false
+      }
+    }
+
+    return true
+  }
+
+  isMoreSpecificThan(other: AnyRoute | string | undefined): boolean {
+    if (!other) return false
+    other = Route0.create(other)
+    // More specific = should come earlier when conflicted
+    // Static segments beat param segments at the same position
+    const getParts = (path: string) => {
+      if (path === '/') return ['/']
+      return path.split('/').filter(Boolean)
+    }
+
+    const thisParts = getParts(this.pathDefinition)
+    const otherParts = getParts(other.pathDefinition)
+
+    // Compare segment by segment
+    for (let i = 0; i < Math.min(thisParts.length, otherParts.length); i++) {
+      const thisIsStatic = !thisParts[i].startsWith(':')
+      const otherIsStatic = !otherParts[i].startsWith(':')
+
+      if (thisIsStatic && !otherIsStatic) return true
+      if (!thisIsStatic && otherIsStatic) return false
+    }
+
+    // All equal, use lexicographic
+    return this.pathDefinition < other.pathDefinition
   }
 }
 
-export namespace Route0 {
-  export type Callable<T extends Route0<any, any, any, any>> = T & T['get']
-  export type RouteConfigInput = {
-    baseUrl?: string
-  }
-  export type Params<TRoute0 extends Route0<any, any, any, any>> = {
-    [K in keyof TRoute0['paramsDefinition']]: string
-  }
-  export type Query<TRoute0 extends Route0<any, any, any, any>> = Partial<
-    {
-      [K in keyof TRoute0['queryDefinition']]: string | undefined
-    } & Record<string, string | undefined>
-  >
-
-  export type _TrimQueryTailDefinition<S extends string> = S extends `${infer P}&${string}` ? P : S
-  export type _QueryTailDefinitionWithoutFirstAmp<S extends string> = S extends `${string}&${infer T}` ? T : ''
-  export type _QueryTailDefinitionWithFirstAmp<S extends string> = S extends `${string}&${infer T}` ? `&${T}` : ''
-  export type _AmpSplit<S extends string> = S extends `${infer A}&${infer B}` ? A | _AmpSplit<B> : S
-  export type _NonEmpty<T> = [T] extends ['' | never] ? never : T
-  export type _ExtractPathParams<S extends string> = S extends `${string}:${infer After}`
-    ? After extends `${infer Name}/${infer Rest}`
-      ? Name | _ExtractPathParams<`/${Rest}`>
-      : After
+export class Routes<const T extends RoutesRecord = RoutesRecord> {
+  private readonly routes: RoutesRecordHydrated<T>
+  private readonly pathsOrdering: string[]
+  private readonly keysOrdering: string[]
+  private readonly ordered: CallabelRoute[]
+
+  _: {
+    getLocation: Routes<T>['getLocation']
+    override: Routes<T>['override']
+    pathsOrdering: Routes<T>['pathsOrdering']
+    keysOrdering: Routes<T>['keysOrdering']
+    ordered: Routes<T>['ordered']
+  }
+
+  private constructor({
+    routes,
+    isHydrated = false,
+    pathsOrdering,
+    keysOrdering,
+    ordered,
+  }: {
+    routes: RoutesRecordHydrated<T> | T
+    isHydrated?: boolean
+    pathsOrdering?: string[]
+    keysOrdering?: string[]
+    ordered?: CallabelRoute[]
+  }) {
+    this.routes = (isHydrated ? (routes as RoutesRecordHydrated<T>) : Routes.hydrate(routes)) as RoutesRecordHydrated<T>
+    if (!pathsOrdering || !keysOrdering || !ordered) {
+      const ordering = Routes.makeOrdering(this.routes)
+      this.pathsOrdering = ordering.pathsOrdering
+      this.keysOrdering = ordering.keysOrdering
+      this.ordered = this.keysOrdering.map((key) => this.routes[key])
+    } else {
+      this.pathsOrdering = pathsOrdering
+      this.keysOrdering = keysOrdering
+      this.ordered = ordered
+    }
+    this._ = {
+      getLocation: this.getLocation.bind(this),
+      override: this.override.bind(this),
+      pathsOrdering: this.pathsOrdering,
+      keysOrdering: this.keysOrdering,
+      ordered: this.ordered,
+    }
+  }
+
+  static create<const T extends RoutesRecord>(routes: T): RoutesPretty<T> {
+    const instance = new Routes({ routes })
+    return Routes.prettify(instance)
+  }
+
+  private static prettify<const T extends RoutesRecord>(instance: Routes<T>): RoutesPretty<T> {
+    Object.setPrototypeOf(instance, Routes.prototype)
+    Object.defineProperty(instance, Symbol.toStringTag, {
+      value: 'Routes',
+    })
+    Object.assign(instance, {
+      override: instance.override.bind(instance),
+    })
+    Object.assign(instance, instance.routes)
+    return instance as unknown as RoutesPretty<T>
+  }
+
+  private static hydrate<const T extends RoutesRecord>(routes: T): RoutesRecordHydrated<T> {
+    const result = {} as RoutesRecordHydrated<T>
+    for (const key in routes) {
+      if (Object.prototype.hasOwnProperty.call(routes, key)) {
+        const value = routes[key]
+        result[key] = (typeof value === 'string' ? Route0.create(value) : value) as CallabelRoute<T[typeof key]>
+      }
+    }
+    return result
+  }
+
+  private getLocation(href: `${string}://${string}`): UnknownLocation | ExactLocation
+  private getLocation(hrefRel: `/${string}`): UnknownLocation | ExactLocation
+  private getLocation(hrefOrHrefRel: string): UnknownLocation | ExactLocation
+  private getLocation(location: AnyLocation): UnknownLocation | ExactLocation
+  private getLocation(url: URL): UnknownLocation | ExactLocation
+  private getLocation(hrefOrHrefRelOrLocation: string | AnyLocation | URL): UnknownLocation | ExactLocation
+  private getLocation(hrefOrHrefRelOrLocation: string | AnyLocation | URL): UnknownLocation | ExactLocation {
+    // Find the route that exactly matches the given location
+    const input = hrefOrHrefRelOrLocation
+    for (const route of this.ordered) {
+      const loc = route.getLocation(hrefOrHrefRelOrLocation)
+      if (loc.exact) {
+        return loc
+      }
+    }
+    // No exact match found, return UnknownLocation
+    return typeof input === 'string' ? Route0.getLocation(input) : Route0.getLocation(input)
+  }
+
+  private static makeOrdering(routes: RoutesRecord): { pathsOrdering: string[]; keysOrdering: string[] } {
+    const hydrated = Routes.hydrate(routes)
+    const entries = Object.entries(hydrated)
+
+    const getParts = (path: string) => {
+      if (path === '/') return ['/']
+      return path.split('/').filter(Boolean)
+    }
+
+    // Sort: shorter paths first, then by specificity, then alphabetically
+    entries.sort(([_keyA, routeA], [_keyB, routeB]) => {
+      const partsA = getParts(routeA.pathDefinition)
+      const partsB = getParts(routeB.pathDefinition)
+
+      // 1. Shorter paths first (by segment count)
+      if (partsA.length !== partsB.length) {
+        return partsA.length - partsB.length
+      }
+
+      // 2. Same length: check if they conflict
+      if (routeA.isConflict(routeB)) {
+        // Conflicting routes: more specific first
+        if (routeA.isMoreSpecificThan(routeB)) return -1
+        if (routeB.isMoreSpecificThan(routeA)) return 1
+      }
+
+      // 3. Same length, not conflicting or equal specificity: alphabetically
+      return routeA.pathDefinition.localeCompare(routeB.pathDefinition)
+    })
+
+    const pathsOrdering = entries.map(([_key, route]) => route.definition)
+    const keysOrdering = entries.map(([_key, route]) => _key)
+    return { pathsOrdering, keysOrdering }
+  }
+
+  private override(config: RouteConfigInput): RoutesPretty<T> {
+    const newRoutes = {} as RoutesRecordHydrated<T>
+    for (const key in this.routes) {
+      if (Object.prototype.hasOwnProperty.call(this.routes, key)) {
+        newRoutes[key] = this.routes[key].clone(config) as CallabelRoute<T[typeof key]>
+      }
+    }
+    const instance = new Routes({
+      routes: newRoutes,
+      isHydrated: true,
+      pathsOrdering: this.pathsOrdering,
+      keysOrdering: this.keysOrdering,
+      ordered: this.keysOrdering.map((key) => newRoutes[key]),
+    })
+    return Routes.prettify(instance)
+  }
+
+  static _ = {
+    prettify: Routes.prettify.bind(Routes),
+    hydrate: Routes.hydrate.bind(Routes),
+    makeOrdering: Routes.makeOrdering.bind(Routes),
+  }
+}
+
+// main
+
+export type AnyRoute<T extends Route0<string> | string = string> = T extends string ? Route0<T> : T
+export type CallabelRoute<T extends Route0<string> | string = string> = AnyRoute<T> & AnyRoute<T>['get']
+export type AnyRouteOrDefinition<T extends string = string> = AnyRoute<T> | CallabelRoute<T> | T
+export type RouteConfigInput = {
+  baseUrl?: string
+}
+
+// collection
+
+export type RoutesRecord = Record<string, AnyRoute | string>
+export type RoutesRecordHydrated<TRoutesRecord extends RoutesRecord = RoutesRecord> = {
+  [K in keyof TRoutesRecord]: CallabelRoute<TRoutesRecord[K]>
+}
+export type RoutesPretty<TRoutesRecord extends RoutesRecord = RoutesRecord> = RoutesRecordHydrated<TRoutesRecord> &
+  Routes<TRoutesRecord>
+export type ExtractRoutesKeys<TRoutes extends RoutesPretty | RoutesRecord> = TRoutes extends RoutesPretty
+  ? keyof TRoutes['routes']
+  : TRoutes extends RoutesRecord
+    ? keyof TRoutes
     : never
-  export type _ReplacePathParams<S extends string> = S extends `${infer Head}:${infer Tail}`
-    ? Tail extends `${infer _Param}/${infer Rest}`
-      ? _ReplacePathParams<`${Head}${string}/${Rest}`>
-      : `${Head}${string}`
-    : S
-  export type _DedupeSlashes<S extends string> = S extends `${infer A}//${infer B}` ? _DedupeSlashes<`${A}/${B}`> : S
-  export type _EmptyRecord = Record<never, never>
-  export type _JoinPath<Parent extends string, Suffix extends string> = _DedupeSlashes<
-    Route0._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
+export type ExtractRoute<
+  TRoutes extends RoutesPretty | RoutesRecord,
+  TKey extends keyof ExtractRoutesKeys<TRoutes>,
+> = TKey extends keyof TRoutes ? TRoutes[TKey] : never
+
+// public utils
+
+export type Definition<T extends AnyRoute | string> = T extends AnyRoute
+  ? T['definition']
+  : T extends string
+    ? T
+    : never
+export type PathDefinition<T extends AnyRoute | string> = T extends AnyRoute
+  ? T['pathDefinition']
+  : T extends string
+    ? _PathDefinition<T>
+    : never
+export type ParamsDefinition<T extends AnyRoute | string> = T extends AnyRoute
+  ? T['paramsDefinition']
+  : T extends string
+    ? _ParamsDefinition<T>
+    : undefined
+export type SearchDefinition<T extends AnyRoute | string> = T extends AnyRoute
+  ? T['searchDefinition']
+  : T extends string
+    ? _SearchDefinition<T>
+    : undefined
+
+export 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
-  >
 
-  export type _OnlyIfNoParams<TParams extends object, Yes, No = never> = keyof TParams extends never ? Yes : No
-  export type _OnlyIfHasParams<TParams extends object, Yes, No = never> = keyof TParams extends never ? No : Yes
+export type IsParent<T extends AnyRoute | string, TParent extends AnyRoute | string> = _IsParent<
+  PathDefinition<T>,
+  PathDefinition<TParent>
+>
+export type IsChildren<T extends AnyRoute | string, TChildren extends AnyRoute | string> = _IsChildren<
+  PathDefinition<T>,
+  PathDefinition<TChildren>
+>
+export type IsSame<T extends AnyRoute | string, TExact extends AnyRoute | string> = _IsSame<
+  PathDefinition<T>,
+  PathDefinition<TExact>
+>
+export type IsSameParams<T1 extends AnyRoute | string, T2 extends AnyRoute | string> = _IsSameParams<
+  ParamsDefinition<T1>,
+  ParamsDefinition<T2>
+>
+
+export type HasParams<T extends AnyRoute | string> =
+  ExtractPathParams<PathDefinition<T>> extends infer U ? ([U] extends [never] ? false : true) : false
+export type HasSearch<T extends AnyRoute | string> =
+  NonEmpty<SearchTailDefinitionWithoutFirstAmp<Definition<T>>> extends infer Tail extends string
+    ? AmpSplit<Tail> extends infer U
+      ? [U] extends [never]
+        ? false
+        : true
+      : false
+    : false
+
+export type ParamsOutput<T extends AnyRoute | string> = {
+  [K in keyof ParamsDefinition<T>]: string
+}
+export type SearchOutput<T extends AnyRoute | string = string> = Partial<
+  {
+    [K in keyof SearchDefinition<T>]?: string
+  } & Record<string, string | undefined>
+>
+export type StrictSearchOutput<T extends AnyRoute | string> = Partial<{
+  [K in keyof SearchDefinition<T>]?: string | undefined
+}>
+export type FlatOutput<T extends AnyRoute | string = string> =
+  HasParams<Definition<T>> extends true ? ParamsOutput<T> & SearchOutput<T> : SearchOutput<T>
+export type StrictFlatOutput<T extends AnyRoute | string> =
+  HasParams<Definition<T>> extends true ? ParamsOutput<T> & StrictSearchOutput<T> : StrictSearchOutput<T>
+export type ParamsInput<T extends AnyRoute | string = string> = _ParamsInput<PathDefinition<T>>
+export type SearchInput<T extends AnyRoute | string = string> = _SearchInput<Definition<T>>
+export type StrictSearchInput<T extends AnyRoute | string> = _StrictSearchInput<Definition<T>>
+export type FlatInput<T extends AnyRoute | string> = _FlatInput<Definition<T>>
+export type StrictFlatInput<T extends AnyRoute | string> = _StrictFlatInput<Definition<T>>
+export type CanInputBeEmpty<T extends AnyRoute | string> = HasParams<Definition<T>> extends true ? false : true
+
+// location
 
-  export type _PathDefinition<TPathOriginalDefinition extends string> =
-    _TrimQueryTailDefinition<TPathOriginalDefinition>
-  export type _ParamsDefinition<TPathOriginalDefinition extends string> = _ExtractPathParams<
-    _PathDefinition<TPathOriginalDefinition>
-  > extends infer U
+export type LocationParams<TDefinition extends string> = {
+  [K in keyof _ParamsDefinition<TDefinition>]: string
+}
+export type LocationSearch<TDefinition extends string = string> = {
+  [K in keyof _SearchDefinition<TDefinition>]: string | undefined
+} & Record<string, string | undefined>
+
+export type _GeneralLocation = {
+  pathname: string
+  search: string
+  hash: string
+  origin?: string
+  href?: string
+  hrefRel: string
+  abs: boolean
+  port?: string
+  host?: string
+  hostname?: string
+}
+export type UnknownLocation = _GeneralLocation & {
+  params: undefined
+  searchParams: SearchOutput
+  route: undefined
+  exact: false
+  parent: false
+  children: false
+}
+export type UnmatchedLocation<TRoute extends AnyRoute | string = AnyRoute | string> = _GeneralLocation & {
+  params: Record<never, never>
+  searchParams: SearchOutput<TRoute>
+  route: Definition<TRoute>
+  exact: false
+  parent: false
+  children: false
+}
+export type ExactLocation<TRoute extends AnyRoute | string = AnyRoute | string> = _GeneralLocation & {
+  params: ParamsOutput<TRoute>
+  searchParams: SearchOutput<TRoute>
+  route: Definition<TRoute>
+  exact: true
+  parent: false
+  children: false
+}
+export type ParentLocation<TRoute extends AnyRoute | string = AnyRoute | string> = _GeneralLocation & {
+  params: Partial<ParamsOutput<TRoute>> // in fact maybe there will be whole params object, but does not matter now
+  searchParams: SearchOutput<TRoute>
+  route: Definition<TRoute>
+  exact: false
+  parent: true
+  children: false
+}
+export type ChildrenLocation<TRoute extends AnyRoute | string = AnyRoute | string> = _GeneralLocation & {
+  params: ParamsOutput<TRoute>
+  searchParams: SearchOutput<TRoute>
+  route: Definition<TRoute>
+  exact: false
+  parent: false
+  children: true
+}
+export type KnownLocation<TRoute extends AnyRoute | string = AnyRoute | string> =
+  | UnmatchedLocation<TRoute>
+  | ExactLocation<TRoute>
+  | ParentLocation<TRoute>
+  | ChildrenLocation<TRoute>
+export type AnyLocation<TRoute extends AnyRoute = AnyRoute> = UnknownLocation | KnownLocation<TRoute>
+
+// internal utils
+
+export type _PathDefinition<T extends string> = T extends string ? TrimSearchTailDefinition<T> : never
+export type _ParamsDefinition<TDefinition extends string> =
+  ExtractPathParams<PathDefinition<TDefinition>> extends infer U
     ? [U] extends [never]
-      ? _EmptyRecord
+      ? undefined
       : { [K in Extract<U, string>]: true }
-    : _EmptyRecord
-  export type _QueryDefinition<TPathOriginalDefinition extends string> = _NonEmpty<
-    _QueryTailDefinitionWithoutFirstAmp<TPathOriginalDefinition>
-  > extends infer Tail extends string
-    ? _AmpSplit<Tail> extends infer U
+    : undefined
+export type _SearchDefinition<TDefinition extends string> =
+  NonEmpty<SearchTailDefinitionWithoutFirstAmp<TDefinition>> extends infer Tail extends string
+    ? AmpSplit<Tail> extends infer U
       ? [U] extends [never]
-        ? _EmptyRecord
+        ? undefined
         : { [K in Extract<U, string>]: true }
-      : _EmptyRecord
-    : _EmptyRecord
-  export type _RoutePathOriginalDefinitionExtended<
-    TSourcePathOriginalDefinition extends string,
-    TSuffixPathOriginalDefinition extends string,
-  > = `${_JoinPath<TSourcePathOriginalDefinition, TSuffixPathOriginalDefinition>}${_QueryTailDefinitionWithFirstAmp<TSuffixPathOriginalDefinition>}`
-
-  export type _ParamsInput<TParamsDefinition extends object> = {
-    [K in keyof TParamsDefinition]: string | number
-  }
-  export type _QueryInput<TQueryDefinition extends object> = Partial<{
-    [K in keyof TQueryDefinition]: string | number
-  }> &
-    Record<string, string | number>
-  export type _WithParamsInput<
-    TParamsDefinition extends object,
-    T extends {
-      query?: _QueryInput<any>
-      abs?: boolean
-    },
-  > = _ParamsInput<TParamsDefinition> & T
-
-  export type _PathOnlyRouteValue<TPathOriginalDefinition extends string> =
-    `${_ReplacePathParams<_PathDefinition<TPathOriginalDefinition>>}`
-  export type _WithQueryRouteValue<TPathOriginalDefinition extends string> =
-    `${_ReplacePathParams<_PathDefinition<TPathOriginalDefinition>>}?${string}`
-  export type _AbsolutePathOnlyRouteValue<TPathOriginalDefinition extends string> =
-    `${string}${_PathOnlyRouteValue<TPathOriginalDefinition>}`
-  export type _AbsoluteWithQueryRouteValue<TPathOriginalDefinition extends string> =
-    `${string}${_WithQueryRouteValue<TPathOriginalDefinition>}`
-}
+      : undefined
+    : undefined
+
+export type _ParamsInput<TDefinition extends string> =
+  _ParamsDefinition<TDefinition> extends undefined
+    ? Record<never, never>
+    : {
+        [K in keyof _ParamsDefinition<TDefinition>]: string | number
+      }
+export type _SearchInput<TDefinition extends string> =
+  _SearchDefinition<TDefinition> extends undefined
+    ? Record<string, string | number>
+    : Partial<{
+        [K in keyof _SearchDefinition<TDefinition>]: string | number
+      }> &
+        Record<string, string | number>
+export type _StrictSearchInput<TDefinition extends string> = Partial<{
+  [K in keyof _SearchDefinition<TDefinition>]: string | number
+}>
+export type _FlatInput<TDefinition extends string> =
+  HasParams<TDefinition> extends true
+    ? _ParamsInput<TDefinition> & _SearchInput<TDefinition>
+    : _SearchInput<TDefinition>
+export type _StrictFlatInput<TDefinition extends string> =
+  HasParams<TDefinition> extends true
+    ? HasSearch<TDefinition> extends true
+      ? _StrictSearchInput<TDefinition> & _ParamsInput<TDefinition>
+      : _ParamsInput<TDefinition>
+    : HasSearch<TDefinition> extends true
+      ? _StrictSearchInput<TDefinition>
+      : Record<never, never>
+
+export type TrimSearchTailDefinition<S extends string> = S extends `${infer P}&${string}` ? P : S
+export type SearchTailDefinitionWithoutFirstAmp<S extends string> = S extends `${string}&${infer T}` ? T : ''
+export type SearchTailDefinitionWithFirstAmp<S extends string> = S extends `${string}&${infer T}` ? `&${T}` : ''
+export type AmpSplit<S extends string> = S extends `${infer A}&${infer B}` ? A | AmpSplit<B> : S
+// eslint-disable-next-line @typescript-eslint/no-redundant-type-constituents
+export type NonEmpty<T> = [T] extends ['' | never] ? never : T
+export type ExtractPathParams<S extends string> = S extends `${string}:${infer After}`
+  ? After extends `${infer Name}/${infer Rest}`
+    ? Name | ExtractPathParams<`/${Rest}`>
+    : After
+  : never
+export type ReplacePathParams<S extends string> = S extends `${infer Head}:${infer Tail}`
+  ? // eslint-disable-next-line @typescript-eslint/no-unused-vars
+    Tail extends `${infer _Param}/${infer Rest}`
+    ? ReplacePathParams<`${Head}${string}/${Rest}`>
+    : `${Head}${string}`
+  : S
+export type DedupeSlashes<S extends string> = S extends `${infer A}//${infer B}` ? DedupeSlashes<`${A}/${B}`> : S
+export type EmptyRecord = Record<never, never>
+export 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
+>
+
+export type OnlyIfNoParams<TParams extends object | undefined, Yes, No = never> = TParams extends undefined ? Yes : No
+export type OnlyIfHasParams<TParams extends object | undefined, Yes, No = never> = TParams extends undefined ? No : Yes
+
+export type PathOnlyRouteValue<TDefinition extends string> = `${ReplacePathParams<PathDefinition<TDefinition>>}`
+export type WithSearchRouteValue<TDefinition extends string> =
+  `${ReplacePathParams<PathDefinition<TDefinition>>}?${string}`
+export type AbsolutePathOnlyRouteValue<TDefinition extends string> =
+  PathOnlyRouteValue<TDefinition> extends '/' ? string : `${string}${PathOnlyRouteValue<TDefinition>}`
+export type AbsoluteWithSearchRouteValue<TDefinition extends string> = `${string}${WithSearchRouteValue<TDefinition>}`
+
+export type PathExtended<
+  TSourcedefinitionDefinition extends string,
+  TSuffixdefinitionDefinition extends string,
+> = `${JoinPath<TSourcedefinitionDefinition, TSuffixdefinitionDefinition>}${SearchTailDefinitionWithFirstAmp<TSuffixdefinitionDefinition>}`
+
+export type WithParamsInput<
+  TDefinition extends string,
+  T extends
+    | {
+        search?: _SearchInput<any>
+        abs?: boolean
+      }
+    | undefined = undefined,
+> = _ParamsInput<TDefinition> & (T extends undefined ? Record<never, never> : T)
+
+export 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
+
+export type _IsParent<T extends string, TParent extends string> = T extends TParent
+  ? false
+  : T extends `${TParent}${string}`
+    ? true
+    : false
+export type _IsChildren<T extends string, TChildren extends string> = TChildren extends T
+  ? false
+  : TChildren extends `${T}${string}`
+    ? true
+    : false
+export type _IsSame<T extends string, TExact extends string> = T extends TExact
+  ? TExact extends T
+    ? true
+    : false
+  : false