import { $, $type, Kind, TyK, TyVar } from '@fp4ts/core';
import { Eq } from '@fp4ts/cats-kernel';
import { Contravariant } from '../contravariant';
import { EqK } from '../eq-k';
import { Foldable } from '../foldable';
import { Functor } from '../functor';
import { Traversable } from '../traversable';
import { FunctorFilter } from '../functor-filter';
import { TraversableFilter } from '../traversable-filter';
/**
 * Coproduct of the two functors.
 */
export type Coproduct<F, G, A> = Coproduct_<F, G, A>;
export declare const Coproduct: {
    (): void;
    Inl<F, G, A>(fa: Kind<F, [A]>): Coproduct<F, G, A>;
    Inr<F_1, G_1, A_1>(ga: Kind<G_1, [A_1]>): Coproduct<F_1, G_1, A_1>;
    Eq<F_2, G_2, A_2>(F: Eq<Kind<F_2, [A_2]>>, G: Eq<Kind<G_2, [A_2]>>): Eq<Coproduct<F_2, G_2, A_2>>;
    EqK<F_3, G_3>(F: EqK<F_3>, G: EqK<G_3>): EqK<$<CoproductF, [F_3, G_3]>>;
    Functor<F_4, G_4>(F: Functor<F_4>, G: Functor<G_4>): Functor<$<CoproductF, [F_4, G_4]>>;
    FunctorFilter<F_5, G_5>(F: FunctorFilter<F_5>, G: FunctorFilter<G_5>): FunctorFilter<$<CoproductF, [F_5, G_5]>>;
    Contravariant<F_6, G_6>(F: Contravariant<F_6>, G: Contravariant<G_6>): Contravariant<$<CoproductF, [F_6, G_6]>>;
    Foldable<F_7, G_7>(F: Foldable<F_7>, G: Foldable<G_7>): Foldable<$<CoproductF, [F_7, G_7]>>;
    Traversable<F_8, G_8>(F: Traversable<F_8>, G: Traversable<G_8>): Traversable<$<CoproductF, [F_8, G_8]>>;
    TraversableFilter<F_9, G_9>(F: TraversableFilter<F_9>, G: TraversableFilter<G_9>): TraversableFilter<$<CoproductF, [F_9, G_9]>>;
};
declare abstract class Coproduct_<F, G, out A> {
    /**
     * Like functor's `map`, but on either of the corresponding functor values.
     */
    abstract transform<B>(f: (fa: Kind<F, [A]>) => Kind<F, [B]>, g: (ga: Kind<G, [A]>) => Kind<G, [B]>): Coproduct<F, G, B>;
    abstract eliminate<B>(f: (fa: Kind<F, [A]>) => B, g: (ga: Kind<G, [A]>) => B): B;
}
/**
 * @category Type Constructor
 * @category Data
 */
export interface CoproductF extends TyK<[unknown, unknown, unknown]> {
    [$type]: Coproduct<TyVar<this, 0>, TyVar<this, 1>, TyVar<this, 2>>;
}
export {};
//# sourceMappingURL=coproduct.d.ts.map