inferred-types 0.53.6 → 0.53.7

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

@@ -14168,6 +14168,10 @@ type NumericKeys$1<TList extends Tuple$1> = Process$p$1<TList> extends readonly
 type _Get$1<T, K, Acc = never> = K extends `${infer A}.${infer B}` ? A extends keyof T ? _Get$1<T[A], B, _Get$1<T[A], B>> : Acc : K extends keyof T ? _Get$1<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$1<TContainer, TDotPath, TDefVal = undefined> = IsNever$1<_Get$1<TContainer, TDotPath>> extends true ? TDefVal : _Get$1<TContainer, TDotPath> extends undefined ? TDefVal : _Get$1<TContainer, TDotPath>;
 
@@ -15751,6 +15755,8 @@ declare function createFnWithProps<TArgs extends readonly unknown[], TReturn ext
  * // { foo: 1; bar: number; baz: number }
  * const fooBarBaz = defineObj({foo: 1})({bar: 2, baz: 3});
  * ```
+ *
+ * **Related:** `defineObject`
  */
 declare function defineObj<N extends Narrowable$1, TLiteral extends Record<string, N>>(literal?: TLiteral): <N2 extends Narrowable$1, TWide extends Record<string, N2>>(wide?: TWide) => ExpandDictionary$1<RemoveIndex$1<TLiteral> & (IsNonEmptyObject$1<TWide> extends true ? Widen$1<TWide> : EmptyObject$1)>;
 
@@ -33403,6 +33409,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>;
 
@@ -33729,6 +33739,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**
  *
@@ -33736,9 +33758,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 = [
@@ -33749,7 +33771,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;