import { Functional } from "./Functional";
import { OmitEdgeUnderscored } from "./OmitEdgeUnderscored";
import { RemoveNever } from "./RemoveNever";
import { ValueOf } from "./ValueOf";
/**
 * Promisify an object type.
 *
 * It promisifies all member types. When a member type is:
 *
 *   - function: returns `Promise` (`R` -> `Promise<R>`).
 *   - object: promisifies recursively (`O` -> `Promisify<O>`).
 *   - atomic value: be ignored (be `never` type).
 *
 * @template Instance An object type to be promised.
 * @template UseParametric Whether to convert type of function parameters to be compatible with their pritimive.
 */
export type Promisive<Instance extends object, UseParametric extends boolean = false> = RemoveNever<OmitEdgeUnderscored<{
    [P in keyof Instance]: Instance[P] extends Function ? Functional<Instance[P], UseParametric> : ValueOf<Instance[P]> extends object ? Instance[P] extends object ? Promisive<Instance[P], UseParametric> : never : never;
} & IRemoteObject>>;
/**
 * Restrictions for Remote Object
 */
interface IRemoteObject {
    /**
     * Remote Object does not allow access to the `constructor`.
     */
    constructor: never;
    /**
     * Remote Object does not allow access to the `prototype`.
     */
    prototype: never;
}
export {};