inferred-types 0.55.14 → 0.55.16

package/modules/types/dist/index.d.ts

@@ -5738,7 +5738,7 @@ type InvalidNever = Throw<"invalid-never", `The value of T when calling IsWideTy
 type IsWideType<T, TNever = InvalidNever> = [IsNever<T>] extends [true] ? TNever : [T] extends [ErrorCondition] ? ProxyError<T, "IsWideType"> : IsWideScalar<T> extends true ? true : IsWideContainer<T> extends true ? true : IsWideUnion<T> extends true ? true : false;
 
 type Process$1k<T extends readonly unknown[]> = {
-    [K in keyof T]: IsWideType<T[K]>;
+    [K in keyof T]: IsWideType<T[K]> extends true ? true : Or<[IsUndefined<T[K]>, IsNull<T[K]>]> extends true ? true : false;
 };
 /**
  * **IsWideUnion**`<T>`
@@ -12328,6 +12328,160 @@ type FrequencyUom = {
  */
 type Frequency = `${number}${OptSpace}${FrequencyUom}`;
 
+/**
+ * **MetricCategory**
+ *
+ * A valid "category" for a `Metric` or `Uom`.
+ *
+ * **Related:** `Uom`, `Metric`
+ */
+type MetricCategory = "Acceleration" | "Area" | "Current" | "Distance" | "Frequency" | "Luminosity" | "Mass" | "Power" | "Pressure" | "Resistance" | "Speed" | "Temperature" | "Time" | "Voltage" | "Volume";
+type UnitsByCategory<T extends string, M extends readonly [string, string][], R extends string = never> = [] extends M ? R : UnitsByCategory<T, AfterFirst<M>, T extends First<M>[0] ? R | First<M>[1] : R>;
+/**
+ * **Uom**`<[T]>`
+ *
+ * A _unit of measure_ for a **metric**.
+ *
+ * - you may filter down to only units of a certain category(s) of `MetricCategory`
+ * by adjusting `T`.
+ *
+ * **Related:** `Metric`, `MetricCategory`, `AreaUom`, `SpeedUom`, ...
+ */
+type Uom<T extends MetricCategory = MetricCategory> = UnitsByCategory<T, [
+    [
+        "Acceleration",
+        AccelerationUom
+    ],
+    [
+        "Area",
+        AreaUom
+    ],
+    [
+        "Current",
+        CurrentUom
+    ],
+    [
+        "Distance",
+        DistanceUom
+    ],
+    [
+        "Frequency",
+        FrequencyUom
+    ],
+    [
+        "Luminosity",
+        LuminosityUom
+    ],
+    [
+        "Mass",
+        MassUom
+    ],
+    [
+        "Power",
+        PowerUom
+    ],
+    [
+        "Pressure",
+        PressureUom
+    ],
+    [
+        "Resistance",
+        ResistanceUom
+    ],
+    [
+        "Speed",
+        SpeedUom
+    ],
+    [
+        "Temperature",
+        TemperatureUom
+    ],
+    [
+        "Time",
+        TimeUom
+    ],
+    [
+        "Volume",
+        VoltageUom
+    ],
+    [
+        "Voltage",
+        VolumeUom
+    ]
+]>;
+/**
+ * **Metric**`<T>`
+ *
+ * A measurement which includes a numeric value plus the Unit of Measure (UOM).
+ *
+ * - you may filter down to only metrics of a certain category(s) of `MetricCategory`
+ * by adjusting `T`.
+ *
+ * **Related:** `Uom`, `MetricCategory`
+ */
+type Metric<T extends MetricCategory = MetricCategory> = UnitsByCategory<T, [
+    [
+        "Acceleration",
+        Acceleration
+    ],
+    [
+        "Area",
+        Area
+    ],
+    [
+        "Current",
+        Current
+    ],
+    [
+        "Distance",
+        Distance
+    ],
+    [
+        "Frequency",
+        Frequency
+    ],
+    [
+        "Luminosity",
+        Luminosity
+    ],
+    [
+        "Mass",
+        Mass
+    ],
+    [
+        "Power",
+        Power
+    ],
+    [
+        "Pressure",
+        Pressure
+    ],
+    [
+        "Resistance",
+        Resistance
+    ],
+    [
+        "Speed",
+        Speed
+    ],
+    [
+        "Temperature",
+        Temperature
+    ],
+    [
+        "TimeMetric",
+        TimeMetric
+    ],
+    [
+        "Voltage",
+        Voltage
+    ],
+    [
+        "Volume",
+        Volume
+    ]
+]>;
+
 type LuminosityMetricsLookup = typeof LUMINOSITY_METRICS_LOOKUP;
 /**
  * The singular name for metrics associated with **luminosity**.
@@ -12556,22 +12710,6 @@ type VolumeUom = {
  */
 type Volume = `${number}${OptSpace}${VolumeUom}`;
 
-/**
- * A measurement which includes a numeric value plus the Unit of Measure (UOM).
- *
- * **Related:** `Uom`
- */
-type Metric = Acceleration | Area | Current | Distance | Frequency | Luminosity | Mass | Power | Pressure | Resistance | Speed | Temperature | TimeMetric | Voltage | Volume;
-type MetricCategory = "Acceleration" | "Area" | "Current" | "Distance" | "Frequency" | "Luminosity" | "Mass" | "Power" | "Pressure" | "Resistance" | "Speed" | "Temperature" | "Time" | "Voltage" | "Volume";
-/**
- * **Uom**
- *
- * A _unit of measure_ for a **metric**.
- *
- * **Related:** `Metric`, `AreaUom`, `SpeedUom`,`MassUom`, `DistanceUom`, ...
- */
-type Uom = AccelerationUom | AreaUom | CurrentUom | DistanceUom | FrequencyUom | LuminosityUom | MassUom | PowerUom | PressureUom | ResistanceUom | SpeedUom | TemperatureUom | TimeUom | VoltageUom | VolumeUom;
-
 /**
  * Handles dropping a non-union type which can be a single
  * character OR a sequence of characters

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "inferred-types",
-  "version": "0.55.14",
+  "version": "0.55.16",
   "description": "Functions which provide useful type inference on TS projects",
   "license": "MIT",
   "author": "Ken Snyder<ken@ken.net>",