uom-types 1.0.3 → 2.0.0

package/dist/functions-ho.cjs

@@ -42,7 +42,7 @@ function modSafe(a) {
  * Put a number to the power of the given value.
  */
 function pow(exponent) {
-    return ((base) => base ** exponent);
+    return (base) => (base ** exponent);
 }
 /**
  * Equal: Compare if a value is equal to the given value.

package/dist/functions-ho.d.cts

@@ -1,74 +1,5 @@
-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<{}>;
+import { Multiply, Divide, UnknownUnit, Inverse, DivideUnitExponents } from './index.cjs';
+import { Decimal } from './si-units.cjs';
 
 type OperationIO<T extends number> = T extends UnknownUnit ? T : number;
 /**
@@ -95,11 +26,11 @@ declare function mod<T extends number>(a: OperationIO<T>): (b: 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>;
+type PowFunction<E extends number, B extends number> = E extends UnknownUnit ? never : E extends -1 ? (b: OperationIO<B>) => OperationIO<Inverse<B>> : E extends 0 ? (b: OperationIO<B>) => OperationIO<B> extends UnknownUnit ? Decimal : 1 : E extends 0.5 ? (b: OperationIO<B>) => OperationIO<DivideUnitExponents<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>;
+declare function pow<E extends number>(exponent: E): <B extends number>(base: Parameters<PowFunction<E, B>>[0]) => ReturnType<PowFunction<E, B>>;
 /**
  * Equal: Compare if a value is equal to the given value.
  */

package/dist/functions-ho.d.mts

@@ -1,74 +1,5 @@
-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<{}>;
+import { Multiply, Divide, UnknownUnit, Inverse, DivideUnitExponents } from './index.mjs';
+import { Decimal } from './si-units.mjs';
 
 type OperationIO<T extends number> = T extends UnknownUnit ? T : number;
 /**
@@ -95,11 +26,11 @@ declare function mod<T extends number>(a: OperationIO<T>): (b: 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>;
+type PowFunction<E extends number, B extends number> = E extends UnknownUnit ? never : E extends -1 ? (b: OperationIO<B>) => OperationIO<Inverse<B>> : E extends 0 ? (b: OperationIO<B>) => OperationIO<B> extends UnknownUnit ? Decimal : 1 : E extends 0.5 ? (b: OperationIO<B>) => OperationIO<DivideUnitExponents<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>;
+declare function pow<E extends number>(exponent: E): <B extends number>(base: Parameters<PowFunction<E, B>>[0]) => ReturnType<PowFunction<E, B>>;
 /**
  * Equal: Compare if a value is equal to the given value.
  */

package/dist/functions-ho.mjs

@@ -40,7 +40,7 @@ function modSafe(a) {
  * Put a number to the power of the given value.
  */
 function pow(exponent) {
-    return ((base) => base ** exponent);
+    return (base) => (base ** exponent);
 }
 /**
  * Equal: Compare if a value is equal to the given value.

package/dist/functions.cjs

@@ -107,12 +107,6 @@ function min(values) {
 function sum(values) {
     return values.reduce((add), 0);
 }
-/**
- * Takes the product of all the values in the given collection.
- */
-function product(values) {
-    return values.reduce((mul), 1);
-}
 /**
  * Equal: Compare if two values are equal.
  */
@@ -162,7 +156,6 @@ exports.modSafe = modSafe;
 exports.mul = mul;
 exports.negate = negate;
 exports.pow = pow;
-exports.product = product;
 exports.round = round;
 exports.sqrt = sqrt;
 exports.sub = sub;

package/dist/functions.d.cts

@@ -1,74 +1,5 @@
-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<{}>;
+import { Multiply, Divide, Inverse, UnknownUnit, DivideUnitExponents } from './index.cjs';
+import { Decimal } from './si-units.cjs';
 
 type OperationIO<T extends number> = T extends UnknownUnit ? T : number;
 /**
@@ -114,7 +45,7 @@ declare function pow<B extends number>(base: OperationIO<B>, exponent: 0): Opera
 /**
  * Put a number to the power of 1/2.
  */
-declare function pow<B extends number>(base: OperationIO<B>, exponent: 0.5): OperationIO<Divide<B, 2>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 0.5): OperationIO<DivideUnitExponents<B, 2>>;
 /**
  * Put a number to the power of 1.
  */
@@ -138,7 +69,7 @@ declare function pow<B extends number, E extends number>(base: OperationIO<B>, e
 /**
  * Take the square root of the given value.
  */
-declare function sqrt<T extends number>(value: OperationIO<T>): OperationIO<Divide<T, 2>>;
+declare function sqrt<T extends number>(value: OperationIO<T>): OperationIO<DivideUnitExponents<T, 2>>;
 /**
  * Inverse the given value.
  */
@@ -175,10 +106,6 @@ declare function min<T extends number>(values: Iterable<T>): OperationIO<T>;
  * Takes the sum of all the values in the given collection.
  */
 declare function sum<T extends number>(values: ReadonlyArray<T>): OperationIO<T>;
-/**
- * Takes the product of all the values in the given collection.
- */
-declare function product<T extends number>(values: ReadonlyArray<T>): OperationIO<T>;
 /**
  * Equal: Compare if two values are equal.
  */
@@ -200,4 +127,4 @@ declare function lt<A extends number>(a: OperationIO<A>, b: A): boolean;
  */
 declare function lte<A extends number>(a: OperationIO<A>, b: A): boolean;
 
-export { abs, add, ceil, div, eq, floor, gt, gte, inverse, lt, lte, max, min, mod, modSafe, mul, negate, pow, product, round, sqrt, sub, sum };
+export { abs, add, ceil, div, eq, floor, gt, gte, inverse, lt, lte, max, min, mod, modSafe, mul, negate, pow, round, sqrt, sub, sum };

package/dist/functions.d.mts

@@ -1,74 +1,5 @@
-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<{}>;
+import { Multiply, Divide, Inverse, UnknownUnit, DivideUnitExponents } from './index.mjs';
+import { Decimal } from './si-units.mjs';
 
 type OperationIO<T extends number> = T extends UnknownUnit ? T : number;
 /**
@@ -114,7 +45,7 @@ declare function pow<B extends number>(base: OperationIO<B>, exponent: 0): Opera
 /**
  * Put a number to the power of 1/2.
  */
-declare function pow<B extends number>(base: OperationIO<B>, exponent: 0.5): OperationIO<Divide<B, 2>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 0.5): OperationIO<DivideUnitExponents<B, 2>>;
 /**
  * Put a number to the power of 1.
  */
@@ -138,7 +69,7 @@ declare function pow<B extends number, E extends number>(base: OperationIO<B>, e
 /**
  * Take the square root of the given value.
  */
-declare function sqrt<T extends number>(value: OperationIO<T>): OperationIO<Divide<T, 2>>;
+declare function sqrt<T extends number>(value: OperationIO<T>): OperationIO<DivideUnitExponents<T, 2>>;
 /**
  * Inverse the given value.
  */
@@ -175,10 +106,6 @@ declare function min<T extends number>(values: Iterable<T>): OperationIO<T>;
  * Takes the sum of all the values in the given collection.
  */
 declare function sum<T extends number>(values: ReadonlyArray<T>): OperationIO<T>;
-/**
- * Takes the product of all the values in the given collection.
- */
-declare function product<T extends number>(values: ReadonlyArray<T>): OperationIO<T>;
 /**
  * Equal: Compare if two values are equal.
  */
@@ -200,4 +127,4 @@ declare function lt<A extends number>(a: OperationIO<A>, b: A): boolean;
  */
 declare function lte<A extends number>(a: OperationIO<A>, b: A): boolean;
 
-export { abs, add, ceil, div, eq, floor, gt, gte, inverse, lt, lte, max, min, mod, modSafe, mul, negate, pow, product, round, sqrt, sub, sum };
+export { abs, add, ceil, div, eq, floor, gt, gte, inverse, lt, lte, max, min, mod, modSafe, mul, negate, pow, round, sqrt, sub, sum };

package/dist/functions.mjs

@@ -105,12 +105,6 @@ function min(values) {
 function sum(values) {
     return values.reduce((add), 0);
 }
-/**
- * Takes the product of all the values in the given collection.
- */
-function product(values) {
-    return values.reduce((mul), 1);
-}
 /**
  * Equal: Compare if two values are equal.
  */
@@ -142,4 +136,4 @@ function lte(a, b) {
     return a <= b;
 }
 
-export { abs, add, ceil, div, eq, floor, gt, gte, inverse, lt, lte, max, min, mod, modSafe, mul, negate, pow, product, round, sqrt, sub, sum };
+export { abs, add, ceil, div, eq, floor, gt, gte, inverse, lt, lte, max, min, mod, modSafe, mul, negate, pow, round, sqrt, sub, sum };

package/dist/index.d.cts

@@ -1,47 +1,36 @@
+type Exponent = -6 | -5 | -4 | -3 | -2 | -1 | 0 | 1 | 2 | 3 | 4 | 5 | 6;
+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 ? 1 : T extends 0 ? 0 : 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 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;
+type SubExponents<A extends Exponent, B extends Exponent> = SumExponents<A, NegativeExponent<B>>;
+type MultiplyExponents<A extends Exponent, B extends 2> = B extends 2 ? A extends -3 ? -6 : A extends -2 ? -4 : A extends -1 ? -2 : A extends 0 ? 0 : A extends 1 ? 2 : A extends 2 ? 4 : A extends 3 ? 6 : never : never;
+type DivideExponents<A extends Exponent, B extends 2> = B extends 2 ? A extends -6 ? -3 : A extends -4 ? -2 : A extends -2 ? -1 : A extends 0 ? 0 : A extends 2 ? 1 : A extends 4 ? 2 : A extends 6 ? 3 : never : never;
+
 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;
+    __exactKeys: keyof ExcludeNullUnits<T>;
+    __uom_types: RemoveNeverValues<{
+        [U in keyof T]: U extends keyof ExcludeNullUnits<T> ? BrandUnitConfigValue<T[U]> : never;
     }>;
 };
-type RemoveNever<T> = {
+type RemoveNeverValues<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 BrandUnitConfigValue<T extends UnitValue> = ExcludeNullUnit<T> & {
+    __exactKeys: keyof ExcludeNullUnit<T>;
 };
-type GetUnitConfig<T> = T extends UnitFull<infer C> ? C : never;
-type ExcludeZeroExponentsKeys<T extends Record<string, UnitValue>> = {
+type ExcludeNullUnits<T extends Record<string, UnitValue>> = {
     [K in keyof T as T[K] extends {
         exponent: 0;
     } ? never : K]: T[K];
 };
-type ExcludeZeroExponents<T extends UnitValue> = {
+type ExcludeNullUnit<T extends UnitValue> = {
     [K in keyof T as T[K] extends 0 ? never : K]: T[K];
 };
+type GetUnitConfig<T> = T extends UnitFull<infer C> ? C : never;
 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.
@@ -50,7 +39,6 @@ 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;
@@ -68,4 +56,31 @@ type UnknownUnit = number & Readonly<{
     __uom_types: Record<string, {}>;
 }>;
 
-export { Divide, Inverse, Multiply, Unit, UnknownUnit };
+type MultiplyUnitExponents<A extends number, B extends 2> = A extends UnknownUnit ? MultiplyUnitExponentsCore<A, B> extends Record<string, UnitValue> ? Unit<FlatternAlias<MultiplyUnitExponentsCore<A, B>>> : never : number;
+type MultiplyUnitExponentsCore<A extends UnknownUnit, B extends 2> = {
+    [U in keyof GetUnitConfig<A>]: {
+        [E in keyof GetUnitConfig<A>[U]]: MultiplyExponents<E extends keyof GetUnitValues<GetUnitConfig<A>, U> ? GetUnitValues<GetUnitConfig<A>, U>[E] extends Exponent ? GetUnitValues<GetUnitConfig<A>, U>[E] : 0 : 0, B>;
+    };
+};
+type DivideUnitExponents<A extends number, B extends 2> = A extends UnknownUnit ? DivideUnitExponentsCore<A, B> extends Record<string, UnitValue> ? Unit<FlatternAlias<DivideUnitExponentsCore<A, B>>> : never : number;
+type DivideUnitExponentsCore<A extends UnknownUnit, B extends 2> = {
+    [U in keyof GetUnitConfig<A>]: {
+        [E in keyof GetUnitConfig<A>[U]]: DivideExponents<E extends keyof GetUnitValues<GetUnitConfig<A>, U> ? GetUnitValues<GetUnitConfig<A>, U>[E] extends Exponent ? GetUnitValues<GetUnitConfig<A>, U>[E] : 0 : 0, B>;
+    };
+};
+
+type Inverse<T extends number> = T extends UnknownUnit ? InverseUnitCore<T> extends Record<string, UnitValue> ? Unit<FlatternAlias<InverseUnitCore<T>>> : never : number;
+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 ? MultiplyUnitsCore<A, B> extends Record<string, UnitValue> ? Unit<FlatternAlias<MultiplyUnitsCore<A, B>>> : never : A : B extends UnknownUnit ? B : number;
+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 ? Multiply<A, Inverse<B> extends UnknownUnit ? Inverse<B> : never> : A : B extends UnknownUnit ? Inverse<B> : number;
+
+export { Divide, DivideExponents, DivideUnitExponents, Exponent, Inverse, Multiply, MultiplyExponents, MultiplyUnitExponents, NegativeExponent, SubExponents, SumExponents, Unit, UnknownUnit };

package/dist/index.d.mts

@@ -1,47 +1,36 @@
+type Exponent = -6 | -5 | -4 | -3 | -2 | -1 | 0 | 1 | 2 | 3 | 4 | 5 | 6;
+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 ? 1 : T extends 0 ? 0 : 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 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;
+type SubExponents<A extends Exponent, B extends Exponent> = SumExponents<A, NegativeExponent<B>>;
+type MultiplyExponents<A extends Exponent, B extends 2> = B extends 2 ? A extends -3 ? -6 : A extends -2 ? -4 : A extends -1 ? -2 : A extends 0 ? 0 : A extends 1 ? 2 : A extends 2 ? 4 : A extends 3 ? 6 : never : never;
+type DivideExponents<A extends Exponent, B extends 2> = B extends 2 ? A extends -6 ? -3 : A extends -4 ? -2 : A extends -2 ? -1 : A extends 0 ? 0 : A extends 2 ? 1 : A extends 4 ? 2 : A extends 6 ? 3 : never : never;
+
 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;
+    __exactKeys: keyof ExcludeNullUnits<T>;
+    __uom_types: RemoveNeverValues<{
+        [U in keyof T]: U extends keyof ExcludeNullUnits<T> ? BrandUnitConfigValue<T[U]> : never;
     }>;
 };
-type RemoveNever<T> = {
+type RemoveNeverValues<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 BrandUnitConfigValue<T extends UnitValue> = ExcludeNullUnit<T> & {
+    __exactKeys: keyof ExcludeNullUnit<T>;
 };
-type GetUnitConfig<T> = T extends UnitFull<infer C> ? C : never;
-type ExcludeZeroExponentsKeys<T extends Record<string, UnitValue>> = {
+type ExcludeNullUnits<T extends Record<string, UnitValue>> = {
     [K in keyof T as T[K] extends {
         exponent: 0;
     } ? never : K]: T[K];
 };
-type ExcludeZeroExponents<T extends UnitValue> = {
+type ExcludeNullUnit<T extends UnitValue> = {
     [K in keyof T as T[K] extends 0 ? never : K]: T[K];
 };
+type GetUnitConfig<T> = T extends UnitFull<infer C> ? C : never;
 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.
@@ -50,7 +39,6 @@ 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;
@@ -68,4 +56,31 @@ type UnknownUnit = number & Readonly<{
     __uom_types: Record<string, {}>;
 }>;
 
-export { Divide, Inverse, Multiply, Unit, UnknownUnit };
+type MultiplyUnitExponents<A extends number, B extends 2> = A extends UnknownUnit ? MultiplyUnitExponentsCore<A, B> extends Record<string, UnitValue> ? Unit<FlatternAlias<MultiplyUnitExponentsCore<A, B>>> : never : number;
+type MultiplyUnitExponentsCore<A extends UnknownUnit, B extends 2> = {
+    [U in keyof GetUnitConfig<A>]: {
+        [E in keyof GetUnitConfig<A>[U]]: MultiplyExponents<E extends keyof GetUnitValues<GetUnitConfig<A>, U> ? GetUnitValues<GetUnitConfig<A>, U>[E] extends Exponent ? GetUnitValues<GetUnitConfig<A>, U>[E] : 0 : 0, B>;
+    };
+};
+type DivideUnitExponents<A extends number, B extends 2> = A extends UnknownUnit ? DivideUnitExponentsCore<A, B> extends Record<string, UnitValue> ? Unit<FlatternAlias<DivideUnitExponentsCore<A, B>>> : never : number;
+type DivideUnitExponentsCore<A extends UnknownUnit, B extends 2> = {
+    [U in keyof GetUnitConfig<A>]: {
+        [E in keyof GetUnitConfig<A>[U]]: DivideExponents<E extends keyof GetUnitValues<GetUnitConfig<A>, U> ? GetUnitValues<GetUnitConfig<A>, U>[E] extends Exponent ? GetUnitValues<GetUnitConfig<A>, U>[E] : 0 : 0, B>;
+    };
+};
+
+type Inverse<T extends number> = T extends UnknownUnit ? InverseUnitCore<T> extends Record<string, UnitValue> ? Unit<FlatternAlias<InverseUnitCore<T>>> : never : number;
+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 ? MultiplyUnitsCore<A, B> extends Record<string, UnitValue> ? Unit<FlatternAlias<MultiplyUnitsCore<A, B>>> : never : A : B extends UnknownUnit ? B : number;
+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 ? Multiply<A, Inverse<B> extends UnknownUnit ? Inverse<B> : never> : A : B extends UnknownUnit ? Inverse<B> : number;
+
+export { Divide, DivideExponents, DivideUnitExponents, Exponent, Inverse, Multiply, MultiplyExponents, MultiplyUnitExponents, NegativeExponent, SubExponents, SumExponents, Unit, UnknownUnit };

package/dist/si-units.d.cts

@@ -1,37 +1,4 @@
-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;
-}>;
+import { Unit } from './index.cjs';
 
 type Decimal = Unit<{}>;
 

package/dist/si-units.d.mts

@@ -1,37 +1,4 @@
-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;
-}>;
+import { Unit } from './index.mjs';
 
 type Decimal = Unit<{}>;
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "uom-types",
-  "version": "1.0.3",
+  "version": "2.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": {
@@ -74,7 +67,8 @@
     "README.md"
   ],
   "scripts": {
-    "build": "pnpm run build:node",
+    "build": "pnpm run build:node && pnpm run build-post",
+    "build-post": "node --no-warnings=ExperimentalWarning --loader=ts-paths-esm-loader/transpile-only --experimental-specifier-resolution=node ./scripts/post-build.ts",
     "build:node": "rimraf dist && rollup -c rollup.config.ts --configPlugin @rollup/plugin-typescript",
     "cz": "git-cz",
     "lint": "pnpm run lint:js && pnpm run lint:md && pnpm run lint:prettier && pnpm run lint:knip && pnpm run lint:spelling",
@@ -90,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": {
@@ -144,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",