inferred-types 0.55.14 → 0.55.15

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

@@ -8648,7 +8648,7 @@ type InvalidNever$1 = Throw$1<"invalid-never", `The value of T when calling IsWi
 type IsWideType$1<T, TNever = InvalidNever$1> = [IsNever$1<T>] extends [true] ? TNever : [T] extends [ErrorCondition$1] ? ProxyError$1<T, "IsWideType"> : IsWideScalar$1<T> extends true ? true : IsWideContainer$1<T> extends true ? true : IsWideUnion$1<T> extends true ? true : false;
 
 type Process$1k$1<T extends readonly unknown[]> = {
-    [K in keyof T]: IsWideType$1<T[K]>;
+    [K in keyof T]: IsWideType$1<T[K]> extends true ? true : Or$1<[IsUndefined$1<T[K]>, IsNull$1<T[K]>]> extends true ? true : false;
 };
 /**
  * **IsWideUnion**`<T>`
@@ -16210,7 +16210,7 @@ declare function getYesterday(): Iso8601Date$1<"explicit">;
  */
 declare function isLeapYear(val: NumberLike$1 | Record<string, any> | Date | number): boolean;
 
-type Returns$5<T extends DefineObject$1, P extends readonly (keyof T & string)[]> = P["length"] extends 0 ? FromDefineObject$1<T> : MakeKeysOptional$1<T, P> extends DefineObject$1 ? FromDefineObject$1<MakeKeysOptional$1<T, P>> : never;
+type Returns$6<T extends DefineObject$1, P extends readonly (keyof T & string)[]> = P["length"] extends 0 ? FromDefineObject$1<T> : MakeKeysOptional$1<T, P> extends DefineObject$1 ? FromDefineObject$1<MakeKeysOptional$1<T, P>> : never;
 /**
  * Takes an object definition where the values are either
  * `SimpleToken` representations of a type or a `ShapeCallback`.
@@ -16218,7 +16218,7 @@ type Returns$5<T extends DefineObject$1, 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$1, P extends readonly (keyof T & string)[]>(defn: T, ..._optProps: P): Returns$5<T, P>;
+declare function defineObject<T extends DefineObject$1, P extends readonly (keyof T & string)[]>(defn: T, ..._optProps: P): Returns$6<T, P>;
 
 /**
  * **entries**
@@ -16916,14 +16916,14 @@ type _Index<T extends readonly string[], IF, ELSE, Results extends readonly unkn
     ...Results,
     If$1<Extends$1<T, LowerAlphaChar$1>, IF, ELSE>
 ]>;
-type Returns$4<T extends string | readonly string[], IF, ELSE> = T extends string ? If$1<Extends$1<T, LowerAlphaChar$1>, 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$1<Extends$1<T, LowerAlphaChar$1>, 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$6<T, IF, ELSE> = If$1<Extends$1<T, UpperAlphaChar$1>, IF, ELSE>;
 /**
@@ -16979,7 +16979,7 @@ interface GetInferenceProps<TPattern extends string> {
     typeWide: WiderTypeLiteral<TPattern>;
 }
 type GetInference<TPattern extends string> = (<T extends string>(test: T) => T extends TypeLiteral<TPattern> ? Shape$2<TPattern> : false | Shape$2<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)`
  *
@@ -16999,7 +16999,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
@@ -17239,14 +17239,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$1<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$1<T, TupleToUnion$1<U>> : never;
+type Returns$3<T extends string | number | undefined, U extends readonly (string | number)[]> = T extends undefined ? undefined : T extends string | number ? StripLeading$1<T, TupleToUnion$1<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$1<TInput, TStrip[number]>;
 /**
@@ -17266,14 +17266,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$1<T, TupleToUnion$1<U>> : never;
+type Returns$2<T extends string | number | undefined, U extends readonly (string | number)[]> = T extends undefined ? undefined : T extends string | number ? StripTrailing$1<T, TupleToUnion$1<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)`
@@ -18042,7 +18042,7 @@ interface SortApi<O extends readonly string[]> {
     done: () => O;
 }
 type ToKeyValueSort<O extends readonly string[]> = <TCb extends SortApi<O>>(cb: TCb) => unknown;
-type Returns$6<T extends AnyObject$1, S extends ToKeyValueSort<SKeys$1<T>> | undefined> = S extends undefined ? ToKv$1<T> : S extends ToKeyValueSort<SKeys$1<T>> ? HandleDoneFn$1<ReturnType<S>> extends readonly (keyof T & string)[] ? ToKv$1<T, HandleDoneFn$1<ReturnType<S>>> : never : never;
+type Returns$1<T extends AnyObject$1, S extends ToKeyValueSort<SKeys$1<T>> | undefined> = S extends undefined ? ToKv$1<T> : S extends ToKeyValueSort<SKeys$1<T>> ? HandleDoneFn$1<ReturnType<S>> extends readonly (keyof T & string)[] ? ToKv$1<T, HandleDoneFn$1<ReturnType<S>>> : never : never;
 /**
  * **toKeyValue**`(obj)` -> tuple
  *
@@ -18066,7 +18066,7 @@ type Returns$6<T extends AnyObject$1, S extends ToKeyValueSort<SKeys$1<T>> | und
  */
 declare function toKeyValue<T extends {
     [key: string]: N;
-}, N extends Narrowable$1, S extends ToKeyValueSort<SKeys$1<T>> | undefined>(obj: T, sort?: S): Returns$6<T, S>;
+}, N extends Narrowable$1, S extends ToKeyValueSort<SKeys$1<T>> | undefined>(obj: T, sort?: S): Returns$1<T, S>;
 
 /**
  * **toNumber**(value)
@@ -18411,13 +18411,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$1> = TypeGuard$1<T>;
+type EqualTo<_A> = <TValue extends Narrowable$1>(value: TValue) => boolean;
+type Returns$7<TVal, TBase extends readonly Narrowable$1[]> = IsUnion$1<TVal> extends true ? TVal & TBase[number] : TVal extends TBase[number] ? TVal : IsUnion$1<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$1>(base: TBase): EqualTo<TBase>;
+declare function isEqual<TBase extends readonly N[], N extends Narrowable$1>(...base: TBase): <TVal extends Narrowable$1>(value: TVal) => value is Returns$7<TVal, TBase>;
 
 /**
  * **ifLength**(len) => (value) => boolean
@@ -25471,7 +25472,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>`

package/modules/inferred-types/dist/index.js

@@ -5702,15 +5702,20 @@ function endsWith(endingIn2) {
     return isString(val) ? !!val.endsWith(endingIn2) : isNumber(val) ? !!String(val).endsWith(endingIn2) : false;
   };
 }
-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);
 }
 function isLength(value, len) {
   return isArray(value) ? !!isEqual(value.length)(len) : isString(value) ? !!isEqual(value.length)(len) : isObject(value) ? !!isEqual(keysOf(value))(len) : false;
 }
 function isSameTypeOf(base) {
-  return (compare) => {
-    return typeof base === typeof compare;
+  return (compare2) => {
+    return typeof base === typeof compare2;
   };
 }
 function isTuple(...tuple3) {