Merge pull request #2 from RebeccaStevens/type-tests

BREAKING CHANGE: drop product function

.eslintrc.json

@@ -38,6 +38,12 @@
         "@typescript-eslint/no-unsafe-member-access": "off",
         "@typescript-eslint/no-unsafe-return": "off"
       }
+    },
+    {
+      "files": ["**/*.test-d.ts"],
+      "rules": {
+        "import/no-useless-path-segments": "off"
+      }
     }
   ]
 }

.github/workflows/release.yml

@@ -25,8 +25,10 @@ jobs:
     uses: ./.github/workflows/lint-spelling.yml
   lint_prettier:
     uses: ./.github/workflows/lint-prettier.yml
-  test:
+  test_js:
     uses: ./.github/workflows/test-js.yml
+  test_types:
+    uses: ./.github/workflows/test-types.yml
   type_check:
     uses: ./.github/workflows/type-check.yml
 
@@ -37,7 +39,8 @@ jobs:
       - lint_markdown
       - lint_spelling
       - lint_prettier
-      - test
+      - test_js
+      - test_types
       - type_check
     runs-on: ubuntu-latest
     steps:

.github/workflows/test-js.yml

@@ -1,4 +1,4 @@
-name: Test
+name: Test JS
 
 on:
   pull_request:
@@ -11,5 +11,5 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - uses: ./.github/actions/prepare
-      - run: pnpm run test
+      - run: pnpm run test:js
       - uses: codecov/codecov-action@v3

.github/workflows/test-types.yml

@@ -0,0 +1,16 @@
+name: Test Types
+
+on:
+  pull_request:
+  workflow_dispatch:
+  workflow_call:
+
+jobs:
+  test_js:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: ./.github/actions/prepare
+      - run: BUILD_TYPES_ONLY=1 pnpm run build
+      - run: pnpm run test:types
+      - uses: codecov/codecov-action@v3

knip.jsonc

@@ -1,5 +1,5 @@
 {
   "$schema": "https://unpkg.com/knip@next/schema.json",
-  "entry": ["src/*/index.ts!", "tests/**/*.test.ts"],
+  "entry": ["src/*/index.ts!", "tests/**/*.test.ts", "tests/**/*.test-d.ts"],
   "project": ["src/**/*.ts!", "tests/**/*.ts"]
 }

package.json

@@ -84,8 +84,9 @@
     "prepare": "husky install",
     "release": "pnpm run release:semantic",
     "release:semantic": "semantic-release",
-    "test": "pnpm run test:js",
+    "test": "pnpm run test:js && pnpm run test:types",
     "test:js": "c8 ava",
+    "test:types": "tsd -t './dist/index.d.mts' -f 'tests/**/*.test-d.ts'",
     "type-check": "tsc --noEmit"
   },
   "devDependencies": {
@@ -138,6 +139,7 @@
     "ts-node": "10.9.1",
     "ts-paths-esm-loader": "1.4.3",
     "tsconfig-paths": "4.2.0",
+    "tsd": "0.28.1",
     "typescript": "5.1.6"
   },
   "packageManager": "pnpm@8.6.6",

scripts/post-build.ts

@@ -54,7 +54,12 @@ const filePaths = Object.values(pkg.exports).flatMap((pkgExports) => {
 for (const filePath of filePaths) {
   const ext = path.extname(filePath);
   const importStyle = getImportStyle(ext);
-  const fileContent = await fs.readFile(filePath, { encoding: "utf8" });
+  const fileContent = await fs
+    .readFile(filePath, { encoding: "utf8" })
+    .catch(() => null);
+  if (fileContent === null) {
+    continue;
+  }
   const updatedFileContent = [...filePathToReplacement.entries()].reduce(
     (content, [toReplace, importOptions]) => {
       const relFilePath = importOptions[importStyle];

src/base/exponents.ts

@@ -11,9 +11,9 @@ export type NegativeExponent<T extends Exponent> = T extends -6
   : T extends -2
   ? 2
   : T extends -1
-  ? 0
-  : T extends 0
   ? 1
+  : T extends 0
+  ? 0
   : T extends 1
   ? -1
   : T extends 2

src/base/index.ts

@@ -7,4 +7,5 @@ export type {
   MultiplyExponents,
   DivideExponents,
 } from "./exponents";
+export { MultiplyUnitExponents, DivideUnitExponents } from "./unit-exponents";
 export type { Multiply, Divide, Inverse } from "./units";