inferred-types 0.55.14 → 0.55.15

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

@@ -4553,7 +4553,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>`
@@ -12115,7 +12115,7 @@ declare function getYesterday(): Iso8601Date<"explicit">;
  */
 declare function isLeapYear(val: NumberLike | Record<string, any> | Date | number): boolean;
 
-type Returns$5<T extends DefineObject, P extends readonly (keyof T & string)[]> = P["length"] extends 0 ? FromDefineObject<T> : MakeKeysOptional<T, P> extends DefineObject ? FromDefineObject<MakeKeysOptional<T, P>> : never;
+type Returns$6<T extends DefineObject, P extends readonly (keyof T & string)[]> = P["length"] extends 0 ? FromDefineObject<T> : MakeKeysOptional<T, P> extends DefineObject ? FromDefineObject<MakeKeysOptional<T, P>> : never;
 /**
  * Takes an object definition where the values are either
  * `SimpleToken` representations of a type or a `ShapeCallback`.
@@ -12123,7 +12123,7 @@ type Returns$5<T extends DefineObject, P extends readonly (keyof T & string)[]>
  * In both cases the runtime type is left unchanged but the
  * type is converted to represent the designed object shape.
  */
-declare function defineObject<T extends DefineObject, P extends readonly (keyof T & string)[]>(defn: T, ..._optProps: P): Returns$5<T, P>;
+declare function defineObject<T extends DefineObject, P extends readonly (keyof T & string)[]>(defn: T, ..._optProps: P): Returns$6<T, P>;
 
 /**
  * **entries**
@@ -12821,14 +12821,14 @@ type _Index<T extends readonly string[], IF, ELSE, Results extends readonly unkn
     ...Results,
     If<Extends<T, LowerAlphaChar>, IF, ELSE>
 ]>;
-type Returns$4<T extends string | readonly string[], IF, ELSE> = T extends string ? If<Extends<T, LowerAlphaChar>, IF, ELSE> : T extends readonly string[] ? _Index<T, IF, ELSE> : never;
+type Returns$5<T extends string | readonly string[], IF, ELSE> = T extends string ? If<Extends<T, LowerAlphaChar>, IF, ELSE> : T extends readonly string[] ? _Index<T, IF, ELSE> : never;
 /**
  * **ifLowercaseChar**(ch)
  *
  * Tests whether a passed in character is lowercase and then uses the appropriate callback to
  * mutate the value.
  */
-declare function ifLowercaseChar<T extends string, IF, ELSE>(ch: T, callbackForMatch: <V extends T>(v: V) => IF, callbackForNoMatch: <V extends T>(v: V) => ELSE): Returns$4<T, IF, ELSE>;
+declare function ifLowercaseChar<T extends string, IF, ELSE>(ch: T, callbackForMatch: <V extends T>(v: V) => IF, callbackForNoMatch: <V extends T>(v: V) => ELSE): Returns$5<T, IF, ELSE>;
 
 type Convert<T, IF, ELSE> = If<Extends<T, UpperAlphaChar>, IF, ELSE>;
 /**
@@ -12884,7 +12884,7 @@ interface GetInferenceProps<TPattern extends string> {
     typeWide: WiderTypeLiteral<TPattern>;
 }
 type GetInference<TPattern extends string> = (<T extends string>(test: T) => T extends TypeLiteral<TPattern> ? Shape<TPattern> : false | Shape<TPattern>) & GetInferenceProps<TPattern>;
-type Returns$3<T extends string> = IsDynamic<T> extends true ? GetInference<T> : never;
+type Returns$4<T extends string> = IsDynamic<T> extends true ? GetInference<T> : never;
 /**
  * **infer**`(pattern)`
  *
@@ -12904,7 +12904,7 @@ type Returns$3<T extends string> = IsDynamic<T> extends true ? GetInference<T> :
  * const {foo} = matcher("foo-bar");
  * ```
  */
-declare function infer<TTempl extends string>(inference: TTempl): Returns$3<TTempl>;
+declare function infer<TTempl extends string>(inference: TTempl): Returns$4<TTempl>;
 
 /**
  * Takes an object as input --which has an `id` property and returns it as the same
@@ -13144,14 +13144,14 @@ declare function stripBefore<TContent extends string, TBreak extends string>(con
  */
 declare function stripChars<TContent extends string, TRetain extends readonly string[]>(content: TContent, ...strip: TRetain): StripChars<TContent, TRetain[number]>;
 
-type Returns$2<T extends string | number | undefined, U extends readonly (string | number)[]> = T extends undefined ? undefined : T extends string | number ? StripLeading<T, TupleToUnion<U>> : never;
+type Returns$3<T extends string | number | undefined, U extends readonly (string | number)[]> = T extends undefined ? undefined : T extends string | number ? StripLeading<T, TupleToUnion<U>> : never;
 /**
  * **stripLeading**(content, ...strip)
  *
  * Runtime utility which strips of a leading substring from the
  * primary content if it exists and leaves content unchanged otherwise.
  */
-declare function stripLeading<T extends string | number | undefined, U extends readonly (string | number)[]>(content: T, ...strip: U): Returns$2<T, U>;
+declare function stripLeading<T extends string | number | undefined, U extends readonly (string | number)[]>(content: T, ...strip: U): Returns$3<T, U>;
 
 type StripSurroundConfigured<TStrip extends readonly (string | number)[]> = <TInput extends string | number>(input: TInput) => StripSurround<TInput, TStrip[number]>;
 /**
@@ -13171,14 +13171,14 @@ type StripSurroundConfigured<TStrip extends readonly (string | number)[]> = <TIn
  */
 declare function stripSurround<TChars extends readonly (number | string)[]>(...chars: TChars): StripSurroundConfigured<TChars>;
 
-type Returns$1<T extends string | number | undefined, U extends readonly (string | number)[]> = T extends undefined ? undefined : T extends string | number ? StripTrailing<T, TupleToUnion<U>> : never;
+type Returns$2<T extends string | number | undefined, U extends readonly (string | number)[]> = T extends undefined ? undefined : T extends string | number ? StripTrailing<T, TupleToUnion<U>> : never;
 /**
  * **stripTrailing**(content, strip)
  *
  * Runtime utility which ensures that last part of a string has substring
  * removed if it exists and that strong typing is preserved.
  */
-declare function stripTrailing<T extends string | number | undefined, U extends readonly (string | number)[]>(content: T, ...strip: U): Returns$1<T, U>;
+declare function stripTrailing<T extends string | number | undefined, U extends readonly (string | number)[]>(content: T, ...strip: U): Returns$2<T, U>;
 
 /**
  * **stripUntil**`(content, ...until)`
@@ -13947,7 +13947,7 @@ interface SortApi<O extends readonly string[]> {
     done: () => O;
 }
 type ToKeyValueSort<O extends readonly string[]> = <TCb extends SortApi<O>>(cb: TCb) => unknown;
-type Returns<T extends AnyObject, S extends ToKeyValueSort<SKeys<T>> | undefined> = S extends undefined ? ToKv<T> : S extends ToKeyValueSort<SKeys<T>> ? HandleDoneFn<ReturnType<S>> extends readonly (keyof T & string)[] ? ToKv<T, HandleDoneFn<ReturnType<S>>> : never : never;
+type Returns$1<T extends AnyObject, S extends ToKeyValueSort<SKeys<T>> | undefined> = S extends undefined ? ToKv<T> : S extends ToKeyValueSort<SKeys<T>> ? HandleDoneFn<ReturnType<S>> extends readonly (keyof T & string)[] ? ToKv<T, HandleDoneFn<ReturnType<S>>> : never : never;
 /**
  * **toKeyValue**`(obj)` -> tuple
  *
@@ -13971,7 +13971,7 @@ type Returns<T extends AnyObject, S extends ToKeyValueSort<SKeys<T>> | undefined
  */
 declare function toKeyValue<T extends {
     [key: string]: N;
-}, N extends Narrowable, S extends ToKeyValueSort<SKeys<T>> | undefined>(obj: T, sort?: S): Returns<T, S>;
+}, N extends Narrowable, S extends ToKeyValueSort<SKeys<T>> | undefined>(obj: T, sort?: S): Returns$1<T, S>;
 
 /**
  * **toNumber**(value)
@@ -14316,13 +14316,14 @@ declare function endsWith<T extends string>(endingIn: T): EndingWithTypeGuard<T>
 /**
  * A TypeGuard which was generated from `isEqual()` runtime util.
  */
-type EqualTo<T extends Narrowable> = TypeGuard<T>;
+type EqualTo<_A> = <TValue extends Narrowable>(value: TValue) => boolean;
+type Returns<TVal, TBase extends readonly Narrowable[]> = IsUnion<TVal> extends true ? TVal & TBase[number] : TVal extends TBase[number] ? TVal : IsUnion<TVal> extends true ? TVal : never;
 /**
  * **isEqual**(compareTo)(value)
  *
  * Higher order type guard to detect whether two values are equal
  */
-declare function isEqual<TBase extends Narrowable>(base: TBase): EqualTo<TBase>;
+declare function isEqual<TBase extends readonly N[], N extends Narrowable>(...base: TBase): <TVal extends Narrowable>(value: TVal) => value is Returns<TVal, TBase>;
 
 /**
  * **ifLength**(len) => (value) => boolean

package/modules/runtime/dist/index.js

@@ -3334,8 +3334,13 @@ function endsWith(endingIn2) {
 }
 
 // src/type-guards/higher-order/isEqual.ts
-function isEqual(base) {
-  return (value) => isSameTypeOf(base)(value) ? value === base : false;
+function compare(base) {
+  return (value) => {
+    return base.includes(value);
+  };
+}
+function isEqual(...base) {
+  return compare(base);
 }
 
 // src/type-guards/higher-order/isLength.ts
@@ -3345,8 +3350,8 @@ function isLength(value, len) {
 
 // src/type-guards/higher-order/isSameTypeOf.ts
 function isSameTypeOf(base) {
-  return (compare) => {
-    return typeof base === typeof compare;
+  return (compare2) => {
+    return typeof base === typeof compare2;
   };
 }