inferred-types 0.53.11 → 0.53.12

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

@@ -624,6 +624,13 @@ interface Thenable {
 }
 
 type TupleRange = [required: number, optional: number];
+type _Tuple<TType = unknown, TLength extends number | TupleRange | `${number}+` = 0> = 0 extends TLength ? TType extends any[] ? Readonly<TType> : readonly TType[] : TLength extends number ? Readonly<FixedLengthArray<TType, TLength>> : TLength extends TupleRange ? Readonly<[
+    ...FixedLengthArray<TType, TLength[0]>,
+    ...FixedLengthArray<TType | undefined, TLength[1]>
+]> : TLength extends `${infer Num extends number}+` ? Num extends number ? Readonly<[
+    ...FixedLengthArray<TType, Num>,
+    ...TType[]
+]> : never : never;
 /**
  * **Tuple**`<TType,TLength>`
  *
@@ -639,13 +646,7 @@ type TupleRange = [required: number, optional: number];
  * type T2 = Tuple<string, 4>;
  * ```
  */
-type Tuple<TType = unknown, TLength extends number | TupleRange | `${number}+` = 0> = 0 extends TLength ? TType extends any[] ? Readonly<TType> : readonly TType[] : TLength extends number ? Readonly<FixedLengthArray<TType, TLength>> : TLength extends TupleRange ? Readonly<[
-    ...FixedLengthArray<TType, TLength[0]>,
-    ...FixedLengthArray<TType | undefined, TLength[1]>
-]> : TLength extends `${infer Num extends number}+` ? Num extends number ? Readonly<[
-    ...FixedLengthArray<TType, Num>,
-    ...TType[]
-]> : never : never;
+type Tuple<TType = unknown, TLength extends number | TupleRange | `${number}+` = 0> = _Tuple<TType, TLength> extends readonly unknown[] ? _Tuple<TType, TLength> : never;
 
 type Process$1x<TVal, TDefault> = TVal extends Something ? TVal : TDefault;
 /**
@@ -13381,8 +13382,10 @@ declare function isArray(value: unknown): value is unknown[];
  * **isBoolean**(value)
  *
  * Type guard which validates that type is a boolean value.
+ *
+ * **Related:** `isBooleanLike()`
  */
-declare function isBoolean<T>(value: T): value is T & boolean;
+declare function isBoolean(value: unknown): value is boolean;
 
 /**
  * **isBooleanLike**`(val)`
@@ -13456,17 +13459,20 @@ declare function isFalse(i: unknown): i is false;
 declare function isFalsy<V extends Narrowable>(val: V): val is V & FalsyValue;
 
 /**
- * **isFnWithDict**(input)
+ * **isFnWithParams**(input, [...params | count])
  *
  * Type guard which checks whether a give variable is a function
  * which contains at least one parameter.
  *
- * - if you set the parameter types, it will check that precisely the
- * correct amount are set
+ * - the optional second parameter may be used to express the **types** of
+ * the expected parameters or just the expected **count** of parameters
+ * - if you set the parameter types, it will check that the
+ * correct amount of parameters are set but can only _assume_ the types of
+ * the parameters are as you have expressed
  */
-declare function isFnWithParams<T, P extends readonly SimpleToken[]>(input: T, ...params: P): input is T & AsNarrowingFn<P["length"] extends 0 ? [any, ...any[]] : {
+declare function isFnWithParams<T, P extends (readonly SimpleToken[]) | [number]>(input: T, ...params: P): input is T & AsNarrowingFn<"length" extends keyof T ? T["length"] extends 0 ? IsLiteral<P["length"]> extends true ? Tuple<any, P["length"]> : [any, ...any[]] : [any, ...any[]] : P extends readonly SimpleToken[] ? {
     [K in keyof P]: SimpleType<P[K]>;
-}, T extends TypedFunction ? ReturnType<T> : unknown>;
+} : P extends [number] ? Tuple<any, P[0]> : never, T extends TypedFunction ? ReturnType<T> : unknown>;
 
 /**
  * **isFunction**(value)
@@ -13475,7 +13481,7 @@ declare function isFnWithParams<T, P extends readonly SimpleToken[]>(input: T, .
  *
  * **Related:** `isFnWithParams`, `ifFunction`
  */
-declare function isFunction<T>(value: T): value is T & TypedFunction;
+declare function isFunction(value: unknown): value is TypedFunction;
 
 /**
  * **isHexadecimal**`(val)`