Elep

export interface Thenable <R> {
 then (onFulfilled?: (value: R) => U | Thenable, onRejected?: (error: any) => U | Thenable): Thenable;
 then (onFulfilled?: (value: R) => U | Thenable, onRejected?: (error: any) => void): Thenable;
}

export class Promise <R> implements Thenable <R> {
 /**
 * If you call resolve in the body of the callback passed to the constructor,
 * your promise is fulfilled with result object passed to resolve.
 * If you call reject your promise is rejected with the object passed to resolve.
 * For consistency and debugging (eg stack traces), obj should be an instanceof Error.
 * Any errors thrown in the constructor callback will be implicitly passed to reject().
 */
 constructor (callback: (resolve : (value?: R | Thenable<R>) => void, reject: (error?: any) => void) => void);

/**
 * onFulfilled is called when/if "promise" resolves. onRejected is called when/if "promise" rejects.
 * Both are optional, if either/both are omitted the next onFulfilled/onRejected in the chain is called.
 * Both callbacks have a single parameter , the fulfillment value or rejection reason.
 * "then" returns a new promise equivalent to the value you return from onFulfilled/onRejected after being passed through Promise.resolve.
 * If an error is thrown in the callback, the returned promise rejects with that error.
 *
 * @param onFulfilled called when/if "promise" resolves
 * @param onRejected called when/if "promise" rejects
 */
 then (onFulfilled?: (value: R) => U | Thenable, onRejected?: (error: any) => U | Thenable): Promise;
 then (onFulfilled?: (value: R) => U | Thenable, onRejected?: (error: any) => void): Promise;

/**
 * Sugar for promise.then(undefined, onRejected)
 *
 * @param onRejected called when/if "promise" rejects
 */
 catch (onRejected?: (error: any) => U | Thenable): Promise;

/**
 * onSettled is invoked when/if the "promise" settles (either rejects or fulfills);
 *
 * @param onFinally called when/if "promise" settles
 */
 finally (onFinally?: (callback: any) => U | Thenable): Promise;

/**
 * Make a new promise from the thenable.
 * A thenable is promise-like in as far as it has a "then" method.
 */
 static resolve (): Promise<void>;
 static resolve <R> (value: R | Thenable<R>): Promise<R>;

/**
 * Make a promise that rejects to obj. For consistency and debugging (eg stack traces), obj should be an instanceof Error
 */
 static reject <R> (error: any): Promise<R>;

/**
 * Make a promise that fulfills when every item in the array fulfills, and rejects if (and when) any item rejects.
 * the array passed to all can be a mixture of promise-like objects and other objects.
 * The fulfillment value is an array (in order) of fulfillment values. The rejection value is the first rejection value.
 */
 static all<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>(values: [T1 | Thenable<T1>, T2 | Thenable<T2>, T3 | Thenable<T3>, T4 | Thenable <T4>, T5 | Thenable<T5>, T6 | Thenable<T6>, T7 | Thenable<T7>, T8 | Thenable<T8>, T9 | Thenable<T9>, T10 | Thenable<T10>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]>;
 static all<T1, T2, T3, T4, T5, T6, T7, T8, T9>(values: [T1 | Thenable<T1>, T2 | Thenable<T2>, T3 | Thenable<T3>, T4 | Thenable <T4>, T5 | Thenable<T5>, T6 | Thenable<T6>, T7 | Thenable<T7>, T8 | Thenable<T8>, T9 | Thenable<T9>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8, T9]>;
 static all<T1, T2, T3, T4, T5, T6, T7, T8>(values: [T1 | Thenable<T1>, T2 | Thenable<T2>, T3 | Thenable<T3>, T4 | Thenable <T4>, T5 | Thenable<T5>, T6 | Thenable<T6>, T7 | Thenable<T7>, T8 | Thenable<T8>]): Promise<[T1, T2, T3, T4, T5, T6, T7, T8]>;
 static all<T1, T2, T3, T4, T5, T6, T7>(values: [T1 | Thenable<T1>, T2 | Thenable<T2>, T3 | Thenable<T3>, T4 | Thenable <T4>, T5 | Thenable<T5>, T6 | Thenable<T6>, T7 | Thenable<T7>]): Promise<[T1, T2, T3, T4, T5, T6, T7]>;
 static all<T1, T2, T3, T4, T5, T6>(values: [T1 | Thenable<T1>, T2 | Thenable<T2>, T3 | Thenable<T3>, T4 | Thenable <T4>, T5 | Thenable<T5>, T6 | Thenable<T6>]): Promise<[T1, T2, T3, T4, T5, T6]>;
 static all<T1, T2, T3, T4, T5>(values: [T1 | Thenable<T1>, T2 | Thenable<T2>, T3 | Thenable<T3>, T4 | Thenable <T4>, T5 | Thenable<T5>]): Promise<[T1, T2, T3, T4, T5]>;
 static all<T1, T2, T3, T4>(values: [T1 | Thenable<T1>, T2 | Thenable<T2>, T3 | Thenable<T3>, T4 | Thenable <T4>]): Promise<[T1, T2, T3, T4]>;
 static all<T1, T2, T3>(values: [T1 | Thenable<T1>, T2 | Thenable<T2>, T3 | Thenable<T3>]): Promise<[T1, T2, T3]>;
 static all<T1, T2>(values: [T1 | Thenable<T1>, T2 | Thenable<T2>]): Promise<[T1, T2]>;
 static all<T1>(values: [T1 | Thenable<T1>]): Promise<[T1]>;
 static all<TAll>(values: Array<TAll | Thenable<TAll>>): Promise<TAll[]>;

/**
 * Make a Promise that fulfills when any item fulfills, and rejects if any item rejects.
 */
 static race <R> (promises: (R | Thenable<R>)[]): Promise<R>;
}

/**
 * The polyfill method will patch the global environment (in this case to the Promise name) when called.
 */
export function polyfill (): void;