import { Freer } from "./freer";
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 IOValue<A> = Call | CallP | ThrowE | CatchE;
export declare class Call {
    fn: Function;
    args: any[];
    type: "call";
    constructor(fn: Function, args: any[]);
}
export declare class CallP {
    fn: Function;
    args: any[];
    type: "callP";
    constructor(fn: Function, args: any[]);
}
export declare class ThrowE {
    error: any;
    type: "throwE";
    constructor(error: any);
}
export declare class CatchE {
    handler: (error: any) => IO<any>;
    io: IO<any>;
    type: "catchE";
    constructor(handler: (error: any) => IO<any>, io: IO<any>);
}
export declare type IO<A> = Freer<IOValue<any>, A>;
export declare const IO: typeof Freer;
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<Z>;
export declare function withEffectsP<A, B, Z>(f: F2<A, B, Promise<Z>>): (a: A, b: B) => IO<Z>;
export declare function withEffectsP<A, B, C, Z>(f: F3<A, B, C, Promise<Z>>): (a: A, b: B, c: C) => IO<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<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<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<Z>;
export declare function callP<A, Z>(f: F1<A, Promise<Z>>, a: A): IO<Z>;
export declare function callP<A, B, Z>(f: F2<A, B, Promise<Z>>, a: A, b: B): IO<Z>;
export declare function callP<A, B, C, Z>(f: F3<A, B, C, Promise<Z>>, a: A, b: B, c: C): IO<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<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<Z>;
export declare function throwE(error: any): IO<any>;
export declare function catchE(errorHandler: (error: any) => IO<any>, io: IO<any>): IO<any>;
export declare function doRunIO<A>(e: IO<A>): Promise<A>;
export declare function runIO<A>(e: IO<A>): Promise<A>;
export declare function testIO<A>(e: IO<A>, arr: any[], a: A): void;