/**
 * @since 0.24.0
 */
import type { Kind, TypeLambda } from "effect/HKT";
import type { Monoid } from "./Monoid.js";
import type { Product } from "./Product.js";
import type { SemiApplicative } from "./SemiApplicative.js";
/**
 * @category type class
 * @since 0.24.0
 */
export interface Applicative<F extends TypeLambda> extends SemiApplicative<F>, Product<F> {
}
/**
 * Lift a `Monoid` into `F`, combining the inner values using the provided `Monoid`:
 *
 * - `combine` is provided by {@link semiApplicative.getSemigroup}.
 * - `empty` is `F.of(M.empty)`
 *
 * @since 0.24.0
 */
export declare const getMonoid: <F extends TypeLambda>(F: Applicative<F>) => <A, R, O, E>(M: Monoid<A>) => Monoid<Kind<F, R, O, E, A>>;
//# sourceMappingURL=Applicative.d.ts.map