import type * as P from "@principia/prelude";
import type { Option, URI, V } from "./model";
/**
 * ```haskell
 * both_ :: Apply f => (f a, f b) -> f (a, b)
 * ```
 *
 * Applies both `Maybe`s and if both are `Some`, collects their values into a tuple, otherwise, returns `Nothing`
 *
 * @category Apply
 * @since 1.0.0
 */
export declare const both_: <A, B>(fa: Option<A>, fb: Option<B>) => Option<readonly [A, B]>;
/**
 * ```haskell
 * both :: Apply f => f b -> f a -> f (a, b)
 * ```
 *
 * Applies both `Maybe`s and if both are `Some`, collects their values into a tuple, otherwise returns `Nothing`
 *
 * @category Apply
 * @since 1.0.0
 */
export declare const both: <B>(fb: Option<B>) => <A>(fa: Option<A>) => Option<readonly [A, B]>;
/**
 * ```haskell
 * pure :: Applicative f => a -> f a
 * ```
 *
 * Lifts a pure expression info a `Maybe`
 *
 * @category Applicative
 * @since 1.0.0
 */
export declare const pure: <A>(a: A) => Option<A>;
export declare const Applicative: P.Applicative<[URI], V>;
//# sourceMappingURL=applicative.d.ts.map