Merge pull request #2 from ffMathy/develop

Attempt at perfecting argument inference

Author: ffMathy

dist/spec/index.test.d.ts

@@ -2,5 +2,6 @@ export declare class Example {
     a: string;
     c(arg1: string, arg2: string): string;
     readonly d: number;
-    v: any;
+    v: string;
+    foo(): void;
 }

dist/spec/index.test.js

@@ -1,17 +1,19 @@
 export declare class Arg {
+    static any(): any;
+    static any<T extends 'string'>(type: T): Argument<string> & string;
+    static any<T extends 'number'>(type: T): Argument<number> & number;
+    static any<T extends 'boolean'>(type: T): Argument<boolean> & boolean;
+    static any<T extends 'array'>(type: T): Argument<any[]> & any[];
+    static any<T extends 'function'>(type: T): Argument<Function> & Function;
+    static any<T extends 'string' | 'number' | 'boolean' | 'symbol' | 'undefined' | 'object' | 'function' | 'array'>(type: T): any;
+    static is<T>(predicate: (input: T) => boolean): Argument<T> & T;
+    private static toStringify;
+}
+export declare class Argument<T> {
     private description;
     private matchingFunction;
-    private constructor();
-    matches(arg: any): boolean;
+    constructor(description: string, matchingFunction: (arg: T) => boolean);
+    matches(arg: T): boolean;
     toString(): string;
     inspect(): string;
-    static any(): any;
-    static any<T extends 'string'>(type: T): Arg & string;
-    static any<T extends 'number'>(type: T): Arg & number;
-    static any<T extends 'boolean'>(type: T): Arg & boolean;
-    static any<T extends 'array'>(type: T): Arg & any[];
-    static any<T extends 'function'>(type: T): Arg & Function;
-    static any<T extends 'string' | 'number' | 'boolean' | 'symbol' | 'undefined' | 'object' | 'function' | 'array'>(type: T): any;
-    static is<T>(predicate: (input: T) => boolean): Arg & T;
-    private static toStringify;
 }