uom-types 1.0.0 → 1.0.2

package/dist/functions-ho.cjs

@@ -4,7 +4,7 @@
  * Add a value by the given value.
  */
 function add(a) {
-    return (b) => (a + b);
+    return (b) => (b + a);
 }
 /**
  * Subtract one value from the given value.
@@ -16,12 +16,14 @@ function sub(a) {
  * Multiple a value by the given value.
  */
 function mul(a) {
-    return (b) => (a * b);
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any -- Casting to actual type fails for some reason.
+    return (b) => (b * a);
 }
 /**
  * Divide one value by the given value.
  */
 function div(a) {
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any -- Casting to actual type fails for some reason.
     return (b) => (b / a);
 }
 /**
@@ -39,14 +41,8 @@ function modSafe(a) {
 /**
  * Put a number to the power of the given value.
  */
-function pow(a) {
-    return ((b) => b ** a);
-}
-/**
- * Take the square root of the given value.
- */
-function sqrt() {
-    return pow(0.5);
+function pow(exponent) {
+    return ((base) => base ** exponent);
 }
 /**
  * Equal: Compare if a value is equal to the given value.
@@ -90,5 +86,4 @@ exports.mod = mod;
 exports.modSafe = modSafe;
 exports.mul = mul;
 exports.pow = pow;
-exports.sqrt = sqrt;
 exports.sub = sub;

package/dist/functions-ho.d.cts

@@ -1,58 +1,55 @@
-import { Divide, UnknownUnit, Inverse, Multiply } from '/home/runner/work/uom-types/uom-types/src/base/index.ts';
+import { Multiply, Divide, UnknownUnit, Inverse } from '#uom-types';
+import { Decimal } from '#uom-types/si-units';
 
-type OperationResult<T extends number> = T extends UnknownUnit ? T : number;
+type OperationIO<T extends number> = T extends UnknownUnit ? T : number;
 /**
  * Add a value by the given value.
  */
-declare function add<T extends number>(a: T): (b: T) => OperationResult<T>;
+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: T): (b: T) => OperationResult<T>;
+declare function sub<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
 /**
  * Multiple a value by the given value.
  */
-declare function mul<T extends number>(a: T): (b: T) => OperationResult<T>;
+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<T extends number>(a: T): (b: T) => OperationResult<T>;
+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: T): (b: T) => OperationResult<T>;
+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: T): (b: T) => OperationResult<T>;
-type PowFunction<A extends number, B extends number> = A extends -1 ? (b: B) => OperationResult<Inverse<B>> : A extends 0 ? (b: B) => 1 : A extends 0.5 ? (b: B) => OperationResult<Divide<B, 2>> : A extends 1 ? (b: B) => B : A extends 2 ? (b: B) => OperationResult<Multiply<B, B>> : A extends 3 ? (b: B) => OperationResult<Multiply<B, Multiply<B, B>>> : A extends 4 ? (b: B) => OperationResult<Multiply<B, Multiply<B, Multiply<B, B>>>> : (b: B) => OperationResult<number>;
+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<A extends number, B extends number>(a: A): PowFunction<A, B>;
-/**
- * Take the square root of the given value.
- */
-declare function sqrt<T extends number>(): (value: T) => OperationResult<Divide<T, 2>>;
+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<A extends number>(a: A): (b: A) => boolean;
+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<A extends number>(a: A): (b: A) => boolean;
+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<A extends number>(a: A): (b: A) => boolean;
+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<A extends number>(a: A): (b: A) => boolean;
+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<A extends number>(a: A): (b: A) => boolean;
+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, sqrt, sub };
+export { add, div, eq, gt, gte, lt, lte, mod, modSafe, mul, pow, sub };

package/dist/functions-ho.d.mts

@@ -1,58 +1,55 @@
-import { Divide, UnknownUnit, Inverse, Multiply } from '/home/runner/work/uom-types/uom-types/src/base/index.ts';
+import { Multiply, Divide, UnknownUnit, Inverse } from '#uom-types';
+import { Decimal } from '#uom-types/si-units';
 
-type OperationResult<T extends number> = T extends UnknownUnit ? T : number;
+type OperationIO<T extends number> = T extends UnknownUnit ? T : number;
 /**
  * Add a value by the given value.
  */
-declare function add<T extends number>(a: T): (b: T) => OperationResult<T>;
+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: T): (b: T) => OperationResult<T>;
+declare function sub<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
 /**
  * Multiple a value by the given value.
  */
-declare function mul<T extends number>(a: T): (b: T) => OperationResult<T>;
+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<T extends number>(a: T): (b: T) => OperationResult<T>;
+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: T): (b: T) => OperationResult<T>;
+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: T): (b: T) => OperationResult<T>;
-type PowFunction<A extends number, B extends number> = A extends -1 ? (b: B) => OperationResult<Inverse<B>> : A extends 0 ? (b: B) => 1 : A extends 0.5 ? (b: B) => OperationResult<Divide<B, 2>> : A extends 1 ? (b: B) => B : A extends 2 ? (b: B) => OperationResult<Multiply<B, B>> : A extends 3 ? (b: B) => OperationResult<Multiply<B, Multiply<B, B>>> : A extends 4 ? (b: B) => OperationResult<Multiply<B, Multiply<B, Multiply<B, B>>>> : (b: B) => OperationResult<number>;
+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<A extends number, B extends number>(a: A): PowFunction<A, B>;
-/**
- * Take the square root of the given value.
- */
-declare function sqrt<T extends number>(): (value: T) => OperationResult<Divide<T, 2>>;
+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<A extends number>(a: A): (b: A) => boolean;
+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<A extends number>(a: A): (b: A) => boolean;
+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<A extends number>(a: A): (b: A) => boolean;
+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<A extends number>(a: A): (b: A) => boolean;
+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<A extends number>(a: A): (b: A) => boolean;
+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, sqrt, sub };
+export { add, div, eq, gt, gte, lt, lte, mod, modSafe, mul, pow, sub };

package/dist/functions-ho.mjs

@@ -2,7 +2,7 @@
  * Add a value by the given value.
  */
 function add(a) {
-    return (b) => (a + b);
+    return (b) => (b + a);
 }
 /**
  * Subtract one value from the given value.
@@ -14,12 +14,14 @@ function sub(a) {
  * Multiple a value by the given value.
  */
 function mul(a) {
-    return (b) => (a * b);
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any -- Casting to actual type fails for some reason.
+    return (b) => (b * a);
 }
 /**
  * Divide one value by the given value.
  */
 function div(a) {
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any -- Casting to actual type fails for some reason.
     return (b) => (b / a);
 }
 /**
@@ -37,14 +39,8 @@ function modSafe(a) {
 /**
  * Put a number to the power of the given value.
  */
-function pow(a) {
-    return ((b) => b ** a);
-}
-/**
- * Take the square root of the given value.
- */
-function sqrt() {
-    return pow(0.5);
+function pow(exponent) {
+    return ((base) => base ** exponent);
 }
 /**
  * Equal: Compare if a value is equal to the given value.
@@ -77,4 +73,4 @@ function lte(a) {
     return (b) => b <= a;
 }
 
-export { add, div, eq, gt, gte, lt, lte, mod, modSafe, mul, pow, sqrt, sub };
+export { add, div, eq, gt, gte, lt, lte, mod, modSafe, mul, pow, sub };

package/dist/functions.cjs

@@ -44,8 +44,8 @@ function mod(a, b) {
 function modSafe(a, b) {
     return (((a % b) + b) % b);
 }
-function pow(a, b) {
-    return a ** b;
+function pow(base, exponent) {
+    return base ** exponent;
 }
 /**
  * Take the square root of the given value.
@@ -105,13 +105,13 @@ function min(values) {
  * Takes the sum of all the values in the given collection.
  */
 function sum(values) {
-    return values.reduce(add, 0);
+    return values.reduce((add), 0);
 }
 /**
  * Takes the product of all the values in the given collection.
  */
 function product(values) {
-    return values.reduce(mul, 1);
+    return values.reduce((mul), 1);
 }
 /**
  * Equal: Compare if two values are equal.

package/dist/functions.d.cts

@@ -1,22 +1,23 @@
-import { Inverse, Divide, Multiply, UnknownUnit } from '/home/runner/work/uom-types/uom-types/src/base/index.ts';
+import { Multiply, Divide, Inverse, UnknownUnit } from '#uom-types';
+import { Decimal } from '#uom-types/si-units';
 
-type OperationResult<T extends number> = T extends UnknownUnit ? T : number;
+type OperationIO<T extends number> = T extends UnknownUnit ? T : number;
 /**
  * Add two values together.
  */
-declare function add<T extends number>(a: T, b: T): OperationResult<T>;
+declare function add<T extends number>(a: OperationIO<T>, b: OperationIO<T>): OperationIO<T>;
 /**
  * Subtract one value from another.
  */
-declare function sub<T extends number>(a: T, b: T): OperationResult<T>;
+declare function sub<T extends number>(a: OperationIO<T>, b: OperationIO<T>): OperationIO<T>;
 /**
  * Multiple two values together.
  */
-declare function mul<T extends number>(a: T, b: T): OperationResult<T>;
+declare function mul<A extends number, B extends number>(a: OperationIO<A>, b: OperationIO<B>): OperationIO<Multiply<A, B>>;
 /**
  * Divide one value by another.
  */
-declare function div<T extends number>(a: T, b: T): OperationResult<T>;
+declare function div<A extends number, B extends number>(a: OperationIO<A>, b: OperationIO<B>): OperationIO<Divide<A, B>>;
 /**
  * Modulo operator.
  *
@@ -24,7 +25,7 @@ declare function div<T extends number>(a: T, b: T): OperationResult<T>;
  * @param b - Must be an integer.
  * @returns `a % b`
  */
-declare function mod<T extends number>(a: T, b: T): OperationResult<T>;
+declare function mod<T extends number>(a: OperationIO<T>, b: OperationIO<T>): OperationIO<T>;
 /**
  * Perform mathematic modular arithmetic.
  *
@@ -32,102 +33,102 @@ declare function mod<T extends number>(a: T, b: T): OperationResult<T>;
  * @param b - Must be a positive integer.
  * @returns An integer between zero (inclusive) and `b` (exclusive).
  */
-declare function modSafe<T extends number>(a: T, b: T): OperationResult<T>;
+declare function modSafe<T extends number>(a: OperationIO<T>, b: OperationIO<T>): OperationIO<T>;
 /**
  * Put a number to the power of -1.
  */
-declare function pow<T extends number>(a: T, b: -1): OperationResult<Inverse<T>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: -1): OperationIO<Inverse<B>>;
 /**
  * Put a number to the power of 0.
  */
-declare function pow<T extends number>(a: T, b: 0): 1;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 0): OperationIO<B> extends UnknownUnit ? Decimal : 1;
 /**
  * Put a number to the power of 1/2.
  */
-declare function pow<T extends number>(a: T, b: 0.5): OperationResult<Divide<T, 2>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 0.5): OperationIO<Divide<B, 2>>;
 /**
  * Put a number to the power of 1.
  */
-declare function pow<T extends number>(a: T, b: 1): T;
+declare function pow<E extends number>(base: OperationIO<E>, exponent: 1): E;
 /**
  * Put a number to the power of 2.
  */
-declare function pow<T extends number>(a: T, b: 2): OperationResult<Multiply<T, T>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 2): OperationIO<Multiply<B, B>>;
 /**
  * Put a number to the power of 3.
  */
-declare function pow<T extends number>(a: T, b: 3): OperationResult<Multiply<T, Multiply<T, T>>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 3): OperationIO<Multiply<B, Multiply<B, B>>>;
 /**
  * Put a number to the power of 4.
  */
-declare function pow<T extends number>(a: T, b: 4): OperationResult<Multiply<T, Multiply<T, Multiply<T, T>>>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 4): OperationIO<Multiply<B, Multiply<B, Multiply<B, B>>>>;
 /**
  * Put one number to the power of the other.
  */
-declare function pow<T extends number>(a: T, b: T): number;
+declare function pow<B extends number, E extends number>(base: OperationIO<B>, exponent: E extends UnknownUnit ? never : E): number;
 /**
  * Take the square root of the given value.
  */
-declare function sqrt<T extends number>(value: T): OperationResult<Divide<T, 2>>;
+declare function sqrt<T extends number>(value: OperationIO<T>): OperationIO<Divide<T, 2>>;
 /**
  * Inverse the given value.
  */
-declare function inverse<T extends number>(value: T): OperationResult<Inverse<T>>;
+declare function inverse<T extends number>(value: OperationIO<T>): OperationIO<Inverse<T>>;
 /**
  * Make the given value negative.
  */
-declare function negate<T extends number>(value: T): OperationResult<T>;
+declare function negate<T extends number>(value: OperationIO<T>): OperationIO<T>;
 /**
  * Returns the absolute value of a number.
  */
-declare function abs<T extends number>(value: T): OperationResult<T>;
+declare function abs<T extends number>(value: OperationIO<T>): OperationIO<T>;
 /**
  * Returns the greatest integer less than or equal to the given value.
  */
-declare function floor<T extends number>(value: T): OperationResult<T>;
+declare function floor<T extends number>(value: OperationIO<T>): OperationIO<T>;
 /**
  * Returns the smallest integer greater than or equal the given value.
  */
-declare function ceil<T extends number>(value: T): OperationResult<T>;
+declare function ceil<T extends number>(value: OperationIO<T>): OperationIO<T>;
 /**
  * Returns the given value rounded to the nearest integer.
  */
-declare function round<T extends number>(value: T): OperationResult<T>;
+declare function round<T extends number>(value: OperationIO<T>): OperationIO<T>;
 /**
  * Returns the larger value in the given collection.
  */
-declare function max<T extends number>(values: Iterable<T>): OperationResult<T>;
+declare function max<T extends number>(values: Iterable<T>): OperationIO<T>;
 /**
  * Returns the smallest value in the given collection.
  */
-declare function min<T extends number>(values: Iterable<T>): OperationResult<T>;
+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>): OperationResult<T>;
+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>): OperationResult<T>;
+declare function product<T extends number>(values: ReadonlyArray<T>): OperationIO<T>;
 /**
  * Equal: Compare if two values are equal.
  */
-declare function eq<A extends number>(a: A, b: A): boolean;
+declare function eq<A extends number>(a: OperationIO<A>, b: A): boolean;
 /**
  * Greater Than: Compare if the first value is greater than the second.
  */
-declare function gt<A extends number>(a: A, b: A): boolean;
+declare function gt<A extends number>(a: OperationIO<A>, b: A): boolean;
 /**
  * Greater Than or Equal: Compare if the first value is greater than or equal to the second.
  */
-declare function gte<A extends number>(a: A, b: A): boolean;
+declare function gte<A extends number>(a: OperationIO<A>, b: A): boolean;
 /**
  * Less Than: Compare if the first value is less than the second.
  */
-declare function lt<A extends number>(a: A, b: A): boolean;
+declare function lt<A extends number>(a: OperationIO<A>, b: A): boolean;
 /**
  * Less Than or Equal: Compare if the first value is less than or equal to the second.
  */
-declare function lte<A extends number>(a: 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 };

package/dist/functions.d.mts

@@ -1,22 +1,23 @@
-import { Inverse, Divide, Multiply, UnknownUnit } from '/home/runner/work/uom-types/uom-types/src/base/index.ts';
+import { Multiply, Divide, Inverse, UnknownUnit } from '#uom-types';
+import { Decimal } from '#uom-types/si-units';
 
-type OperationResult<T extends number> = T extends UnknownUnit ? T : number;
+type OperationIO<T extends number> = T extends UnknownUnit ? T : number;
 /**
  * Add two values together.
  */
-declare function add<T extends number>(a: T, b: T): OperationResult<T>;
+declare function add<T extends number>(a: OperationIO<T>, b: OperationIO<T>): OperationIO<T>;
 /**
  * Subtract one value from another.
  */
-declare function sub<T extends number>(a: T, b: T): OperationResult<T>;
+declare function sub<T extends number>(a: OperationIO<T>, b: OperationIO<T>): OperationIO<T>;
 /**
  * Multiple two values together.
  */
-declare function mul<T extends number>(a: T, b: T): OperationResult<T>;
+declare function mul<A extends number, B extends number>(a: OperationIO<A>, b: OperationIO<B>): OperationIO<Multiply<A, B>>;
 /**
  * Divide one value by another.
  */
-declare function div<T extends number>(a: T, b: T): OperationResult<T>;
+declare function div<A extends number, B extends number>(a: OperationIO<A>, b: OperationIO<B>): OperationIO<Divide<A, B>>;
 /**
  * Modulo operator.
  *
@@ -24,7 +25,7 @@ declare function div<T extends number>(a: T, b: T): OperationResult<T>;
  * @param b - Must be an integer.
  * @returns `a % b`
  */
-declare function mod<T extends number>(a: T, b: T): OperationResult<T>;
+declare function mod<T extends number>(a: OperationIO<T>, b: OperationIO<T>): OperationIO<T>;
 /**
  * Perform mathematic modular arithmetic.
  *
@@ -32,102 +33,102 @@ declare function mod<T extends number>(a: T, b: T): OperationResult<T>;
  * @param b - Must be a positive integer.
  * @returns An integer between zero (inclusive) and `b` (exclusive).
  */
-declare function modSafe<T extends number>(a: T, b: T): OperationResult<T>;
+declare function modSafe<T extends number>(a: OperationIO<T>, b: OperationIO<T>): OperationIO<T>;
 /**
  * Put a number to the power of -1.
  */
-declare function pow<T extends number>(a: T, b: -1): OperationResult<Inverse<T>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: -1): OperationIO<Inverse<B>>;
 /**
  * Put a number to the power of 0.
  */
-declare function pow<T extends number>(a: T, b: 0): 1;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 0): OperationIO<B> extends UnknownUnit ? Decimal : 1;
 /**
  * Put a number to the power of 1/2.
  */
-declare function pow<T extends number>(a: T, b: 0.5): OperationResult<Divide<T, 2>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 0.5): OperationIO<Divide<B, 2>>;
 /**
  * Put a number to the power of 1.
  */
-declare function pow<T extends number>(a: T, b: 1): T;
+declare function pow<E extends number>(base: OperationIO<E>, exponent: 1): E;
 /**
  * Put a number to the power of 2.
  */
-declare function pow<T extends number>(a: T, b: 2): OperationResult<Multiply<T, T>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 2): OperationIO<Multiply<B, B>>;
 /**
  * Put a number to the power of 3.
  */
-declare function pow<T extends number>(a: T, b: 3): OperationResult<Multiply<T, Multiply<T, T>>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 3): OperationIO<Multiply<B, Multiply<B, B>>>;
 /**
  * Put a number to the power of 4.
  */
-declare function pow<T extends number>(a: T, b: 4): OperationResult<Multiply<T, Multiply<T, Multiply<T, T>>>>;
+declare function pow<B extends number>(base: OperationIO<B>, exponent: 4): OperationIO<Multiply<B, Multiply<B, Multiply<B, B>>>>;
 /**
  * Put one number to the power of the other.
  */
-declare function pow<T extends number>(a: T, b: T): number;
+declare function pow<B extends number, E extends number>(base: OperationIO<B>, exponent: E extends UnknownUnit ? never : E): number;
 /**
  * Take the square root of the given value.
  */
-declare function sqrt<T extends number>(value: T): OperationResult<Divide<T, 2>>;
+declare function sqrt<T extends number>(value: OperationIO<T>): OperationIO<Divide<T, 2>>;
 /**
  * Inverse the given value.
  */
-declare function inverse<T extends number>(value: T): OperationResult<Inverse<T>>;
+declare function inverse<T extends number>(value: OperationIO<T>): OperationIO<Inverse<T>>;
 /**
  * Make the given value negative.
  */
-declare function negate<T extends number>(value: T): OperationResult<T>;
+declare function negate<T extends number>(value: OperationIO<T>): OperationIO<T>;
 /**
  * Returns the absolute value of a number.
  */
-declare function abs<T extends number>(value: T): OperationResult<T>;
+declare function abs<T extends number>(value: OperationIO<T>): OperationIO<T>;
 /**
  * Returns the greatest integer less than or equal to the given value.
  */
-declare function floor<T extends number>(value: T): OperationResult<T>;
+declare function floor<T extends number>(value: OperationIO<T>): OperationIO<T>;
 /**
  * Returns the smallest integer greater than or equal the given value.
  */
-declare function ceil<T extends number>(value: T): OperationResult<T>;
+declare function ceil<T extends number>(value: OperationIO<T>): OperationIO<T>;
 /**
  * Returns the given value rounded to the nearest integer.
  */
-declare function round<T extends number>(value: T): OperationResult<T>;
+declare function round<T extends number>(value: OperationIO<T>): OperationIO<T>;
 /**
  * Returns the larger value in the given collection.
  */
-declare function max<T extends number>(values: Iterable<T>): OperationResult<T>;
+declare function max<T extends number>(values: Iterable<T>): OperationIO<T>;
 /**
  * Returns the smallest value in the given collection.
  */
-declare function min<T extends number>(values: Iterable<T>): OperationResult<T>;
+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>): OperationResult<T>;
+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>): OperationResult<T>;
+declare function product<T extends number>(values: ReadonlyArray<T>): OperationIO<T>;
 /**
  * Equal: Compare if two values are equal.
  */
-declare function eq<A extends number>(a: A, b: A): boolean;
+declare function eq<A extends number>(a: OperationIO<A>, b: A): boolean;
 /**
  * Greater Than: Compare if the first value is greater than the second.
  */
-declare function gt<A extends number>(a: A, b: A): boolean;
+declare function gt<A extends number>(a: OperationIO<A>, b: A): boolean;
 /**
  * Greater Than or Equal: Compare if the first value is greater than or equal to the second.
  */
-declare function gte<A extends number>(a: A, b: A): boolean;
+declare function gte<A extends number>(a: OperationIO<A>, b: A): boolean;
 /**
  * Less Than: Compare if the first value is less than the second.
  */
-declare function lt<A extends number>(a: A, b: A): boolean;
+declare function lt<A extends number>(a: OperationIO<A>, b: A): boolean;
 /**
  * Less Than or Equal: Compare if the first value is less than or equal to the second.
  */
-declare function lte<A extends number>(a: 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 };

package/dist/functions.mjs

@@ -42,8 +42,8 @@ function mod(a, b) {
 function modSafe(a, b) {
     return (((a % b) + b) % b);
 }
-function pow(a, b) {
-    return a ** b;
+function pow(base, exponent) {
+    return base ** exponent;
 }
 /**
  * Take the square root of the given value.
@@ -103,13 +103,13 @@ function min(values) {
  * Takes the sum of all the values in the given collection.
  */
 function sum(values) {
-    return values.reduce(add, 0);
+    return values.reduce((add), 0);
 }
 /**
  * Takes the product of all the values in the given collection.
  */
 function product(values) {
-    return values.reduce(mul, 1);
+    return values.reduce((mul), 1);
 }
 /**
  * Equal: Compare if two values are equal.

package/dist/index.d.cts

@@ -1,13 +1,21 @@
 type BrandUnit<T extends Record<string, UnitValue>> = {
-    __exactKeys: keyof T;
-    __uom_types: {
-        [U in keyof T]: BrandUnitConfigValue<T[U]>;
-    };
+    __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];
 };
@@ -16,7 +24,7 @@ type GetUnitValues<T extends Record<string, UnitValue>, U> = U extends keyof T ?
 };
 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 Exponent ? NegativeExponent<T> : T extends UnknownUnit ? InverseUnit<T> : 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> = {
@@ -24,17 +32,23 @@ type InverseUnitCore<T extends UnknownUnit> = {
         [E in keyof GetUnitConfig<T>[U]]: NegativeExponent<GetUnitConfig<T>[U][E]>;
     };
 };
-type Multiply<A extends number, B extends number> = A extends Exponent ? B extends Exponent ? SumExponents<A, B> : never : A extends UnknownUnit ? B extends UnknownUnit ? MultiplyUnits<A, B> : never : never;
-type MultiplyUnits<A extends UnknownUnit, B extends UnknownUnit> = MultiplyUnitsCore<A, B> extends Record<string, UnitValue> ? Unit<MultiplyUnitsCore<A, B>> : never;
+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 Exponent ? B extends Exponent ? SubExponents<A, B> : never : A extends UnknownUnit ? B extends UnknownUnit ? DivideUnits<A, B> : never : never;
+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 SubExponents<A extends Exponent, B extends Exponent> = SumExponents<A, NegativeExponent<B>>;
 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>>;

package/dist/index.d.mts

@@ -1,13 +1,21 @@
 type BrandUnit<T extends Record<string, UnitValue>> = {
-    __exactKeys: keyof T;
-    __uom_types: {
-        [U in keyof T]: BrandUnitConfigValue<T[U]>;
-    };
+    __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];
 };
@@ -16,7 +24,7 @@ type GetUnitValues<T extends Record<string, UnitValue>, U> = U extends keyof T ?
 };
 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 Exponent ? NegativeExponent<T> : T extends UnknownUnit ? InverseUnit<T> : 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> = {
@@ -24,17 +32,23 @@ type InverseUnitCore<T extends UnknownUnit> = {
         [E in keyof GetUnitConfig<T>[U]]: NegativeExponent<GetUnitConfig<T>[U][E]>;
     };
 };
-type Multiply<A extends number, B extends number> = A extends Exponent ? B extends Exponent ? SumExponents<A, B> : never : A extends UnknownUnit ? B extends UnknownUnit ? MultiplyUnits<A, B> : never : never;
-type MultiplyUnits<A extends UnknownUnit, B extends UnknownUnit> = MultiplyUnitsCore<A, B> extends Record<string, UnitValue> ? Unit<MultiplyUnitsCore<A, B>> : never;
+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 Exponent ? B extends Exponent ? SubExponents<A, B> : never : A extends UnknownUnit ? B extends UnknownUnit ? DivideUnits<A, B> : never : never;
+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 SubExponents<A extends Exponent, B extends Exponent> = SumExponents<A, NegativeExponent<B>>;
 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>>;

package/dist/si-units.d.cts

@@ -1,4 +1,4 @@
-import { Unit } from '/home/runner/work/uom-types/uom-types/src/base/index.ts';
+import { Unit } from '#uom-types';
 
 type Decimal = Unit<{}>;
 

package/dist/si-units.d.mts

@@ -1,4 +1,4 @@
-import { Unit } from '/home/runner/work/uom-types/uom-types/src/base/index.ts';
+import { Unit } from '#uom-types';
 
 type Decimal = Unit<{}>;
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "uom-types",
-  "version": "1.0.0",
+  "version": "1.0.2",
   "description": "Typesafe units with no runtime overhead.",
   "keywords": [
     "uom",
@@ -22,6 +22,13 @@
     "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": {
@@ -81,8 +88,7 @@
     "lint:prettier-fix": "prettier \"**/*\" --ignore-unknown --write",
     "lint:spelling": "cspell \"**\" \".github/**/*\"",
     "prepare": "husky install",
-    "release": "pnpm run release:pre && pnpm run release:semantic",
-    "release:pre": "node --no-warnings=ExperimentalWarning --loader=ts-paths-esm-loader/transpile-only --experimental-specifier-resolution=node ./scripts/pre-release.ts",
+    "release": "pnpm run release:semantic",
     "release:semantic": "semantic-release",
     "test": "pnpm run test:js",
     "test:js": "c8 ava",
@@ -93,7 +99,6 @@
     "@commitlint/config-conventional": "17.6.6",
     "@cspell/dict-cryptocurrencies": "3.0.1",
     "@rebeccastevens/eslint-config": "1.7.8",
-    "@rollup/plugin-node-resolve": "15.1.0",
     "@rollup/plugin-typescript": "11.1.2",
     "@semantic-release/changelog": "6.0.3",
     "@semantic-release/commit-analyzer": "10.0.1",