import type * as P from "@principia/prelude";
import type { URI, V } from "./model";
export declare const zip_: <A, B>(fa: readonly A[], fb: readonly B[]) => readonly (readonly [A, B])[];
export declare const zip: <B>(fb: readonly B[]) => <A>(fa: readonly A[]) => readonly (readonly [A, B])[];
export declare const both_: <A, B>(fa: readonly A[], fb: readonly B[]) => readonly (readonly [A, B])[];
export declare const both: <B>(fb: readonly B[]) => <A>(fa: readonly A[]) => readonly (readonly [A, B])[];
/**
 * ```haskell
 * pure :: a -> Array a
 * ```
 *
 * Lifts a value into an Array
 *
 * @category Applicative
 * @since 1.0.0
 */
export declare const pure: <A>(a: A) => readonly A[];
export declare const Applicative: P.Applicative<[URI], V>;
//# sourceMappingURL=applicative.d.ts.map