Normalize path (#27)

Author: mpppk

src/common/type.t-test.ts

@@ -1,5 +1,12 @@
 import { Equal, Expect } from "./type-test";
-import { ExtractByPrefix, FilterNever, Replace, Split } from "./type";
+import {
+  ExtractByPrefix,
+  FilterNever,
+  Replace,
+  ReplaceAll,
+  Split,
+} from "./type";
+import { NormalizePath } from "./url";
 
 // eslint-disable-next-line @typescript-eslint/no-unused-vars
 type FilterNeverCases = [
@@ -29,6 +36,20 @@ type ReplaceTestCases = [
   Expect<Equal<Replace<"abcd", "bc", "-">, "a-d">>,
 ];
 
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+type ReplaceAllTestCases = [
+  Expect<Equal<ReplaceAll<"a", "a", "-">, "-">>,
+  Expect<Equal<ReplaceAll<"a", "noexist", "-">, "a">>,
+  Expect<Equal<ReplaceAll<"a", "a", "a">, "a">>,
+  Expect<Equal<ReplaceAll<"abcd", "ab", "-">, "-cd">>,
+  Expect<Equal<ReplaceAll<"abcd", "cd", "-">, "ab-">>,
+  Expect<Equal<ReplaceAll<"abcd", "bc", "-">, "a-d">>,
+  Expect<Equal<ReplaceAll<"aab", "a", "-">, "--b">>,
+  Expect<Equal<ReplaceAll<"aba", "a", "-">, "-b-">>,
+  Expect<Equal<ReplaceAll<"aabaa", "aa", "-">, "-b-">>,
+  Expect<Equal<ReplaceAll<"aaaba", "aa", "-">, "-aba">>,
+];
+
 // eslint-disable-next-line @typescript-eslint/no-unused-vars
 type ExtractByPrefixTestCases = [
   Expect<Equal<ExtractByPrefix<"", "">, "">>,
@@ -41,3 +62,10 @@ type ExtractByPrefixTestCases = [
   Expect<Equal<ExtractByPrefix<":a" | ":b", ":">, "a" | "b">>,
   Expect<Equal<ExtractByPrefix<":a" | ":b" | ":c", ":">, "a" | "b" | "c">>,
 ];
+
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+type NormalizePathTestCases = [
+  Expect<Equal<NormalizePath<"users//">, "users/">>,
+  Expect<Equal<NormalizePath<"//users">, "/users">>,
+  Expect<Equal<NormalizePath<"users//:userId">, "users/:userId">>,
+];

src/common/type.ts

@@ -29,6 +29,28 @@ export type Replace<
   To extends string,
 > = S extends `${infer P}${From}${infer R}` ? `${P}${To}${R}` : S;
 
+/**
+ * Replace all substring
+ * S: source string
+ * From: substring to be replaced
+ * To: substring to replace
+ *
+ * @example
+ * ```
+ * type T0 = ReplaceAll<"aabaa", "aa", "-">;
+ * // => "-b-"
+ * ```
+ */
+export type ReplaceAll<
+  S extends string,
+  From extends string,
+  To extends string,
+> = From extends ""
+  ? S
+  : S extends `${infer P}${From}${infer R}`
+    ? `${P}${To}${ReplaceAll<R, From, To>}`
+    : S;
+
 /**
  * Split string by delimiter
  * S: source string

src/common/url.ts

@@ -126,3 +126,16 @@ export type ParseURL<T extends string> = ParseOriginAndPath<
     ? ParseQueryString<SplitUrlAndQueryString<T>["qs"]>
     : Record<string, never>;
 };
+
+/**
+ * Normalize path
+ *
+ * @example
+ * ```
+ * type T0 = NormalizePath<"users//:userId">;
+ * // => "users/:userId"
+ * ```
+ */
+export type NormalizePath<T extends string> = T extends `${infer P}//${infer Q}`
+  ? NormalizePath<`${P}/${Q}`>
+  : T;

src/fetch/index.ts

@@ -3,6 +3,7 @@ import {
   ApiEndpoints,
   MergeApiResponses,
   Method,
+  NormalizePath,
   Replace,
 } from "../common";
 import {
@@ -30,7 +31,7 @@ type FetchT<Origin extends UrlPrefixPattern, E extends ApiEndpoints> = <
     | `${ToUrlParamPattern<Origin>}${ToUrlParamPattern<keyof E & string>}`
     | `${ToUrlParamPattern<Origin>}${ToUrlParamPattern<keyof E & string>}?${string}`,
   InputPath extends Replace<
-    ParseURL<Input>["path"],
+    NormalizePath<ParseURL<Input>["path"]>,
     ToUrlParamPattern<Origin>,
     ""
   >,