import { $, $type, Kind, TyK, TyVar } from '@fp4ts/core';
import { Align } from '../align';
import { Applicative } from '../applicative';
import { Apply } from '../apply';
import { Contravariant } from '../contravariant';
import { Defer } from '../defer';
import { Distributive } from '../distributive';
import { EqK } from '../eq-k';
import { FlatMap } from '../flat-map';
import { Foldable } from '../foldable';
import { Functor } from '../functor';
import { FunctorFilter } from '../functor-filter';
import { Monad } from '../monad';
import { MonoidK } from '../monoid-k';
import { SemigroupK } from '../semigroup-k';
import { Traversable } from '../traversable';
import { TraversableFilter } from '../traversable-filter';
import { Zip } from '../zip';
import { Alternative } from '../alternative';
/**
 * Product of the two functors.
 */
export type Product<F, G, A> = [Kind<F, [A]>, Kind<G, [A]>];
export declare const Product: {
    <F, G, A>(fa: Kind<F, [A]>, ga: Kind<G, [A]>): Product<F, G, A>;
    EqK<F_1, G_1>(F: EqK<F_1>, G: EqK<G_1>): EqK<$<ProductF, [F_1, G_1]>>;
    Defer<F_2, G_2>(F: Defer<F_2>, G: Defer<G_2>): Defer<$<ProductF, [F_2, G_2]>>;
    SemigroupK<F_3, G_3>(F: SemigroupK<F_3>, G: SemigroupK<G_3>): SemigroupK<$<ProductF, [F_3, G_3]>>;
    MonoidK<F_4, G_4>(F: MonoidK<F_4>, G: MonoidK<G_4>): MonoidK<$<ProductF, [F_4, G_4]>>;
    Functor<F_5, G_5>(F: Functor<F_5>, G: Functor<G_5>): Functor<$<ProductF, [F_5, G_5]>>;
    Contravariant<F_6, G_6>(F: Contravariant<F_6>, G: Contravariant<G_6>): Contravariant<$<ProductF, [F_6, G_6]>>;
    FunctorFilter<F_7, G_7>(F: FunctorFilter<F_7>, G: FunctorFilter<G_7>): FunctorFilter<$<ProductF, [F_7, G_7]>>;
    Distributive<F_8, G_8>(F: Distributive<F_8>, G: Distributive<G_8>): Distributive<$<ProductF, [F_8, G_8]>>;
    Apply<F_9, G_9>(F: Apply<F_9>, G: Apply<G_9>): Apply<$<ProductF, [F_9, G_9]>>;
    FlatMap<F_10, G_10>(F: FlatMap<F_10>, G: FlatMap<G_10>): FlatMap<$<ProductF, [F_10, G_10]>>;
    Applicative<F_11, G_11>(F: Applicative<F_11>, G: Applicative<G_11>): Applicative<$<ProductF, [F_11, G_11]>>;
    Alternative<F_12, G_12>(F: Alternative<F_12>, G: Alternative<G_12>): Alternative<$<ProductF, [F_12, G_12]>>;
    Monad<F_13, G_13>(F: Monad<F_13>, G: Monad<G_13>): Monad<$<ProductF, [F_13, G_13]>>;
    Foldable<F_14, G_14>(F: Foldable<F_14>, G: Foldable<G_14>): Foldable<$<ProductF, [F_14, G_14]>>;
    Traversable<F_15, G_15>(F: Traversable<F_15>, G: Traversable<G_15>): Traversable<$<ProductF, [F_15, G_15]>>;
    TraversableFilter<F_16, G_16>(F: TraversableFilter<F_16>, G: TraversableFilter<G_16>): TraversableFilter<$<ProductF, [F_16, G_16]>>;
    Align<F_17, G_17>(F: Align<F_17>, G: Align<G_17>): Align<$<ProductF, [F_17, G_17]>>;
    Zip<F_18, G_18>(F: Zip<F_18>, G: Zip<G_18>): Zip<$<ProductF, [F_18, G_18]>>;
};
/**
 * @category Type Constructor
 * @category Data
 */
export interface ProductF extends TyK<[unknown, unknown, unknown]> {
    [$type]: Product<TyVar<this, 0>, TyVar<this, 1>, TyVar<this, 2>>;
}
//# sourceMappingURL=product.d.ts.map