import type { FunctorMin } from './Functor';
import type { Option } from './Option';
import type { Semigroup } from './Semigroup';
import type { These } from './These';
import { Functor } from './Functor';
import * as HKT from './HKT';
export interface Semialign<F extends HKT.URIS, C = HKT.Auto> extends Functor<F, C> {
    readonly alignWith_: AlignWithFn_<F, C>;
    readonly alignWith: AlignWithFn<F, C>;
    readonly align_: AlignFn_<F, C>;
    readonly align: AlignFn<F, C>;
    readonly alignCombine_: AlignCombineFn_<F, C>;
    readonly alignCombine: AlignCombineFn<F, C>;
    readonly padZip_: PadZipFn_<F, C>;
    readonly padZip: PadZipFn<F, C>;
    readonly padZipWith_: PadZipWithFn_<F, C>;
    readonly padZipWith: PadZipWithFn<F, C>;
    readonly zipAll_: ZipAllFn_<F, C>;
    readonly zipAll: ZipAllFn<F, C>;
}
export declare type SemialignMin<F extends HKT.URIS, C = HKT.Auto> = ({
    readonly alignWith_: AlignWithFn_<F, C>;
} | {
    readonly align_: AlignFn_<F, C>;
}) & FunctorMin<F, C>;
export declare function Semialign<F extends HKT.URIS, C = HKT.Auto>(F: SemialignMin<F, C>): Semialign<F, C>;
export interface AlignFn_<F extends HKT.URIS, C = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B>(fa: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>, fb: HKT.Kind<F, C, HKT.Intro<C, 'N', N, N1>, HKT.Intro<C, 'K', K, K1>, HKT.Intro<C, 'Q', Q, Q1>, HKT.Intro<C, 'W', W, W1>, HKT.Intro<C, 'X', X, X1>, HKT.Intro<C, 'I', I, I1>, HKT.Intro<C, 'S', S, S1>, HKT.Intro<C, 'R', R, R1>, HKT.Intro<C, 'E', E, E1>, B>): HKT.Kind<F, C, HKT.Mix<C, 'N', [N, N1]>, HKT.Mix<C, 'K', [K, K1]>, HKT.Mix<C, 'Q', [Q, Q1]>, HKT.Mix<C, 'W', [W, W1]>, HKT.Mix<C, 'X', [X, X1]>, HKT.Mix<C, 'I', [I, I1]>, HKT.Mix<C, 'S', [S, S1]>, HKT.Mix<C, 'R', [R, R1]>, HKT.Mix<C, 'E', [E, E1]>, These<A, B>>;
}
export interface AlignFn<F extends HKT.URIS, C = HKT.Auto> {
    <N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B>(fb: HKT.Kind<F, C, N1, K1, Q1, W1, X1, I1, S1, R1, E1, B>): <N extends string, K, Q, W, X, I, S, R, E, A>(fa: HKT.Kind<F, C, HKT.Intro<C, 'N', N1, N>, HKT.Intro<C, 'K', K1, K>, HKT.Intro<C, 'Q', Q1, Q>, HKT.Intro<C, 'W', W1, W>, HKT.Intro<C, 'X', X1, X>, HKT.Intro<C, 'I', I1, I>, HKT.Intro<C, 'S', S1, S>, HKT.Intro<C, 'R', R1, R>, HKT.Intro<C, 'E', E1, E>, A>) => HKT.Kind<F, C, HKT.Mix<C, 'N', [N1, N]>, HKT.Mix<C, 'K', [K1, K]>, HKT.Mix<C, 'Q', [Q1, Q]>, HKT.Mix<C, 'W', [W1, W]>, HKT.Mix<C, 'X', [X1, X]>, HKT.Mix<C, 'I', [I1, I]>, HKT.Mix<C, 'S', [S1, S]>, HKT.Mix<C, 'R', [R1, R]>, HKT.Mix<C, 'E', [E1, E]>, These<A, B>>;
}
export interface AlignWithFn_<F extends HKT.URIS, TC = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B, C>(fa: HKT.Kind<F, TC, N, K, Q, W, X, I, S, R, E, A>, fb: HKT.Kind<F, TC, HKT.Intro<TC, 'N', N, N1>, HKT.Intro<TC, 'K', K, K1>, HKT.Intro<TC, 'Q', Q, Q1>, HKT.Intro<TC, 'W', W, W1>, HKT.Intro<TC, 'X', X, X1>, HKT.Intro<TC, 'I', I, I1>, HKT.Intro<TC, 'S', S, S1>, HKT.Intro<TC, 'R', R, R1>, HKT.Intro<TC, 'E', E, E1>, B>, f: (th: These<A, B>) => C): HKT.Kind<F, TC, HKT.Mix<TC, 'N', [N, N1]>, HKT.Mix<TC, 'K', [K, K1]>, HKT.Mix<TC, 'Q', [Q, Q1]>, HKT.Mix<TC, 'W', [W, W1]>, HKT.Mix<TC, 'X', [X, X1]>, HKT.Mix<TC, 'I', [I, I1]>, HKT.Mix<TC, 'S', [S, S1]>, HKT.Mix<TC, 'R', [R, R1]>, HKT.Mix<TC, 'E', [E, E1]>, C>;
}
export interface AlignWithFn<F extends HKT.URIS, TC = HKT.Auto> {
    <A, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B, C>(fb: HKT.Kind<F, TC, N1, K1, Q1, W1, X1, I1, S1, R1, E1, B>, f: (th: These<A, B>) => C): <N extends string, K, Q, W, X, I, S, R, E>(fa: HKT.Kind<F, TC, HKT.Intro<TC, 'N', N1, N>, HKT.Intro<TC, 'K', K1, K>, HKT.Intro<TC, 'Q', Q1, Q>, HKT.Intro<TC, 'W', W1, W>, HKT.Intro<TC, 'X', X1, X>, HKT.Intro<TC, 'I', I1, I>, HKT.Intro<TC, 'S', S1, S>, HKT.Intro<TC, 'R', R1, R>, HKT.Intro<TC, 'E', E1, E>, A>) => HKT.Kind<F, TC, HKT.Mix<TC, 'N', [N1, N]>, HKT.Mix<TC, 'K', [K1, K]>, HKT.Mix<TC, 'Q', [Q1, Q]>, HKT.Mix<TC, 'W', [W1, W]>, HKT.Mix<TC, 'X', [X1, X]>, HKT.Mix<TC, 'I', [I1, I]>, HKT.Mix<TC, 'S', [S1, S]>, HKT.Mix<TC, 'R', [R1, R]>, HKT.Mix<TC, 'E', [E1, E]>, C>;
}
export declare function alignWithF_<F extends HKT.URIS, C = HKT.Auto>(F: SemialignMin<F, C>): AlignWithFn_<F, C>;
export interface AlignCombineFn_<F extends HKT.URIS, C = HKT.Auto> {
    <A>(S: Semigroup<A>): <N extends string, K, Q, W, X, I, S, R, E, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1>(fa1: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>, fa2: HKT.Kind<F, C, HKT.Intro<C, 'N', N, N1>, HKT.Intro<C, 'K', K, K1>, HKT.Intro<C, 'Q', Q, Q1>, HKT.Intro<C, 'W', W, W1>, HKT.Intro<C, 'X', X, X1>, HKT.Intro<C, 'I', I, I1>, HKT.Intro<C, 'S', S, S1>, HKT.Intro<C, 'R', R, R1>, HKT.Intro<C, 'E', E, E1>, A>) => HKT.Kind<F, C, HKT.Mix<C, 'N', [N, N1]>, HKT.Mix<C, 'K', [K, K1]>, HKT.Mix<C, 'Q', [Q, Q1]>, HKT.Mix<C, 'W', [W, W1]>, HKT.Mix<C, 'X', [X, X1]>, HKT.Mix<C, 'I', [I, I1]>, HKT.Mix<C, 'S', [S, S1]>, HKT.Mix<C, 'R', [R, R1]>, HKT.Mix<C, 'E', [E, E1]>, A>;
}
export interface AlignCombineFn<F extends HKT.URIS, C = HKT.Auto> {
    <A>(S: Semigroup<A>): <N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1>(fb: HKT.Kind<F, C, N1, K1, Q1, W1, X1, I1, S1, R1, E1, A>) => <N extends string, K, Q, W, X, I, S, R, E>(fa: HKT.Kind<F, C, HKT.Intro<C, 'N', N1, N>, HKT.Intro<C, 'K', K1, K>, HKT.Intro<C, 'Q', Q1, Q>, HKT.Intro<C, 'W', W1, W>, HKT.Intro<C, 'X', X1, X>, HKT.Intro<C, 'I', I1, I>, HKT.Intro<C, 'S', S1, S>, HKT.Intro<C, 'R', R1, R>, HKT.Intro<C, 'E', E1, E>, A>) => HKT.Kind<F, C, HKT.Mix<C, 'N', [N1, N]>, HKT.Mix<C, 'K', [K1, K]>, HKT.Mix<C, 'Q', [Q1, Q]>, HKT.Mix<C, 'W', [W1, W]>, HKT.Mix<C, 'X', [X1, X]>, HKT.Mix<C, 'I', [I1, I]>, HKT.Mix<C, 'S', [S1, S]>, HKT.Mix<C, 'R', [R1, R]>, HKT.Mix<C, 'E', [E1, E]>, A>;
}
export declare function alignCombineF_<F extends HKT.URIS, C = HKT.Auto>(F: SemialignMin<F, C>): AlignCombineFn_<F, C>;
export declare function alignCombineF<F extends HKT.URIS, C = HKT.Auto>(F: SemialignMin<F, C>): AlignCombineFn<F, C>;
export interface PadZipFn_<F extends HKT.URIS, C = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B>(fa: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>, fb: HKT.Kind<F, C, HKT.Intro<C, 'N', N, N1>, HKT.Intro<C, 'K', K, K1>, HKT.Intro<C, 'Q', Q, Q1>, HKT.Intro<C, 'W', W, W1>, HKT.Intro<C, 'X', X, X1>, HKT.Intro<C, 'I', I, I1>, HKT.Intro<C, 'S', S, S1>, HKT.Intro<C, 'R', R, R1>, HKT.Intro<C, 'E', E, E1>, B>): HKT.Kind<F, C, HKT.Mix<C, 'N', [N, N1]>, HKT.Mix<C, 'K', [K, K1]>, HKT.Mix<C, 'Q', [Q, Q1]>, HKT.Mix<C, 'W', [W, W1]>, HKT.Mix<C, 'X', [X, X1]>, HKT.Mix<C, 'I', [I, I1]>, HKT.Mix<C, 'S', [S, S1]>, HKT.Mix<C, 'R', [R, R1]>, HKT.Mix<C, 'E', [E, E1]>, readonly [Option<A>, Option<B>]>;
}
export interface PadZipFn<F extends HKT.URIS, C = HKT.Auto> {
    <N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B>(fb: HKT.Kind<F, C, N1, K1, Q1, W1, X1, I1, S1, R1, E1, B>): <N extends string, K, Q, W, X, I, S, R, E, A>(fa: HKT.Kind<F, C, HKT.Intro<C, 'N', N1, N>, HKT.Intro<C, 'K', K1, K>, HKT.Intro<C, 'Q', Q1, Q>, HKT.Intro<C, 'W', W1, W>, HKT.Intro<C, 'X', X1, X>, HKT.Intro<C, 'I', I1, I>, HKT.Intro<C, 'S', S1, S>, HKT.Intro<C, 'R', R1, R>, HKT.Intro<C, 'E', E1, E>, A>) => HKT.Kind<F, C, HKT.Mix<C, 'N', [N1, N]>, HKT.Mix<C, 'K', [K1, K]>, HKT.Mix<C, 'Q', [Q1, Q]>, HKT.Mix<C, 'W', [W1, W]>, HKT.Mix<C, 'X', [X1, X]>, HKT.Mix<C, 'I', [I1, I]>, HKT.Mix<C, 'S', [S1, S]>, HKT.Mix<C, 'R', [R1, R]>, HKT.Mix<C, 'E', [E1, E]>, readonly [Option<A>, Option<B>]>;
}
export declare function padZipF_<F extends HKT.URIS, C = HKT.Auto>(F: SemialignMin<F, C>): PadZipFn_<F, C>;
export declare function padZipF<F extends HKT.URIS, C = HKT.Auto>(F: SemialignMin<F, C>): PadZipFn<F, C>;
export interface PadZipWithFn_<F extends HKT.URIS, C = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B, D>(fa: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>, fb: HKT.Kind<F, C, HKT.Intro<C, 'N', N, N1>, HKT.Intro<C, 'K', K, K1>, HKT.Intro<C, 'Q', Q, Q1>, HKT.Intro<C, 'W', W, W1>, HKT.Intro<C, 'X', X, X1>, HKT.Intro<C, 'I', I, I1>, HKT.Intro<C, 'S', S, S1>, HKT.Intro<C, 'R', R, R1>, HKT.Intro<C, 'E', E, E1>, B>, f: (_: readonly [Option<A>, Option<B>]) => D): HKT.Kind<F, C, HKT.Mix<C, 'N', [N, N1]>, HKT.Mix<C, 'K', [K, K1]>, HKT.Mix<C, 'Q', [Q, Q1]>, HKT.Mix<C, 'W', [W, W1]>, HKT.Mix<C, 'X', [X, X1]>, HKT.Mix<C, 'I', [I, I1]>, HKT.Mix<C, 'S', [S, S1]>, HKT.Mix<C, 'R', [R, R1]>, HKT.Mix<C, 'E', [E, E1]>, D>;
}
export interface PadZipWithFn<F extends HKT.URIS, C = HKT.Auto> {
    <A, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B, D>(fb: HKT.Kind<F, C, N1, K1, Q1, W1, X1, I1, S1, R1, E1, B>, f: (_: readonly [Option<A>, Option<B>]) => D): <N extends string, K, Q, W, X, I, S, R, E, A>(fa: HKT.Kind<F, C, HKT.Intro<C, 'N', N1, N>, HKT.Intro<C, 'K', K1, K>, HKT.Intro<C, 'Q', Q1, Q>, HKT.Intro<C, 'W', W1, W>, HKT.Intro<C, 'X', X1, X>, HKT.Intro<C, 'I', I1, I>, HKT.Intro<C, 'S', S1, S>, HKT.Intro<C, 'R', R1, R>, HKT.Intro<C, 'E', E1, E>, A>) => HKT.Kind<F, C, HKT.Mix<C, 'N', [N1, N]>, HKT.Mix<C, 'K', [K1, K]>, HKT.Mix<C, 'Q', [Q1, Q]>, HKT.Mix<C, 'W', [W1, W]>, HKT.Mix<C, 'X', [X1, X]>, HKT.Mix<C, 'I', [I1, I]>, HKT.Mix<C, 'S', [S1, S]>, HKT.Mix<C, 'R', [R1, R]>, HKT.Mix<C, 'E', [E1, E]>, D>;
}
export declare function padZipWithF_<F extends HKT.URIS, C = HKT.Auto>(F: SemialignMin<F, C>): PadZipWithFn_<F, C>;
export declare function padZipWithF<F extends HKT.URIS, C = HKT.Auto>(F: SemialignMin<F, C>): PadZipWithFn<F, C>;
export interface ZipAllFn_<F extends HKT.URIS, C = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B>(fa: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>, fb: HKT.Kind<F, C, HKT.Intro<C, 'N', N, N1>, HKT.Intro<C, 'K', K, K1>, HKT.Intro<C, 'Q', Q, Q1>, HKT.Intro<C, 'W', W, W1>, HKT.Intro<C, 'X', X, X1>, HKT.Intro<C, 'I', I, I1>, HKT.Intro<C, 'S', S, S1>, HKT.Intro<C, 'R', R, R1>, HKT.Intro<C, 'E', E, E1>, B>, a: A, b: B): HKT.Kind<F, C, HKT.Mix<C, 'N', [N, N1]>, HKT.Mix<C, 'K', [K, K1]>, HKT.Mix<C, 'Q', [Q, Q1]>, HKT.Mix<C, 'W', [W, W1]>, HKT.Mix<C, 'X', [X, X1]>, HKT.Mix<C, 'I', [I, I1]>, HKT.Mix<C, 'S', [S, S1]>, HKT.Mix<C, 'R', [R, R1]>, HKT.Mix<C, 'E', [E, E1]>, readonly [A, B]>;
}
export interface ZipAllFn<F extends HKT.URIS, C = HKT.Auto> {
    <A, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B>(fb: HKT.Kind<F, C, N1, K1, Q1, W1, X1, I1, S1, R1, E1, B>, a: A, b: B): <N extends string, K, Q, W, X, I, S, R, E>(fa: HKT.Kind<F, C, HKT.Intro<C, 'N', N1, N>, HKT.Intro<C, 'K', K1, K>, HKT.Intro<C, 'Q', Q1, Q>, HKT.Intro<C, 'W', W1, W>, HKT.Intro<C, 'X', X1, X>, HKT.Intro<C, 'I', I1, I>, HKT.Intro<C, 'S', S1, S>, HKT.Intro<C, 'R', R1, R>, HKT.Intro<C, 'E', E1, E>, A>) => HKT.Kind<F, C, HKT.Mix<C, 'N', [N1, N]>, HKT.Mix<C, 'K', [K1, K]>, HKT.Mix<C, 'Q', [Q1, Q]>, HKT.Mix<C, 'W', [W1, W]>, HKT.Mix<C, 'X', [X1, X]>, HKT.Mix<C, 'I', [I1, I]>, HKT.Mix<C, 'S', [S1, S]>, HKT.Mix<C, 'R', [R1, R]>, HKT.Mix<C, 'E', [E1, E]>, readonly [A, B]>;
}
export declare function zipAllF_<F extends HKT.URIS, C = HKT.Auto>(F: SemialignMin<F, C>): ZipAllFn_<F, C>;
export declare function zipAllF<F extends HKT.URIS, C = HKT.Auto>(F: SemialignMin<F, C>): ZipAllFn<F, C>;
//# sourceMappingURL=Semialign.d.ts.map