Adding a new tool: type-predicate-generator

.eslintignore

@@ -6,3 +6,5 @@ cases/typia/build
 cases/deepkit/build
 cases/ts-auto-guard/build
 cases/ts-auto-guard/src/index.guard.ts
+cases/type-predicate-generator/build
+cases/type-predicate-generator/src/index_guards.ts

.gitignore

@@ -166,5 +166,9 @@ cases/typia/build
 cases/ts-auto-guard/build
 cases/ts-auto-guard/src/index.guard.ts
 
+# type-predicate-generator build artifacts
+cases/type-predicate-generator/build
+cases/type-predicate-generator/src/index_guards.ts
+
 # Bun binary lock file makes mergin harder. Using text lock file instead.
 bun.lockb

README.md

@@ -55,6 +55,7 @@
 * [ts-runtime-checks](https://github.com/GoogleFeud/ts-runtime-checks)
 * [tson](https://github.com/skarab42/tson)
 * [ts-utils](https://github.com/ai-labs-team/ts-utils)
+* [type-predicate-generator](https://github.com/peter-leonov/typescript-predicate-generator)
 * [typia](https://github.com/samchon/typia)
 * [@typeofweb/schema](https://github.com/typeofweb/schema)
 * [unknownutil](https://github.com/lambdalisue/deno-unknownutil)

cases/index.ts

@@ -51,6 +51,7 @@ export const cases = [
   'deepkit',
   'effect-schema',
   'ts-auto-guard',
+  'type-predicate-generator',
   'jet-schema',
 ] as const;
 

cases/type-predicate-generator/index.ts

@@ -0,0 +1,7 @@
+import { isLoose } from './src/index_guards';
+import { addCase } from '../../benchmarks';
+
+addCase('type-predicate-generator', 'assertLoose', data => {
+  if (!isLoose(data)) throw new Error('wrong type.');
+  return true;
+});

cases/type-predicate-generator/src/index.ts

@@ -0,0 +1,13 @@
+export type Loose = {
+  number: number;
+  negNumber: number;
+  maxNumber: number;
+  string: string;
+  longString: string;
+  boolean: boolean;
+  deeplyNested: {
+    foo: string;
+    num: number;
+    bool: boolean;
+  };
+};

cases/type-predicate-generator/tsconfig.json

@@ -0,0 +1,10 @@
+{
+  "extends": "../../tsconfig.json",
+  "compilerOptions": {
+    "module": "commonjs",
+    "outDir": "build",
+    "strict": true,
+    "strictNullChecks": true
+  },
+  "include": ["src/index.ts", "src/index_guards.ts"]
+}

download-packages-popularity.ts

@@ -210,6 +210,10 @@ export const packages = [
     name: 'ts-auto-guard',
     packageName: 'ts-auto-guard',
   },
+  {
+    name: 'type-predicate-generator',
+    packageName: 'type-predicate-generator',
+  },
 ] as const;
 
 interface BodyWeeklyDownloads {

index.ts

@@ -46,6 +46,11 @@ async function main() {
               stdio: 'inherit',
             });
           }
+          if (c === 'type-predicate-generator') {
+            childProcess.execSync('npm run compile:type-predicate-generator', {
+              stdio: 'inherit',
+            });
+          }
 
           const cmd = [...process.argv.slice(0, 2), 'run-internal', c];
 

package.json

@@ -12,8 +12,8 @@
     "lint": "gts check",
     "lint:fix": "gts fix",
     "start": "ts-node index.ts",
-    "test:build": "npm run compile:spectypes && npm run compile:ts-runtime-checks && npm run compile:typebox && npm run compile:typia && npm run compile:deepkit && npm run compile:ts-auto-guard && tsc --noEmit",
-    "test": "npm run compile:spectypes && npm run compile:ts-runtime-checks && npm run compile:typebox && npm run compile:typia && npm run compile:deepkit && npm run compile:ts-auto-guard && vitest run",
+    "test:build": "npm run compile:spectypes && npm run compile:ts-runtime-checks && npm run compile:typebox && npm run compile:typia && npm run compile:deepkit && npm run compile:ts-auto-guard && npm run compile:type-predicate-generator && tsc --noEmit",
+    "test": "npm run compile:spectypes && npm run compile:ts-runtime-checks && npm run compile:typebox && npm run compile:typia && npm run compile:deepkit && npm run compile:ts-auto-guard && npm run compile:type-predicate-generator && vitest run",
     "docs:serve": "serve docs",
     "docs:watch": "tsc --project tsconfig.docs.json --watch --preserveWatchOutput & serve docs",
     "docs:build": "tsc --project tsconfig.docs.json",
@@ -23,6 +23,7 @@
     "compile:typebox": "ts-node cases/typebox/index.ts cases/typebox/build",
     "compile:typia": "rimraf cases/typia/build && tsc -p cases/typia/tsconfig.json",
     "compile:ts-auto-guard": "rimraf cases/ts-auto-guard/build && ts-auto-guard --project cases/ts-auto-guard/tsconfig.json && tsc -p cases/ts-auto-guard/tsconfig.json",
+    "compile:type-predicate-generator": "rimraf cases/type-predicate-generator/src/index_guards.ts && (cd cases/type-predicate-generator/src && type-predicate-generator ./index.ts) && tsc -p cases/type-predicate-generator/tsconfig.json",
     "prepare": "ts-patch install",
     "download-packages-popularity": "ts-node download-packages-popularity.ts"
   },
@@ -87,6 +88,7 @@
     "ts-json-validator": "0.7.1",
     "ts-node": "10.9.2",
     "ts-runtime-checks": "0.6.3",
+    "type-predicate-generator": "0.1.11",
     "typescript": "5.6.3",
     "typia": "7.5.1",
     "undici": "7.2.1",

test/benchmarks.test.ts

@@ -55,6 +55,7 @@ import '../cases/zod';
 import '../cases/deepkit';
 import '../cases/effect-schema';
 import '../cases/ts-auto-guard';
+import '../cases/type-predicate-generator';
 import '../cases/tiny-schema-validator';
 import '../cases/jet-schema';