uom-types 1.0.3 → 3.0.0

package/README.md

@@ -6,7 +6,8 @@ Typesafe units with no runtime overhead.
 
 [![npm version](https://img.shields.io/npm/v/uom-types.svg)](https://www.npmjs.com/package/uom-types)
 [![CI](https://github.com/RebeccaStevens/uom-types/actions/workflows/release.yml/badge.svg)](https://github.com/RebeccaStevens/uom-types/actions/workflows/release.yml)
-[![Coverage Status](https://codecov.io/gh/RebeccaStevens/uom-types/branch/main/graph/badge.svg?token=MVpR1oAbIT)](https://codecov.io/gh/RebeccaStevens/uom-types)\
+[![Coverage Status](https://codecov.io/gh/RebeccaStevens/uom-types/branch/main/graph/badge.svg?token=MVpR1oAbIT)](https://codecov.io/gh/RebeccaStevens/uom-types)
+[![Documentation](./docs/coverage.svg)](https://RebeccaStevens.github.io/uom-types/stable/)\
 [![code style: prettier](https://img.shields.io/badge/code_style-prettier-ff69b4.svg?style=flat-square)](https://github.com/prettier/prettier)
 [![GitHub Discussions](https://img.shields.io/github/discussions/RebeccaStevens/uom-types?style=flat-square)](https://github.com/RebeccaStevens/uom-types/discussions)
 [![BSD 3 Clause license](https://img.shields.io/github/license/RebeccaStevens/uom-types.svg?style=flat-square)](https://opensource.org/licenses/BSD-3-Clause)
@@ -19,6 +20,13 @@ Typesafe units with no runtime overhead.
 
 [Any donations would be much appreciated](./DONATIONS.md). 😄
 
+### Enterprise Users
+
+`uom-types` is available as part of the Tidelift Subscription.
+
+Tidelift is working with the maintainers of `uom-types` and a growing network of open source maintainers to ensure your open source software supply chain meets enterprise standards now and into the future.
+[Learn more.](https://tidelift.com/subscription/pkg/npm-uom-types?utm_source=npm-uom-types&utm_medium=referral&utm_campaign=enterprise&utm_term=repo)
+
 ## Installation
 
 ```sh
@@ -32,6 +40,30 @@ pnpm add -D uom-types
 yarn add -D uom-types
 ```
 
+### Library Make Up
+
+This library is split into several submodules.
+
+- `uom-types`\
+  Defines the core types of this library. You'll only need to use if if you are defining your own custom types.
+
+- `uom-types/functions`\
+  Defines runtime mathematical functions that are type-aware of this library's type.
+
+- `uom-types/functions/higher-order`\
+  Defines runtime higher order mathematical functions that are type-aware of this library's type.
+
+- `uom-types/units`\
+  Defines common types.\
+  Note: does not currently define any imperial types.
+
+- `uom-types/units/converters`\
+  Defines runtime functions for converting between different units of the same `UnitClass`.
+
+## Documentation
+
+Check out [RebeccaStevens.github.io/uom-types](https://RebeccaStevens.github.io/uom-types/stable/) for the documentation.
+
 ## Inspiration
 
 Inspired by [uom-ts](https://github.com/mindbrave/uom-ts).

package/dist/_angle-plane.d.cts

@@ -0,0 +1,89 @@
+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';
+
+type SiUnitKeys = "Second" | "Metre" | "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
+ */
+type BaseUnitClass<T extends Exactify<SiUnitConfig, T>> = UnitClass<T>;
+type SiUnitConfig = {
+    [K in SiUnitKeys]?: Exponent;
+};
+
+/**
+ * @group Unit Classes
+ * @category Angle (Plane)
+ */
+type PlaneAngleUnitClass = BaseUnitClass<{
+    Radian: 1;
+}>;
+/**
+ * @group Abstract Units
+ * @category Angle (Plane)
+ */
+type PlaneAngle = AbstractUnitFrom<PlaneAngleUnitClass>;
+/**
+ * @group Unit Generators
+ * @category Angle (Plane)
+ */
+type PlaneAngleUnit<M extends UnitSubvalues> = PlaneAngleUnitFrom<UnitMeta<M>>;
+/**
+ * @group Unit Generators
+ * @category Angle (Plane)
+ */
+type PlaneAngleUnitFrom<M extends UnknownUnitMeta> = UnitFrom<PlaneAngleUnitClass, M>;
+/**
+ * A unit of {@link PlaneAngle}.
+ *
+ * One radian is equal to the angle subtended at the centre of a circle by an
+ * arc equal in length to the radius.
+ * The total plane angle about a point is 2π radian.
+ *
+ * @group Units
+ * @category Base
+ * @category Angle (Plane)
+ * @symbol `rad`
+ */
+type Radian = PlaneAngleUnit<{}>;
+/**
+ * A unit of {@link PlaneAngle}.
+ *
+ * The total plane angle of a circle is 360 degrees.
+ *
+ * @group Units
+ * @category Angle (Plane)
+ * @symbol `°`
+ */
+type Degree = PlaneAngleUnit<{
+    scalar360: 1;
+    scalar2π: -1;
+}>;
+/**
+ * A unit of {@link PlaneAngle}.
+ *
+ * One gradian is equal to 100th of a right angle.
+ * The total plane angle about a point is 400 gradian.
+ *
+ * @group Units
+ * @category Angle (Plane)
+ * @symbol `gon`
+ */
+type Gradian = PlaneAngleUnit<{
+    scalar400: 1;
+    scalar2π: -1;
+}>;
+/**
+ * A unit of {@link PlaneAngle}.
+ *
+ * One turn is equal to 1 full rotation about a point.
+ *
+ * @group Units
+ * @category Angle (Plane)
+ * @symbol `tr`
+ */
+type Turn = PlaneAngleUnit<{
+    scalar2π: -1;
+}>;
+
+export { BaseUnitClass as B, Degree as D, Gradian as G, PlaneAngleUnitClass as P, Radian as R, Turn as T, PlaneAngle as a, PlaneAngleUnit as b, PlaneAngleUnitFrom as c };

package/dist/_angle-plane.d.mts

@@ -0,0 +1,89 @@
+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';
+
+type SiUnitKeys = "Second" | "Metre" | "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
+ */
+type BaseUnitClass<T extends Exactify<SiUnitConfig, T>> = UnitClass<T>;
+type SiUnitConfig = {
+    [K in SiUnitKeys]?: Exponent;
+};
+
+/**
+ * @group Unit Classes
+ * @category Angle (Plane)
+ */
+type PlaneAngleUnitClass = BaseUnitClass<{
+    Radian: 1;
+}>;
+/**
+ * @group Abstract Units
+ * @category Angle (Plane)
+ */
+type PlaneAngle = AbstractUnitFrom<PlaneAngleUnitClass>;
+/**
+ * @group Unit Generators
+ * @category Angle (Plane)
+ */
+type PlaneAngleUnit<M extends UnitSubvalues> = PlaneAngleUnitFrom<UnitMeta<M>>;
+/**
+ * @group Unit Generators
+ * @category Angle (Plane)
+ */
+type PlaneAngleUnitFrom<M extends UnknownUnitMeta> = UnitFrom<PlaneAngleUnitClass, M>;
+/**
+ * A unit of {@link PlaneAngle}.
+ *
+ * One radian is equal to the angle subtended at the centre of a circle by an
+ * arc equal in length to the radius.
+ * The total plane angle about a point is 2π radian.
+ *
+ * @group Units
+ * @category Base
+ * @category Angle (Plane)
+ * @symbol `rad`
+ */
+type Radian = PlaneAngleUnit<{}>;
+/**
+ * A unit of {@link PlaneAngle}.
+ *
+ * The total plane angle of a circle is 360 degrees.
+ *
+ * @group Units
+ * @category Angle (Plane)
+ * @symbol `°`
+ */
+type Degree = PlaneAngleUnit<{
+    scalar360: 1;
+    scalar2π: -1;
+}>;
+/**
+ * A unit of {@link PlaneAngle}.
+ *
+ * One gradian is equal to 100th of a right angle.
+ * The total plane angle about a point is 400 gradian.
+ *
+ * @group Units
+ * @category Angle (Plane)
+ * @symbol `gon`
+ */
+type Gradian = PlaneAngleUnit<{
+    scalar400: 1;
+    scalar2π: -1;
+}>;
+/**
+ * A unit of {@link PlaneAngle}.
+ *
+ * One turn is equal to 1 full rotation about a point.
+ *
+ * @group Units
+ * @category Angle (Plane)
+ * @symbol `tr`
+ */
+type Turn = PlaneAngleUnit<{
+    scalar2π: -1;
+}>;
+
+export { BaseUnitClass as B, Degree as D, Gradian as G, PlaneAngleUnitClass as P, Radian as R, Turn as T, PlaneAngle as a, PlaneAngleUnit as b, PlaneAngleUnitFrom as c };

package/dist/_identity.d.cts

@@ -0,0 +1,29 @@
+import { d as AbstractUnitFrom, e as UnitSubvalues, f as UnitMeta, g as UnknownUnitMeta, h as UnitFrom } from './_index.cjs';
+import { B as BaseUnitClass } from './_angle-plane.cjs';
+
+/**
+ * @group Unit Classes
+ */
+type IdentityUnitClass = BaseUnitClass<{}>;
+/**
+ * @group Abstract Units
+ */
+type Identity = AbstractUnitFrom<IdentityUnitClass>;
+/**
+ * @group Unit Generators
+ */
+type IdentityUnit<M extends UnitSubvalues> = IdentityUnitFrom<UnitMeta<M>>;
+/**
+ * @group Unit Generators
+ */
+type IdentityUnitFrom<M extends UnknownUnitMeta> = UnitFrom<IdentityUnitClass, M>;
+/**
+ * A {@link Unit} with no units.
+ *
+ * @group Units
+ * @category Base
+ * @symbol ``
+ */
+type Unitless = IdentityUnit<{}>;
+
+export { IdentityUnitClass as I, Unitless as U, Identity as a, IdentityUnit as b, IdentityUnitFrom as c };

package/dist/_identity.d.mts

@@ -0,0 +1,29 @@
+import { d as AbstractUnitFrom, e as UnitSubvalues, f as UnitMeta, g as UnknownUnitMeta, h as UnitFrom } from './_index.mjs';
+import { B as BaseUnitClass } from './_angle-plane.mjs';
+
+/**
+ * @group Unit Classes
+ */
+type IdentityUnitClass = BaseUnitClass<{}>;
+/**
+ * @group Abstract Units
+ */
+type Identity = AbstractUnitFrom<IdentityUnitClass>;
+/**
+ * @group Unit Generators
+ */
+type IdentityUnit<M extends UnitSubvalues> = IdentityUnitFrom<UnitMeta<M>>;
+/**
+ * @group Unit Generators
+ */
+type IdentityUnitFrom<M extends UnknownUnitMeta> = UnitFrom<IdentityUnitClass, M>;
+/**
+ * A {@link Unit} with no units.
+ *
+ * @group Units
+ * @category Base
+ * @symbol ``
+ */
+type Unitless = IdentityUnit<{}>;
+
+export { IdentityUnitClass as I, Unitless as U, Identity as a, IdentityUnit as b, IdentityUnitFrom as c };

package/dist/_index.d.cts

@@ -0,0 +1,235 @@
+/**
+ * @file Autogenerated File - Don't manually edit.
+ */
+/**
+ * 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;
+/**
+ * @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;
+/**
+ * @group Exponent Functions
+ */
+type SumExponents<A extends Exponent, B extends Exponent> = A extends 0 ? B extends 0 ? 0 : B extends 1 ? 1 : B extends -1 ? -1 : B extends 2 ? 2 : B extends -2 ? -2 : B extends 3 ? 3 : B extends -3 ? -3 : B extends 4 ? 4 : B extends -4 ? -4 : B extends 5 ? 5 : B extends -5 ? -5 : B extends 6 ? 6 : B extends -6 ? -6 : B extends 7 ? 7 : B extends -7 ? -7 : B extends 8 ? 8 : B extends -8 ? -8 : B extends 9 ? 9 : B extends -9 ? -9 : B extends 10 ? 10 : B extends -10 ? -10 : B extends 11 ? 11 : B extends -11 ? -11 : B extends 12 ? 12 : B extends -12 ? -12 : never : A extends 1 ? B extends 0 ? 1 : B extends 1 ? 2 : B extends -1 ? 0 : B extends 2 ? 3 : B extends -2 ? -1 : B extends 3 ? 4 : B extends -3 ? -2 : B extends 4 ? 5 : B extends -4 ? -3 : B extends 5 ? 6 : B extends -5 ? -4 : B extends 6 ? 7 : B extends -6 ? -5 : B extends 7 ? 8 : B extends -7 ? -6 : B extends 8 ? 9 : B extends -8 ? -7 : B extends 9 ? 10 : B extends -9 ? -8 : B extends 10 ? 11 : B extends -10 ? -9 : B extends 11 ? 12 : B extends -11 ? -10 : B extends -12 ? -11 : never : A extends -1 ? B extends 0 ? -1 : B extends 1 ? 0 : B extends -1 ? -2 : B extends 2 ? 1 : B extends -2 ? -3 : B extends 3 ? 2 : B extends -3 ? -4 : B extends 4 ? 3 : B extends -4 ? -5 : B extends 5 ? 4 : B extends -5 ? -6 : B extends 6 ? 5 : B extends -6 ? -7 : B extends 7 ? 6 : B extends -7 ? -8 : B extends 8 ? 7 : B extends -8 ? -9 : B extends 9 ? 8 : B extends -9 ? -10 : B extends 10 ? 9 : B extends -10 ? -11 : B extends 11 ? 10 : B extends -11 ? -12 : B extends 12 ? 11 : never : A extends 2 ? B extends 0 ? 2 : B extends 1 ? 3 : B extends -1 ? 1 : B extends 2 ? 4 : B extends -2 ? 0 : B extends 3 ? 5 : B extends -3 ? -1 : B extends 4 ? 6 : B extends -4 ? -2 : B extends 5 ? 7 : B extends -5 ? -3 : B extends 6 ? 8 : B extends -6 ? -4 : B extends 7 ? 9 : B extends -7 ? -5 : B extends 8 ? 10 : B extends -8 ? -6 : B extends 9 ? 11 : B extends -9 ? -7 : B extends 10 ? 12 : B extends -10 ? -8 : B extends -11 ? -9 : B extends -12 ? -10 : never : A extends -2 ? B extends 0 ? -2 : B extends 1 ? -1 : B extends -1 ? -3 : B extends 2 ? 0 : B extends -2 ? -4 : B extends 3 ? 1 : B extends -3 ? -5 : B extends 4 ? 2 : B extends -4 ? -6 : B extends 5 ? 3 : B extends -5 ? -7 : B extends 6 ? 4 : B extends -6 ? -8 : B extends 7 ? 5 : B extends -7 ? -9 : B extends 8 ? 6 : B extends -8 ? -10 : B extends 9 ? 7 : B extends -9 ? -11 : B extends 10 ? 8 : B extends -10 ? -12 : B extends 11 ? 9 : B extends 12 ? 10 : never : A extends 3 ? B extends 0 ? 3 : B extends 1 ? 4 : B extends -1 ? 2 : B extends 2 ? 5 : B extends -2 ? 1 : B extends 3 ? 6 : B extends -3 ? 0 : B extends 4 ? 7 : B extends -4 ? -1 : B extends 5 ? 8 : B extends -5 ? -2 : B extends 6 ? 9 : B extends -6 ? -3 : B extends 7 ? 10 : B extends -7 ? -4 : B extends 8 ? 11 : B extends -8 ? -5 : B extends 9 ? 12 : B extends -9 ? -6 : B extends -10 ? -7 : B extends -11 ? -8 : B extends -12 ? -9 : never : A extends -3 ? B extends 0 ? -3 : B extends 1 ? -2 : B extends -1 ? -4 : B extends 2 ? -1 : B extends -2 ? -5 : B extends 3 ? 0 : B extends -3 ? -6 : B extends 4 ? 1 : B extends -4 ? -7 : B extends 5 ? 2 : B extends -5 ? -8 : B extends 6 ? 3 : B extends -6 ? -9 : B extends 7 ? 4 : B extends -7 ? -10 : B extends 8 ? 5 : B extends -8 ? -11 : B extends 9 ? 6 : B extends -9 ? -12 : B extends 10 ? 7 : B extends 11 ? 8 : B extends 12 ? 9 : never : A extends 4 ? B extends 0 ? 4 : B extends 1 ? 5 : B extends -1 ? 3 : B extends 2 ? 6 : B extends -2 ? 2 : B extends 3 ? 7 : B extends -3 ? 1 : B extends 4 ? 8 : B extends -4 ? 0 : B extends 5 ? 9 : B extends -5 ? -1 : B extends 6 ? 10 : B extends -6 ? -2 : B extends 7 ? 11 : B extends -7 ? -3 : B extends 8 ? 12 : B extends -8 ? -4 : B extends -9 ? -5 : B extends -10 ? -6 : B extends -11 ? -7 : B extends -12 ? -8 : never : A extends -4 ? B extends 0 ? -4 : B extends 1 ? -3 : B extends -1 ? -5 : B extends 2 ? -2 : B extends -2 ? -6 : B extends 3 ? -1 : B extends -3 ? -7 : B extends 4 ? 0 : B extends -4 ? -8 : B extends 5 ? 1 : B extends -5 ? -9 : B extends 6 ? 2 : B extends -6 ? -10 : B extends 7 ? 3 : B extends -7 ? -11 : B extends 8 ? 4 : B extends -8 ? -12 : B extends 9 ? 5 : B extends 10 ? 6 : B extends 11 ? 7 : B extends 12 ? 8 : never : A extends 5 ? B extends 0 ? 5 : B extends 1 ? 6 : B extends -1 ? 4 : B extends 2 ? 7 : B extends -2 ? 3 : B extends 3 ? 8 : B extends -3 ? 2 : B extends 4 ? 9 : B extends -4 ? 1 : B extends 5 ? 10 : B extends -5 ? 0 : B extends 6 ? 11 : B extends -6 ? -1 : B extends 7 ? 12 : B extends -7 ? -2 : B extends -8 ? -3 : B extends -9 ? -4 : B extends -10 ? -5 : B extends -11 ? -6 : B extends -12 ? -7 : never : A extends -5 ? B extends 0 ? -5 : B extends 1 ? -4 : B extends -1 ? -6 : B extends 2 ? -3 : B extends -2 ? -7 : B extends 3 ? -2 : B extends -3 ? -8 : B extends 4 ? -1 : B extends -4 ? -9 : B extends 5 ? 0 : B extends -5 ? -10 : B extends 6 ? 1 : B extends -6 ? -11 : B extends 7 ? 2 : B extends -7 ? -12 : B extends 8 ? 3 : B extends 9 ? 4 : B extends 10 ? 5 : B extends 11 ? 6 : B extends 12 ? 7 : never : A extends 6 ? B extends 0 ? 6 : B extends 1 ? 7 : B extends -1 ? 5 : B extends 2 ? 8 : B extends -2 ? 4 : B extends 3 ? 9 : B extends -3 ? 3 : B extends 4 ? 10 : B extends -4 ? 2 : B extends 5 ? 11 : B extends -5 ? 1 : B extends 6 ? 12 : B extends -6 ? 0 : B extends -7 ? -1 : B extends -8 ? -2 : B extends -9 ? -3 : B extends -10 ? -4 : B extends -11 ? -5 : B extends -12 ? -6 : never : A extends -6 ? B extends 0 ? -6 : B extends 1 ? -5 : B extends -1 ? -7 : B extends 2 ? -4 : B extends -2 ? -8 : B extends 3 ? -3 : B extends -3 ? -9 : B extends 4 ? -2 : B extends -4 ? -10 : B extends 5 ? -1 : B extends -5 ? -11 : B extends 6 ? 0 : B extends -6 ? -12 : B extends 7 ? 1 : B extends 8 ? 2 : B extends 9 ? 3 : B extends 10 ? 4 : B extends 11 ? 5 : B extends 12 ? 6 : never : A extends 7 ? B extends 0 ? 7 : B extends 1 ? 8 : B extends -1 ? 6 : B extends 2 ? 9 : B extends -2 ? 5 : B extends 3 ? 10 : B extends -3 ? 4 : B extends 4 ? 11 : B extends -4 ? 3 : B extends 5 ? 12 : B extends -5 ? 2 : B extends -6 ? 1 : B extends -7 ? 0 : B extends -8 ? -1 : B extends -9 ? -2 : B extends -10 ? -3 : B extends -11 ? -4 : B extends -12 ? -5 : never : A extends -7 ? B extends 0 ? -7 : B extends 1 ? -6 : B extends -1 ? -8 : B extends 2 ? -5 : B extends -2 ? -9 : B extends 3 ? -4 : B extends -3 ? -10 : B extends 4 ? -3 : B extends -4 ? -11 : B extends 5 ? -2 : B extends -5 ? -12 : B extends 6 ? -1 : B extends 7 ? 0 : B extends 8 ? 1 : B extends 9 ? 2 : B extends 10 ? 3 : B extends 11 ? 4 : B extends 12 ? 5 : never : A extends 8 ? B extends 0 ? 8 : B extends 1 ? 9 : B extends -1 ? 7 : B extends 2 ? 10 : B extends -2 ? 6 : B extends 3 ? 11 : B extends -3 ? 5 : B extends 4 ? 12 : B extends -4 ? 4 : B extends -5 ? 3 : B extends -6 ? 2 : B extends -7 ? 1 : B extends -8 ? 0 : B extends -9 ? -1 : B extends -10 ? -2 : B extends -11 ? -3 : B extends -12 ? -4 : never : A extends -8 ? B extends 0 ? -8 : B extends 1 ? -7 : B extends -1 ? -9 : B extends 2 ? -6 : B extends -2 ? -10 : B extends 3 ? -5 : B extends -3 ? -11 : B extends 4 ? -4 : B extends -4 ? -12 : B extends 5 ? -3 : B extends 6 ? -2 : B extends 7 ? -1 : B extends 8 ? 0 : B extends 9 ? 1 : B extends 10 ? 2 : B extends 11 ? 3 : B extends 12 ? 4 : never : A extends 9 ? B extends 0 ? 9 : B extends 1 ? 10 : B extends -1 ? 8 : B extends 2 ? 11 : B extends -2 ? 7 : B extends 3 ? 12 : B extends -3 ? 6 : B extends -4 ? 5 : B extends -5 ? 4 : B extends -6 ? 3 : B extends -7 ? 2 : B extends -8 ? 1 : B extends -9 ? 0 : B extends -10 ? -1 : B extends -11 ? -2 : B extends -12 ? -3 : never : A extends -9 ? B extends 0 ? -9 : B extends 1 ? -8 : B extends -1 ? -10 : B extends 2 ? -7 : B extends -2 ? -11 : B extends 3 ? -6 : B extends -3 ? -12 : B extends 4 ? -5 : B extends 5 ? -4 : B extends 6 ? -3 : B extends 7 ? -2 : B extends 8 ? -1 : B extends 9 ? 0 : B extends 10 ? 1 : B extends 11 ? 2 : B extends 12 ? 3 : never : A extends 10 ? B extends 0 ? 10 : B extends 1 ? 11 : B extends -1 ? 9 : B extends 2 ? 12 : B extends -2 ? 8 : B extends -3 ? 7 : B extends -4 ? 6 : B extends -5 ? 5 : B extends -6 ? 4 : B extends -7 ? 3 : B extends -8 ? 2 : B extends -9 ? 1 : B extends -10 ? 0 : B extends -11 ? -1 : B extends -12 ? -2 : never : A extends -10 ? B extends 0 ? -10 : B extends 1 ? -9 : B extends -1 ? -11 : B extends 2 ? -8 : B extends -2 ? -12 : B extends 3 ? -7 : B extends 4 ? -6 : B extends 5 ? -5 : B extends 6 ? -4 : B extends 7 ? -3 : B extends 8 ? -2 : B extends 9 ? -1 : B extends 10 ? 0 : B extends 11 ? 1 : B extends 12 ? 2 : never : A extends 11 ? B extends 0 ? 11 : B extends 1 ? 12 : B extends -1 ? 10 : B extends -2 ? 9 : B extends -3 ? 8 : B extends -4 ? 7 : B extends -5 ? 6 : B extends -6 ? 5 : B extends -7 ? 4 : B extends -8 ? 3 : B extends -9 ? 2 : B extends -10 ? 1 : B extends -11 ? 0 : B extends -12 ? -1 : never : A extends -11 ? B extends 0 ? -11 : B extends 1 ? -10 : B extends -1 ? -12 : B extends 2 ? -9 : B extends 3 ? -8 : B extends 4 ? -7 : B extends 5 ? -6 : B extends 6 ? -5 : B extends 7 ? -4 : B extends 8 ? -3 : B extends 9 ? -2 : B extends 10 ? -1 : B extends 11 ? 0 : B extends 12 ? 1 : never : A extends 12 ? B extends 0 ? 12 : B extends -1 ? 11 : B extends -2 ? 10 : B extends -3 ? 9 : B extends -4 ? 8 : B extends -5 ? 7 : B extends -6 ? 6 : B extends -7 ? 5 : B extends -8 ? 4 : B extends -9 ? 3 : B extends -10 ? 2 : B extends -11 ? 1 : B extends -12 ? 0 : never : A extends -12 ? B extends 0 ? -12 : B extends 1 ? -11 : B extends 2 ? -10 : B extends 3 ? -9 : B extends 4 ? -8 : B extends 5 ? -7 : B extends 6 ? -6 : B extends 7 ? -5 : B extends 8 ? -4 : B extends 9 ? -3 : B extends 10 ? -2 : B extends 11 ? -1 : B extends 12 ? 0 : never : never;
+/**
+ * @group Exponent Functions
+ */
+type SubExponents<A extends Exponent, B extends Exponent> = SumExponents<A, NegativeExponent<B>>;
+/**
+ * @group Exponent Functions
+ */
+type MultiplyExponents<A extends Exponent, B extends Exponent> = A extends 0 ? B extends 0 ? 0 : B extends 1 ? 0 : B extends -1 ? 0 : B extends 2 ? 0 : B extends -2 ? 0 : B extends 3 ? 0 : B extends -3 ? 0 : B extends 4 ? 0 : B extends -4 ? 0 : B extends 5 ? 0 : B extends -5 ? 0 : B extends 6 ? 0 : B extends -6 ? 0 : B extends 7 ? 0 : B extends -7 ? 0 : B extends 8 ? 0 : B extends -8 ? 0 : B extends 9 ? 0 : B extends -9 ? 0 : B extends 10 ? 0 : B extends -10 ? 0 : B extends 11 ? 0 : B extends -11 ? 0 : B extends 12 ? 0 : B extends -12 ? 0 : never : A extends 1 ? B extends 0 ? 0 : B extends 1 ? 1 : B extends -1 ? -1 : B extends 2 ? 2 : B extends -2 ? -2 : B extends 3 ? 3 : B extends -3 ? -3 : B extends 4 ? 4 : B extends -4 ? -4 : B extends 5 ? 5 : B extends -5 ? -5 : B extends 6 ? 6 : B extends -6 ? -6 : B extends 7 ? 7 : B extends -7 ? -7 : B extends 8 ? 8 : B extends -8 ? -8 : B extends 9 ? 9 : B extends -9 ? -9 : B extends 10 ? 10 : B extends -10 ? -10 : B extends 11 ? 11 : B extends -11 ? -11 : B extends 12 ? 12 : B extends -12 ? -12 : never : A extends -1 ? B extends 0 ? 0 : B extends 1 ? -1 : B extends -1 ? 1 : B extends 2 ? -2 : B extends -2 ? 2 : B extends 3 ? -3 : B extends -3 ? 3 : B extends 4 ? -4 : B extends -4 ? 4 : B extends 5 ? -5 : B extends -5 ? 5 : B extends 6 ? -6 : B extends -6 ? 6 : B extends 7 ? -7 : B extends -7 ? 7 : B extends 8 ? -8 : B extends -8 ? 8 : B extends 9 ? -9 : B extends -9 ? 9 : B extends 10 ? -10 : B extends -10 ? 10 : B extends 11 ? -11 : B extends -11 ? 11 : B extends 12 ? -12 : B extends -12 ? 12 : never : A extends 2 ? B extends 0 ? 0 : B extends 1 ? 2 : B extends -1 ? -2 : B extends 2 ? 4 : B extends -2 ? -4 : B extends 3 ? 6 : B extends -3 ? -6 : B extends 4 ? 8 : B extends -4 ? -8 : B extends 5 ? 10 : B extends -5 ? -10 : B extends 6 ? 12 : B extends -6 ? -12 : never : A extends -2 ? B extends 0 ? 0 : B extends 1 ? -2 : B extends -1 ? 2 : B extends 2 ? -4 : B extends -2 ? 4 : B extends 3 ? -6 : B extends -3 ? 6 : B extends 4 ? -8 : B extends -4 ? 8 : B extends 5 ? -10 : B extends -5 ? 10 : B extends 6 ? -12 : B extends -6 ? 12 : never : A extends 3 ? B extends 0 ? 0 : B extends 1 ? 3 : B extends -1 ? -3 : B extends 2 ? 6 : B extends -2 ? -6 : B extends 3 ? 9 : B extends -3 ? -9 : B extends 4 ? 12 : B extends -4 ? -12 : never : A extends -3 ? B extends 0 ? 0 : B extends 1 ? -3 : B extends -1 ? 3 : B extends 2 ? -6 : B extends -2 ? 6 : B extends 3 ? -9 : B extends -3 ? 9 : B extends 4 ? -12 : B extends -4 ? 12 : never : A extends 4 ? B extends 0 ? 0 : B extends 1 ? 4 : B extends -1 ? -4 : B extends 2 ? 8 : B extends -2 ? -8 : B extends 3 ? 12 : B extends -3 ? -12 : never : A extends -4 ? B extends 0 ? 0 : B extends 1 ? -4 : B extends -1 ? 4 : B extends 2 ? -8 : B extends -2 ? 8 : B extends 3 ? -12 : B extends -3 ? 12 : never : A extends 5 ? B extends 0 ? 0 : B extends 1 ? 5 : B extends -1 ? -5 : B extends 2 ? 10 : B extends -2 ? -10 : never : A extends -5 ? B extends 0 ? 0 : B extends 1 ? -5 : B extends -1 ? 5 : B extends 2 ? -10 : B extends -2 ? 10 : never : A extends 6 ? B extends 0 ? 0 : B extends 1 ? 6 : B extends -1 ? -6 : B extends 2 ? 12 : B extends -2 ? -12 : never : A extends -6 ? B extends 0 ? 0 : B extends 1 ? -6 : B extends -1 ? 6 : B extends 2 ? -12 : B extends -2 ? 12 : never : A extends 7 ? B extends 0 ? 0 : B extends 1 ? 7 : B extends -1 ? -7 : never : A extends -7 ? B extends 0 ? 0 : B extends 1 ? -7 : B extends -1 ? 7 : never : A extends 8 ? B extends 0 ? 0 : B extends 1 ? 8 : B extends -1 ? -8 : never : A extends -8 ? B extends 0 ? 0 : B extends 1 ? -8 : B extends -1 ? 8 : never : A extends 9 ? B extends 0 ? 0 : B extends 1 ? 9 : B extends -1 ? -9 : never : A extends -9 ? B extends 0 ? 0 : B extends 1 ? -9 : B extends -1 ? 9 : never : A extends 10 ? B extends 0 ? 0 : B extends 1 ? 10 : B extends -1 ? -10 : never : A extends -10 ? B extends 0 ? 0 : B extends 1 ? -10 : B extends -1 ? 10 : never : A extends 11 ? B extends 0 ? 0 : B extends 1 ? 11 : B extends -1 ? -11 : never : A extends -11 ? B extends 0 ? 0 : B extends 1 ? -11 : B extends -1 ? 11 : never : A extends 12 ? B extends 0 ? 0 : B extends 1 ? 12 : B extends -1 ? -12 : never : A extends -12 ? B extends 0 ? 0 : B extends 1 ? -12 : B extends -1 ? 12 : never : never;
+/**
+ * @group Exponent Functions
+ */
+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;
+
+/**
+ * Remove all key from the object that are `never`.
+ */
+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.
+ */
+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.
+ */
+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
+ */
+type FlatternAlias<T> = {
+    [P in keyof T]: T[P];
+} & {};
+/**
+ * Make `T` exactly `T`.
+ *
+ * @internal
+ */
+type Exactify<T, U extends T> = T & {
+    [K in keyof U]: K extends keyof T ? U[K] : never;
+};
+
+/**
+ * A unit without any meta data.
+ *
+ * @group Abstract Unit Generators
+ */
+type AbstractUnit<C extends UnitSubvalues> = number & {
+    readonly __uom_types__unit_class: UnitClass<C>;
+};
+/**
+ * Create a unit without meta data from an already existing {@link UnitClass}.
+ *
+ * @group Abstract Unit Generators
+ */
+type AbstractUnitFrom<C extends UnknownUnitClass> = C extends UnitClass<infer A> ? AbstractUnit<UnitSubvalues extends A ? {} : A> : never;
+/**
+ * The core unit type.
+ *
+ * @group Unit Generators
+ */
+type Unit<C extends UnitSubvalues, M extends UnitSubvalues = {}> = number & {
+    readonly __uom_types__unit_class: UnitClass<C>;
+    readonly __uom_types__unit_meta: UnitMeta<M>;
+};
+/**
+ * Create a {@link Unit} from already existing {@link UnitClass} and {@link UnitMeta}.
+ *
+ * @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;
+/**
+ * A {@link Unit} without any {@link UnitClass}.
+ *
+ * Used to convert from one {@link Unit} to another of the same {@link UnitClass}.
+ *
+ * @group Unit Generators
+ */
+type UnitConversionRate<M extends UnitSubvalues> = Unit<{}, 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;
+/**
+ * Used to determine what a unit is of. For example, length, volume, mass etc.
+ *
+ * @group Unit Components
+ */
+type UnitClass<T extends UnitSubvalues> = UnitKeyValues<T> & {
+    readonly __uno_types__unit_class_type: true;
+};
+/**
+ * Used to state how units of the same {@link UnitClass} differ from one another.
+ * For example, by a scale factor.
+ *
+ * @group Unit Components
+ */
+type UnitMeta<T extends UnitSubvalues> = UnitKeyValues<T> & {
+    readonly __uno_types__unit_meta_type: true;
+};
+/**
+ * A {@link Unit} that we don't know anything about.
+ *
+ * @group Unknown Units
+ */
+type UnknownUnit = UnknownAbstractUnit & {
+    readonly __uom_types__unit_meta: UnknownUnitMeta;
+};
+/**
+ * An {@link AbstractUnit} that we don't know anything about.
+ *
+ * @group Unknown Units
+ */
+type UnknownAbstractUnit = number & {
+    readonly __uom_types__unit_class: UnknownUnitClass;
+};
+/**
+ * A {@link UnitClass} that we don't know anything about.
+ *
+ * @group Unknown Units
+ */
+type UnknownUnitClass = UnknownUnitKeyValues & {
+    readonly __uno_types__unit_class_type: true;
+};
+/**
+ * A {@link UnitMeta} that we don't know anything about.
+ *
+ * @group Unknown Units
+ */
+type UnknownUnitMeta = UnknownUnitKeyValues & {
+    readonly __uno_types__unit_meta_type: true;
+};
+type UnitKeyValues<T extends UnitSubvalues> = {
+    readonly __uom_types__keys: keyof ExcludeUnitZeroSubvalues<T> extends string ? keyof ExcludeUnitZeroSubvalues<T> : never;
+    readonly __uom_types__value: RemoveNeverValues<T>;
+};
+type UnknownUnitKeyValues = {
+    readonly __uom_types__keys: string;
+    readonly __uom_types__value: {};
+};
+/**
+ * A mapping of subvalue of a unit its magnitude.
+ *
+ * @group Unit Components
+ */
+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>>> : 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>>> : 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;
+/**
+ * Inverses each of the subvalues.
+ *
+ * @group Unit Subvalue Functions
+ */
+type InverseUnitSubvalues<T extends UnitSubvalues> = {
+    [E in keyof T]: NegativeExponent<T[E]>;
+};
+/**
+ * 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;
+/**
+ * Multiply each of the subvalues from a unit with the corresponding once from another unit.
+ *
+ * @group Unit Subvalue Functions
+ */
+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`
+ */
+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
+ */
+type DivideUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues> = MultiplyUnitSubvalues<A, InverseUnitSubvalues<B>>;
+
+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 };