inferred-types 0.53.6 → 0.53.7

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

@@ -14919,6 +14919,10 @@ type NumericKeys<TList extends Tuple> = Process$p<TList> extends readonly number
 type _Get<T, K, Acc = never> = K extends `${infer A}.${infer B}` ? A extends keyof T ? _Get<T[A], B, _Get<T[A], B>> : Acc : K extends keyof T ? _Get<T[K], K, T[K]> : Acc;
 /**
  * **Get**`<TContainer,TDotPath,[TDefVal]>`
+ *
+ * Provides a type utility which allows reaching into
+ * a container using a _dot path_ to get the type
+ * somewhere inside the parent structure.
  */
 type Get$1<TContainer, TDotPath, TDefVal = undefined> = IsNever<_Get<TContainer, TDotPath>> extends true ? TDefVal : _Get<TContainer, TDotPath> extends undefined ? TDefVal : _Get<TContainer, TDotPath>;
 
@@ -15245,6 +15249,18 @@ type TruthyReturns<T extends readonly unknown[]> = TupleToUnion<{
     [K in keyof T]: T[K] extends TypedFunction ? If<IsTruthy<ReturnType<T[K]>>, true, false, boolean> : If<IsTruthy<T[K]>, true, false, boolean>;
 }>;
 
+/**
+ * Tests whether any of the object in T are explicitly missing
+ * the property P
+ */
+type HasMissingInstance<T extends readonly Record<string, unknown>[], P extends string> = [] extends T ? false : P extends keyof First<T> ? HasMissingInstance<AfterFirst<T>, P> : true;
+/**
+ * removes objects that do not have the property P
+ */
+type RemoveMissing<T extends readonly Record<string, unknown>[], P extends string, R extends readonly Record<string, unknown>[] = []> = [] extends T ? R[number] : RemoveMissing<AfterFirst<T>, P, P extends keyof First<T> ? [
+    ...R,
+    First<T>
+] : R>;
 /**
  * **UnionFromProp**
  *
@@ -15252,9 +15268,9 @@ type TruthyReturns<T extends readonly unknown[]> = TupleToUnion<{
  * return a _union type_ of all the potential values of the objects which have
  * a keyof `P`.
  *
- * If an object in the array _explicitly_ doesn't have the prop in it's definition then it
- * is ignored, if it is shaped to be an optional property then `undefined` will be included
- * in the union.
+ * If an object in the array _explicitly_ doesn't have the prop in it's definition
+ * then it is ignored, if it is shaped to be an optional property then `undefined`
+ *  will be included in the union.
  *
  * ```ts
  * const data = [
@@ -15265,7 +15281,7 @@ type TruthyReturns<T extends readonly unknown[]> = TupleToUnion<{
  * type U = UnionFromProp<typeof data, "id">;
  * ```
  */
-type UnionFromProp<T extends readonly Record<string, unknown>[], P extends string> = Get$1<T[number], P>;
+type UnionFromProp<T extends readonly Record<string, unknown>[], P extends string> = HasMissingInstance<T, P> extends true ? Get$1<RemoveMissing<T, P>, P> | undefined : Get$1<T[number], P>;
 
 type _Keys$2<T extends object> = UnionToTuple$1<keyof RemoveIndexKeys<T>> extends readonly ObjectKey[] ? UnionToTuple$1<keyof RemoveIndexKeys<T>> : never;
 type ProcessObj$1<T extends Container, TKeys extends readonly PropertyKey[], TResults extends Dictionary = EmptyObject> = [] extends TKeys ? TResults : First<TKeys> extends keyof T ? IfNever<T[First<TKeys>], ProcessObj$1<T, AfterFirst<TKeys>, TResults>, ProcessObj$1<T, AfterFirst<TKeys>, First<TKeys> extends keyof T ? TResults extends readonly unknown[] ? [...TResults, T[First<TKeys>]] : TResults extends Dictionary ? TResults & Record<First<TKeys>, T[First<TKeys>]> : never : never>> : never;

package/package.json

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