feat: Fully support all path-to-regex features in RestEndpoint.path t…

…ypes (#3054)
reactive · May 7, 2024 · a6b4f4a · a6b4f4a
1 parent bfc5338
commit a6b4f4a
Show file tree

Hide file tree

Showing 11 changed files with 157 additions and 37 deletions.
diff --git a/.changeset/few-carpets-cheat.md b/.changeset/few-carpets-cheat.md
@@ -0,0 +1,5 @@
+---
+"@data-client/rest": patch
+---
+
+Support + and \* in RestEndpoint.path
diff --git a/.changeset/violet-elephants-grin.md b/.changeset/violet-elephants-grin.md
@@ -0,0 +1,18 @@
+---
+"@data-client/rest": patch
+---
+
+Add support for {} to RestEndpoint.path
+
+
+```ts
+  const getThing = new RestEndpoint({
+    path: '/:attr1?{-:attr2}?{-:attr3}?',
+  });
+
+  getThing({ attr1: 'hi' });
+  getThing({ attr2: 'hi' });
+  getThing({ attr3: 'hi' });
+  getThing({ attr1: 'hi', attr3: 'ho' });
+  getThing({ attr2: 'hi', attr3: 'ho' });
+  ```
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -71,8 +71,7 @@ jobs:
           at: ~/
       - run:
           command: |
-            cd packages/endpoint
-            yarn run typecheck
+            yarn workspaces foreach -A --include @data-client/endpoint --include @data-client/rest run typecheck
 
   unit_tests:
     parameters:

diff --git a/packages/rest/package.json b/packages/rest/package.json
@@ -120,7 +120,9 @@
     "build": "run build:lib && run build:legacy:lib && run build:bundle",
     "dev": "run build:lib -w",
     "prepare": "run build:lib",
-    "prepack": "run prepare && run build:bundle && run build:legacy:lib"
+    "prepack": "run prepare && run build:bundle && run build:legacy:lib",
+    "tsc:ci": "yarn g:tsc --project tsconfig.test.json",
+    "typecheck": "run tsc:ci"
   },
   "author": "Nathaniel Tucker <[email protected]> (https://github.com/ntucker)",
   "funding": "https://github.com/sponsors/ntucker",

diff --git a/packages/rest/src/__tests__/RestEndpoint.ts b/packages/rest/src/__tests__/RestEndpoint.ts
@@ -2,7 +2,7 @@ import { Entity, schema } from '@data-client/endpoint';
 import { useController } from '@data-client/react';
 import { useSuspense } from '@data-client/react';
 import { CacheProvider } from '@data-client/react';
-import { Article, CoolerArticle, CoolerArticleResource } from '__tests__/new';
+import { CoolerArticle, CoolerArticleResource } from '__tests__/new';
 import nock from 'nock';
 
 import { makeRenderDataClient } from '../../../test';

diff --git a/packages/rest/src/pathTypes.ts b/packages/rest/src/pathTypes.ts
@@ -1,28 +1,33 @@
-type OnlyOptional<S extends string> = S extends `${infer K}?` ? K : never;
+type OnlyOptional<S extends string> =
+  S extends `${infer K}}?` ? K
+  : S extends `${infer K}?` ? K
+  : never;
 type OnlyRequired<S extends string> = S extends `${string}?` ? never : S;
 
+/** Parameters for a given path */
+export type PathArgs<S extends string> =
+  PathKeys<S> extends never ?
+    // unknown is identity for intersection ('&')
+    unknown
+  : KeysToArgs<PathKeys<S>>;
+
 /** Computes the union of keys for a path string */
 export type PathKeys<S extends string> =
   string extends S ? string
-  : S extends `${infer A}\\:${infer B}` ? PathKeys<A> | PathKeys<B>
-  : S extends `${infer A}\\?${infer B}` ? PathKeys<A> | PathKeys<B>
+  : S extends `${infer A}\\${':' | '?' | '+' | '*' | '{' | '}'}${infer B}` ?
+    PathKeys<A> | PathKeys<B>
   : PathSplits<S>;
 
 type PathSplits<S extends string> =
-  S extends `${string}:${infer K}${'/' | ',' | '%' | '&'}${infer R}` ?
+  S extends (
+    `${string}:${infer K}${'/' | ',' | '%' | '&' | '+' | '*' | '{'}${infer R}`
+  ) ?
     PathSplits<`:${K}`> | PathSplits<R>
   : S extends `${string}:${infer K}:${infer R}` ?
     PathSplits<`:${K}`> | PathSplits<`:${R}`>
   : S extends `${string}:${infer K}` ? K
   : never;
 
-/** Parameters for a given path */
-export type PathArgs<S extends string> =
-  PathKeys<S> extends never ?
-    // unknown is identity for intersection ('&')
-    unknown
-  : KeysToArgs<PathKeys<S>>;
-
 export type KeysToArgs<Key extends string> = {
   [K in Key as OnlyOptional<K>]?: string | number;
 } & (OnlyRequired<Key> extends never ? unknown

diff --git a/packages/rest/tsconfig.test.json b/packages/rest/tsconfig.test.json
@@ -0,0 +1,15 @@
+{
+  "extends": "./tsconfig",
+  "compilerOptions": {
+    "noEmit": true,
+    "emitDeclarationOnly": false,
+    "skipLibCheck": true,
+    "noImplicitAny": false,
+    "composite": false,
+    "rootDir": "../..",
+    "paths": {
+      "__tests__/*": ["__tests__/*"]
+    }
+  },
+  "include": ["typescript-tests"]
+}
diff --git a/packages/rest/tsconfig.typetest.json b/packages/rest/tsconfig.typetest.json
diff --git a/packages/rest/src/__tests__/types.test.ts → packages/rest/typescript-tests/types.test.ts b/packages/rest/src/__tests__/types.test.ts → packages/rest/typescript-tests/types.test.ts
@@ -3,8 +3,8 @@ import { Entity, schema } from '@data-client/endpoint';
 import { useController, useSuspense } from '@data-client/react';
 import { User } from '__tests__/new';
 
-import createResource from '../createResource';
-import RestEndpoint, { GetEndpoint, MutateEndpoint } from '../RestEndpoint';
+import createResource from '../src/createResource';
+import RestEndpoint, { GetEndpoint, MutateEndpoint } from '../src/RestEndpoint';
 
 it('RestEndpoint construct and extend with typed options', () => {
   new RestEndpoint({
@@ -574,3 +574,91 @@ it('should handle more open ended type definitions', () => {
     explicit.push();
   };
 });
+
+() => {
+  const getThing = new RestEndpoint({
+    path: '/:id*:bob',
+  });
+
+  getThing({ id: 5, bob: 'hi' });
+  // @ts-expect-error
+  getThing({ id: 'hi' });
+  // @ts-expect-error
+  getThing({ bob: 'hi' });
+  // @ts-expect-error
+  getThing(5);
+};
+() => {
+  const getThing = new RestEndpoint({
+    path: '/:id+:bob',
+  });
+
+  getThing({ id: 5, bob: 'hi' });
+  // @ts-expect-error
+  getThing({ 'id+': 5, bob: 'hi' });
+  // @ts-expect-error
+  getThing({ id: 'hi' });
+  // @ts-expect-error
+  getThing({ bob: 'hi' });
+  // @ts-expect-error
+  getThing(5);
+};
+() => {
+  const getThing = new RestEndpoint({
+    path: '/:id\\+:bob',
+  });
+
+  getThing({ id: 5, bob: 'hi' });
+  // @ts-expect-error
+  getThing({ 'id+': 5, bob: 'hi' });
+  // @ts-expect-error
+  getThing({ id: 'hi' });
+  // @ts-expect-error
+  getThing({ bob: 'hi' });
+  // @ts-expect-error
+  getThing(5);
+};
+() => {
+  const getThing = new RestEndpoint({
+    path: '/:id:bob+',
+  });
+
+  getThing({ id: 5, bob: 'hi' });
+  // @ts-expect-error
+  getThing({ id: 5, 'bob+': 'hi' });
+  // @ts-expect-error
+  getThing({ id: 'hi' });
+  // @ts-expect-error
+  getThing({ bob: 'hi' });
+  // @ts-expect-error
+  getThing(5);
+};
+() => {
+  const getThing = new RestEndpoint({
+    path: '/:foo/(.*)',
+  });
+
+  getThing({ foo: 'hi' });
+  // @ts-expect-error
+  getThing({});
+  // @ts-expect-error
+  getThing({ id: 'hi' });
+  // @ts-expect-error
+  getThing(5);
+};
+() => {
+  const getThing = new RestEndpoint({
+    path: '/:attr1?{-:attr2}?{-:attr3}?',
+  });
+
+  getThing({ attr1: 'hi' });
+  getThing({ attr2: 'hi' });
+  getThing({ attr3: 'hi' });
+  getThing({ attr1: 'hi', attr3: 'ho' });
+  getThing({ attr2: 'hi', attr3: 'ho' });
+  getThing({});
+  // @ts-expect-error
+  getThing({ random: 'hi' });
+  // @ts-expect-error
+  getThing(5);
+};
diff --git a/website/src/components/Playground/editor-types/@data-client/rest.d.ts b/website/src/components/Playground/editor-types/@data-client/rest.d.ts
@@ -1051,13 +1051,13 @@ type ExtractCollection<S extends Schema | undefined> = S extends ({
     [K: string]: Schema;
 } ? ExtractObject<S> : never;
 
-type OnlyOptional<S extends string> = S extends `${infer K}?` ? K : never;
+type OnlyOptional<S extends string> = S extends `${infer K}}?` ? K : S extends `${infer K}?` ? K : never;
 type OnlyRequired<S extends string> = S extends `${string}?` ? never : S;
-/** Computes the union of keys for a path string */
-type PathKeys<S extends string> = string extends S ? string : S extends `${infer A}\\:${infer B}` ? PathKeys<A> | PathKeys<B> : S extends `${infer A}\\?${infer B}` ? PathKeys<A> | PathKeys<B> : PathSplits<S>;
-type PathSplits<S extends string> = S extends `${string}:${infer K}${'/' | ',' | '%' | '&'}${infer R}` ? PathSplits<`:${K}`> | PathSplits<R> : S extends `${string}:${infer K}:${infer R}` ? PathSplits<`:${K}`> | PathSplits<`:${R}`> : S extends `${string}:${infer K}` ? K : never;
 /** Parameters for a given path */
 type PathArgs<S extends string> = PathKeys<S> extends never ? unknown : KeysToArgs<PathKeys<S>>;
+/** Computes the union of keys for a path string */
+type PathKeys<S extends string> = string extends S ? string : S extends `${infer A}\\${':' | '?' | '+' | '*' | '{' | '}'}${infer B}` ? PathKeys<A> | PathKeys<B> : PathSplits<S>;
+type PathSplits<S extends string> = S extends (`${string}:${infer K}${'/' | ',' | '%' | '&' | '+' | '*' | '{'}${infer R}`) ? PathSplits<`:${K}`> | PathSplits<R> : S extends `${string}:${infer K}:${infer R}` ? PathSplits<`:${K}`> | PathSplits<`:${R}`> : S extends `${string}:${infer K}` ? K : never;
 type KeysToArgs<Key extends string> = {
     [K in Key as OnlyOptional<K>]?: string | number;
 } & (OnlyRequired<Key> extends never ? unknown : {

diff --git a/website/src/components/Playground/editor-types/globals.d.ts b/website/src/components/Playground/editor-types/globals.d.ts
@@ -1055,13 +1055,13 @@ type ExtractCollection<S extends Schema | undefined> = S extends ({
     [K: string]: Schema;
 } ? ExtractObject<S> : never;
 
-type OnlyOptional<S extends string> = S extends `${infer K}?` ? K : never;
+type OnlyOptional<S extends string> = S extends `${infer K}}?` ? K : S extends `${infer K}?` ? K : never;
 type OnlyRequired<S extends string> = S extends `${string}?` ? never : S;
-/** Computes the union of keys for a path string */
-type PathKeys<S extends string> = string extends S ? string : S extends `${infer A}\\:${infer B}` ? PathKeys<A> | PathKeys<B> : S extends `${infer A}\\?${infer B}` ? PathKeys<A> | PathKeys<B> : PathSplits<S>;
-type PathSplits<S extends string> = S extends `${string}:${infer K}${'/' | ',' | '%' | '&'}${infer R}` ? PathSplits<`:${K}`> | PathSplits<R> : S extends `${string}:${infer K}:${infer R}` ? PathSplits<`:${K}`> | PathSplits<`:${R}`> : S extends `${string}:${infer K}` ? K : never;
 /** Parameters for a given path */
 type PathArgs<S extends string> = PathKeys<S> extends never ? unknown : KeysToArgs<PathKeys<S>>;
+/** Computes the union of keys for a path string */
+type PathKeys<S extends string> = string extends S ? string : S extends `${infer A}\\${':' | '?' | '+' | '*' | '{' | '}'}${infer B}` ? PathKeys<A> | PathKeys<B> : PathSplits<S>;
+type PathSplits<S extends string> = S extends (`${string}:${infer K}${'/' | ',' | '%' | '&' | '+' | '*' | '{'}${infer R}`) ? PathSplits<`:${K}`> | PathSplits<R> : S extends `${string}:${infer K}:${infer R}` ? PathSplits<`:${K}`> | PathSplits<`:${R}`> : S extends `${string}:${infer K}` ? K : never;
 type KeysToArgs<Key extends string> = {
     [K in Key as OnlyOptional<K>]?: string | number;
 } & (OnlyRequired<Key> extends never ? unknown : {