inferred-types 0.53.2 → 0.53.3

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

@@ -9220,21 +9220,6 @@ type AsNarrowingFn<TParams extends Tuple | TypedFunction, TReturn = unknown, TPr
  */
 type RemoveFnProps<T extends AnyFunction> = (...args: AsFnMeta<T>["args"]) => AsFnMeta<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<T> = T extends AnyFunction ? T : T extends FnMeta<infer _Args, infer _Returns, infer Props, infer Fn> ? IsNever<Props> extends true ? Fn : Fn & Props : () => T;
-
 /**
  * **TypeGuard**
  *
@@ -13388,9 +13373,14 @@ declare function isFalsy<V extends Narrowable>(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 | undefined> & ToFn<Exclude<T, Scalar | undefined>>;
+declare function isFnWithParams<T, P extends readonly SimpleToken[]>(input: T, ...params: P): input is T & AsNarrowingFn<P["length"] extends 0 ? [any, ...any[]] : {
+    [K in keyof P]: SimpleType<P[K]>;
+}, T extends TypedFunction ? ReturnType<T> : unknown>;
 
 /**
  * **isFunction**(value)

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

@@ -9220,21 +9220,6 @@ type AsNarrowingFn<TParams extends Tuple | TypedFunction, TReturn = unknown, TPr
  */
 type RemoveFnProps<T extends AnyFunction> = (...args: AsFnMeta<T>["args"]) => AsFnMeta<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<T> = T extends AnyFunction ? T : T extends FnMeta<infer _Args, infer _Returns, infer Props, infer Fn> ? IsNever<Props> extends true ? Fn : Fn & Props : () => T;
-
 /**
  * **TypeGuard**
  *
@@ -13388,9 +13373,14 @@ declare function isFalsy<V extends Narrowable>(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 | undefined> & ToFn<Exclude<T, Scalar | undefined>>;
+declare function isFnWithParams<T, P extends readonly SimpleToken[]>(input: T, ...params: P): input is T & AsNarrowingFn<P["length"] extends 0 ? [any, ...any[]] : {
+    [K in keyof P]: SimpleType<P[K]>;
+}, T extends TypedFunction ? ReturnType<T> : unknown>;
 
 /**
  * **isFunction**(value)

package/modules/runtime/dist/index.js

@@ -2861,8 +2861,8 @@ function isFalsy(val) {
 }
 
 // src/type-guards/isFnWithParams.ts
-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;
 }
 
 // src/type-guards/isHexadecimal.ts