import type { AsyncMonad, Alternative, Container, Catamorphism } from "@sweet-monads/interfaces";
declare const enum EitherType {
    Left = "Left",
    Right = "Right"
}
declare class EitherConstructor<L, R, T extends EitherType = EitherType> implements AsyncMonad<R>, Alternative<T>, Container<R>, Catamorphism<[L, R]> {
    private readonly type;
    readonly value: T extends EitherType.Left ? L : R;
    static chain<L, R, NR>(f: (v: R) => Promise<Either<never, NR>>): (m: Either<L, R>) => Promise<Either<L, NR>>;
    static chain<L, R, NL>(f: (v: R) => Promise<Either<NL, never>>): (m: Either<L, R>) => Promise<Either<NL | L, R>>;
    static chain<L, R, NL, NR>(f: (v: R) => Promise<Either<NL, NR>>): (m: Either<L, R>) => Promise<Either<NL | L, NR>>;
    static mergeInOne<L1, R1>(values: [Either<L1, R1>]): Either<L1, [R1]>;
    static mergeInOne<L1, R1, L2, R2>(values: [Either<L1, R1>, Either<L2, R2>]): Either<L1 | L2, [R1, R2]>;
    static mergeInOne<L1, R1, L2, R2, L3, R3>(values: [Either<L1, R1>, Either<L2, R2>, Either<L3, R3>]): Either<L1 | L2 | L3, [R1, R2, R3]>;
    static mergeInOne<L1, R1, L2, R2, L3, R3, L4, R4>(values: [Either<L1, R1>, Either<L2, R2>, Either<L3, R3>, Either<L4, R4>]): Either<L1 | L2 | L3 | L4, [R1, R2, R3, R4]>;
    static mergeInOne<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5>(values: [Either<L1, R1>, Either<L2, R2>, Either<L3, R3>, Either<L4, R4>, Either<L5, R5>]): Either<L1 | L2 | L3 | L4 | L5, [R1, R2, R3, R4, R5]>;
    static mergeInOne<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5, L6, R6>(values: [Either<L1, R1>, Either<L2, R2>, Either<L3, R3>, Either<L4, R4>, Either<L5, R5>, Either<L6, R6>]): Either<L1 | L2 | L3 | L4 | L5 | L6, [R1, R2, R3, R4, R5, R6]>;
    static mergeInOne<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5, L6, R6, L7, R7>(values: [
        Either<L1, R1>,
        Either<L2, R2>,
        Either<L3, R3>,
        Either<L4, R4>,
        Either<L5, R5>,
        Either<L6, R6>,
        Either<L7, R7>
    ]): Either<L1 | L2 | L3 | L4 | L5 | L6 | L7, [R1, R2, R3, R4, R5, R6, R7]>;
    static mergeInOne<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5, L6, R6, L7, R7, L8, R8>(values: [
        Either<L1, R1>,
        Either<L2, R2>,
        Either<L3, R3>,
        Either<L4, R4>,
        Either<L5, R5>,
        Either<L6, R6>,
        Either<L7, R7>,
        Either<L8, R8>
    ]): Either<L1 | L2 | L3 | L4 | L5 | L6 | L7 | L8, [R1, R2, R3, R4, R5, R6, R7, R8]>;
    static mergeInOne<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5, L6, R6, L7, R7, L8, R8, L9, R9>(values: [
        Either<L1, R1>,
        Either<L2, R2>,
        Either<L3, R3>,
        Either<L4, R4>,
        Either<L5, R5>,
        Either<L6, R6>,
        Either<L7, R7>,
        Either<L8, R8>,
        Either<L9, R9>
    ]): Either<L1 | L2 | L3 | L4 | L5 | L6 | L7 | L8 | L9, [R1, R2, R3, R4, R5, R6, R7, R8, R9]>;
    static mergeInOne<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5, L6, R6, L7, R7, L8, R8, L9, R9, L10, R10>(values: [
        Either<L1, R1>,
        Either<L2, R2>,
        Either<L3, R3>,
        Either<L4, R4>,
        Either<L5, R5>,
        Either<L6, R6>,
        Either<L7, R7>,
        Either<L8, R8>,
        Either<L9, R9>,
        Either<L10, R10>
    ]): Either<L1 | L2 | L3 | L4 | L5 | L6 | L7 | L8 | L9 | L10, [R1, R2, R3, R4, R5, R6, R7, R8, R9, R10]>;
    static mergeInOne<L, R>(either: Array<Either<L, R>>): Either<L, R[]>;
    static merge: typeof EitherConstructor.mergeInOne;
    static mergeInMany<L1, R1>(values: [Either<L1, R1>]): Either<Array<L1>, [R1]>;
    static mergeInMany<L1, R1, L2, R2>(values: [Either<L1, R1>, Either<L2, R2>]): Either<Array<L1 | L2>, [R1, R2]>;
    static mergeInMany<L1, R1, L2, R2, L3, R3>(values: [Either<L1, R1>, Either<L2, R2>, Either<L3, R3>]): Either<Array<L1 | L2 | L3>, [R1, R2, R3]>;
    static mergeInMany<L1, R1, L2, R2, L3, R3, L4, R4>(values: [Either<L1, R1>, Either<L2, R2>, Either<L3, R3>, Either<L4, R4>]): Either<Array<L1 | L2 | L3 | L4>, [R1, R2, R3, R4]>;
    static mergeInMany<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5>(values: [Either<L1, R1>, Either<L2, R2>, Either<L3, R3>, Either<L4, R4>, Either<L5, R5>]): EitherConstructor<Array<L1 | L2 | L3 | L4 | L5>, [R1, R2, R3, R4, R5]>;
    static mergeInMany<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5, L6, R6>(values: [Either<L1, R1>, Either<L2, R2>, Either<L3, R3>, Either<L4, R4>, Either<L5, R5>, Either<L6, R6>]): Either<Array<L1 | L2 | L3 | L4 | L5 | L6>, [R1, R2, R3, R4, R5, R6]>;
    static mergeInMany<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5, L6, R6, L7, R7>(values: [
        Either<L1, R1>,
        Either<L2, R2>,
        Either<L3, R3>,
        Either<L4, R4>,
        Either<L5, R5>,
        Either<L6, R6>,
        Either<L7, R7>
    ]): Either<Array<L1 | L2 | L3 | L4 | L5 | L6 | L7>, [R1, R2, R3, R4, R5, R6, R7]>;
    static mergeInMany<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5, L6, R6, L7, R7, L8, R8>(values: [
        Either<L1, R1>,
        Either<L2, R2>,
        Either<L3, R3>,
        Either<L4, R4>,
        Either<L5, R5>,
        Either<L6, R6>,
        Either<L7, R7>,
        Either<L8, R8>
    ]): EitherConstructor<Array<L1 | L2 | L3 | L4 | L5 | L6 | L7 | L8>, [R1, R2, R3, R4, R5, R6, R7, R8]>;
    static mergeInMany<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5, L6, R6, L7, R7, L8, R8, L9, R9>(values: [
        Either<L1, R1>,
        Either<L2, R2>,
        Either<L3, R3>,
        Either<L4, R4>,
        Either<L5, R5>,
        Either<L6, R6>,
        Either<L7, R7>,
        Either<L8, R8>,
        Either<L9, R9>
    ]): Either<Array<L1 | L2 | L3 | L4 | L5 | L6 | L7 | L8 | L9>, [R1, R2, R3, R4, R5, R6, R7, R8, R9]>;
    static mergeInMany<L1, R1, L2, R2, L3, R3, L4, R4, L5, R5, L6, R6, L7, R7, L8, R8, L9, R9, L10, R10>(values: [
        Either<L1, R1>,
        Either<L2, R2>,
        Either<L3, R3>,
        Either<L4, R4>,
        Either<L5, R5>,
        Either<L6, R6>,
        Either<L7, R7>,
        Either<L8, R8>,
        Either<L9, R9>,
        Either<L10, R10>
    ]): Either<Array<L1 | L2 | L3 | L4 | L5 | L6 | L7 | L8 | L9 | L10>, [R1, R2, R3, R4, R5, R6, R7, R8, R9, R10]>;
    static mergeInMany<L, R>(either: Array<Either<L, R>>): Either<L[], R[]>;
    static from<T>(v: T): Either<never, T>;
    static fromPromise<L, R>(promise: Promise<R>): Promise<Either<L, R>>;
    static fromTry<L, R>(fn: () => R): Either<L, R>;
    static right<L = never, T = never>(v: T): Either<L, T>;
    static left<T = never, R = never>(v: T): Either<T, R>;
    private constructor();
    isLeft(): this is EitherConstructor<L, R, EitherType.Left>;
    isRight(): this is EitherConstructor<L, R, EitherType.Right>;
    join<L1, L2, R>(this: Either<L1, Either<L2, R>>): Either<L1 | L2, R>;
    mapRight<T>(f: (r: R) => T): Either<L, T>;
    mapLeft<T>(f: (l: L) => T): Either<T, R>;
    map<T>(f: (r: R) => T): Either<L, T>;
    asyncMap<T>(f: (r: R) => Promise<T>): Promise<Either<L, T>>;
    apply<A, B>(this: Either<L, (a: A) => B>, arg: Either<L, A>): Either<L, B>;
    apply<A, B>(this: Either<L, A>, fn: Either<L, (a: A) => B>): Either<L, B>;
    asyncApply<A, B>(this: Either<L, (a: A) => Promise<B>>, arg: Either<L, Promise<A> | A>): Promise<Either<L, B>>;
    asyncApply<A, B>(this: Either<L, Promise<A> | A>, fn: Either<L, Promise<(a: A) => B>>): Promise<Either<L, B>>;
    chain<A, B>(f: (r: R) => Either<A, B>): Either<A | L, B>;
    asyncChain<A, B>(f: (r: R) => Promise<Either<A, B>>): Promise<Either<A | L, B>>;
    or(x: Either<L, R>): Either<L, R>;
    unwrap(errorFactory?: (x: L) => unknown): R;
    unwrapOr(x: R): R;
    unwrapOrElse(f: (l: L) => R): R;
    fold<C>(mapLeft: (l: L) => C, mapRight: (r: R) => C): C;
    get [Symbol.toStringTag](): string;
}
export type Either<L, R> = EitherConstructor<L, R, EitherType.Right> | EitherConstructor<L, R, EitherType.Left>;
export declare const merge: typeof EitherConstructor.mergeInOne, mergeInOne: typeof EitherConstructor.mergeInOne, mergeInMany: typeof EitherConstructor.mergeInMany, left: typeof EitherConstructor.left, right: typeof EitherConstructor.right, from: typeof EitherConstructor.from, fromTry: typeof EitherConstructor.fromTry, fromPromise: typeof EitherConstructor.fromPromise, chain: typeof EitherConstructor.chain;
export declare const isEither: <L, R>(value: unknown) => value is Either<L, R>;
export {};