uom-types 3.0.1 → 3.1.1

package/dist/_angle-plane.d.cts

@@ -1,4 +1,4 @@
-import { E as Exactify, i as UnitClass, j as Exponent, d as AbstractUnitFrom, e as UnitSubvalues, f as UnitMeta, g as UnknownUnitMeta, h as UnitFrom } from './_index.cjs';
+import { x as Exactify, b as UnitClass, E as Exponent, a as AbstractUnitFrom, g as UnitSubvalues, f as UnitMeta, l as UnknownUnitMeta, e as UnitFrom } from './_units.cjs';
 
 type SiUnitKeys = "Second" | "Metre" | "Kilogram" | "Mole" | "Ampere" | "Candela" | "Kelvin" | "Radian";
 /**

package/dist/_angle-plane.d.mts

@@ -1,4 +1,4 @@
-import { E as Exactify, i as UnitClass, j as Exponent, d as AbstractUnitFrom, e as UnitSubvalues, f as UnitMeta, g as UnknownUnitMeta, h as UnitFrom } from './_index.mjs';
+import { x as Exactify, b as UnitClass, E as Exponent, a as AbstractUnitFrom, g as UnitSubvalues, f as UnitMeta, l as UnknownUnitMeta, e as UnitFrom } from './_units.mjs';
 
 type SiUnitKeys = "Second" | "Metre" | "Kilogram" | "Mole" | "Ampere" | "Candela" | "Kelvin" | "Radian";
 /**

package/dist/_identity.d.cts

@@ -1,4 +1,4 @@
-import { d as AbstractUnitFrom, e as UnitSubvalues, f as UnitMeta, g as UnknownUnitMeta, h as UnitFrom } from './_index.cjs';
+import { a as AbstractUnitFrom, g as UnitSubvalues, f as UnitMeta, l as UnknownUnitMeta, e as UnitFrom } from './_units.cjs';
 import { B as BaseUnitClass } from './_angle-plane.cjs';
 
 /**

package/dist/_identity.d.mts

@@ -1,4 +1,4 @@
-import { d as AbstractUnitFrom, e as UnitSubvalues, f as UnitMeta, g as UnknownUnitMeta, h as UnitFrom } from './_index.mjs';
+import { a as AbstractUnitFrom, g as UnitSubvalues, f as UnitMeta, l as UnknownUnitMeta, e as UnitFrom } from './_units.mjs';
 import { B as BaseUnitClass } from './_angle-plane.mjs';
 
 /**

package/dist/_time-duration.d.cts

@@ -1,4 +1,4 @@
-import { b as UnknownAbstractUnit, U as UnknownUnit, l as MultiplyUnitExponents, I as Inverse, m as UnknownUnitClass, i as UnitClass, n as InverseUnitSubvalues, e as UnitSubvalues, f as UnitMeta, g as UnknownUnitMeta, h as UnitFrom, d as AbstractUnitFrom } from './_index.cjs';
+import { i as UnknownUnit, h as UnknownAbstractUnit, k as UnknownUnitConversionRate, j as UnknownUnitClass, l as UnknownUnitMeta, P as Pow, b as UnitClass, v as PowUnitSubvalues, f as UnitMeta, I as Inverse, s as InverseUnitSubvalues, g as UnitSubvalues, e as UnitFrom, a as AbstractUnitFrom } from './_units.cjs';
 import { B as BaseUnitClass } from './_angle-plane.cjs';
 
 /**
@@ -6,19 +6,19 @@ import { B as BaseUnitClass } from './_angle-plane.cjs';
  *
  * @group Modifiers
  * @category General
- * @see {@link MultiplyUnitExponents}
+ * @see {@link Pow}
  * @see {@link Cubic}
  */
-type Square<T extends UnknownAbstractUnit | UnknownUnit> = MultiplyUnitExponents<T, 2>;
+type Square<T extends UnknownUnit | UnknownAbstractUnit | UnknownUnitConversionRate | UnknownUnitClass | UnknownUnitMeta> = T extends number ? Pow<T, 2> : T extends UnknownUnitClass ? UnitClass<PowUnitSubvalues<T["__uom_types__value"], 2>> : T extends UnknownUnitMeta ? UnitMeta<PowUnitSubvalues<T["__uom_types__value"], 2>> : never;
 /**
  * Put the given {@link Unit} to the power of 3.
  *
  * @group Modifiers
  * @category General
- * @see {@link MultiplyUnitExponents}
+ * @see {@link Pow}
  * @see {@link Square}
  */
-type Cubic<T extends UnknownAbstractUnit | UnknownUnit> = MultiplyUnitExponents<T, 3>;
+type Cubic<T extends UnknownUnit | UnknownAbstractUnit | UnknownUnitConversionRate | UnknownUnitClass | UnknownUnitMeta> = T extends number ? Pow<T, 3> : T extends UnknownUnitClass ? UnitClass<PowUnitSubvalues<T["__uom_types__value"], 3>> : T extends UnknownUnitMeta ? UnitMeta<PowUnitSubvalues<T["__uom_types__value"], 3>> : never;
 
 /**
  * Invert the {@link Unit}.
@@ -26,12 +26,11 @@ type Cubic<T extends UnknownAbstractUnit | UnknownUnit> = MultiplyUnitExponents<
  * @group Modifiers
  * @category General
  */
-type Reciprocal<T extends UnknownAbstractUnit | UnknownUnit> = Inverse<T>;
+type Reciprocal<T extends UnknownUnit | UnknownAbstractUnit | UnknownUnitConversionRate | UnknownUnitClass | UnknownUnitMeta> = T extends number ? Inverse<T> : T extends UnknownUnitClass ? UnitClass<InverseUnitSubvalues<T["__uom_types__value"]>> : T extends UnknownUnitMeta ? UnitMeta<InverseUnitSubvalues<T["__uom_types__value"]>> : never;
 /**
  * Invert the {@link UnitClass}.
  *
- * @group Unit Class Modifiers
- * @category General
+ * @deprecated Use {@link Reciprocal} instead.
  */
 type ReciprocalUnitClass<T extends UnknownUnitClass> = UnitClass<InverseUnitSubvalues<T["__uom_types__value"]>>;
 
@@ -39,7 +38,7 @@ type ReciprocalUnitClass<T extends UnknownUnitClass> = UnitClass<InverseUnitSubv
  * @group Unit Classes
  * @category Kinematic
  */
-type FrequencyUnitClass = ReciprocalUnitClass<DurationUnitClass>;
+type FrequencyUnitClass = Reciprocal<DurationUnitClass>;
 /**
  * @group Abstract Units
  * @category Kinematic
@@ -479,4 +478,4 @@ type Year = DurationUnit<{
     scalarDayInYear: 1;
 }>;
 
-export { VolumeUnit as $, Are as A, LengthUnitClass as B, Celsius as C, Day as D, EnergyUnitClass as E, FrequencyUnitClass as F, Gram as G, Hectare as H, Length as I, Joule as J, Kelvin as K, Litre as L, Metre as M, LengthUnit as N, LengthUnitFrom as O, PerMinute as P, MassUnitClass as Q, ReciprocalUnitClass as R, Square as S, Tonne as T, Mass as U, MassUnit as V, Week as W, MassUnitFrom as X, Year as Y, VolumeUnitClass as Z, Volume as _, Second as a, VolumeUnitFrom as a0, TemperatureUnit as a1, TemperatureUnitFrom as a2, DurationUnitClass as a3, Duration as a4, DurationUnit as a5, DurationUnitFrom as a6, Minute as b, Hour as c, WattMinute as d, WattHour as e, Hertz as f, PerHour as g, PerDay as h, PerWeek as i, PerYear as j, Cubic as k, Reciprocal as l, Energy as m, EnergyUnit as n, EnergyUnitFrom as o, TemperatureUnitClass as p, Temperature as q, Frequency as r, FrequencyUnit as s, FrequencyUnitFrom as t, PerSecond as u, AreaUnitClass as v, Area as w, AreaUnit as x, AreaUnitFrom as y, WattSecond as z };
+export { Minute as $, AreaUnitClass as A, Tonne as B, Volume as C, VolumeUnit as D, EnergyUnitClass as E, FrequencyUnitClass as F, Gram as G, Hertz as H, VolumeUnitFrom as I, Joule as J, Litre as K, LengthUnitClass as L, Metre as M, TemperatureUnit as N, TemperatureUnitFrom as O, PerSecond as P, Kelvin as Q, Reciprocal as R, Celsius as S, TemperatureUnitClass as T, DurationUnitClass as U, VolumeUnitClass as V, WattSecond as W, Duration as X, DurationUnit as Y, DurationUnitFrom as Z, Second as _, Energy as a, Hour as a0, Day as a1, Week as a2, Year as a3, Square as a4, Cubic as a5, ReciprocalUnitClass as a6, EnergyUnit as b, EnergyUnitFrom as c, Temperature as d, Frequency as e, FrequencyUnit as f, FrequencyUnitFrom as g, PerMinute as h, PerHour as i, PerDay as j, PerWeek as k, PerYear as l, Area as m, AreaUnit as n, AreaUnitFrom as o, Are as p, Hectare as q, WattMinute as r, WattHour as s, Length as t, LengthUnit as u, LengthUnitFrom as v, MassUnitClass as w, Mass as x, MassUnit as y, MassUnitFrom as z };

package/dist/_time-duration.d.mts

@@ -1,4 +1,4 @@
-import { b as UnknownAbstractUnit, U as UnknownUnit, l as MultiplyUnitExponents, I as Inverse, m as UnknownUnitClass, i as UnitClass, n as InverseUnitSubvalues, e as UnitSubvalues, f as UnitMeta, g as UnknownUnitMeta, h as UnitFrom, d as AbstractUnitFrom } from './_index.mjs';
+import { i as UnknownUnit, h as UnknownAbstractUnit, k as UnknownUnitConversionRate, j as UnknownUnitClass, l as UnknownUnitMeta, P as Pow, b as UnitClass, v as PowUnitSubvalues, f as UnitMeta, I as Inverse, s as InverseUnitSubvalues, g as UnitSubvalues, e as UnitFrom, a as AbstractUnitFrom } from './_units.mjs';
 import { B as BaseUnitClass } from './_angle-plane.mjs';
 
 /**
@@ -6,19 +6,19 @@ import { B as BaseUnitClass } from './_angle-plane.mjs';
  *
  * @group Modifiers
  * @category General
- * @see {@link MultiplyUnitExponents}
+ * @see {@link Pow}
  * @see {@link Cubic}
  */
-type Square<T extends UnknownAbstractUnit | UnknownUnit> = MultiplyUnitExponents<T, 2>;
+type Square<T extends UnknownUnit | UnknownAbstractUnit | UnknownUnitConversionRate | UnknownUnitClass | UnknownUnitMeta> = T extends number ? Pow<T, 2> : T extends UnknownUnitClass ? UnitClass<PowUnitSubvalues<T["__uom_types__value"], 2>> : T extends UnknownUnitMeta ? UnitMeta<PowUnitSubvalues<T["__uom_types__value"], 2>> : never;
 /**
  * Put the given {@link Unit} to the power of 3.
  *
  * @group Modifiers
  * @category General
- * @see {@link MultiplyUnitExponents}
+ * @see {@link Pow}
  * @see {@link Square}
  */
-type Cubic<T extends UnknownAbstractUnit | UnknownUnit> = MultiplyUnitExponents<T, 3>;
+type Cubic<T extends UnknownUnit | UnknownAbstractUnit | UnknownUnitConversionRate | UnknownUnitClass | UnknownUnitMeta> = T extends number ? Pow<T, 3> : T extends UnknownUnitClass ? UnitClass<PowUnitSubvalues<T["__uom_types__value"], 3>> : T extends UnknownUnitMeta ? UnitMeta<PowUnitSubvalues<T["__uom_types__value"], 3>> : never;
 
 /**
  * Invert the {@link Unit}.
@@ -26,12 +26,11 @@ type Cubic<T extends UnknownAbstractUnit | UnknownUnit> = MultiplyUnitExponents<
  * @group Modifiers
  * @category General
  */
-type Reciprocal<T extends UnknownAbstractUnit | UnknownUnit> = Inverse<T>;
+type Reciprocal<T extends UnknownUnit | UnknownAbstractUnit | UnknownUnitConversionRate | UnknownUnitClass | UnknownUnitMeta> = T extends number ? Inverse<T> : T extends UnknownUnitClass ? UnitClass<InverseUnitSubvalues<T["__uom_types__value"]>> : T extends UnknownUnitMeta ? UnitMeta<InverseUnitSubvalues<T["__uom_types__value"]>> : never;
 /**
  * Invert the {@link UnitClass}.
  *
- * @group Unit Class Modifiers
- * @category General
+ * @deprecated Use {@link Reciprocal} instead.
  */
 type ReciprocalUnitClass<T extends UnknownUnitClass> = UnitClass<InverseUnitSubvalues<T["__uom_types__value"]>>;
 
@@ -39,7 +38,7 @@ type ReciprocalUnitClass<T extends UnknownUnitClass> = UnitClass<InverseUnitSubv
  * @group Unit Classes
  * @category Kinematic
  */
-type FrequencyUnitClass = ReciprocalUnitClass<DurationUnitClass>;
+type FrequencyUnitClass = Reciprocal<DurationUnitClass>;
 /**
  * @group Abstract Units
  * @category Kinematic
@@ -479,4 +478,4 @@ type Year = DurationUnit<{
     scalarDayInYear: 1;
 }>;
 
-export { VolumeUnit as $, Are as A, LengthUnitClass as B, Celsius as C, Day as D, EnergyUnitClass as E, FrequencyUnitClass as F, Gram as G, Hectare as H, Length as I, Joule as J, Kelvin as K, Litre as L, Metre as M, LengthUnit as N, LengthUnitFrom as O, PerMinute as P, MassUnitClass as Q, ReciprocalUnitClass as R, Square as S, Tonne as T, Mass as U, MassUnit as V, Week as W, MassUnitFrom as X, Year as Y, VolumeUnitClass as Z, Volume as _, Second as a, VolumeUnitFrom as a0, TemperatureUnit as a1, TemperatureUnitFrom as a2, DurationUnitClass as a3, Duration as a4, DurationUnit as a5, DurationUnitFrom as a6, Minute as b, Hour as c, WattMinute as d, WattHour as e, Hertz as f, PerHour as g, PerDay as h, PerWeek as i, PerYear as j, Cubic as k, Reciprocal as l, Energy as m, EnergyUnit as n, EnergyUnitFrom as o, TemperatureUnitClass as p, Temperature as q, Frequency as r, FrequencyUnit as s, FrequencyUnitFrom as t, PerSecond as u, AreaUnitClass as v, Area as w, AreaUnit as x, AreaUnitFrom as y, WattSecond as z };
+export { Minute as $, AreaUnitClass as A, Tonne as B, Volume as C, VolumeUnit as D, EnergyUnitClass as E, FrequencyUnitClass as F, Gram as G, Hertz as H, VolumeUnitFrom as I, Joule as J, Litre as K, LengthUnitClass as L, Metre as M, TemperatureUnit as N, TemperatureUnitFrom as O, PerSecond as P, Kelvin as Q, Reciprocal as R, Celsius as S, TemperatureUnitClass as T, DurationUnitClass as U, VolumeUnitClass as V, WattSecond as W, Duration as X, DurationUnit as Y, DurationUnitFrom as Z, Second as _, Energy as a, Hour as a0, Day as a1, Week as a2, Year as a3, Square as a4, Cubic as a5, ReciprocalUnitClass as a6, EnergyUnit as b, EnergyUnitFrom as c, Temperature as d, Frequency as e, FrequencyUnit as f, FrequencyUnitFrom as g, PerMinute as h, PerHour as i, PerDay as j, PerWeek as k, PerYear as l, Area as m, AreaUnit as n, AreaUnitFrom as o, Are as p, Hectare as q, WattMinute as r, WattHour as s, Length as t, LengthUnit as u, LengthUnitFrom as v, MassUnitClass as w, Mass as x, MassUnit as y, MassUnitFrom as z };

package/dist/{_index.d.cts → _units.d.cts}

@@ -1,16 +1,32 @@
 /**
  * @file Autogenerated File - Don't manually edit.
  */
+/**
+ * All the supported positive exponent values.
+ *
+ * @group Unit Components
+ */
+type PosExponent = 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12;
+/**
+ * All the supported negative exponent values.
+ *
+ * @group Unit Components
+ */
+type NegExponent = -1 | -2 | -3 | -4 | -5 | -6 | -7 | -8 | -9 | -10 | -11 | -12;
 /**
  * All the supported exponent values.
  *
  * @group Unit Components
  */
-type Exponent = 0 | 1 | -1 | 2 | -2 | 3 | -3 | 4 | -4 | 5 | -5 | 6 | -6 | 7 | -7 | 8 | -8 | 9 | -9 | 10 | -10 | 11 | -11 | 12 | -12;
+type Exponent = 0 | PosExponent | NegExponent;
 /**
  * @group Exponent Functions
  */
-type NegativeExponent<T extends Exponent> = T extends 0 ? 0 : T extends 1 ? -1 : T extends -1 ? 1 : T extends 2 ? -2 : T extends -2 ? 2 : T extends 3 ? -3 : T extends -3 ? 3 : T extends 4 ? -4 : T extends -4 ? 4 : T extends 5 ? -5 : T extends -5 ? 5 : T extends 6 ? -6 : T extends -6 ? 6 : T extends 7 ? -7 : T extends -7 ? 7 : T extends 8 ? -8 : T extends -8 ? 8 : T extends 9 ? -9 : T extends -9 ? 9 : T extends 10 ? -10 : T extends -10 ? 10 : T extends 11 ? -11 : T extends -11 ? 11 : T extends 12 ? -12 : T extends -12 ? 12 : never;
+type NegateExponent<T extends Exponent> = MultiplyExponents<T, -1>;
+/**
+ * @depreated Use {@link NegateExponent} instead.
+ */
+type NegativeExponent<T extends Exponent> = NegateExponent<T>;
 /**
  * @group Exponent Functions
  */
@@ -90,7 +106,7 @@ type Unit<C extends UnitSubvalues, M extends UnitSubvalues = {}> = number & {
  *
  * @group Unit Generators
  */
-type UnitFrom<C extends UnknownUnitClass, M extends UnknownUnitMeta = UnitMeta<{}>> = C extends UnitClass<infer A> ? M extends UnitMeta<infer B> ? Unit<UnitSubvalues extends A ? {} : A, UnitSubvalues extends B ? {} : B> : never : never;
+type UnitFrom<C extends UnknownUnitClass, M extends UnknownUnitMeta = UnitMeta<{}>> = C extends UnitClass<infer A> ? M extends UnitMeta<infer B> ? Unit<A, B> : never : never;
 /**
  * A {@link Unit} without any {@link UnitClass}.
  *
@@ -98,13 +114,15 @@ type UnitFrom<C extends UnknownUnitClass, M extends UnknownUnitMeta = UnitMeta<{
  *
  * @group Unit Generators
  */
-type UnitConversionRate<M extends UnitSubvalues> = Unit<{}, M>;
+type UnitConversionRate<M extends UnitSubvalues> = number & {
+    readonly __uom_types__unit_meta: UnitMeta<M>;
+};
 /**
  * Create a {@link UnitConversionRate} from already existing {@link UnitMeta}.
  *
  * @group Unit Generators
  */
-type UnitConversionRateFrom<M extends UnknownUnitMeta> = M extends UnitMeta<infer A> ? UnitConversionRate<UnitSubvalues extends A ? {} : A> : never;
+type UnitConversionRateFrom<M extends UnknownUnitMeta> = M extends UnitMeta<infer A> ? UnitConversionRate<A> : never;
 /**
  * Used to determine what a unit is of. For example, length, volume, mass etc.
  *
@@ -138,6 +156,14 @@ type UnknownUnit = UnknownAbstractUnit & {
 type UnknownAbstractUnit = number & {
     readonly __uom_types__unit_class: UnknownUnitClass;
 };
+/**
+ * An {@link UnitConversionRate} that we don't know anything about.
+ *
+ * @group Unknown Units
+ */
+type UnknownUnitConversionRate = number & {
+    readonly __uom_types__unit_meta: UnknownUnitMeta;
+};
 /**
  * A {@link UnitClass} that we don't know anything about.
  *
@@ -169,47 +195,44 @@ type UnknownUnitKeyValues = {
  */
 type UnitSubvalues = Record<string, Exponent>;
 
-/**
- * Multiple the exponent values of a unit by a number.
- *
- * @group Unit Functions
- */
-type MultiplyUnitExponents<T extends number, E extends Exponent> = T extends Unit<infer Config, infer Meta> ? Unit<FlatternAlias<MultiplyUnitSubvaluesExponents<Config, E>>, FlatternAlias<MultiplyUnitSubvaluesExponents<Meta, E>>> : T extends AbstractUnit<infer Config> ? AbstractUnit<FlatternAlias<MultiplyUnitSubvaluesExponents<Config, E>>> : number;
-type MultiplyUnitSubvaluesExponents<T extends UnitSubvalues, E extends Exponent> = {
-    [S in keyof T]: MultiplyExponents<GetExponent<T, S>, E>;
-};
-/**
- * Divide the exponent values of a unit by a number.
- *
- * @group Unit Functions
- */
-type DivideUnitExponents<T extends number, E extends Exponent> = T extends Unit<infer Config, infer Meta> ? Unit<FlatternAlias<DivideUnitSubvaluesExponents<Config, E>>, FlatternAlias<DivideUnitSubvaluesExponents<Meta, E>>> : T extends AbstractUnit<infer Config> ? AbstractUnit<FlatternAlias<DivideUnitSubvaluesExponents<Config, E>>> : number;
-type DivideUnitSubvaluesExponents<T extends UnitSubvalues, E extends Exponent> = {
-    [S in keyof T]: DivideExponents<GetExponent<T, S>, E>;
-};
-
 /**
  * Take the inverse of a unit.
  *
  * @group Unit Functions
  * @returns `1/X`.
  */
-type Inverse<X extends number> = X extends Unit<infer Config, infer Meta> ? Unit<FlatternAlias<InverseUnitSubvalues<Config>>, FlatternAlias<InverseUnitSubvalues<Meta>>> : X extends AbstractUnit<infer Config> ? AbstractUnit<FlatternAlias<InverseUnitSubvalues<Config>>> : number;
+type Inverse<X extends number> = Pow<X, -1>;
 /**
  * Inverses each of the subvalues.
  *
  * @group Unit Subvalue Functions
  */
-type InverseUnitSubvalues<T extends UnitSubvalues> = {
-    [E in keyof T]: NegativeExponent<T[E]>;
-};
+type InverseUnitSubvalues<T extends UnitSubvalues> = PowUnitSubvalues<T, -1>;
 /**
  * Multiply a unit by another unit.
  *
  * @group Unit Functions
  * @returns `A⋅B`
  */
-type Multiply<A extends number, B extends number> = A extends Unit<infer AConfig, infer AMeta> ? B extends Unit<infer BConfig, infer BMeta> ? Unit<FlatternAlias<MultiplyUnitSubvalues<AConfig, BConfig>>, FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : B extends UnknownAbstractUnit ? never : A : B extends UnknownUnit ? A extends UnknownAbstractUnit ? never : B : A extends AbstractUnit<infer AConfig> ? B extends AbstractUnit<infer BConfig> ? AbstractUnit<FlatternAlias<MultiplyUnitSubvalues<AConfig, BConfig>>> : A : B extends UnknownAbstractUnit ? B : number;
+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
+ */
+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
+ */
+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
+ */
+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.
  *
@@ -231,5 +254,33 @@ type Divide<A extends number, B extends number> = Multiply<A, Inverse<B>>;
  * @group Unit Subvalue Functions
  */
 type DivideUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = MultiplyUnitSubvalues<A, InverseUnitSubvalues<B>>;
+/**
+ * Put a unit to the power of an exponent.
+ *
+ * @group Unit Functions
+ */
+type Pow<T extends number, N extends Exponent> = T extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<PowUnitSubvalues<Class, N>>, FlatternAlias<PowUnitSubvalues<Meta, N>>> : T extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<PowUnitSubvalues<Class, N>>> : T extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<PowUnitSubvalues<Meta, N>>> : number;
+/**
+ * Put each subvalue of a unit to the power of an exponent.
+ *
+ * @group Unit Subvalue Functions
+ */
+type PowUnitSubvalues<T extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
+    [S in keyof T]: MultiplyExponents<GetExponent<T, S>, E>;
+}>;
+/**
+ * Take the nth root of a unit.
+ *
+ * @group Unit Functions
+ */
+type Root<T extends number, N extends Exponent> = T extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<RootUnitSubvalues<Class, N>>, FlatternAlias<RootUnitSubvalues<Meta, N>>> : T extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<RootUnitSubvalues<Class, N>>> : T extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<RootUnitSubvalues<Meta, N>>> : number;
+/**
+ * Take the nth root of each subvalue of a unit.
+ *
+ * @group Unit Subvalue Functions
+ */
+type RootUnitSubvalues<T extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
+    [S in keyof T]: DivideExponents<GetExponent<T, S>, E>;
+}>;
 
-export { AbstractUnit as A, Divide as D, Exactify as E, Inverse as I, Multiply as M, NegativeExponent as N, SubExponents as S, UnknownUnit as U, Unit as a, UnknownAbstractUnit as b, DivideUnitExponents as c, AbstractUnitFrom as d, UnitSubvalues as e, UnitMeta as f, UnknownUnitMeta as g, UnitFrom as h, UnitClass as i, Exponent as j, UnitConversionRate as k, MultiplyUnitExponents as l, UnknownUnitClass as m, InverseUnitSubvalues as n, UnitConversionRateFrom as o, DivideExponents as p, MultiplyExponents as q, SumExponents as r, DivideUnitSubvalues as s, MultiplyUnitSubvalues as t };
+export { AbstractUnit as A, DivideExponents as D, Exponent as E, Inverse as I, MultiplyExponents as M, NegateExponent as N, Pow as P, Root as R, SubExponents as S, Unit as U, AbstractUnitFrom as a, UnitClass as b, UnitConversionRate as c, UnitConversionRateFrom as d, UnitFrom as e, UnitMeta as f, UnitSubvalues as g, UnknownAbstractUnit as h, UnknownUnit as i, UnknownUnitClass as j, UnknownUnitConversionRate as k, UnknownUnitMeta as l, NegativeExponent as m, NegExponent as n, PosExponent as o, SumExponents as p, Divide as q, DivideUnitSubvalues as r, InverseUnitSubvalues as s, Multiply as t, MultiplyUnitSubvalues as u, PowUnitSubvalues as v, RootUnitSubvalues as w, Exactify as x };

package/dist/{_index.d.mts → _units.d.mts}

@@ -1,16 +1,32 @@
 /**
  * @file Autogenerated File - Don't manually edit.
  */
+/**
+ * All the supported positive exponent values.
+ *
+ * @group Unit Components
+ */
+type PosExponent = 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12;
+/**
+ * All the supported negative exponent values.
+ *
+ * @group Unit Components
+ */
+type NegExponent = -1 | -2 | -3 | -4 | -5 | -6 | -7 | -8 | -9 | -10 | -11 | -12;
 /**
  * All the supported exponent values.
  *
  * @group Unit Components
  */
-type Exponent = 0 | 1 | -1 | 2 | -2 | 3 | -3 | 4 | -4 | 5 | -5 | 6 | -6 | 7 | -7 | 8 | -8 | 9 | -9 | 10 | -10 | 11 | -11 | 12 | -12;
+type Exponent = 0 | PosExponent | NegExponent;
 /**
  * @group Exponent Functions
  */
-type NegativeExponent<T extends Exponent> = T extends 0 ? 0 : T extends 1 ? -1 : T extends -1 ? 1 : T extends 2 ? -2 : T extends -2 ? 2 : T extends 3 ? -3 : T extends -3 ? 3 : T extends 4 ? -4 : T extends -4 ? 4 : T extends 5 ? -5 : T extends -5 ? 5 : T extends 6 ? -6 : T extends -6 ? 6 : T extends 7 ? -7 : T extends -7 ? 7 : T extends 8 ? -8 : T extends -8 ? 8 : T extends 9 ? -9 : T extends -9 ? 9 : T extends 10 ? -10 : T extends -10 ? 10 : T extends 11 ? -11 : T extends -11 ? 11 : T extends 12 ? -12 : T extends -12 ? 12 : never;
+type NegateExponent<T extends Exponent> = MultiplyExponents<T, -1>;
+/**
+ * @depreated Use {@link NegateExponent} instead.
+ */
+type NegativeExponent<T extends Exponent> = NegateExponent<T>;
 /**
  * @group Exponent Functions
  */
@@ -90,7 +106,7 @@ type Unit<C extends UnitSubvalues, M extends UnitSubvalues = {}> = number & {
  *
  * @group Unit Generators
  */
-type UnitFrom<C extends UnknownUnitClass, M extends UnknownUnitMeta = UnitMeta<{}>> = C extends UnitClass<infer A> ? M extends UnitMeta<infer B> ? Unit<UnitSubvalues extends A ? {} : A, UnitSubvalues extends B ? {} : B> : never : never;
+type UnitFrom<C extends UnknownUnitClass, M extends UnknownUnitMeta = UnitMeta<{}>> = C extends UnitClass<infer A> ? M extends UnitMeta<infer B> ? Unit<A, B> : never : never;
 /**
  * A {@link Unit} without any {@link UnitClass}.
  *
@@ -98,13 +114,15 @@ type UnitFrom<C extends UnknownUnitClass, M extends UnknownUnitMeta = UnitMeta<{
  *
  * @group Unit Generators
  */
-type UnitConversionRate<M extends UnitSubvalues> = Unit<{}, M>;
+type UnitConversionRate<M extends UnitSubvalues> = number & {
+    readonly __uom_types__unit_meta: UnitMeta<M>;
+};
 /**
  * Create a {@link UnitConversionRate} from already existing {@link UnitMeta}.
  *
  * @group Unit Generators
  */
-type UnitConversionRateFrom<M extends UnknownUnitMeta> = M extends UnitMeta<infer A> ? UnitConversionRate<UnitSubvalues extends A ? {} : A> : never;
+type UnitConversionRateFrom<M extends UnknownUnitMeta> = M extends UnitMeta<infer A> ? UnitConversionRate<A> : never;
 /**
  * Used to determine what a unit is of. For example, length, volume, mass etc.
  *
@@ -138,6 +156,14 @@ type UnknownUnit = UnknownAbstractUnit & {
 type UnknownAbstractUnit = number & {
     readonly __uom_types__unit_class: UnknownUnitClass;
 };
+/**
+ * An {@link UnitConversionRate} that we don't know anything about.
+ *
+ * @group Unknown Units
+ */
+type UnknownUnitConversionRate = number & {
+    readonly __uom_types__unit_meta: UnknownUnitMeta;
+};
 /**
  * A {@link UnitClass} that we don't know anything about.
  *
@@ -169,47 +195,44 @@ type UnknownUnitKeyValues = {
  */
 type UnitSubvalues = Record<string, Exponent>;
 
-/**
- * Multiple the exponent values of a unit by a number.
- *
- * @group Unit Functions
- */
-type MultiplyUnitExponents<T extends number, E extends Exponent> = T extends Unit<infer Config, infer Meta> ? Unit<FlatternAlias<MultiplyUnitSubvaluesExponents<Config, E>>, FlatternAlias<MultiplyUnitSubvaluesExponents<Meta, E>>> : T extends AbstractUnit<infer Config> ? AbstractUnit<FlatternAlias<MultiplyUnitSubvaluesExponents<Config, E>>> : number;
-type MultiplyUnitSubvaluesExponents<T extends UnitSubvalues, E extends Exponent> = {
-    [S in keyof T]: MultiplyExponents<GetExponent<T, S>, E>;
-};
-/**
- * Divide the exponent values of a unit by a number.
- *
- * @group Unit Functions
- */
-type DivideUnitExponents<T extends number, E extends Exponent> = T extends Unit<infer Config, infer Meta> ? Unit<FlatternAlias<DivideUnitSubvaluesExponents<Config, E>>, FlatternAlias<DivideUnitSubvaluesExponents<Meta, E>>> : T extends AbstractUnit<infer Config> ? AbstractUnit<FlatternAlias<DivideUnitSubvaluesExponents<Config, E>>> : number;
-type DivideUnitSubvaluesExponents<T extends UnitSubvalues, E extends Exponent> = {
-    [S in keyof T]: DivideExponents<GetExponent<T, S>, E>;
-};
-
 /**
  * Take the inverse of a unit.
  *
  * @group Unit Functions
  * @returns `1/X`.
  */
-type Inverse<X extends number> = X extends Unit<infer Config, infer Meta> ? Unit<FlatternAlias<InverseUnitSubvalues<Config>>, FlatternAlias<InverseUnitSubvalues<Meta>>> : X extends AbstractUnit<infer Config> ? AbstractUnit<FlatternAlias<InverseUnitSubvalues<Config>>> : number;
+type Inverse<X extends number> = Pow<X, -1>;
 /**
  * Inverses each of the subvalues.
  *
  * @group Unit Subvalue Functions
  */
-type InverseUnitSubvalues<T extends UnitSubvalues> = {
-    [E in keyof T]: NegativeExponent<T[E]>;
-};
+type InverseUnitSubvalues<T extends UnitSubvalues> = PowUnitSubvalues<T, -1>;
 /**
  * Multiply a unit by another unit.
  *
  * @group Unit Functions
  * @returns `A⋅B`
  */
-type Multiply<A extends number, B extends number> = A extends Unit<infer AConfig, infer AMeta> ? B extends Unit<infer BConfig, infer BMeta> ? Unit<FlatternAlias<MultiplyUnitSubvalues<AConfig, BConfig>>, FlatternAlias<MultiplyUnitSubvalues<AMeta, BMeta>>> : B extends UnknownAbstractUnit ? never : A : B extends UnknownUnit ? A extends UnknownAbstractUnit ? never : B : A extends AbstractUnit<infer AConfig> ? B extends AbstractUnit<infer BConfig> ? AbstractUnit<FlatternAlias<MultiplyUnitSubvalues<AConfig, BConfig>>> : A : B extends UnknownAbstractUnit ? B : number;
+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
+ */
+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
+ */
+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
+ */
+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.
  *
@@ -231,5 +254,33 @@ type Divide<A extends number, B extends number> = Multiply<A, Inverse<B>>;
  * @group Unit Subvalue Functions
  */
 type DivideUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = MultiplyUnitSubvalues<A, InverseUnitSubvalues<B>>;
+/**
+ * Put a unit to the power of an exponent.
+ *
+ * @group Unit Functions
+ */
+type Pow<T extends number, N extends Exponent> = T extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<PowUnitSubvalues<Class, N>>, FlatternAlias<PowUnitSubvalues<Meta, N>>> : T extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<PowUnitSubvalues<Class, N>>> : T extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<PowUnitSubvalues<Meta, N>>> : number;
+/**
+ * Put each subvalue of a unit to the power of an exponent.
+ *
+ * @group Unit Subvalue Functions
+ */
+type PowUnitSubvalues<T extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
+    [S in keyof T]: MultiplyExponents<GetExponent<T, S>, E>;
+}>;
+/**
+ * Take the nth root of a unit.
+ *
+ * @group Unit Functions
+ */
+type Root<T extends number, N extends Exponent> = T extends Unit<infer Class, infer Meta> ? Unit<FlatternAlias<RootUnitSubvalues<Class, N>>, FlatternAlias<RootUnitSubvalues<Meta, N>>> : T extends AbstractUnit<infer Class> ? AbstractUnit<FlatternAlias<RootUnitSubvalues<Class, N>>> : T extends UnitConversionRate<infer Meta> ? UnitConversionRate<FlatternAlias<RootUnitSubvalues<Meta, N>>> : number;
+/**
+ * Take the nth root of each subvalue of a unit.
+ *
+ * @group Unit Subvalue Functions
+ */
+type RootUnitSubvalues<T extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
+    [S in keyof T]: DivideExponents<GetExponent<T, S>, E>;
+}>;
 
-export { AbstractUnit as A, Divide as D, Exactify as E, Inverse as I, Multiply as M, NegativeExponent as N, SubExponents as S, UnknownUnit as U, Unit as a, UnknownAbstractUnit as b, DivideUnitExponents as c, AbstractUnitFrom as d, UnitSubvalues as e, UnitMeta as f, UnknownUnitMeta as g, UnitFrom as h, UnitClass as i, Exponent as j, UnitConversionRate as k, MultiplyUnitExponents as l, UnknownUnitClass as m, InverseUnitSubvalues as n, UnitConversionRateFrom as o, DivideExponents as p, MultiplyExponents as q, SumExponents as r, DivideUnitSubvalues as s, MultiplyUnitSubvalues as t };
+export { AbstractUnit as A, DivideExponents as D, Exponent as E, Inverse as I, MultiplyExponents as M, NegateExponent as N, Pow as P, Root as R, SubExponents as S, Unit as U, AbstractUnitFrom as a, UnitClass as b, UnitConversionRate as c, UnitConversionRateFrom as d, UnitFrom as e, UnitMeta as f, UnitSubvalues as g, UnknownAbstractUnit as h, UnknownUnit as i, UnknownUnitClass as j, UnknownUnitConversionRate as k, UnknownUnitMeta as l, NegativeExponent as m, NegExponent as n, PosExponent as o, SumExponents as p, Divide as q, DivideUnitSubvalues as r, InverseUnitSubvalues as s, Multiply as t, MultiplyUnitSubvalues as u, PowUnitSubvalues as v, RootUnitSubvalues as w, Exactify as x };

package/dist/functions-higher-order.cjs

@@ -61,6 +61,14 @@ function modSafe(a) {
 function pow(exponent) {
     return (base) => (base ** exponent);
 }
+/**
+ * Take the nth root of a number.
+ *
+ * @category Math
+ */
+function root(exponent) {
+    return (base) => (base ** (1 / exponent));
+}
 /**
  * Equal: Compare if a value is equal to the given value.
  *
@@ -113,4 +121,5 @@ exports.mod = mod;
 exports.modSafe = modSafe;
 exports.mul = mul;
 exports.pow = pow;
+exports.root = root;
 exports.sub = sub;

package/dist/functions-higher-order.d.cts

@@ -1,4 +1,4 @@
-import { M as Multiply, D as Divide, U as UnknownUnit, b as UnknownAbstractUnit, I as Inverse, a as Unit, A as AbstractUnit, c as DivideUnitExponents } from './_index.cjs';
+import { t as Multiply, q as Divide, i as UnknownUnit, h as UnknownAbstractUnit, E as Exponent, P as Pow, R as Root, o as PosExponent } from './_units.cjs';
 
 /**
  * @module uom-types/functions/higher-order
@@ -43,13 +43,20 @@ declare function mod<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) =
  * @category Math
  */
 declare function modSafe<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
-type PowFunction<E extends number, B extends number> = E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends -1 ? (b: B) => Inverse<B> : E extends 0 ? (b: B) => B extends UnknownUnit ? Unit<{}> : B extends UnknownAbstractUnit ? AbstractUnit<{}> : 1 : E extends 0.5 ? (b: B) => DivideUnitExponents<B, 2> : E extends 1 ? (b: B) => B : E extends 2 ? (b: B) => Multiply<B, B> : E extends 3 ? (b: B) => Multiply<B, Multiply<B, B>> : E extends 4 ? (b: B) => Multiply<B, Multiply<B, Multiply<B, B>>> : (b: B) => number;
+type PowFunction<E extends number, B extends number> = E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends Exponent ? (b: B) => Pow<B, E> : E extends 0.5 ? (b: B) => Root<B, 2> : (b: B) => number;
 /**
  * Put a number to the power of the given value.
  *
  * @category Math
  */
 declare function pow<E extends number>(exponent: E): <B extends number>(base: Parameters<PowFunction<E, B>>[0]) => ReturnType<PowFunction<E, B>>;
+type RootFunction<E extends number, B extends number> = E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends PosExponent ? (b: B) => Root<B, E> : (b: B) => number;
+/**
+ * Take the nth root of a number.
+ *
+ * @category Math
+ */
+declare function root<N extends number>(exponent: N): <B extends number>(base: Parameters<RootFunction<N, B>>[0]) => ReturnType<RootFunction<N, B>>;
 /**
  * Equal: Compare if a value is equal to the given value.
  *
@@ -81,4 +88,4 @@ declare function lt<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) =>
  */
 declare function lte<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
 
-export { add, div, eq, gt, gte, lt, lte, mod, modSafe, mul, pow, sub };
+export { add, div, eq, gt, gte, lt, lte, mod, modSafe, mul, pow, root, sub };

package/dist/functions-higher-order.d.mts

@@ -1,4 +1,4 @@
-import { M as Multiply, D as Divide, U as UnknownUnit, b as UnknownAbstractUnit, I as Inverse, a as Unit, A as AbstractUnit, c as DivideUnitExponents } from './_index.mjs';
+import { t as Multiply, q as Divide, i as UnknownUnit, h as UnknownAbstractUnit, E as Exponent, P as Pow, R as Root, o as PosExponent } from './_units.mjs';
 
 /**
  * @module uom-types/functions/higher-order
@@ -43,13 +43,20 @@ declare function mod<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) =
  * @category Math
  */
 declare function modSafe<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => OperationIO<T>;
-type PowFunction<E extends number, B extends number> = E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends -1 ? (b: B) => Inverse<B> : E extends 0 ? (b: B) => B extends UnknownUnit ? Unit<{}> : B extends UnknownAbstractUnit ? AbstractUnit<{}> : 1 : E extends 0.5 ? (b: B) => DivideUnitExponents<B, 2> : E extends 1 ? (b: B) => B : E extends 2 ? (b: B) => Multiply<B, B> : E extends 3 ? (b: B) => Multiply<B, Multiply<B, B>> : E extends 4 ? (b: B) => Multiply<B, Multiply<B, Multiply<B, B>>> : (b: B) => number;
+type PowFunction<E extends number, B extends number> = E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends Exponent ? (b: B) => Pow<B, E> : E extends 0.5 ? (b: B) => Root<B, 2> : (b: B) => number;
 /**
  * Put a number to the power of the given value.
  *
  * @category Math
  */
 declare function pow<E extends number>(exponent: E): <B extends number>(base: Parameters<PowFunction<E, B>>[0]) => ReturnType<PowFunction<E, B>>;
+type RootFunction<E extends number, B extends number> = E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E extends PosExponent ? (b: B) => Root<B, E> : (b: B) => number;
+/**
+ * Take the nth root of a number.
+ *
+ * @category Math
+ */
+declare function root<N extends number>(exponent: N): <B extends number>(base: Parameters<RootFunction<N, B>>[0]) => ReturnType<RootFunction<N, B>>;
 /**
  * Equal: Compare if a value is equal to the given value.
  *
@@ -81,4 +88,4 @@ declare function lt<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) =>
  */
 declare function lte<T extends number>(a: OperationIO<T>): (b: OperationIO<T>) => boolean;
 
-export { add, div, eq, gt, gte, lt, lte, mod, modSafe, mul, pow, sub };
+export { add, div, eq, gt, gte, lt, lte, mod, modSafe, mul, pow, root, sub };