Merge pull request #93 from andnp/SimplePredicate

feat: remove IsAny case from Predicate

README.md

@@ -660,15 +660,6 @@ test('Can build a predicate function with single known argument type', t => {
     assert<PredFunc, expected>(t);
 });
 
-test('Can build a predicate function with unknown argument types', t => {
-    type PredFunc = Predicate;
-    type works = (arg1: string, arg2: number) => boolean;
-    type expected = (...args: any[]) => boolean;
-
-    assert<PredFunc, works>(t);
-    assert<PredFunc, expected>(t);
-});
-
 ```
 
 ## Strings

src/types/functions.ts

@@ -8,7 +8,7 @@ export type ConstructorFunction<T extends object> = new (...args: any[]) => T;
 /**
  * This is a function that takes some args and returns a boolean
  */
-export type Predicate<A = any> = If<IsAny<A>, (...args: any[]) => boolean, (arg: A) => boolean>;
+export type Predicate<A = any> = (arg: A) => boolean;
 /**
  * Concisely and cleanly define an arbitrary function.
  * Useful when designing many api's that don't care what function they take in, they just need to know what it returns.

test/functions/Predicate.test.ts

@@ -9,12 +9,3 @@ test('Can build a predicate function with single known argument type', t => {
 
     assert<PredFunc, expected>(t);
 });
-
-test('Can build a predicate function with unknown argument types', t => {
-    type PredFunc = Predicate;
-    type works = (arg1: string, arg2: number) => boolean;
-    type expected = (...args: any[]) => boolean;
-
-    assert<PredFunc, works>(t);
-    assert<PredFunc, expected>(t);
-});