uom-types 1.0.3 → 3.0.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "uom-types",
-  "version": "1.0.3",
+  "version": "3.0.0",
   "description": "Typesafe units with no runtime overhead.",
   "keywords": [
     "uom",
@@ -22,13 +22,6 @@
     "email": "rebecca.stevens@outlook.co.nz"
   },
   "type": "module",
-  "imports": {
-    "#uom-types": "./src/base/index.ts",
-    "#uom-types/functions": "./src/functions/index.ts",
-    "#uom-types/functions/higher-order": "./src/functions-ho/index.ts",
-    "#uom-types/si-units": "./src/si-units/index.ts",
-    "#uom-types/si-units/converters": "./src/si-units-converters/index.ts"
-  },
   "exports": {
     ".": {
       "types": {
@@ -46,25 +39,23 @@
     },
     "./functions/higher-order": {
       "types": {
-        "import": "./dist/functions-ho.d.mts",
-        "require": "./dist/functions-ho.d.cts"
+        "import": "./dist/functions-higher-order.d.mts",
+        "require": "./dist/functions-higher-order.d.cts"
       },
-      "import": "./dist/functions-ho.mjs",
-      "require": "./dist/functions-ho.cjs"
+      "import": "./dist/functions-higher-order.mjs",
+      "require": "./dist/functions-higher-order.cjs"
     },
-    "./si-units": {
+    "./units": {
       "types": {
-        "import": "./dist/si-units.d.mts",
-        "require": "./dist/si-units.d.cts"
+        "import": "./dist/units.d.mts",
+        "require": "./dist/units.d.cts"
       }
     },
-    "./si-units/converters": {
+    "./units/converters": {
       "types": {
-        "import": "./dist/si-units-converters.d.mts",
-        "require": "./dist/si-units-converters.d.cts"
-      },
-      "import": "./dist/si-units-converters.mjs",
-      "require": "./dist/si-units-converters.cjs"
+        "import": "./dist/units-converters.d.mts",
+        "require": "./dist/units-converters.d.cts"
+      }
     }
   },
   "files": [
@@ -74,9 +65,13 @@
     "README.md"
   ],
   "scripts": {
-    "build": "pnpm run build:node",
+    "build": "pnpm run build-pre && pnpm run build:node",
+    "build-pre": "pnpm run generate-files",
     "build:node": "rimraf dist && rollup -c rollup.config.ts --configPlugin @rollup/plugin-typescript",
     "cz": "git-cz",
+    "docs": "typedoc",
+    "docs:serve": "http-serve docs/generated",
+    "generate-files": "node --no-warnings=ExperimentalWarning --loader=ts-paths-esm-loader/transpile-only --experimental-specifier-resolution=node ./scripts/generate-files.ts",
     "lint": "pnpm run lint:js && pnpm run lint:md && pnpm run lint:prettier && pnpm run lint:knip && pnpm run lint:spelling",
     "lint:js": "eslint .",
     "lint:js-fix": "eslint . --fix",
@@ -87,66 +82,80 @@
     "lint:prettier": "prettier \"**/*\" --ignore-unknown --list-different",
     "lint:prettier-fix": "prettier \"**/*\" --ignore-unknown --write",
     "lint:spelling": "cspell \"**\" \".github/**/*\"",
-    "prepare": "husky install",
-    "release": "pnpm run release:semantic",
-    "release:semantic": "semantic-release",
-    "test": "pnpm run test:js",
-    "test:js": "c8 ava",
+    "prepare": "husky install && pnpm run generate-files",
+    "test": "pnpm run test-pre && pnpm run test:js && pnpm run test:types && pnpm run test:types-coverage",
+    "test-pre": "pnpm run build",
+    "test:js": "vitest --coverage --run",
+    "test:js:watch": "vitest",
+    "test:types": "tsd -t './dist/index.d.mts' -f 'tests/**/*.test-d.ts'",
+    "test:types-coverage": "type-coverage --project tsconfig.build.json --at-least",
+    "test:types-coverage:report": "typescript-coverage-report --project tsconfig.build.json",
     "type-check": "tsc --noEmit"
   },
   "devDependencies": {
-    "@commitlint/cli": "17.6.6",
-    "@commitlint/config-conventional": "17.6.6",
+    "@commitlint/cli": "17.6.7",
+    "@commitlint/config-conventional": "17.6.7",
     "@cspell/dict-cryptocurrencies": "3.0.1",
-    "@rebeccastevens/eslint-config": "1.7.8",
+    "@rebeccastevens/eslint-config": "2.0.3",
+    "@rollup/plugin-replace": "5.0.2",
     "@rollup/plugin-typescript": "11.1.2",
     "@semantic-release/changelog": "6.0.3",
     "@semantic-release/commit-analyzer": "10.0.1",
     "@semantic-release/git": "10.0.1",
-    "@semantic-release/github": "9.0.3",
+    "@semantic-release/github": "9.0.4",
     "@semantic-release/npm": "10.0.4",
     "@semantic-release/release-notes-generator": "11.0.4",
-    "@types/node": "18.15.11",
+    "@types/node": "18.17.3",
     "@types/rollup-plugin-auto-external": "2.0.2",
-    "@typescript-eslint/eslint-plugin": "5.61.0",
-    "@typescript-eslint/parser": "5.61.0",
-    "ava": "5.3.1",
-    "c8": "8.0.0",
+    "@typescript-eslint/eslint-plugin": "6.2.1",
+    "@typescript-eslint/parser": "6.2.1",
+    "@vitest/coverage-v8": "0.34.1",
     "commitizen": "4.3.0",
-    "cspell": "6.31.1",
+    "cspell": "6.31.2",
     "cz-conventional-changelog": "3.3.0",
-    "eslint": "8.44.0",
-    "eslint-config-prettier": "8.8.0",
+    "eslint": "8.46.0",
+    "eslint-config-prettier": "9.0.0",
     "eslint-import-resolver-typescript": "3.5.5",
-    "eslint-plugin-ava": "14.0.0",
     "eslint-plugin-eslint-comments": "3.2.0",
-    "eslint-plugin-functional": "5.0.8",
-    "eslint-plugin-import": "2.27.5",
-    "eslint-plugin-jsdoc": "46.4.3",
-    "eslint-plugin-markdown": "3.0.0",
+    "eslint-plugin-functional": "6.0.0",
+    "eslint-plugin-import": "2.28.0",
+    "eslint-plugin-jsdoc": "46.4.6",
+    "eslint-plugin-markdown": "3.0.1",
     "eslint-plugin-n": "16.0.1",
     "eslint-plugin-optimize-regex": "1.2.1",
-    "eslint-plugin-prettier": "5.0.0-alpha.1",
+    "eslint-plugin-prettier": "5.0.0",
     "eslint-plugin-promise": "6.1.1",
-    "eslint-plugin-sonarjs": "0.19.0",
-    "eslint-plugin-unicorn": "47.0.0",
+    "eslint-plugin-sonarjs": "0.20.0",
+    "eslint-plugin-unicorn": "48.0.1",
+    "eslint-plugin-vitest": "0.2.8",
+    "http-serve": "1.0.1",
     "husky": "8.0.3",
-    "knip": "2.14.3",
+    "knip": "2.19.0",
     "lint-staged": "13.2.3",
     "markdownlint-cli": "0.35.0",
-    "prettier": "3.0.0",
-    "prettier-plugin-packagejson": "2.4.4",
+    "prettier": "3.0.1",
+    "prettier-plugin-packagejson": "2.4.5",
     "rimraf": "5.0.1",
-    "rollup": "3.26.1",
+    "rollup": "3.27.2",
     "rollup-plugin-auto-external": "2.0.0",
-    "rollup-plugin-dts": "5.3.0",
+    "rollup-plugin-dts": "5.3.1",
     "semantic-release": "21.0.7",
     "ts-node": "10.9.1",
     "ts-paths-esm-loader": "1.4.3",
+    "ts-plugin-type-coverage": "2.26.0",
+    "tsafe": "1.6.4",
     "tsconfig-paths": "4.2.0",
-    "typescript": "5.1.6"
+    "tsd": "0.28.1",
+    "type-coverage": "2.26.0",
+    "typedoc": "0.24.8",
+    "typedoc-plugin-coverage": "2.1.0",
+    "typedoc-plugin-versions": "0.2.3",
+    "typescript": "5.1.6",
+    "typescript-coverage-report": "0.8.0",
+    "vite-tsconfig-paths": "4.2.0",
+    "vitest": "0.34.1"
   },
-  "packageManager": "pnpm@8.6.6",
+  "packageManager": "pnpm@8.6.12",
   "engines": {
     "node": ">=16.0.0"
   }

package/dist/functions-ho.d.cts

@@ -1,124 +0,0 @@
-type BrandUnit<T extends Record<string, UnitValue>> = {
-    __exactKeys: keyof ExcludeZeroExponentsKeys<T>;
-    __uom_types: RemoveNever<{
-        [U in keyof T]: U extends keyof ExcludeZeroExponentsKeys<T> ? BrandUnitConfigValue<T[U]> : never;
-    }>;
-};
-type RemoveNever<T> = {
-    [K in keyof T as [T[K]] extends [never] ? never : K]: T[K];
-};
-type BrandUnitConfigValue<T extends UnitValue> = ExcludeZeroExponents<T> & {
-    __exactKeys: keyof ExcludeZeroExponents<T>;
-};
-type GetUnitConfig<T> = T extends UnitFull<infer C> ? C : never;
-type ExcludeZeroExponentsKeys<T extends Record<string, UnitValue>> = {
-    [K in keyof T as T[K] extends {
-        exponent: 0;
-    } ? never : K]: T[K];
-};
-type ExcludeZeroExponents<T extends UnitValue> = {
-    [K in keyof T as T[K] extends 0 ? never : K]: T[K];
-};
-type GetUnitValues<T extends Record<string, UnitValue>, U> = U extends keyof T ? T[U] : {
-    exponent: 0;
-};
-type KeysOfTwoObjects<A, B> = keyof A | keyof B;
-type KeysOfKeyOfTwoObjects<A, B, K> = K extends keyof A ? K extends keyof B ? keyof A[K] | keyof B[K] : keyof A[K] : K extends keyof B ? keyof B[K] : never;
-type Inverse<T extends number> = T extends UnknownUnit ? InverseUnit<T> : number;
-type NegativeExponent<T extends Exponent> = T extends -6 ? 6 : T extends -5 ? 5 : T extends -4 ? 4 : T extends -3 ? 3 : T extends -2 ? 2 : T extends -1 ? 0 : T extends 0 ? 1 : T extends 1 ? -1 : T extends 2 ? -2 : T extends 3 ? -3 : T extends 4 ? -4 : T extends 5 ? -5 : T extends 6 ? -6 : never;
-type InverseUnit<T extends UnknownUnit> = InverseUnitCore<T> extends Record<string, UnitValue> ? Unit<InverseUnitCore<T>> : never;
-type InverseUnitCore<T extends UnknownUnit> = {
-    [U in keyof GetUnitConfig<T>]: {
-        [E in keyof GetUnitConfig<T>[U]]: NegativeExponent<GetUnitConfig<T>[U][E]>;
-    };
-};
-type Multiply<A extends number, B extends number> = A extends UnknownUnit ? B extends UnknownUnit ? MultiplyUnits<A, B> : A : B extends UnknownUnit ? B : number;
-type MultiplyUnits<A extends UnknownUnit, B extends UnknownUnit> = MultiplyUnitsCore<A, B> extends Record<string, UnitValue> ? Unit<FlatternAlias<MultiplyUnitsCore<A, B>>> : never;
-type MultiplyUnitsCore<A extends UnknownUnit, B extends UnknownUnit> = {
-    [U in KeysOfTwoObjects<GetUnitConfig<A>, GetUnitConfig<B>>]: {
-        [E in KeysOfKeyOfTwoObjects<GetUnitConfig<A>, GetUnitConfig<B>, U>]: SumExponents<E extends keyof GetUnitValues<GetUnitConfig<A>, U> ? GetUnitValues<GetUnitConfig<A>, U>[E] extends Exponent ? GetUnitValues<GetUnitConfig<A>, U>[E] : 0 : 0, E extends keyof GetUnitValues<GetUnitConfig<B>, U> ? GetUnitValues<GetUnitConfig<B>, U>[E] extends Exponent ? GetUnitValues<GetUnitConfig<B>, U>[E] : 0 : 0>;
-    };
-};
-type Divide<A extends number, B extends number> = A extends UnknownUnit ? B extends UnknownUnit ? DivideUnits<A, B> : A : B extends UnknownUnit ? Inverse<B> : number;
-type DivideUnits<A extends UnknownUnit, B extends UnknownUnit> = MultiplyUnits<A, InverseUnit<B> extends UnknownUnit ? InverseUnit<B> : never>;
-type SumExponents<A extends Exponent, B extends Exponent> = A extends -6 ? B extends 0 ? A : B extends 1 ? -5 : B extends 2 ? -4 : B extends 3 ? -3 : B extends 4 ? -2 : B extends 5 ? -1 : B extends 6 ? 0 : never : A extends -5 ? B extends -1 ? -6 : B extends 0 ? A : B extends 1 ? -4 : B extends 2 ? -3 : B extends 3 ? -2 : B extends 4 ? -1 : B extends 5 ? 0 : B extends 6 ? 1 : never : A extends -4 ? B extends -2 ? -6 : B extends -1 ? -5 : B extends 0 ? A : B extends 1 ? -3 : B extends 2 ? -2 : B extends 3 ? -1 : B extends 4 ? 0 : B extends 5 ? 1 : B extends 6 ? 2 : never : A extends -3 ? B extends -3 ? -6 : B extends -2 ? -5 : B extends -1 ? -4 : B extends 0 ? A : B extends 1 ? -2 : B extends 2 ? -1 : B extends 3 ? 0 : B extends 4 ? 1 : B extends 5 ? 2 : B extends 6 ? 3 : never : A extends -2 ? B extends -4 ? -6 : B extends -3 ? -5 : B extends -2 ? -4 : B extends -1 ? -3 : B extends 0 ? A : B extends 1 ? -1 : B extends 2 ? 0 : B extends 3 ? 1 : B extends 4 ? 2 : B extends 5 ? 3 : B extends 6 ? 4 : never : A extends -1 ? B extends -5 ? -6 : B extends -4 ? -5 : B extends -3 ? -4 : B extends -2 ? -3 : B extends -1 ? -2 : B extends 0 ? A : B extends 1 ? 0 : B extends 2 ? 1 : B extends 3 ? 2 : B extends 4 ? 3 : B extends 5 ? 4 : B extends 6 ? 5 : never : A extends 0 ? B : A extends 1 ? B extends -6 ? -5 : B extends -5 ? -4 : B extends -4 ? -3 : B extends -3 ? -2 : B extends -2 ? -1 : B extends -1 ? 0 : B extends 0 ? A : B extends 1 ? 2 : B extends 2 ? 3 : B extends 3 ? 4 : B extends 4 ? 5 : B extends 5 ? 6 : never : A extends 2 ? B extends -6 ? -4 : B extends -5 ? -3 : B extends -4 ? -2 : B extends -3 ? -1 : B extends -2 ? 0 : B extends -1 ? 1 : B extends 0 ? A : B extends 1 ? 3 : B extends 2 ? 4 : B extends 3 ? 5 : B extends 4 ? 6 : never : A extends 3 ? B extends -6 ? -3 : B extends -5 ? -2 : B extends -4 ? -1 : B extends -3 ? 0 : B extends -2 ? 1 : B extends -1 ? 2 : B extends 0 ? A : B extends 1 ? 4 : B extends 2 ? 5 : B extends 3 ? 6 : never : A extends 4 ? B extends -6 ? -2 : B extends -5 ? -1 : B extends -4 ? 0 : B extends -3 ? 1 : B extends -2 ? 2 : B extends -1 ? 3 : B extends 0 ? A : B extends 1 ? 5 : B extends 2 ? 6 : never : A extends 5 ? B extends -6 ? -1 : B extends -5 ? 0 : B extends -4 ? 1 : B extends -3 ? 2 : B extends -2 ? 3 : B extends -1 ? 4 : B extends 0 ? A : B extends 1 ? 6 : never : A extends 6 ? B extends -6 ? 0 : B extends -5 ? 1 : B extends -4 ? 2 : B extends -3 ? 3 : B extends -2 ? 4 : B extends -1 ? 5 : B extends 0 ? A : never : never;
-/**
- * Flatten a complex type such as a union or intersection of objects into a
- * single object.
- */
-type FlatternAlias<T> = {
-    [P in keyof T]: T[P];
-} & {};
-
-type Exponent = -6 | -5 | -4 | -3 | -2 | -1 | 0 | 1 | 2 | 3 | 4 | 5 | 6;
-type UnitFull<T extends Record<string, UnitValue>> = number & Readonly<BrandUnit<T>>;
-type UnitValue = {
-    exponent: Exponent;
-} & Record<string, Exponent>;
-/**
- * A unit of measurement.
- */
-type Unit<T extends Record<string, Exponent | UnitValue>> = UnitFull<{
-    [K in keyof T]: T[K] extends Exponent ? {
-        exponent: T[K];
-    } : T[K] extends UnitValue ? T[K] : never;
-}>;
-type UnknownUnit = number & Readonly<{
-    __exactKeys: string;
-    __uom_types: Record<string, {}>;
-}>;
-
-type Decimal = Unit<{}>;
-
-type OperationIO<T extends number> = T extends UnknownUnit ? T : number;
-/**
- * Add a value by the given value.
- */
-declare function add<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
-/**
- * Subtract one value from the given value.
- */
-declare function sub<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
-/**
- * Multiple a value by the given value.
- */
-declare function mul<A extends number>(a: OperationIO<A>): <B extends number>(b: OperationIO<B>) => OperationIO<Multiply<B, A>>;
-/**
- * Divide one value by the given value.
- */
-declare function div<A extends number>(a: OperationIO<A>): <B extends number>(b: OperationIO<B>) => OperationIO<Divide<B, A>>;
-/**
- * Modulo operator.
- */
-declare function mod<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
-/**
- * Perform mathematic modular arithmetic.
- */
-declare function modSafe<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
-type PowFunction<E extends number, B extends number> = E extends -1 ? (b: OperationIO<B>) => OperationIO<Inverse<B>> : E extends 0 ? (b: OperationIO<B>) => Decimal | 1 : E extends 0.5 ? (b: OperationIO<B>) => OperationIO<Divide<B, 2>> : E extends 1 ? (b: OperationIO<B>) => OperationIO<B> : E extends 2 ? (b: OperationIO<B>) => OperationIO<Multiply<B, B>> : E extends 3 ? (b: OperationIO<B>) => OperationIO<Multiply<B, Multiply<B, B>>> : E extends 4 ? (b: OperationIO<B>) => OperationIO<Multiply<B, Multiply<B, Multiply<B, B>>>> : (b: OperationIO<B>) => OperationIO<number>;
-/**
- * Put a number to the power of the given value.
- */
-declare function pow<E extends number, B extends number>(exponent: E extends UnknownUnit ? never : E): PowFunction<E, B>;
-/**
- * Equal: Compare if a value is equal to the given value.
- */
-declare function eq<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
-/**
- * Greater Than: Compare if a value is greater than the given value.
- */
-declare function gt<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
-/**
- * Greater Than or Equal: Compare if a value is greater than or equal to the given value.
- */
-declare function gte<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
-/**
- * Less Than: Compare if a value is less than the given value.
- */
-declare function lt<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
-/**
- * Less Than or Equal: Compare if a value is less than or equal to the given value.
- */
-declare function lte<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
-
-export { add, div, eq, gt, gte, lt, lte, mod, modSafe, mul, pow, sub };

package/dist/functions-ho.d.mts

@@ -1,124 +0,0 @@
-type BrandUnit<T extends Record<string, UnitValue>> = {
-    __exactKeys: keyof ExcludeZeroExponentsKeys<T>;
-    __uom_types: RemoveNever<{
-        [U in keyof T]: U extends keyof ExcludeZeroExponentsKeys<T> ? BrandUnitConfigValue<T[U]> : never;
-    }>;
-};
-type RemoveNever<T> = {
-    [K in keyof T as [T[K]] extends [never] ? never : K]: T[K];
-};
-type BrandUnitConfigValue<T extends UnitValue> = ExcludeZeroExponents<T> & {
-    __exactKeys: keyof ExcludeZeroExponents<T>;
-};
-type GetUnitConfig<T> = T extends UnitFull<infer C> ? C : never;
-type ExcludeZeroExponentsKeys<T extends Record<string, UnitValue>> = {
-    [K in keyof T as T[K] extends {
-        exponent: 0;
-    } ? never : K]: T[K];
-};
-type ExcludeZeroExponents<T extends UnitValue> = {
-    [K in keyof T as T[K] extends 0 ? never : K]: T[K];
-};
-type GetUnitValues<T extends Record<string, UnitValue>, U> = U extends keyof T ? T[U] : {
-    exponent: 0;
-};
-type KeysOfTwoObjects<A, B> = keyof A | keyof B;
-type KeysOfKeyOfTwoObjects<A, B, K> = K extends keyof A ? K extends keyof B ? keyof A[K] | keyof B[K] : keyof A[K] : K extends keyof B ? keyof B[K] : never;
-type Inverse<T extends number> = T extends UnknownUnit ? InverseUnit<T> : number;
-type NegativeExponent<T extends Exponent> = T extends -6 ? 6 : T extends -5 ? 5 : T extends -4 ? 4 : T extends -3 ? 3 : T extends -2 ? 2 : T extends -1 ? 0 : T extends 0 ? 1 : T extends 1 ? -1 : T extends 2 ? -2 : T extends 3 ? -3 : T extends 4 ? -4 : T extends 5 ? -5 : T extends 6 ? -6 : never;
-type InverseUnit<T extends UnknownUnit> = InverseUnitCore<T> extends Record<string, UnitValue> ? Unit<InverseUnitCore<T>> : never;
-type InverseUnitCore<T extends UnknownUnit> = {
-    [U in keyof GetUnitConfig<T>]: {
-        [E in keyof GetUnitConfig<T>[U]]: NegativeExponent<GetUnitConfig<T>[U][E]>;
-    };
-};
-type Multiply<A extends number, B extends number> = A extends UnknownUnit ? B extends UnknownUnit ? MultiplyUnits<A, B> : A : B extends UnknownUnit ? B : number;
-type MultiplyUnits<A extends UnknownUnit, B extends UnknownUnit> = MultiplyUnitsCore<A, B> extends Record<string, UnitValue> ? Unit<FlatternAlias<MultiplyUnitsCore<A, B>>> : never;
-type MultiplyUnitsCore<A extends UnknownUnit, B extends UnknownUnit> = {
-    [U in KeysOfTwoObjects<GetUnitConfig<A>, GetUnitConfig<B>>]: {
-        [E in KeysOfKeyOfTwoObjects<GetUnitConfig<A>, GetUnitConfig<B>, U>]: SumExponents<E extends keyof GetUnitValues<GetUnitConfig<A>, U> ? GetUnitValues<GetUnitConfig<A>, U>[E] extends Exponent ? GetUnitValues<GetUnitConfig<A>, U>[E] : 0 : 0, E extends keyof GetUnitValues<GetUnitConfig<B>, U> ? GetUnitValues<GetUnitConfig<B>, U>[E] extends Exponent ? GetUnitValues<GetUnitConfig<B>, U>[E] : 0 : 0>;
-    };
-};
-type Divide<A extends number, B extends number> = A extends UnknownUnit ? B extends UnknownUnit ? DivideUnits<A, B> : A : B extends UnknownUnit ? Inverse<B> : number;
-type DivideUnits<A extends UnknownUnit, B extends UnknownUnit> = MultiplyUnits<A, InverseUnit<B> extends UnknownUnit ? InverseUnit<B> : never>;
-type SumExponents<A extends Exponent, B extends Exponent> = A extends -6 ? B extends 0 ? A : B extends 1 ? -5 : B extends 2 ? -4 : B extends 3 ? -3 : B extends 4 ? -2 : B extends 5 ? -1 : B extends 6 ? 0 : never : A extends -5 ? B extends -1 ? -6 : B extends 0 ? A : B extends 1 ? -4 : B extends 2 ? -3 : B extends 3 ? -2 : B extends 4 ? -1 : B extends 5 ? 0 : B extends 6 ? 1 : never : A extends -4 ? B extends -2 ? -6 : B extends -1 ? -5 : B extends 0 ? A : B extends 1 ? -3 : B extends 2 ? -2 : B extends 3 ? -1 : B extends 4 ? 0 : B extends 5 ? 1 : B extends 6 ? 2 : never : A extends -3 ? B extends -3 ? -6 : B extends -2 ? -5 : B extends -1 ? -4 : B extends 0 ? A : B extends 1 ? -2 : B extends 2 ? -1 : B extends 3 ? 0 : B extends 4 ? 1 : B extends 5 ? 2 : B extends 6 ? 3 : never : A extends -2 ? B extends -4 ? -6 : B extends -3 ? -5 : B extends -2 ? -4 : B extends -1 ? -3 : B extends 0 ? A : B extends 1 ? -1 : B extends 2 ? 0 : B extends 3 ? 1 : B extends 4 ? 2 : B extends 5 ? 3 : B extends 6 ? 4 : never : A extends -1 ? B extends -5 ? -6 : B extends -4 ? -5 : B extends -3 ? -4 : B extends -2 ? -3 : B extends -1 ? -2 : B extends 0 ? A : B extends 1 ? 0 : B extends 2 ? 1 : B extends 3 ? 2 : B extends 4 ? 3 : B extends 5 ? 4 : B extends 6 ? 5 : never : A extends 0 ? B : A extends 1 ? B extends -6 ? -5 : B extends -5 ? -4 : B extends -4 ? -3 : B extends -3 ? -2 : B extends -2 ? -1 : B extends -1 ? 0 : B extends 0 ? A : B extends 1 ? 2 : B extends 2 ? 3 : B extends 3 ? 4 : B extends 4 ? 5 : B extends 5 ? 6 : never : A extends 2 ? B extends -6 ? -4 : B extends -5 ? -3 : B extends -4 ? -2 : B extends -3 ? -1 : B extends -2 ? 0 : B extends -1 ? 1 : B extends 0 ? A : B extends 1 ? 3 : B extends 2 ? 4 : B extends 3 ? 5 : B extends 4 ? 6 : never : A extends 3 ? B extends -6 ? -3 : B extends -5 ? -2 : B extends -4 ? -1 : B extends -3 ? 0 : B extends -2 ? 1 : B extends -1 ? 2 : B extends 0 ? A : B extends 1 ? 4 : B extends 2 ? 5 : B extends 3 ? 6 : never : A extends 4 ? B extends -6 ? -2 : B extends -5 ? -1 : B extends -4 ? 0 : B extends -3 ? 1 : B extends -2 ? 2 : B extends -1 ? 3 : B extends 0 ? A : B extends 1 ? 5 : B extends 2 ? 6 : never : A extends 5 ? B extends -6 ? -1 : B extends -5 ? 0 : B extends -4 ? 1 : B extends -3 ? 2 : B extends -2 ? 3 : B extends -1 ? 4 : B extends 0 ? A : B extends 1 ? 6 : never : A extends 6 ? B extends -6 ? 0 : B extends -5 ? 1 : B extends -4 ? 2 : B extends -3 ? 3 : B extends -2 ? 4 : B extends -1 ? 5 : B extends 0 ? A : never : never;
-/**
- * Flatten a complex type such as a union or intersection of objects into a
- * single object.
- */
-type FlatternAlias<T> = {
-    [P in keyof T]: T[P];
-} & {};
-
-type Exponent = -6 | -5 | -4 | -3 | -2 | -1 | 0 | 1 | 2 | 3 | 4 | 5 | 6;
-type UnitFull<T extends Record<string, UnitValue>> = number & Readonly<BrandUnit<T>>;
-type UnitValue = {
-    exponent: Exponent;
-} & Record<string, Exponent>;
-/**
- * A unit of measurement.
- */
-type Unit<T extends Record<string, Exponent | UnitValue>> = UnitFull<{
-    [K in keyof T]: T[K] extends Exponent ? {
-        exponent: T[K];
-    } : T[K] extends UnitValue ? T[K] : never;
-}>;
-type UnknownUnit = number & Readonly<{
-    __exactKeys: string;
-    __uom_types: Record<string, {}>;
-}>;
-
-type Decimal = Unit<{}>;
-
-type OperationIO<T extends number> = T extends UnknownUnit ? T : number;
-/**
- * Add a value by the given value.
- */
-declare function add<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
-/**
- * Subtract one value from the given value.
- */
-declare function sub<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
-/**
- * Multiple a value by the given value.
- */
-declare function mul<A extends number>(a: OperationIO<A>): <B extends number>(b: OperationIO<B>) => OperationIO<Multiply<B, A>>;
-/**
- * Divide one value by the given value.
- */
-declare function div<A extends number>(a: OperationIO<A>): <B extends number>(b: OperationIO<B>) => OperationIO<Divide<B, A>>;
-/**
- * Modulo operator.
- */
-declare function mod<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
-/**
- * Perform mathematic modular arithmetic.
- */
-declare function modSafe<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
-type PowFunction<E extends number, B extends number> = E extends -1 ? (b: OperationIO<B>) => OperationIO<Inverse<B>> : E extends 0 ? (b: OperationIO<B>) => Decimal | 1 : E extends 0.5 ? (b: OperationIO<B>) => OperationIO<Divide<B, 2>> : E extends 1 ? (b: OperationIO<B>) => OperationIO<B> : E extends 2 ? (b: OperationIO<B>) => OperationIO<Multiply<B, B>> : E extends 3 ? (b: OperationIO<B>) => OperationIO<Multiply<B, Multiply<B, B>>> : E extends 4 ? (b: OperationIO<B>) => OperationIO<Multiply<B, Multiply<B, Multiply<B, B>>>> : (b: OperationIO<B>) => OperationIO<number>;
-/**
- * Put a number to the power of the given value.
- */
-declare function pow<E extends number, B extends number>(exponent: E extends UnknownUnit ? never : E): PowFunction<E, B>;
-/**
- * Equal: Compare if a value is equal to the given value.
- */
-declare function eq<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
-/**
- * Greater Than: Compare if a value is greater than the given value.
- */
-declare function gt<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
-/**
- * Greater Than or Equal: Compare if a value is greater than or equal to the given value.
- */
-declare function gte<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
-/**
- * Less Than: Compare if a value is less than the given value.
- */
-declare function lt<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
-/**
- * Less Than or Equal: Compare if a value is less than or equal to the given value.
- */
-declare function lte<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
-
-export { add, div, eq, gt, gte, lt, lte, mod, modSafe, mul, pow, sub };

package/dist/si-units-converters.cjs

@@ -1,2 +0,0 @@
-'use strict';
-

package/dist/si-units-converters.d.cts

@@ -1,2 +0,0 @@
-
-export { }

package/dist/si-units-converters.d.mts

@@ -1,2 +0,0 @@
-
-export { }

package/dist/si-units-converters.mjs

@@ -1 +0,0 @@
-

package/dist/si-units.d.cts

@@ -1,38 +0,0 @@
-type BrandUnit<T extends Record<string, UnitValue>> = {
-    __exactKeys: keyof ExcludeZeroExponentsKeys<T>;
-    __uom_types: RemoveNever<{
-        [U in keyof T]: U extends keyof ExcludeZeroExponentsKeys<T> ? BrandUnitConfigValue<T[U]> : never;
-    }>;
-};
-type RemoveNever<T> = {
-    [K in keyof T as [T[K]] extends [never] ? never : K]: T[K];
-};
-type BrandUnitConfigValue<T extends UnitValue> = ExcludeZeroExponents<T> & {
-    __exactKeys: keyof ExcludeZeroExponents<T>;
-};
-type ExcludeZeroExponentsKeys<T extends Record<string, UnitValue>> = {
-    [K in keyof T as T[K] extends {
-        exponent: 0;
-    } ? never : K]: T[K];
-};
-type ExcludeZeroExponents<T extends UnitValue> = {
-    [K in keyof T as T[K] extends 0 ? never : K]: T[K];
-};
-
-type Exponent = -6 | -5 | -4 | -3 | -2 | -1 | 0 | 1 | 2 | 3 | 4 | 5 | 6;
-type UnitFull<T extends Record<string, UnitValue>> = number & Readonly<BrandUnit<T>>;
-type UnitValue = {
-    exponent: Exponent;
-} & Record<string, Exponent>;
-/**
- * A unit of measurement.
- */
-type Unit<T extends Record<string, Exponent | UnitValue>> = UnitFull<{
-    [K in keyof T]: T[K] extends Exponent ? {
-        exponent: T[K];
-    } : T[K] extends UnitValue ? T[K] : never;
-}>;
-
-type Decimal = Unit<{}>;
-
-export { Decimal };

package/dist/si-units.d.mts

@@ -1,38 +0,0 @@
-type BrandUnit<T extends Record<string, UnitValue>> = {
-    __exactKeys: keyof ExcludeZeroExponentsKeys<T>;
-    __uom_types: RemoveNever<{
-        [U in keyof T]: U extends keyof ExcludeZeroExponentsKeys<T> ? BrandUnitConfigValue<T[U]> : never;
-    }>;
-};
-type RemoveNever<T> = {
-    [K in keyof T as [T[K]] extends [never] ? never : K]: T[K];
-};
-type BrandUnitConfigValue<T extends UnitValue> = ExcludeZeroExponents<T> & {
-    __exactKeys: keyof ExcludeZeroExponents<T>;
-};
-type ExcludeZeroExponentsKeys<T extends Record<string, UnitValue>> = {
-    [K in keyof T as T[K] extends {
-        exponent: 0;
-    } ? never : K]: T[K];
-};
-type ExcludeZeroExponents<T extends UnitValue> = {
-    [K in keyof T as T[K] extends 0 ? never : K]: T[K];
-};
-
-type Exponent = -6 | -5 | -4 | -3 | -2 | -1 | 0 | 1 | 2 | 3 | 4 | 5 | 6;
-type UnitFull<T extends Record<string, UnitValue>> = number & Readonly<BrandUnit<T>>;
-type UnitValue = {
-    exponent: Exponent;
-} & Record<string, Exponent>;
-/**
- * A unit of measurement.
- */
-type Unit<T extends Record<string, Exponent | UnitValue>> = UnitFull<{
-    [K in keyof T]: T[K] extends Exponent ? {
-        exponent: T[K];
-    } : T[K] extends UnitValue ? T[K] : never;
-}>;
-
-type Decimal = Unit<{}>;
-
-export { Decimal };