Generate types for paths

Describe the problem

• Consider the base variable
• Consider other paths on the same site, but outside of kit (special type in App?)
• Consider external links
• Slugs types need to be taken from params
• Consider hash, parameters, different protocols
• Use these types in kit wherever possible (redirect, load params, …)

Example:

/*
existing paths:
[
    "/",
    "/blog",
    "/blog/post/[post]",
    "/blog/tag/[tag=integer]",
    "/shop/[...slugs]",
]
*/

throw redirect(301, "/");
throw redirect(301, "/blog");
throw redirect(301, "/blog/qwe"); //type error
throw redirect(301, "/blog/post"); //type error
throw redirect(301, "/blog/post/qwe");
throw redirect(301, "/blog/tag/1");
throw redirect(301, "/blog/tag/qwe"); //type error
throw redirect(301, "/shop"); //type error
throw redirect(301, "/shop/a/b/c");
throw redirect(301, "https://www.google.com");
throw redirect(301, "/qwe"); //external

Describe the proposed solution

It is interesting:

• https://www.typescriptlang.org/docs/handbook/2/template-literal-types.html
• https://lihautan.com/extract-parameters-type-from-string-literal-types-with-typescript/

Alternatives considered

No response

Importance

would make my life easier

Additional Information

No response

[benmccann]

This would work in the short-term, but it would likely be difficult to make it work longer-term if we allow you to do things like have routes in multiple sub-projects and register routes from a different sub-project

[DanielHritcu]

I stumbled upon this https://github.com/mattpocock/make-route-map

By replacing the param matcher :id with svelte [id] I can generate a routeMap.

For now, I crawl the routes folder and generate an index.ts. It would be great if this could be done by svelte in the sync stage and offer an import, and replace the function with static value similar to env/static