uom-types 4.0.1 → 4.1.1

package/CHANGELOG.md

@@ -1,6 +1,20 @@
 # Changelog
 All notable changes to this project will be documented in this file. Dates are displayed in UTC.
 
+## [4.1.1](https://github.com/RebeccaStevens/uom-types/compare/v4.1.0...v4.1.1) (2024-10-18)
+
+
+### Bug Fixes
+
+* improve handling of unitless with pow/root functions ([ad44cf3](https://github.com/RebeccaStevens/uom-types/commit/ad44cf3accf48207391c2d55b7c10f723b0dad19))
+
+# [4.1.0](https://github.com/RebeccaStevens/uom-types/compare/v4.0.1...v4.1.0) (2024-10-18)
+
+
+### Features
+
+* add ability to make brands compatible with 3rd party brands ([9f7d4cd](https://github.com/RebeccaStevens/uom-types/commit/9f7d4cd4c85bd534db93d4f4457217a43511dc0f))
+
 ## [4.0.1](https://github.com/RebeccaStevens/uom-types/compare/v4.0.0...v4.0.1) (2024-10-14)
 
 # [4.0.0](https://github.com/RebeccaStevens/uom-types/compare/v3.1.1...v4.0.0) (2024-10-14)

package/README.md

@@ -7,7 +7,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)
 [![jsr Version](https://img.shields.io/jsr/v/@rebeccastevens/uom-types.svg)](https://jsr.io/@rebeccastevens/uom-types)
 [![CI](https://github.com/RebeccaStevens/template-typescript-node-package/actions/workflows/release.yml/badge.svg)](https://github.com/RebeccaStevens/template-typescript-node-package/actions/workflows/release.yml)
-[![Coverage Status](https://codecov.io/gh/RebeccaStevens/template-typescript-node-package/branch/main/graph/badge.svg?token=MVpR1oAbIT)](https://codecov.io/gh/RebeccaStevens/template-typescript-node-package)\
+[![Coverage Status](https://codecov.io/gh/RebeccaStevens/template-typescript-node-package/branch/main/graph/badge.svg?token=MVpR1oAbIT)](https://codecov.io/gh/RebeccaStevens/template-typescript-node-package)
+[![Documentation](./docs/coverage.svg)](https://RebeccaStevens.github.io/uom-types/)\
 [![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/template-typescript-node-package?style=flat-square)](https://github.com/RebeccaStevens/template-typescript-node-package/discussions)
 [![BSD 3 Clause license](https://img.shields.io/github/license/RebeccaStevens/template-typescript-node-package.svg?style=flat-square)](https://opensource.org/licenses/BSD-3-Clause)

package/dist/index.d.cts

@@ -1,4 +1,4 @@
-// Generated by dts-bundle-generator v9.2.1
+// Generated by dts-bundle-generator v9.5.1
 
 /**
  * @file Autogenerated File - Don't manually edit.
@@ -41,6 +41,35 @@ 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 {
+}
+/**
+ * Brand with the unit meta.
+ */
+export type BrandUnitMeta<UM extends UnknownUnitMeta> = Brand & {
+	__uom_types: {
+		unitMeta: UM;
+	};
+};
+/**
+ * Brand with the unit class.
+ */
+export type BrandUnitClass<UC extends UnknownUnitClass> = Brand & {
+	__uom_types: {
+		unitClass: UC;
+	};
+};
+/**
+ * Brand that it is a unit class.
+ */
+export type BrandUnitClassType = Brand & {
+	__uom_types: {
+		unitClassType: true;
+	};
+};
 /**
  * Remove all key from the object that are `never`.
  */
@@ -83,9 +112,7 @@ export type Exactify<T, U extends T> = T & {
  *
  * @group Abstract Unit Generators
  */
-export type AbstractUnit<C extends UnitSubvalues> = number & Readonly<{
-	__uom_types__unit_class: UnitClass<C>;
-}>;
+export type AbstractUnit<C extends UnitSubvalues> = number & BrandUnitClass<UnitClass<C>>;
 /**
  * Create a unit without meta data from an already existing {@link UnitClass}.
  *
@@ -97,10 +124,7 @@ export type AbstractUnitFrom<C extends UnknownUnitClass> = C extends UnitClass<i
  *
  * @group Unit Generators
  */
-export type Unit<C extends UnitSubvalues, M extends UnitSubvalues = {}> = number & Readonly<{
-	__uom_types__unit_class: UnitClass<C>;
-	__uom_types__unit_meta: UnitMeta<M>;
-}>;
+export type Unit<C extends UnitSubvalues, M extends UnitSubvalues = {}> = number & BrandUnitClass<UnitClass<C>> & BrandUnitMeta<UnitMeta<M>>;
 /**
  * Create a {@link Unit} from already existing {@link UnitClass} and {@link UnitMeta}.
  *
@@ -114,9 +138,7 @@ export type UnitFrom<C extends UnknownUnitClass, M extends UnknownUnitMeta = Uni
  *
  * @group Unit Generators
  */
-export type UnitConversionRate<M extends UnitSubvalues> = number & Readonly<{
-	__uom_types__unit_meta: UnitMeta<M>;
-}>;
+export type UnitConversionRate<M extends UnitSubvalues> = number & BrandUnitMeta<UnitMeta<M>>;
 /**
  * Create a {@link UnitConversionRate} from already existing {@link UnitMeta}.
  *
@@ -128,9 +150,7 @@ export type UnitConversionRateFrom<M extends UnknownUnitMeta> = M extends UnitMe
  *
  * @group Unit Components
  */
-export type UnitClass<T extends UnitSubvalues> = UnitKeyValues<T> & Readonly<{
-	__uno_types__unit_class_type: true;
-}>;
+export type UnitClass<T extends UnitSubvalues> = UnitKeyValues<T> & BrandUnitClassType;
 /**
  * Used to state how units of the same {@link UnitClass} differ from one another.
  * For example, by a scale factor.
@@ -145,33 +165,25 @@ export type UnitMeta<T extends UnitSubvalues> = UnitKeyValues<T> & Readonly<{
  *
  * @group Unknown Units
  */
-export type UnknownUnit = UnknownAbstractUnit & Readonly<{
-	__uom_types__unit_meta: UnknownUnitMeta;
-}>;
+export type UnknownUnit = UnknownAbstractUnit & BrandUnitMeta<UnknownUnitMeta>;
 /**
  * An {@link AbstractUnit} that we don't know anything about.
  *
  * @group Unknown Units
  */
-export type UnknownAbstractUnit = number & Readonly<{
-	__uom_types__unit_class: UnknownUnitClass;
-}>;
+export type UnknownAbstractUnit = number & BrandUnitClass<UnknownUnitClass>;
 /**
  * An {@link UnitConversionRate} that we don't know anything about.
  *
  * @group Unknown Units
  */
-export type UnknownUnitConversionRate = number & Readonly<{
-	__uom_types__unit_meta: UnknownUnitMeta;
-}>;
+export type UnknownUnitConversionRate = number & BrandUnitMeta<UnknownUnitMeta>;
 /**
  * A {@link UnitClass} that we don't know anything about.
  *
  * @group Unknown Units
  */
-export type UnknownUnitClass = UnknownUnitKeyValues & Readonly<{
-	__uno_types__unit_class_type: true;
-}>;
+export type UnknownUnitClass = UnknownUnitKeyValues & BrandUnitClassType;
 /**
  * A {@link UnitMeta} that we don't know anything about.
  *
@@ -258,28 +270,28 @@ export type DivideUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues
  *
  * @group Unit Functions
  */
-export 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;
+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<T extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
-	[S in keyof T]: MultiplyExponents<GetExponent<T, S>, E>;
+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<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;
+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<T extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
-	[S in keyof T]: DivideExponents<GetExponent<T, S>, E>;
+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";
 /**
@@ -4256,43 +4268,38 @@ 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 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;
+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>;
 /**
  * Raise a number to the power of another.
  *
  * @category Math
  * @returns `base ** exponent`
  */
-export declare function pow<B extends number, E extends number>(base: B, exponent: E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E): E extends Exponent ? Pow<B, E> : number;
-/**
- * Put a number to the power of 1/2.
- *
- * @category Math
- * @returns `base ** 0.5`
- */
-export declare function pow<B extends number>(base: B, exponent: 0.5): Root<B, 2>;
+export declare function pow<B extends number, E extends number>(base: B, exponent: E): PowResult<B, E>;
 /**
  * Put a number to the power of the given value.
  *
  * @category Math
  * @returns `(base) => base ** exponent`
  */
-export declare function pow<E extends number>(exponent: E): <B extends number>(base: Parameters<PowFunction<E, B>>[0]) => ReturnType<PowFunction<E, B>>;
-export 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;
+export declare function pow<E extends number>(exponent: E): <B extends number>(base: Parameters<PowFunction<B, E>>[0]) => ReturnType<PowFunction<B, E>>;
 /**
  * Take the nth root of a number.
  *
  * @category Math
  * @returns `base ** (1 / exponent)`
  */
-export declare function root<B extends number, E extends number>(base: B, exponent: E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E): E extends PosExponent ? Root<B, E> : number;
+export declare function root<B extends number, E extends number>(base: B, exponent: E): RootResult<B, E>;
 /**
  * Take the nth root of a number.
  *
  * @category Math
  * @returns `(base) => base ** (1 / exponent)`
  */
-export declare function root<E extends number>(exponent: E): <B extends number>(base: Parameters<RootFunction<E, B>>[0]) => ReturnType<RootFunction<E, B>>;
+export declare function root<E extends number>(exponent: E): <B extends number>(base: Parameters<RootFunction<B, E>>[0]) => ReturnType<RootFunction<B, E>>;
 /**
  * Take the square root of the given value.
  *

package/dist/index.d.mts

@@ -1,4 +1,4 @@
-// Generated by dts-bundle-generator v9.2.1
+// Generated by dts-bundle-generator v9.5.1
 
 /**
  * @file Autogenerated File - Don't manually edit.
@@ -41,6 +41,35 @@ 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 {
+}
+/**
+ * Brand with the unit meta.
+ */
+export type BrandUnitMeta<UM extends UnknownUnitMeta> = Brand & {
+	__uom_types: {
+		unitMeta: UM;
+	};
+};
+/**
+ * Brand with the unit class.
+ */
+export type BrandUnitClass<UC extends UnknownUnitClass> = Brand & {
+	__uom_types: {
+		unitClass: UC;
+	};
+};
+/**
+ * Brand that it is a unit class.
+ */
+export type BrandUnitClassType = Brand & {
+	__uom_types: {
+		unitClassType: true;
+	};
+};
 /**
  * Remove all key from the object that are `never`.
  */
@@ -83,9 +112,7 @@ export type Exactify<T, U extends T> = T & {
  *
  * @group Abstract Unit Generators
  */
-export type AbstractUnit<C extends UnitSubvalues> = number & Readonly<{
-	__uom_types__unit_class: UnitClass<C>;
-}>;
+export type AbstractUnit<C extends UnitSubvalues> = number & BrandUnitClass<UnitClass<C>>;
 /**
  * Create a unit without meta data from an already existing {@link UnitClass}.
  *
@@ -97,10 +124,7 @@ export type AbstractUnitFrom<C extends UnknownUnitClass> = C extends UnitClass<i
  *
  * @group Unit Generators
  */
-export type Unit<C extends UnitSubvalues, M extends UnitSubvalues = {}> = number & Readonly<{
-	__uom_types__unit_class: UnitClass<C>;
-	__uom_types__unit_meta: UnitMeta<M>;
-}>;
+export type Unit<C extends UnitSubvalues, M extends UnitSubvalues = {}> = number & BrandUnitClass<UnitClass<C>> & BrandUnitMeta<UnitMeta<M>>;
 /**
  * Create a {@link Unit} from already existing {@link UnitClass} and {@link UnitMeta}.
  *
@@ -114,9 +138,7 @@ export type UnitFrom<C extends UnknownUnitClass, M extends UnknownUnitMeta = Uni
  *
  * @group Unit Generators
  */
-export type UnitConversionRate<M extends UnitSubvalues> = number & Readonly<{
-	__uom_types__unit_meta: UnitMeta<M>;
-}>;
+export type UnitConversionRate<M extends UnitSubvalues> = number & BrandUnitMeta<UnitMeta<M>>;
 /**
  * Create a {@link UnitConversionRate} from already existing {@link UnitMeta}.
  *
@@ -128,9 +150,7 @@ export type UnitConversionRateFrom<M extends UnknownUnitMeta> = M extends UnitMe
  *
  * @group Unit Components
  */
-export type UnitClass<T extends UnitSubvalues> = UnitKeyValues<T> & Readonly<{
-	__uno_types__unit_class_type: true;
-}>;
+export type UnitClass<T extends UnitSubvalues> = UnitKeyValues<T> & BrandUnitClassType;
 /**
  * Used to state how units of the same {@link UnitClass} differ from one another.
  * For example, by a scale factor.
@@ -145,33 +165,25 @@ export type UnitMeta<T extends UnitSubvalues> = UnitKeyValues<T> & Readonly<{
  *
  * @group Unknown Units
  */
-export type UnknownUnit = UnknownAbstractUnit & Readonly<{
-	__uom_types__unit_meta: UnknownUnitMeta;
-}>;
+export type UnknownUnit = UnknownAbstractUnit & BrandUnitMeta<UnknownUnitMeta>;
 /**
  * An {@link AbstractUnit} that we don't know anything about.
  *
  * @group Unknown Units
  */
-export type UnknownAbstractUnit = number & Readonly<{
-	__uom_types__unit_class: UnknownUnitClass;
-}>;
+export type UnknownAbstractUnit = number & BrandUnitClass<UnknownUnitClass>;
 /**
  * An {@link UnitConversionRate} that we don't know anything about.
  *
  * @group Unknown Units
  */
-export type UnknownUnitConversionRate = number & Readonly<{
-	__uom_types__unit_meta: UnknownUnitMeta;
-}>;
+export type UnknownUnitConversionRate = number & BrandUnitMeta<UnknownUnitMeta>;
 /**
  * A {@link UnitClass} that we don't know anything about.
  *
  * @group Unknown Units
  */
-export type UnknownUnitClass = UnknownUnitKeyValues & Readonly<{
-	__uno_types__unit_class_type: true;
-}>;
+export type UnknownUnitClass = UnknownUnitKeyValues & BrandUnitClassType;
 /**
  * A {@link UnitMeta} that we don't know anything about.
  *
@@ -258,28 +270,28 @@ export type DivideUnitSubvalues<A extends UnitSubvalues, B extends UnitSubvalues
  *
  * @group Unit Functions
  */
-export 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;
+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<T extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
-	[S in keyof T]: MultiplyExponents<GetExponent<T, S>, E>;
+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<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;
+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<T extends UnitSubvalues, E extends Exponent> = ExcludeUnitZeroSubvalues<{
-	[S in keyof T]: DivideExponents<GetExponent<T, S>, E>;
+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";
 /**
@@ -4256,43 +4268,38 @@ 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 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;
+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>;
 /**
  * Raise a number to the power of another.
  *
  * @category Math
  * @returns `base ** exponent`
  */
-export declare function pow<B extends number, E extends number>(base: B, exponent: E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E): E extends Exponent ? Pow<B, E> : number;
-/**
- * Put a number to the power of 1/2.
- *
- * @category Math
- * @returns `base ** 0.5`
- */
-export declare function pow<B extends number>(base: B, exponent: 0.5): Root<B, 2>;
+export declare function pow<B extends number, E extends number>(base: B, exponent: E): PowResult<B, E>;
 /**
  * Put a number to the power of the given value.
  *
  * @category Math
  * @returns `(base) => base ** exponent`
  */
-export declare function pow<E extends number>(exponent: E): <B extends number>(base: Parameters<PowFunction<E, B>>[0]) => ReturnType<PowFunction<E, B>>;
-export 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;
+export declare function pow<E extends number>(exponent: E): <B extends number>(base: Parameters<PowFunction<B, E>>[0]) => ReturnType<PowFunction<B, E>>;
 /**
  * Take the nth root of a number.
  *
  * @category Math
  * @returns `base ** (1 / exponent)`
  */
-export declare function root<B extends number, E extends number>(base: B, exponent: E extends UnknownUnit ? never : E extends UnknownAbstractUnit ? never : E): E extends PosExponent ? Root<B, E> : number;
+export declare function root<B extends number, E extends number>(base: B, exponent: E): RootResult<B, E>;
 /**
  * Take the nth root of a number.
  *
  * @category Math
  * @returns `(base) => base ** (1 / exponent)`
  */
-export declare function root<E extends number>(exponent: E): <B extends number>(base: Parameters<RootFunction<E, B>>[0]) => ReturnType<RootFunction<E, B>>;
+export declare function root<E extends number>(exponent: E): <B extends number>(base: Parameters<RootFunction<B, E>>[0]) => ReturnType<RootFunction<B, E>>;
 /**
  * Take the square root of the given value.
  *

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "uom-types",
-  "version": "4.0.1",
+  "version": "4.1.1",
   "description": "Typesafe units with no runtime overhead.",
   "keywords": [
     "uom",
@@ -82,7 +82,7 @@
     "typecheck": "tsc -p tsconfig.build.json --noEmit"
   },
   "resolutions": {
-    "dts-bundle-generator": "9.2.1"
+    "dts-bundle-generator": "9.5.1"
   },
   "devDependencies": {
     "@commitlint/cli": "19.5.0",
@@ -101,12 +101,12 @@
     "@semantic-release/release-notes-generator": "14.0.1",
     "@stylistic/eslint-plugin": "2.9.0",
     "@types/node": "16.18.113",
-    "@typescript-eslint/eslint-plugin": "8.8.1",
-    "@typescript-eslint/parser": "8.8.1",
+    "@typescript-eslint/eslint-plugin": "8.9.0",
+    "@typescript-eslint/parser": "8.9.0",
     "@vitest/coverage-v8": "2.1.2",
     "@vitest/eslint-plugin": "1.1.7",
     "commitizen": "4.3.1",
-    "cspell": "8.15.2",
+    "cspell": "8.15.3",
     "cz-conventional-changelog": "3.3.0",
     "eslint": "9.12.0",
     "eslint-config-prettier": "9.1.0",
@@ -117,7 +117,7 @@
     "eslint-plugin-format": "0.1.2",
     "eslint-plugin-functional": "7.0.2",
     "eslint-plugin-import-x": "4.3.1",
-    "eslint-plugin-jsdoc": "50.3.2",
+    "eslint-plugin-jsdoc": "50.4.1",
     "eslint-plugin-jsonc": "2.16.0",
     "eslint-plugin-markdown": "5.1.0",
     "eslint-plugin-n": "17.11.1",