import { Kind } from '@fp4ts/core';
import { Functor, FunctorRequirements } from './functor';
import { Ior, Option } from './data';
import { ArrayF } from './instances/array';
/**
 * @category Type Class
 */
export interface Align<F> extends Functor<F> {
    align<B>(fb: Kind<F, [B]>): <A>(fa: Kind<F, [A]>) => Kind<F, [Ior<A, B>]>;
    align_<A, B>(fa: Kind<F, [A]>, fb: Kind<F, [B]>): Kind<F, [Ior<A, B>]>;
    alignWith<A, B, C>(fb: Kind<F, [B]>, f: (ior: Ior<A, B>) => C): (fa: Kind<F, [A]>) => Kind<F, [C]>;
    alignWith_<A, B, C>(fa: Kind<F, [A]>, fb: Kind<F, [B]>, f: (ior: Ior<A, B>) => C): Kind<F, [C]>;
    padZip<B>(fb: Kind<F, [B]>): <A>(fa: Kind<F, [A]>) => Kind<F, [[Option<A>, Option<B>]]>;
    padZip_<A, B>(fa: Kind<F, [A]>, fb: Kind<F, [B]>): Kind<F, [[Option<A>, Option<B>]]>;
    padZipWith<A, B, C>(fb: Kind<F, [B]>, f: (l: Option<A>, r: Option<B>) => C): (fa: Kind<F, [A]>) => Kind<F, [C]>;
    padZipWith_<A, B>(fa: Kind<F, [A]>, fb: Kind<F, [B]>): <C>(f: (l: Option<A>, r: Option<B>) => C) => Kind<F, [C]>;
    zipAll<A, B>(fa: Kind<F, [A]>, fb: Kind<F, [B]>, a: A, b: B): Kind<F, [[A, B]]>;
}
export type AlignRequirements<F> = (Pick<Align<F>, 'align_'> | Pick<Align<F>, 'alignWith_'>) & FunctorRequirements<F> & Partial<Align<F>>;
export declare const Align: Readonly<{
    of: <F>(F: AlignRequirements<F>) => Align<F>;
    readonly Array: Align<ArrayF>;
}>;
//# sourceMappingURL=align.d.ts.map