inferred-types 0.53.2 → 0.53.3

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

@@ -13303,21 +13303,6 @@ type AsNarrowingFn$1<TParams extends Tuple$1 | TypedFunction$1, TReturn = unknow
  */
 type RemoveFnProps$1<T extends AnyFunction$1> = (...args: AsFnMeta$1<T>["args"]) => AsFnMeta$1<T>["returns"];
 
-/**
- * **ToFn**`<T>`
- *
- * Ensures that resultant type is a function, where the mapping is:
- *
- *  - `AnyFunction` - function signature maintained
- *  - `FnMeta` - is converted to a precise function type
- *  - `never` _or_ `ErrorCondition` - returned "as is"
- *
- * All other values will return a function of the form `() => T`
- *
- * **Related:** `AsFn`
- */
-type ToFn$1<T> = T extends AnyFunction$1 ? T : T extends FnMeta$1<infer _Args, infer _Returns, infer Props, infer Fn> ? IsNever$1<Props> extends true ? Fn : Fn & Props : () => T;
-
 /**
  * **TypeGuard**
  *
@@ -17471,9 +17456,14 @@ declare function isFalsy<V extends Narrowable$1>(val: V): val is V & FalsyValue$
  * **isFnWithDict**(input)
  *
  * Type guard which checks whether a give variable is a function
- * which _also_ contains
+ * which contains at least one parameter.
+ *
+ * - if you set the parameter types, it will check that precisely the
+ * correct amount are set
  */
-declare function isFnWithParams<T>(input: T): input is Exclude<T, Scalar$1 | undefined> & ToFn$1<Exclude<T, Scalar$1 | undefined>>;
+declare function isFnWithParams<T, P extends readonly SimpleToken$1[]>(input: T, ...params: P): input is T & AsNarrowingFn$1<P["length"] extends 0 ? [any, ...any[]] : {
+    [K in keyof P]: SimpleType$1<P[K]>;
+}, T extends TypedFunction$1 ? ReturnType<T> : unknown>;
 
 /**
  * **isFunction**(value)

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

@@ -13303,21 +13303,6 @@ type AsNarrowingFn$1<TParams extends Tuple$1 | TypedFunction$1, TReturn = unknow
  */
 type RemoveFnProps$1<T extends AnyFunction$1> = (...args: AsFnMeta$1<T>["args"]) => AsFnMeta$1<T>["returns"];
 
-/**
- * **ToFn**`<T>`
- *
- * Ensures that resultant type is a function, where the mapping is:
- *
- *  - `AnyFunction` - function signature maintained
- *  - `FnMeta` - is converted to a precise function type
- *  - `never` _or_ `ErrorCondition` - returned "as is"
- *
- * All other values will return a function of the form `() => T`
- *
- * **Related:** `AsFn`
- */
-type ToFn$1<T> = T extends AnyFunction$1 ? T : T extends FnMeta$1<infer _Args, infer _Returns, infer Props, infer Fn> ? IsNever$1<Props> extends true ? Fn : Fn & Props : () => T;
-
 /**
  * **TypeGuard**
  *
@@ -17471,9 +17456,14 @@ declare function isFalsy<V extends Narrowable$1>(val: V): val is V & FalsyValue$
  * **isFnWithDict**(input)
  *
  * Type guard which checks whether a give variable is a function
- * which _also_ contains
+ * which contains at least one parameter.
+ *
+ * - if you set the parameter types, it will check that precisely the
+ * correct amount are set
  */
-declare function isFnWithParams<T>(input: T): input is Exclude<T, Scalar$1 | undefined> & ToFn$1<Exclude<T, Scalar$1 | undefined>>;
+declare function isFnWithParams<T, P extends readonly SimpleToken$1[]>(input: T, ...params: P): input is T & AsNarrowingFn$1<P["length"] extends 0 ? [any, ...any[]] : {
+    [K in keyof P]: SimpleType$1<P[K]>;
+}, T extends TypedFunction$1 ? ReturnType<T> : unknown>;
 
 /**
  * **isFunction**(value)

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

@@ -5068,8 +5068,8 @@ function isFalse(i) {
 function isFalsy(val) {
   return FALSY_VALUES2.includes(val);
 }
-function isFnWithParams(input) {
-  return typeof input === "function" && Object.keys(input)?.length > 0;
+function isFnWithParams(input, ...params) {
+  return params.length === 0 ? typeof input === "function" && input?.length > 0 : typeof input === "function" && input?.length === params.length;
 }
 function isHexadecimal(val) {
   return isString(val) && asChars(val).every((i) => isNumericString(i) || ["a", "b", "c", "d", "e", "f"].includes(i.toLowerCase()));