Type safe SolidJS Router `useParam` utility Type

// The `matchFilters` of a RouteDefinition describes its Paramstype RD$matchFilters<RD extends RouteDefinition> = NonNullable<  RD["matchFilters"]>;// Convert a MatchFilter to string typetype MF$toString<MF extends MatchFilter | undefined> =  MF extends readonly string[]    ? MF[number]    : MF extends RegExp    ? `${string}`    : MF extends (s: string) => boolean    ? `${string}`    : never;// Params of a RouteDefinition {[keyof matchFilters]: `${any}`}: Extract and Convert each MatchFiltertype RD$Params<RD extends RouteDefinition> = {  [k in NonNullable<keyof RD$matchFilters<RD>>]: MF$toString<    RD$matchFilters<RD>[k]  >;};

// Refine a defined RouteDefintiontype RD$RouteParams<  RD extends RouteDefinition,  tRD extends RouteDefinition = RouteDefinition<RD["path"]>> = Refine<RD$Params<tRD>, RD$Params<RD>>;// Refine with user Type and Prettify the resultexport type RouteDefinitionParams<  RD extends RouteDefinition,  P extends Partial<RD$RouteParams<RD>> = NonNullable<unknown>> = Prettify<Refine<RD$RouteParams<RD>, P>>;

const path = "/:aNumberParam";type TRouteDefinition = RouteDefinition<typeof path>;type TParams = RouteDefinitionParams<TRouteDefinition>;// or with refined param Typetype TParams = RouteDefinitionParams<TRouteDefinition, {  aNumberParam: `${number}`;}>;const params = useParams<TParams>();//    ^? Type is { aNumberParam: `${string}` }//    ^? Type is { aNumberParam: `${number}` } with refined types