import { Kind } from '@fp4ts/core';
import { Align, AlignRequirements } from './align';
import { Ior } from './data';
import { ArrayF } from './instances/array';
/**
 * @category Type Class
 */
export interface Unalign<F> extends Align<F> {
    unalign<A, B>(fab: Kind<F, [Ior<A, B>]>): [Kind<F, [A]>, Kind<F, [B]>];
    unalignWith<A, B, C>(f: (a: A) => Ior<B, C>): (fa: Kind<F, [A]>) => [Kind<F, [B]>, Kind<F, [C]>];
    unalignWith_<A, B, C>(fa: Kind<F, [A]>, f: (a: A) => Ior<B, C>): [Kind<F, [B]>, Kind<F, [C]>];
}
export type UnalignRequirements<F> = (Pick<Unalign<F>, 'unalign'> | Pick<Unalign<F>, 'unalignWith_'>) & AlignRequirements<F> & Partial<Unalign<F>>;
export declare const Unalign: Readonly<{
    of: <F>(F: UnalignRequirements<F>) => Unalign<F>;
    readonly Array: Unalign<ArrayF>;
}>;
//# sourceMappingURL=unalign.d.ts.map