uom-types 5.0.0 → 5.1.0

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,115 +166,22 @@ 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.
  *
  * @group Unit Components
  */
 export type UnitSubvalues = Record<string, Exponent>;
-/**
- * Take the inverse of a unit.
- *
- * @group Unit Functions
- * @returns `1/X`.
- */
-export type Inverse<X extends number> = Pow<X, -1>;
-/**
- * Inverses each of the subvalues.
- *
- * @group Unit Subvalue Functions
- */
-export type InverseUnitSubvalues<T extends UnitSubvalues> = PowUnitSubvalues<T, -1>;
-/**
- * Multiply a unit by another unit.
- *
- * @group Unit Functions
- * @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;
-/**
- * Multiply each of the subvalues from a unit with the corresponding once from another unit.
- *
- * @group Unit Subvalue Functions
- */
-export type MultiplyUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = ExcludeUnitZeroSubvalues<{
-	[S in keyof A | keyof B]: SumExponents<GetExponent<A, S>, GetExponent<B, S>>;
-}>;
-/**
- * Divide a unit by another unit.
- *
- * @group Unit Functions
- * @returns `A/B`
- */
-export type Divide<A extends number, B extends number> = Multiply<A, Inverse<B>>;
-/**
- * Divide each of the subvalues from a unit with the corresponding once from another unit.
- *
- * @group Unit Subvalue Functions
- */
-export type DivideUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = MultiplyUnitSubvalues<A, InverseUnitSubvalues<B>>;
-/**
- * Put a unit to the power of an exponent.
- *
- * @group Unit Functions
- */
-export type Pow<B extends number, E extends Exponent> = B extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<PowUnitSubvalues<Class, E>>, FlatternAlias<PowUnitSubvalues<Meta, E>>> : B extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<PowUnitSubvalues<Class, E>>> : B extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<PowUnitSubvalues<Meta, E>>> : number;
-/**
- * Put each subvalue of a unit to the power of an exponent.
- *
- * @group Unit Subvalue Functions
- */
-export type PowUnitSubvalues<B extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
-	[S in keyof B]: MultiplyExponents<GetExponent<B, S>, E>;
-}>;
-/**
- * Take the nth root of a unit.
- *
- * @group Unit Functions
- */
-export type Root<B extends number, E extends Exponent> = B extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<RootUnitSubvalues<Class, E>>, FlatternAlias<RootUnitSubvalues<Meta, E>>> : B extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<RootUnitSubvalues<Class, E>>> : B extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<RootUnitSubvalues<Meta, E>>> : number;
-/**
- * Take the nth root of each subvalue of a unit.
- *
- * @group Unit Subvalue Functions
- */
-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)
@@ -1230,6 +1102,78 @@ export type MagneticPermeabilityUnitFrom<M extends UnknownUnitMeta> = UnitFrom<M
  * @symbol `H/m`
  */
 export type HenryPerMeter = MagneticPermeabilityUnit<{}>;
+/**
+ * Take the inverse of a unit.
+ *
+ * @group Unit Functions
+ * @returns `1/X`.
+ */
+export type Inverse<X extends number> = Pow<X, -1>;
+/**
+ * Inverses each of the subvalues.
+ *
+ * @group Unit Subvalue Functions
+ */
+export type InverseUnitSubvalues<T extends UnitSubvalues> = PowUnitSubvalues<T, -1>;
+/**
+ * Multiply a unit by another unit.
+ *
+ * @group Unit Functions
+ * @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;
+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.
+ *
+ * @group Unit Subvalue Functions
+ */
+export type MultiplyUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = ExcludeUnitZeroSubvalues<{
+	[S in keyof A | keyof B]: SumExponents<GetExponent<A, S>, GetExponent<B, S>>;
+}>;
+/**
+ * Divide a unit by another unit.
+ *
+ * @group Unit Functions
+ * @returns `A/B`
+ */
+export type Divide<A extends number, B extends number> = Multiply<A, Inverse<B>>;
+/**
+ * Divide each of the subvalues from a unit with the corresponding once from another unit.
+ *
+ * @group Unit Subvalue Functions
+ */
+export type DivideUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = MultiplyUnitSubvalues<A, InverseUnitSubvalues<B>>;
+/**
+ * Put a unit to the power of an exponent.
+ *
+ * @group Unit Functions
+ */
+export type Pow<B extends number, E extends Exponent> = B extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<PowUnitSubvalues<Class, E>>, FlatternAlias<PowUnitSubvalues<Meta, E>>> : B extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<PowUnitSubvalues<Class, E>>> : B extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<PowUnitSubvalues<Meta, E>>> : number;
+/**
+ * Put each subvalue of a unit to the power of an exponent.
+ *
+ * @group Unit Subvalue Functions
+ */
+export type PowUnitSubvalues<B extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
+	[S in keyof B]: MultiplyExponents<GetExponent<B, S>, E>;
+}>;
+/**
+ * Take the nth root of a unit.
+ *
+ * @group Unit Functions
+ */
+export type Root<B extends number, E extends Exponent> = B extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<RootUnitSubvalues<Class, E>>, FlatternAlias<RootUnitSubvalues<Meta, E>>> : B extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<RootUnitSubvalues<Class, E>>> : B extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<RootUnitSubvalues<Meta, E>>> : number;
+/**
+ * Take the nth root of each subvalue of a unit.
+ *
+ * @group Unit Subvalue Functions
+ */
+export type RootUnitSubvalues<B extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
+	[S in keyof B]: DivideExponents<GetExponent<B, S>, E>;
+}>;
 /**
  * Put the given {@link Unit} to the power of 2.
  *
@@ -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,115 +166,22 @@ 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.
  *
  * @group Unit Components
  */
 export type UnitSubvalues = Record<string, Exponent>;
-/**
- * Take the inverse of a unit.
- *
- * @group Unit Functions
- * @returns `1/X`.
- */
-export type Inverse<X extends number> = Pow<X, -1>;
-/**
- * Inverses each of the subvalues.
- *
- * @group Unit Subvalue Functions
- */
-export type InverseUnitSubvalues<T extends UnitSubvalues> = PowUnitSubvalues<T, -1>;
-/**
- * Multiply a unit by another unit.
- *
- * @group Unit Functions
- * @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;
-/**
- * Multiply each of the subvalues from a unit with the corresponding once from another unit.
- *
- * @group Unit Subvalue Functions
- */
-export type MultiplyUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = ExcludeUnitZeroSubvalues<{
-	[S in keyof A | keyof B]: SumExponents<GetExponent<A, S>, GetExponent<B, S>>;
-}>;
-/**
- * Divide a unit by another unit.
- *
- * @group Unit Functions
- * @returns `A/B`
- */
-export type Divide<A extends number, B extends number> = Multiply<A, Inverse<B>>;
-/**
- * Divide each of the subvalues from a unit with the corresponding once from another unit.
- *
- * @group Unit Subvalue Functions
- */
-export type DivideUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = MultiplyUnitSubvalues<A, InverseUnitSubvalues<B>>;
-/**
- * Put a unit to the power of an exponent.
- *
- * @group Unit Functions
- */
-export type Pow<B extends number, E extends Exponent> = B extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<PowUnitSubvalues<Class, E>>, FlatternAlias<PowUnitSubvalues<Meta, E>>> : B extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<PowUnitSubvalues<Class, E>>> : B extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<PowUnitSubvalues<Meta, E>>> : number;
-/**
- * Put each subvalue of a unit to the power of an exponent.
- *
- * @group Unit Subvalue Functions
- */
-export type PowUnitSubvalues<B extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
-	[S in keyof B]: MultiplyExponents<GetExponent<B, S>, E>;
-}>;
-/**
- * Take the nth root of a unit.
- *
- * @group Unit Functions
- */
-export type Root<B extends number, E extends Exponent> = B extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<RootUnitSubvalues<Class, E>>, FlatternAlias<RootUnitSubvalues<Meta, E>>> : B extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<RootUnitSubvalues<Class, E>>> : B extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<RootUnitSubvalues<Meta, E>>> : number;
-/**
- * Take the nth root of each subvalue of a unit.
- *
- * @group Unit Subvalue Functions
- */
-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)
@@ -1230,6 +1102,78 @@ export type MagneticPermeabilityUnitFrom<M extends UnknownUnitMeta> = UnitFrom<M
  * @symbol `H/m`
  */
 export type HenryPerMeter = MagneticPermeabilityUnit<{}>;
+/**
+ * Take the inverse of a unit.
+ *
+ * @group Unit Functions
+ * @returns `1/X`.
+ */
+export type Inverse<X extends number> = Pow<X, -1>;
+/**
+ * Inverses each of the subvalues.
+ *
+ * @group Unit Subvalue Functions
+ */
+export type InverseUnitSubvalues<T extends UnitSubvalues> = PowUnitSubvalues<T, -1>;
+/**
+ * Multiply a unit by another unit.
+ *
+ * @group Unit Functions
+ * @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;
+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.
+ *
+ * @group Unit Subvalue Functions
+ */
+export type MultiplyUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = ExcludeUnitZeroSubvalues<{
+	[S in keyof A | keyof B]: SumExponents<GetExponent<A, S>, GetExponent<B, S>>;
+}>;
+/**
+ * Divide a unit by another unit.
+ *
+ * @group Unit Functions
+ * @returns `A/B`
+ */
+export type Divide<A extends number, B extends number> = Multiply<A, Inverse<B>>;
+/**
+ * Divide each of the subvalues from a unit with the corresponding once from another unit.
+ *
+ * @group Unit Subvalue Functions
+ */
+export type DivideUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = MultiplyUnitSubvalues<A, InverseUnitSubvalues<B>>;
+/**
+ * Put a unit to the power of an exponent.
+ *
+ * @group Unit Functions
+ */
+export type Pow<B extends number, E extends Exponent> = B extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<PowUnitSubvalues<Class, E>>, FlatternAlias<PowUnitSubvalues<Meta, E>>> : B extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<PowUnitSubvalues<Class, E>>> : B extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<PowUnitSubvalues<Meta, E>>> : number;
+/**
+ * Put each subvalue of a unit to the power of an exponent.
+ *
+ * @group Unit Subvalue Functions
+ */
+export type PowUnitSubvalues<B extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
+	[S in keyof B]: MultiplyExponents<GetExponent<B, S>, E>;
+}>;
+/**
+ * Take the nth root of a unit.
+ *
+ * @group Unit Functions
+ */
+export type Root<B extends number, E extends Exponent> = B extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<RootUnitSubvalues<Class, E>>, FlatternAlias<RootUnitSubvalues<Meta, E>>> : B extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<RootUnitSubvalues<Class, E>>> : B extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<RootUnitSubvalues<Meta, E>>> : number;
+/**
+ * Take the nth root of each subvalue of a unit.
+ *
+ * @group Unit Subvalue Functions
+ */
+export type RootUnitSubvalues<B extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
+	[S in keyof B]: DivideExponents<GetExponent<B, S>, E>;
+}>;
 /**
  * Put the given {@link Unit} to the power of 2.
  *
@@ -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.
  *