import type * as P from "@principia/prelude";
import type { EIO, URI, V } from "./model";
export declare const both_: <E, A, G, B>(fa: EIO<E, A>, fb: EIO<G, B>) => EIO<E | G, readonly [A, B]>;
export declare const both: <G, B>(fb: EIO<G, B>) => <E, A>(fa: EIO<E, A>) => EIO<E | G, readonly [A, B]>;
export declare const pure: <E = never, A = never>(a: A) => EIO<E, A>;
/**
 * @category Applicative
 * @since 1.0.0
 */
export declare const Applicative: P.Applicative<[URI], V>;
//# sourceMappingURL=applicative.d.ts.map