uom-types 5.0.0 → 5.0.1

package/CHANGELOG.md

@@ -1,6 +1,13 @@
 # Changelog
 All notable changes to this project will be documented in this file. Dates are displayed in UTC.
 
+## [5.0.1](https://github.com/RebeccaStevens/uom-types/compare/v5.0.0...v5.0.1) (2024-12-14)
+
+
+### Bug Fixes
+
+* dist types ([a01ca42](https://github.com/RebeccaStevens/uom-types/commit/a01ca429263a5752edf554a739318cdeb155a940)), closes [#437](https://github.com/RebeccaStevens/uom-types/issues/437)
+
 # [5.0.0](https://github.com/RebeccaStevens/uom-types/compare/v4.1.2...v5.0.0) (2024-11-27)
 
 

package/dist/index.d.cts

@@ -41,79 +41,44 @@ export type MultiplyExponents<A extends Exponent, B extends Exponent> = A extend
  * @group Exponent Functions
  */
 export type DivideExponents<A extends Exponent, B extends Exponent> = B extends 0 ? never : B extends 1 ? A extends 0 ? 0 : A extends 1 ? 1 : A extends -1 ? -1 : A extends 2 ? 2 : A extends -2 ? -2 : A extends 3 ? 3 : A extends -3 ? -3 : A extends 4 ? 4 : A extends -4 ? -4 : A extends 5 ? 5 : A extends -5 ? -5 : A extends 6 ? 6 : A extends -6 ? -6 : A extends 7 ? 7 : A extends -7 ? -7 : A extends 8 ? 8 : A extends -8 ? -8 : A extends 9 ? 9 : A extends -9 ? -9 : A extends 10 ? 10 : A extends -10 ? -10 : A extends 11 ? 11 : A extends -11 ? -11 : A extends 12 ? 12 : A extends -12 ? -12 : never : B extends -1 ? A extends 0 ? 0 : A extends 1 ? -1 : A extends -1 ? 1 : A extends 2 ? -2 : A extends -2 ? 2 : A extends 3 ? -3 : A extends -3 ? 3 : A extends 4 ? -4 : A extends -4 ? 4 : A extends 5 ? -5 : A extends -5 ? 5 : A extends 6 ? -6 : A extends -6 ? 6 : A extends 7 ? -7 : A extends -7 ? 7 : A extends 8 ? -8 : A extends -8 ? 8 : A extends 9 ? -9 : A extends -9 ? 9 : A extends 10 ? -10 : A extends -10 ? 10 : A extends 11 ? -11 : A extends -11 ? 11 : A extends 12 ? -12 : A extends -12 ? 12 : never : B extends 2 ? A extends 0 ? 0 : A extends 2 ? 1 : A extends -2 ? -1 : A extends 4 ? 2 : A extends -4 ? -2 : A extends 6 ? 3 : A extends -6 ? -3 : A extends 8 ? 4 : A extends -8 ? -4 : A extends 10 ? 5 : A extends -10 ? -5 : A extends 12 ? 6 : A extends -12 ? -6 : never : B extends -2 ? A extends 0 ? 0 : A extends 2 ? -1 : A extends -2 ? 1 : A extends 4 ? -2 : A extends -4 ? 2 : A extends 6 ? -3 : A extends -6 ? 3 : A extends 8 ? -4 : A extends -8 ? 4 : A extends 10 ? -5 : A extends -10 ? 5 : A extends 12 ? -6 : A extends -12 ? 6 : never : B extends 3 ? A extends 0 ? 0 : A extends 3 ? 1 : A extends -3 ? -1 : A extends 6 ? 2 : A extends -6 ? -2 : A extends 9 ? 3 : A extends -9 ? -3 : A extends 12 ? 4 : A extends -12 ? -4 : never : B extends -3 ? A extends 0 ? 0 : A extends 3 ? -1 : A extends -3 ? 1 : A extends 6 ? -2 : A extends -6 ? 2 : A extends 9 ? -3 : A extends -9 ? 3 : A extends 12 ? -4 : A extends -12 ? 4 : never : B extends 4 ? A extends 0 ? 0 : A extends 4 ? 1 : A extends -4 ? -1 : A extends 8 ? 2 : A extends -8 ? -2 : A extends 12 ? 3 : A extends -12 ? -3 : never : B extends -4 ? A extends 0 ? 0 : A extends 4 ? -1 : A extends -4 ? 1 : A extends 8 ? -2 : A extends -8 ? 2 : A extends 12 ? -3 : A extends -12 ? 3 : never : B extends 5 ? A extends 0 ? 0 : A extends 5 ? 1 : A extends -5 ? -1 : A extends 10 ? 2 : A extends -10 ? -2 : never : B extends -5 ? A extends 0 ? 0 : A extends 5 ? -1 : A extends -5 ? 1 : A extends 10 ? -2 : A extends -10 ? 2 : never : B extends 6 ? A extends 0 ? 0 : A extends 6 ? 1 : A extends -6 ? -1 : A extends 12 ? 2 : A extends -12 ? -2 : never : B extends -6 ? A extends 0 ? 0 : A extends 6 ? -1 : A extends -6 ? 1 : A extends 12 ? -2 : A extends -12 ? 2 : never : B extends 7 ? A extends 0 ? 0 : A extends 7 ? 1 : A extends -7 ? -1 : never : B extends -7 ? A extends 0 ? 0 : A extends 7 ? -1 : A extends -7 ? 1 : never : B extends 8 ? A extends 0 ? 0 : A extends 8 ? 1 : A extends -8 ? -1 : never : B extends -8 ? A extends 0 ? 0 : A extends 8 ? -1 : A extends -8 ? 1 : never : B extends 9 ? A extends 0 ? 0 : A extends 9 ? 1 : A extends -9 ? -1 : never : B extends -9 ? A extends 0 ? 0 : A extends 9 ? -1 : A extends -9 ? 1 : never : B extends 10 ? A extends 0 ? 0 : A extends 10 ? 1 : A extends -10 ? -1 : never : B extends -10 ? A extends 0 ? 0 : A extends 10 ? -1 : A extends -10 ? 1 : never : B extends 11 ? A extends 0 ? 0 : A extends 11 ? 1 : A extends -11 ? -1 : never : B extends -11 ? A extends 0 ? 0 : A extends 11 ? -1 : A extends -11 ? 1 : never : B extends 12 ? A extends 0 ? 0 : A extends 12 ? 1 : A extends -12 ? -1 : never : B extends -12 ? A extends 0 ? 0 : A extends 12 ? -1 : A extends -12 ? 1 : never : never;
-/**
- * Available for providing custom branding.
- */
-export interface Brand {
+interface Brand {
 }
-/**
- * Brand with the unit meta.
- */
-export type BrandUnitMeta<UM extends UnknownUnitMeta> = Brand & {
+type BrandUnitMeta<UM extends UnknownUnitMeta> = Brand & {
 	__uom_types: {
 		unitMeta: UM;
 	};
 };
-/**
- * Brand with the unit class.
- */
-export type BrandUnitClass<UC extends UnknownUnitClass> = Brand & {
+type BrandUnitClass<UC extends UnknownUnitClass> = Brand & {
 	__uom_types: {
 		unitClass: UC;
 	};
 };
-/**
- * Brand that it is a unit class.
- */
-export type BrandUnitClassType = Brand & {
+type BrandUnitClassType = Brand & {
 	__uom_types: {
 		unitClassType: true;
 	};
 };
-/**
- * Brand with the unit keys and value.
- */
-export type BrandUnitKeyValues<K, V> = Brand & Readonly<{
+type BrandUnitKeyValues<K, V> = Brand & Readonly<{
 	__uom_types: {
 		keys: K;
 		value: V;
 	};
 }>;
-/**
- * Remove all key from the object that are `never`.
- */
-export type RemoveNeverValues<T extends object> = {
+type RemoveNeverValues<T extends object> = {
 	[K in keyof T as [
 		T[K]
 	] extends [
 		never
 	] ? never : K]: T[K];
 };
-/**
- * Exclude all unit subvalues with an exponent value of zero.
- */
-export type ExcludeUnitZeroSubvalues<U extends UnitSubvalues> = {
+type ExcludeUnitZeroSubvalues<U extends UnitSubvalues> = {
 	[S in keyof U as S extends string ? (U[S] extends 0 ? never : S) : never]: U[S];
 };
-/**
- * Get the exponent value of the given key.
- */
-export type GetExponent<C extends UnitSubvalues, S> = S extends keyof C ? C[S] : 0;
-/**
- * Flatten a complex type such as a union or intersection of objects into a
- * single object.
- *
- * @internal
- */
-export type FlatternAlias<T> = {
+type GetExponent<C extends UnitSubvalues, S> = S extends keyof C ? C[S] : 0;
+type FlatternAlias<T> = {
 	[P in keyof T]: T[P];
 } & {};
-/**
- * Make `T` exactly `T`.
- *
- * @internal
- */
-export type Exactify<T, U extends T> = T & {
+type Exactify<T, U extends T> = T & {
 	[K in keyof U]: K extends keyof T ? U[K] : never;
 };
 /**
@@ -201,14 +166,8 @@ export type UnknownUnitClass = UnknownUnitKeyValues & BrandUnitClassType;
 export type UnknownUnitMeta = UnknownUnitKeyValues & Readonly<{
 	__uno_types__unit_meta_type: true;
 }>;
-/**
- * @internal
- */
-export type UnitKeyValues<T extends UnitSubvalues> = BrandUnitKeyValues<keyof ExcludeUnitZeroSubvalues<T> extends string ? keyof ExcludeUnitZeroSubvalues<T> : never, RemoveNeverValues<T>>;
-/**
- * @internal
- */
-export type UnknownUnitKeyValues = BrandUnitKeyValues<string, {}>;
+type UnitKeyValues<T extends UnitSubvalues> = BrandUnitKeyValues<keyof ExcludeUnitZeroSubvalues<T> extends string ? keyof ExcludeUnitZeroSubvalues<T> : never, RemoveNeverValues<T>>;
+type UnknownUnitKeyValues = BrandUnitKeyValues<string, {}>;
 /**
  * A mapping of subvalue of a unit its magnitude.
  *
@@ -235,24 +194,9 @@ export type InverseUnitSubvalues<T extends UnitSubvalues> = PowUnitSubvalues<T,
  * @returns `A⋅B`
  */
 export type Multiply<A extends number, B extends number> = A extends UnknownUnit ? MultiplyHelperUnit<A, B> : B extends UnknownUnit ? MultiplyHelperUnit<B, A> : A extends UnknownAbstractUnit ? MultiplyHelperAbstractUnit<A, B> : B extends UnknownAbstractUnit ? MultiplyHelperAbstractUnit<B, A> : A extends UnknownUnitConversionRate ? MultiplyHelperUnitConversionRate<A, B> : B extends UnknownUnitConversionRate ? MultiplyHelperUnitConversionRate<B, A> : number;
-/**
- * Multiple a Unit by a Unit, AbstractUnit, UnitConversionRate or number
- *
- * @internal
- */
-export type MultiplyHelperUnit<A extends UnknownUnit, B extends number> = A extends Unit<infer AClass, infer AMeta> ? B extends Unit<infer BClass, infer BMeta> ? Unit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>, FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : B extends AbstractUnit<infer BClass> ? Unit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>, AMeta> : B extends UnitConversionRate<infer BMeta> ? Unit<AClass, FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : A : never;
-/**
- * Multiple an AbstractUnit by an AbstractUnit, UnitConversionRate or number
- *
- * @internal
- */
-export type MultiplyHelperAbstractUnit<A extends UnknownAbstractUnit, B extends number> = A extends AbstractUnit<infer AClass> ? B extends AbstractUnit<infer BClass> ? AbstractUnit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>> : B extends UnitConversionRate<infer BMeta> ? Unit<AClass, BMeta> : A : never;
-/**
- * Multiple an UnitConversionRate by a UnitConversionRate or number
- *
- * @internal
- */
-export type MultiplyHelperUnitConversionRate<A extends UnknownUnitConversionRate, B extends number> = A extends UnitConversionRate<infer AMeta> ? B extends UnitConversionRate<infer BMeta> ? UnitConversionRate<FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : A : never;
+type MultiplyHelperUnit<A extends UnknownUnit, B extends number> = A extends Unit<infer AClass, infer AMeta> ? B extends Unit<infer BClass, infer BMeta> ? Unit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>, FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : B extends AbstractUnit<infer BClass> ? Unit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>, AMeta> : B extends UnitConversionRate<infer BMeta> ? Unit<AClass, FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : A : never;
+type MultiplyHelperAbstractUnit<A extends UnknownAbstractUnit, B extends number> = A extends AbstractUnit<infer AClass> ? B extends AbstractUnit<infer BClass> ? AbstractUnit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>> : B extends UnitConversionRate<infer BMeta> ? Unit<AClass, BMeta> : A : never;
+type MultiplyHelperUnitConversionRate<A extends UnknownUnitConversionRate, B extends number> = A extends UnitConversionRate<infer AMeta> ? B extends UnitConversionRate<infer BMeta> ? UnitConversionRate<FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : A : never;
 /**
  * Multiply each of the subvalues from a unit with the corresponding once from another unit.
  *
@@ -302,14 +246,14 @@ export type Root<B extends number, E extends Exponent> = B extends Unit<infer Cl
 export type RootUnitSubvalues<B extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
 	[S in keyof B]: DivideExponents<GetExponent<B, S>, E>;
 }>;
-export type SiUnitKeys = "Second" | "Meter" | "Kilogram" | "Mole" | "Ampere" | "Candela" | "Kelvin" | "Radian";
+type SiUnitKeys = "Second" | "Meter" | "Kilogram" | "Mole" | "Ampere" | "Candela" | "Kelvin" | "Radian";
 /**
  * The {@link UnitClass} that is the base of all {@link Unit}s defined by this library.
  *
  * @group Unit Classes
  */
 export type BaseUnitClass<T extends Exactify<SiUnitConfig, T>> = UnitClass<T>;
-export type SiUnitConfig = Partial<Record<SiUnitKeys, Exponent>>;
+type SiUnitConfig = Partial<Record<SiUnitKeys, Exponent>>;
 /**
  * @group Unit Classes
  * @category Angle (Plane)
@@ -4180,7 +4124,7 @@ export declare function cubicMetersToLiters(volume: Cubic<Meter>): Liter;
  * Convert {@link Liter} to {@link Cubic}<{@link Meter}>.
  */
 export declare function litersToCubicMeters(volume: Liter): Cubic<Meter>;
-export type OperationIO<T extends number> = [
+type OperationIO<T extends number> = [
 	T
 ] extends [
 	UnknownUnit | UnknownAbstractUnit
@@ -4275,10 +4219,10 @@ export declare function modSafe<T extends number>(a: OperationIO<T>, b: Operatio
  * @returns A function that takes a integer and returns an integer between zero (inclusive) and `b` (exclusive).
  */
 export declare function modSafe<T extends number>(b: OperationIO<T>): (a: OperationIO<T>) => OperationIO<T>;
-export type PowResult<B extends number, E extends number> = E extends Unitless ? PowResult<B, number> : E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends Exponent ? Pow<B, E> : E extends 0.5 ? Root<B, 2> : B extends Unitless ? B : number;
-export type PowFunction<B extends number, E extends number> = (b: B) => PowResult<B, E>;
-export type RootResult<B extends number, E extends number> = E extends Unitless ? RootResult<B, number> : E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends Exponent ? Root<B, E> : E extends 0.5 ? Pow<B, 2> : B extends Unitless ? B : number;
-export type RootFunction<B extends number, E extends number> = (b: B) => RootResult<B, E>;
+type PowResult<B extends number, E extends number> = E extends Unitless ? PowResult<B, number> : E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends Exponent ? Pow<B, E> : E extends 0.5 ? Root<B, 2> : B extends Unitless ? B : number;
+type PowFunction<B extends number, E extends number> = (b: B) => PowResult<B, E>;
+type RootResult<B extends number, E extends number> = E extends Unitless ? RootResult<B, number> : E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends Exponent ? Root<B, E> : E extends 0.5 ? Pow<B, 2> : B extends Unitless ? B : number;
+type RootFunction<B extends number, E extends number> = (b: B) => RootResult<B, E>;
 /**
  * Raise a number to the power of another.
  *

package/dist/index.d.mts

@@ -41,79 +41,44 @@ export type MultiplyExponents<A extends Exponent, B extends Exponent> = A extend
  * @group Exponent Functions
  */
 export type DivideExponents<A extends Exponent, B extends Exponent> = B extends 0 ? never : B extends 1 ? A extends 0 ? 0 : A extends 1 ? 1 : A extends -1 ? -1 : A extends 2 ? 2 : A extends -2 ? -2 : A extends 3 ? 3 : A extends -3 ? -3 : A extends 4 ? 4 : A extends -4 ? -4 : A extends 5 ? 5 : A extends -5 ? -5 : A extends 6 ? 6 : A extends -6 ? -6 : A extends 7 ? 7 : A extends -7 ? -7 : A extends 8 ? 8 : A extends -8 ? -8 : A extends 9 ? 9 : A extends -9 ? -9 : A extends 10 ? 10 : A extends -10 ? -10 : A extends 11 ? 11 : A extends -11 ? -11 : A extends 12 ? 12 : A extends -12 ? -12 : never : B extends -1 ? A extends 0 ? 0 : A extends 1 ? -1 : A extends -1 ? 1 : A extends 2 ? -2 : A extends -2 ? 2 : A extends 3 ? -3 : A extends -3 ? 3 : A extends 4 ? -4 : A extends -4 ? 4 : A extends 5 ? -5 : A extends -5 ? 5 : A extends 6 ? -6 : A extends -6 ? 6 : A extends 7 ? -7 : A extends -7 ? 7 : A extends 8 ? -8 : A extends -8 ? 8 : A extends 9 ? -9 : A extends -9 ? 9 : A extends 10 ? -10 : A extends -10 ? 10 : A extends 11 ? -11 : A extends -11 ? 11 : A extends 12 ? -12 : A extends -12 ? 12 : never : B extends 2 ? A extends 0 ? 0 : A extends 2 ? 1 : A extends -2 ? -1 : A extends 4 ? 2 : A extends -4 ? -2 : A extends 6 ? 3 : A extends -6 ? -3 : A extends 8 ? 4 : A extends -8 ? -4 : A extends 10 ? 5 : A extends -10 ? -5 : A extends 12 ? 6 : A extends -12 ? -6 : never : B extends -2 ? A extends 0 ? 0 : A extends 2 ? -1 : A extends -2 ? 1 : A extends 4 ? -2 : A extends -4 ? 2 : A extends 6 ? -3 : A extends -6 ? 3 : A extends 8 ? -4 : A extends -8 ? 4 : A extends 10 ? -5 : A extends -10 ? 5 : A extends 12 ? -6 : A extends -12 ? 6 : never : B extends 3 ? A extends 0 ? 0 : A extends 3 ? 1 : A extends -3 ? -1 : A extends 6 ? 2 : A extends -6 ? -2 : A extends 9 ? 3 : A extends -9 ? -3 : A extends 12 ? 4 : A extends -12 ? -4 : never : B extends -3 ? A extends 0 ? 0 : A extends 3 ? -1 : A extends -3 ? 1 : A extends 6 ? -2 : A extends -6 ? 2 : A extends 9 ? -3 : A extends -9 ? 3 : A extends 12 ? -4 : A extends -12 ? 4 : never : B extends 4 ? A extends 0 ? 0 : A extends 4 ? 1 : A extends -4 ? -1 : A extends 8 ? 2 : A extends -8 ? -2 : A extends 12 ? 3 : A extends -12 ? -3 : never : B extends -4 ? A extends 0 ? 0 : A extends 4 ? -1 : A extends -4 ? 1 : A extends 8 ? -2 : A extends -8 ? 2 : A extends 12 ? -3 : A extends -12 ? 3 : never : B extends 5 ? A extends 0 ? 0 : A extends 5 ? 1 : A extends -5 ? -1 : A extends 10 ? 2 : A extends -10 ? -2 : never : B extends -5 ? A extends 0 ? 0 : A extends 5 ? -1 : A extends -5 ? 1 : A extends 10 ? -2 : A extends -10 ? 2 : never : B extends 6 ? A extends 0 ? 0 : A extends 6 ? 1 : A extends -6 ? -1 : A extends 12 ? 2 : A extends -12 ? -2 : never : B extends -6 ? A extends 0 ? 0 : A extends 6 ? -1 : A extends -6 ? 1 : A extends 12 ? -2 : A extends -12 ? 2 : never : B extends 7 ? A extends 0 ? 0 : A extends 7 ? 1 : A extends -7 ? -1 : never : B extends -7 ? A extends 0 ? 0 : A extends 7 ? -1 : A extends -7 ? 1 : never : B extends 8 ? A extends 0 ? 0 : A extends 8 ? 1 : A extends -8 ? -1 : never : B extends -8 ? A extends 0 ? 0 : A extends 8 ? -1 : A extends -8 ? 1 : never : B extends 9 ? A extends 0 ? 0 : A extends 9 ? 1 : A extends -9 ? -1 : never : B extends -9 ? A extends 0 ? 0 : A extends 9 ? -1 : A extends -9 ? 1 : never : B extends 10 ? A extends 0 ? 0 : A extends 10 ? 1 : A extends -10 ? -1 : never : B extends -10 ? A extends 0 ? 0 : A extends 10 ? -1 : A extends -10 ? 1 : never : B extends 11 ? A extends 0 ? 0 : A extends 11 ? 1 : A extends -11 ? -1 : never : B extends -11 ? A extends 0 ? 0 : A extends 11 ? -1 : A extends -11 ? 1 : never : B extends 12 ? A extends 0 ? 0 : A extends 12 ? 1 : A extends -12 ? -1 : never : B extends -12 ? A extends 0 ? 0 : A extends 12 ? -1 : A extends -12 ? 1 : never : never;
-/**
- * Available for providing custom branding.
- */
-export interface Brand {
+interface Brand {
 }
-/**
- * Brand with the unit meta.
- */
-export type BrandUnitMeta<UM extends UnknownUnitMeta> = Brand & {
+type BrandUnitMeta<UM extends UnknownUnitMeta> = Brand & {
 	__uom_types: {
 		unitMeta: UM;
 	};
 };
-/**
- * Brand with the unit class.
- */
-export type BrandUnitClass<UC extends UnknownUnitClass> = Brand & {
+type BrandUnitClass<UC extends UnknownUnitClass> = Brand & {
 	__uom_types: {
 		unitClass: UC;
 	};
 };
-/**
- * Brand that it is a unit class.
- */
-export type BrandUnitClassType = Brand & {
+type BrandUnitClassType = Brand & {
 	__uom_types: {
 		unitClassType: true;
 	};
 };
-/**
- * Brand with the unit keys and value.
- */
-export type BrandUnitKeyValues<K, V> = Brand & Readonly<{
+type BrandUnitKeyValues<K, V> = Brand & Readonly<{
 	__uom_types: {
 		keys: K;
 		value: V;
 	};
 }>;
-/**
- * Remove all key from the object that are `never`.
- */
-export type RemoveNeverValues<T extends object> = {
+type RemoveNeverValues<T extends object> = {
 	[K in keyof T as [
 		T[K]
 	] extends [
 		never
 	] ? never : K]: T[K];
 };
-/**
- * Exclude all unit subvalues with an exponent value of zero.
- */
-export type ExcludeUnitZeroSubvalues<U extends UnitSubvalues> = {
+type ExcludeUnitZeroSubvalues<U extends UnitSubvalues> = {
 	[S in keyof U as S extends string ? (U[S] extends 0 ? never : S) : never]: U[S];
 };
-/**
- * Get the exponent value of the given key.
- */
-export type GetExponent<C extends UnitSubvalues, S> = S extends keyof C ? C[S] : 0;
-/**
- * Flatten a complex type such as a union or intersection of objects into a
- * single object.
- *
- * @internal
- */
-export type FlatternAlias<T> = {
+type GetExponent<C extends UnitSubvalues, S> = S extends keyof C ? C[S] : 0;
+type FlatternAlias<T> = {
 	[P in keyof T]: T[P];
 } & {};
-/**
- * Make `T` exactly `T`.
- *
- * @internal
- */
-export type Exactify<T, U extends T> = T & {
+type Exactify<T, U extends T> = T & {
 	[K in keyof U]: K extends keyof T ? U[K] : never;
 };
 /**
@@ -201,14 +166,8 @@ export type UnknownUnitClass = UnknownUnitKeyValues & BrandUnitClassType;
 export type UnknownUnitMeta = UnknownUnitKeyValues & Readonly<{
 	__uno_types__unit_meta_type: true;
 }>;
-/**
- * @internal
- */
-export type UnitKeyValues<T extends UnitSubvalues> = BrandUnitKeyValues<keyof ExcludeUnitZeroSubvalues<T> extends string ? keyof ExcludeUnitZeroSubvalues<T> : never, RemoveNeverValues<T>>;
-/**
- * @internal
- */
-export type UnknownUnitKeyValues = BrandUnitKeyValues<string, {}>;
+type UnitKeyValues<T extends UnitSubvalues> = BrandUnitKeyValues<keyof ExcludeUnitZeroSubvalues<T> extends string ? keyof ExcludeUnitZeroSubvalues<T> : never, RemoveNeverValues<T>>;
+type UnknownUnitKeyValues = BrandUnitKeyValues<string, {}>;
 /**
  * A mapping of subvalue of a unit its magnitude.
  *
@@ -235,24 +194,9 @@ export type InverseUnitSubvalues<T extends UnitSubvalues> = PowUnitSubvalues<T,
  * @returns `A⋅B`
  */
 export type Multiply<A extends number, B extends number> = A extends UnknownUnit ? MultiplyHelperUnit<A, B> : B extends UnknownUnit ? MultiplyHelperUnit<B, A> : A extends UnknownAbstractUnit ? MultiplyHelperAbstractUnit<A, B> : B extends UnknownAbstractUnit ? MultiplyHelperAbstractUnit<B, A> : A extends UnknownUnitConversionRate ? MultiplyHelperUnitConversionRate<A, B> : B extends UnknownUnitConversionRate ? MultiplyHelperUnitConversionRate<B, A> : number;
-/**
- * Multiple a Unit by a Unit, AbstractUnit, UnitConversionRate or number
- *
- * @internal
- */
-export type MultiplyHelperUnit<A extends UnknownUnit, B extends number> = A extends Unit<infer AClass, infer AMeta> ? B extends Unit<infer BClass, infer BMeta> ? Unit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>, FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : B extends AbstractUnit<infer BClass> ? Unit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>, AMeta> : B extends UnitConversionRate<infer BMeta> ? Unit<AClass, FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : A : never;
-/**
- * Multiple an AbstractUnit by an AbstractUnit, UnitConversionRate or number
- *
- * @internal
- */
-export type MultiplyHelperAbstractUnit<A extends UnknownAbstractUnit, B extends number> = A extends AbstractUnit<infer AClass> ? B extends AbstractUnit<infer BClass> ? AbstractUnit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>> : B extends UnitConversionRate<infer BMeta> ? Unit<AClass, BMeta> : A : never;
-/**
- * Multiple an UnitConversionRate by a UnitConversionRate or number
- *
- * @internal
- */
-export type MultiplyHelperUnitConversionRate<A extends UnknownUnitConversionRate, B extends number> = A extends UnitConversionRate<infer AMeta> ? B extends UnitConversionRate<infer BMeta> ? UnitConversionRate<FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : A : never;
+type MultiplyHelperUnit<A extends UnknownUnit, B extends number> = A extends Unit<infer AClass, infer AMeta> ? B extends Unit<infer BClass, infer BMeta> ? Unit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>, FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : B extends AbstractUnit<infer BClass> ? Unit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>, AMeta> : B extends UnitConversionRate<infer BMeta> ? Unit<AClass, FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : A : never;
+type MultiplyHelperAbstractUnit<A extends UnknownAbstractUnit, B extends number> = A extends AbstractUnit<infer AClass> ? B extends AbstractUnit<infer BClass> ? AbstractUnit<FlatternAlias<MultiplyUnitSubvalues<AClass, BClass>>> : B extends UnitConversionRate<infer BMeta> ? Unit<AClass, BMeta> : A : never;
+type MultiplyHelperUnitConversionRate<A extends UnknownUnitConversionRate, B extends number> = A extends UnitConversionRate<infer AMeta> ? B extends UnitConversionRate<infer BMeta> ? UnitConversionRate<FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : A : never;
 /**
  * Multiply each of the subvalues from a unit with the corresponding once from another unit.
  *
@@ -302,14 +246,14 @@ export type Root<B extends number, E extends Exponent> = B extends Unit<infer Cl
 export type RootUnitSubvalues<B extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
 	[S in keyof B]: DivideExponents<GetExponent<B, S>, E>;
 }>;
-export type SiUnitKeys = "Second" | "Meter" | "Kilogram" | "Mole" | "Ampere" | "Candela" | "Kelvin" | "Radian";
+type SiUnitKeys = "Second" | "Meter" | "Kilogram" | "Mole" | "Ampere" | "Candela" | "Kelvin" | "Radian";
 /**
  * The {@link UnitClass} that is the base of all {@link Unit}s defined by this library.
  *
  * @group Unit Classes
  */
 export type BaseUnitClass<T extends Exactify<SiUnitConfig, T>> = UnitClass<T>;
-export type SiUnitConfig = Partial<Record<SiUnitKeys, Exponent>>;
+type SiUnitConfig = Partial<Record<SiUnitKeys, Exponent>>;
 /**
  * @group Unit Classes
  * @category Angle (Plane)
@@ -4180,7 +4124,7 @@ export declare function cubicMetersToLiters(volume: Cubic<Meter>): Liter;
  * Convert {@link Liter} to {@link Cubic}<{@link Meter}>.
  */
 export declare function litersToCubicMeters(volume: Liter): Cubic<Meter>;
-export type OperationIO<T extends number> = [
+type OperationIO<T extends number> = [
 	T
 ] extends [
 	UnknownUnit | UnknownAbstractUnit
@@ -4275,10 +4219,10 @@ export declare function modSafe<T extends number>(a: OperationIO<T>, b: Operatio
  * @returns A function that takes a integer and returns an integer between zero (inclusive) and `b` (exclusive).
  */
 export declare function modSafe<T extends number>(b: OperationIO<T>): (a: OperationIO<T>) => OperationIO<T>;
-export type PowResult<B extends number, E extends number> = E extends Unitless ? PowResult<B, number> : E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends Exponent ? Pow<B, E> : E extends 0.5 ? Root<B, 2> : B extends Unitless ? B : number;
-export type PowFunction<B extends number, E extends number> = (b: B) => PowResult<B, E>;
-export type RootResult<B extends number, E extends number> = E extends Unitless ? RootResult<B, number> : E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends Exponent ? Root<B, E> : E extends 0.5 ? Pow<B, 2> : B extends Unitless ? B : number;
-export type RootFunction<B extends number, E extends number> = (b: B) => RootResult<B, E>;
+type PowResult<B extends number, E extends number> = E extends Unitless ? PowResult<B, number> : E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends Exponent ? Pow<B, E> : E extends 0.5 ? Root<B, 2> : B extends Unitless ? B : number;
+type PowFunction<B extends number, E extends number> = (b: B) => PowResult<B, E>;
+type RootResult<B extends number, E extends number> = E extends Unitless ? RootResult<B, number> : E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends Exponent ? Root<B, E> : E extends 0.5 ? Pow<B, 2> : B extends Unitless ? B : number;
+type RootFunction<B extends number, E extends number> = (b: B) => RootResult<B, E>;
 /**
  * Raise a number to the power of another.
  *

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "uom-types",
-  "version": "5.0.0",
+  "version": "5.0.1",
   "description": "Typesafe units with no runtime overhead.",
   "keywords": [
     "uom",
@@ -51,7 +51,7 @@
   "scripts": {
     "build": "pnpm run build-pre && pnpm run build:js",
     "build-pre": "pnpm run generate-files",
-    "build:js": "rimraf dist && rollup -c rollup.config.ts --configPlugin @rollup/plugin-typescript",
+    "build:js": "rimraf dist && rollup -c rollup.config.ts --configPlugin @rollup/plugin-typescript --configImportAttributesKey with",
     "cz": "git-cz",
     "docs": "typedoc",
     "docs:serve": "http-serve docs/generated",
@@ -79,14 +79,14 @@
     "test:js-run": "vitest run --coverage",
     "test:types": "pnpm run test:types-pre && tsd -t './dist/index.d.mts' -f 'src/**/*.test-d.ts'",
     "test:types-pre": "pnpm run build",
-    "typecheck": "tsc -p tsconfig.build.json --noEmit"
+    "typecheck": "tsc -p src/tsconfig.json --noEmit"
   },
   "devDependencies": {
     "@commitlint/cli": "19.6.0",
     "@commitlint/config-conventional": "19.6.0",
     "@cspell/dict-cryptocurrencies": "5.0.3",
-    "@eslint/compat": "1.2.3",
-    "@rebeccastevens/eslint-config": "3.3.3",
+    "@eslint/compat": "1.2.4",
+    "@rebeccastevens/eslint-config": "3.3.4",
     "@rollup/plugin-typescript": "12.1.1",
     "@sebbo2002/semantic-release-jsr": "2.0.2",
     "@semantic-release/changelog": "6.0.3",
@@ -95,60 +95,60 @@
     "@semantic-release/github": "11.0.1",
     "@semantic-release/npm": "12.0.1",
     "@semantic-release/release-notes-generator": "14.0.1",
-    "@stylistic/eslint-plugin": "2.11.0",
-    "@types/node": "18.19.66",
-    "@typescript-eslint/eslint-plugin": "8.16.0",
-    "@typescript-eslint/parser": "8.16.0",
-    "@vitest/coverage-v8": "2.1.6",
-    "@vitest/eslint-plugin": "1.1.11",
+    "@stylistic/eslint-plugin": "2.12.1",
+    "@types/node": "18.19.67",
+    "@typescript-eslint/eslint-plugin": "8.18.0",
+    "@typescript-eslint/parser": "8.18.0",
+    "@vitest/coverage-v8": "2.1.8",
+    "@vitest/eslint-plugin": "1.1.16",
     "commitizen": "4.3.1",
     "cspell": "8.16.1",
     "cz-conventional-changelog": "3.3.0",
-    "eslint": "9.15.0",
+    "eslint": "9.17.0",
     "eslint-config-prettier": "9.1.0",
     "eslint-flat-config-utils": "0.4.0",
-    "eslint-import-resolver-typescript": "3.6.3",
+    "eslint-import-resolver-typescript": "3.7.0",
     "eslint-merge-processors": "0.1.0",
     "eslint-plugin-eslint-comments": "3.2.0",
-    "eslint-plugin-format": "0.1.2",
+    "eslint-plugin-format": "0.1.3",
     "eslint-plugin-functional": "7.1.0",
-    "eslint-plugin-import-x": "4.4.3",
-    "eslint-plugin-jsdoc": "50.6.0",
+    "eslint-plugin-import-x": "4.5.0",
+    "eslint-plugin-jsdoc": "50.6.1",
     "eslint-plugin-jsonc": "2.18.2",
     "eslint-plugin-markdown": "5.1.0",
-    "eslint-plugin-n": "17.14.0",
+    "eslint-plugin-n": "17.15.0",
     "eslint-plugin-no-only-tests": "3.3.0",
     "eslint-plugin-optimize-regex": "1.2.1",
     "eslint-plugin-prettier": "5.2.1",
     "eslint-plugin-promise": "7.2.1",
     "eslint-plugin-regexp": "2.7.0",
-    "eslint-plugin-sonarjs": "2.0.4",
+    "eslint-plugin-sonarjs": "3.0.1",
     "eslint-plugin-unicorn": "56.0.1",
-    "eslint-plugin-yml": "1.15.0",
+    "eslint-plugin-yml": "1.16.0",
     "http-serve": "1.0.1",
     "husky": "9.1.7",
     "jsonc-eslint-parser": "2.4.0",
-    "knip": "5.38.1",
-    "lint-staged": "15.2.10",
-    "markdownlint-cli2": "0.15.0",
-    "prettier": "3.4.1",
+    "knip": "5.40.0",
+    "lint-staged": "15.2.11",
+    "markdownlint-cli2": "0.16.0",
+    "prettier": "3.4.2",
     "rimraf": "6.0.1",
-    "rollup": "4.27.4",
+    "rollup": "4.28.1",
     "rollup-plugin-deassert": "1.3.0",
-    "rollup-plugin-dts-bundle-generator-2": "1.0.2",
+    "rollup-plugin-dts-bundle-generator-2": "2.0.0",
     "semantic-release": "24.2.0",
     "tsafe": "1.8.5",
     "tsc-files": "1.1.4",
     "tsd": "0.31.2",
     "tsx": "4.19.2",
-    "typedoc": "0.26.11",
+    "typedoc": "0.27.4",
     "typedoc-plugin-coverage": "3.4.0",
     "typescript": "5.7.2",
-    "vite-tsconfig-paths": "5.1.3",
-    "vitest": "2.1.6",
+    "vite-tsconfig-paths": "5.1.4",
+    "vitest": "2.1.8",
     "yaml-eslint-parser": "1.2.3"
   },
-  "packageManager": "pnpm@9.14.2",
+  "packageManager": "pnpm@9.15.0",
   "engines": {
     "node": ">=18.0.0"
   }