import { Either } from "./either";
export declare type F0<Z> = () => Z;
export declare type F1<A, Z> = (a: A) => Z;
export declare type F2<A, B, Z> = (a: A, b: B) => Z;
export declare type F3<A, B, C, Z> = (a: A, b: B, c: C) => Z;
export declare type F4<A, B, C, D, Z> = (a: A, b: B, c: C, d: D) => Z;
export declare type F5<A, B, C, D, E, Z> = (a: A, b: B, c: C, d: D, e: E) => Z;
export declare type ImpureComp<A> = () => Promise<A>;
export declare class IO<A> {
    comp: ImpureComp<A>;
    constructor(comp: ImpureComp<A>);
}
export declare function runIO<A>(e: IO<A>): Promise<A>;
export declare function withEffects<A, Z>(f: F1<A, Z>): (a: A) => IO<Z>;
export declare function withEffects<A, B, Z>(f: F2<A, B, Z>): (a: A, b: B) => IO<Z>;
export declare function withEffects<A, B, C, Z>(f: F3<A, B, C, Z>): (a: A, b: B, c: C) => IO<Z>;
export declare function withEffects<A, B, C, D, Z>(f: F4<A, B, C, D, Z>): (a: A, b: B, c: C, d: D) => IO<Z>;
export declare function withEffects<A, B, C, D, E, Z>(f: F5<A, B, C, D, E, Z>): (a: A, b: B, c: C, d: D, e: E) => IO<Z>;
export declare function withEffectsP<A, Z>(f: F1<A, Promise<Z>>): (a: A) => IO<Either<any, Z>>;
export declare function withEffectsP<A, B, Z>(f: F2<A, B, Promise<Z>>): (a: A, b: B) => IO<Either<any, Z>>;
export declare function withEffectsP<A, B, C, Z>(f: F3<A, B, C, Promise<Z>>): (a: A, b: B, c: C) => IO<Either<any, Z>>;
export declare function withEffectsP<A, B, C, D, Z>(f: F4<A, B, C, D, Promise<Z>>): (a: A, b: B, c: C, d: D) => IO<Either<any, Z>>;
export declare function withEffectsP<A, B, C, D, E, Z>(f: F5<A, B, C, D, E, Promise<Z>>): (a: A, b: B, c: C, d: D, e: E) => IO<Either<any, Z>>;
export declare function call<Z>(f: F0<Z>): IO<Z>;
export declare function call<A, Z>(f: F1<A, Z>, a: A): IO<Z>;
export declare function call<A, B, Z>(f: F2<A, B, Z>, a: A, b: B): IO<Z>;
export declare function call<A, B, C, Z>(f: F3<A, B, C, Z>, a: A, b: B, c: C): IO<Z>;
export declare function call<A, B, C, D, Z>(f: F4<A, B, C, D, Z>, a: A, b: B, c: C, d: D): IO<Z>;
export declare function call<A, B, C, D, E, Z>(f: F5<A, B, C, D, E, Z>, a: A, b: B, c: C, d: D, e: E): IO<Z>;
export declare function callP<Z>(f: F0<Z>): IO<Either<any, Z>>;
export declare function callP<A, Z>(f: F1<A, Promise<Z>>, a: A): IO<Either<any, Z>>;
export declare function callP<A, B, Z>(f: F2<A, B, Promise<Z>>, a: A, b: B): IO<Either<any, Z>>;
export declare function callP<A, B, C, Z>(f: F3<A, B, C, Promise<Z>>, a: A, b: B, c: C): IO<Either<any, Z>>;
export declare function callP<A, B, C, D, Z>(f: F4<A, B, C, D, Promise<Z>>, a: A, b: B, c: C, d: D): IO<Either<any, Z>>;
export declare function callP<A, B, C, D, E, Z>(f: F5<A, B, C, D, E, Promise<Z>>, a: A, b: B, c: C, d: D, e: E): IO<Either<any, Z>>;