import type * as P from "@principia/prelude";
import type { EIO, URI, V } from "./model";
export declare const ap_: <E, A, G, B>(fab: EIO<G, (a: A) => B>, fa: EIO<E, A>) => EIO<E | G, B>;
export declare const ap: <E, A>(fa: EIO<E, A>) => <G, B>(fab: EIO<G, (a: A) => B>) => EIO<E | G, B>;
export declare const apFirst_: <E, A, G, B>(fa: EIO<E, A>, fb: EIO<G, B>) => EIO<E | G, A>;
export declare const apFirst: <G, B>(fb: EIO<G, B>) => <E, A>(fa: EIO<E, A>) => EIO<G | E, A>;
export declare const apSecond_: <E, A, G, B>(fa: EIO<E, A>, fb: EIO<G, B>) => EIO<E | G, B>;
export declare const apSecond: <G, B>(fb: EIO<G, B>) => <E, A>(fa: EIO<E, A>) => EIO<G | E, B>;
export declare const mapBoth_: <E, A, G, B, C>(fa: EIO<E, A>, fb: EIO<G, B>, f: (a: A, b: B) => C) => EIO<E | G, C>;
export declare const mapBoth: <A, G, B, C>(fb: EIO<G, B>, f: (a: A, b: B) => C) => <E>(fa: EIO<E, A>) => EIO<E | G, C>;
export declare const lift2: <A, B, C, E, G>(
   f: (a: A) => (b: B) => C
) => (fa: EIO<E, A>) => (fb: EIO<G, B>) => EIO<E | G, C>;
/**
 * @category Apply
 * @since 1.0.0
 */
export declare const Apply: P.Apply<[URI], V>;
//# sourceMappingURL=apply.d.ts.map