inferred-types 0.36.2 → 0.36.4

package/dist/index.d.ts

@@ -2146,7 +2146,7 @@ type StripLeading<T extends string, U extends string> = IfLiteral<T, string exte
  * `EnsureStarting<T>`, and `StripStarting<T>` to further shape
  * the type.
  */
-type PathJoin<T extends string, U extends string | readonly string[]> = U extends readonly string[] ? PathMultiJoin<PathJoin<T, "">, [...U]> : U extends string ? IfLiteral<T, IfLiteral<U, `${StripTrailing<T, "/">}/${StripLeading<U, "/">}`, `${StripTrailing<T, "/">}/${string}`>, IfLiteral<U, `${string}${U}`, string>> : never;
+type PathJoin<T extends string, U extends string | readonly string[]> = [] extends U ? T : U extends readonly string[] ? PathMultiJoin<PathJoin<T, "">, [...U]> : U extends string ? IfLiteral<T, IfLiteral<U, `${StripTrailing<T, "/">}/${StripLeading<U, "/">}`, `${StripTrailing<T, "/">}/${string}`>, IfLiteral<U, `${string}${U}`, string>> : never;
 type PathMultiJoin<TProcessed extends string, TRemaining extends readonly string[]> = [] extends TRemaining ? TProcessed : PathMultiJoin<PathJoin<TProcessed, First<TRemaining>>, AfterFirst<TRemaining>>;
 
 type Consonant = "b" | "c" | "d" | "f" | "g" | "h" | "j" | "k" | "l" | "m" | "n" | "p" | "q" | "r" | "s" | "t" | "v" | "w" | "x" | "z" | "y";

package/dist/index.mjs

@@ -763,9 +763,9 @@ function stripLeading(content, strip) {
 
 // src/runtime/literals/pathJoin.ts
 function pathJoin(begin, ...rest) {
-  const start = ensureTrailing(begin, "/");
-  const end = ensureLeading(rest.slice(-1)[0], "/");
-  const middle = rest.slice(0, rest.length - 1).map((i) => stripLeading(stripTrailing(i, "/"), '"'));
+  const start = rest.length > 0 ? ensureTrailing(begin, "/") : begin;
+  const end = rest.length > 0 ? ensureLeading(rest.slice(-1)[0], "/") : "";
+  const middle = rest.length > 1 ? rest.slice(0, rest.length - 1).map((i) => stripLeading(stripTrailing(i, "/"), '"')) : [];
   const midString = stripTrailing(stripLeading(middle.join("/"), "/"), "/");
   return rest.length > 1 ? `${start}${midString}${end}` : `${start}${stripLeading(end, "/")}`;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "inferred-types",
-  "version": "0.36.2",
+  "version": "0.36.4",
   "description": "Functions which provide useful type inference on TS projects",
   "license": "MIT",
   "author": "Ken Snyder<ken@ken.net>",

package/src/runtime/literals/pathJoin.ts

@@ -19,11 +19,12 @@ export function pathJoin<T extends string, U extends readonly string[]>(
   begin: T,
   ...rest: U
 ): PathJoin<T, U> {
-  const start = ensureTrailing(begin, "/");
-  const end = ensureLeading(rest.slice(-1)[0], "/");
-  const middle = rest
-    .slice(0, rest.length - 1)
-    .map((i) => stripLeading(stripTrailing(i, "/"), '"'));
+  const start = rest.length > 0 ? ensureTrailing(begin, "/") : begin;
+  const end = rest.length > 0 ? ensureLeading(rest.slice(-1)[0], "/") : "";
+  const middle =
+    rest.length > 1
+      ? rest.slice(0, rest.length - 1).map((i) => stripLeading(stripTrailing(i, "/"), '"'))
+      : [];
   const midString = stripTrailing(stripLeading(middle.join("/"), "/"), "/");
 
   return (

package/src/types/alphabetic/PathJoin.ts

@@ -21,7 +21,9 @@ export type PathJoin<
   T extends string,
   // trailing string or strings
   U extends string | readonly string[]
-> = U extends readonly string[]
+> = [] extends U
+  ? T
+  : U extends readonly string[]
   ? // eslint-disable-next-line no-use-before-define
     PathMultiJoin<PathJoin<T, "">, [...U]>
   : U extends string

package/tests/literals/PathJoin.test.ts

@@ -91,4 +91,21 @@ describe("pathJoin() runtime util", () => {
     expect(t3).toBe("/foo/bar/baz");
     expect(t4).toBe("foo/bar/baz/");
   });
+
+  it("singular value", () => {
+    const t1 = pathJoin("foo");
+    const t2 = pathJoin("foo/");
+
+    // runtime
+    expect(t1).toBe("foo");
+    expect(t2).toBe("foo/");
+
+    // design time
+    type cases = [
+      //
+      Expect<Equal<typeof t1, "foo">>,
+      Expect<Equal<typeof t2, "foo/">>
+    ];
+    const cases: cases = [true, true];
+  });
 });