/**
 * This file contains the Either algebraic data type. Either is used to
 * represent two exclusive types. Generally, Either is used to represent either
 * a successful computation or a failed computation, with the result of the
 * failed computation being kept in Left.
 *
 * @module Either
 * @since 2.0.0
 */
import "./_dnt.polyfills.js";
import type { $, Kind, Out } from "./kind.js";
import type { Applicable } from "./applicable.js";
import type { Bimappable } from "./bimappable.js";
import type { Combinable } from "./combinable.js";
import type { Comparable } from "./comparable.js";
import type { Failable } from "./failable.js";
import type { Filterable } from "./filterable.js";
import type { Flatmappable } from "./flatmappable.js";
import type { Foldable } from "./foldable.js";
import type { Initializable } from "./initializable.js";
import type { Mappable } from "./mappable.js";
import type { Predicate } from "./predicate.js";
import type { Refinement } from "./refinement.js";
import type { Showable } from "./showable.js";
import type { Sortable } from "./sortable.js";
import type { Traversable } from "./traversable.js";
import type { Wrappable } from "./wrappable.js";
import * as O from "./option.js";
/**
 * @since 2.0.0
 */
export type Left<L> = {
    tag: "Left";
    left: L;
};
/**
 * @since 2.0.0
 */
export type Right<R> = {
    tag: "Right";
    right: R;
};
/**
 * @since 2.0.0
 */
export type Either<L, R> = Left<L> | Right<R>;
/**
 * @since 2.0.0
 */
export interface KindEither extends Kind {
    readonly kind: Either<Out<this, 1>, Out<this, 0>>;
}
/**
 * @since 2.0.0
 */
export interface KindRightEither<B> extends Kind {
    readonly kind: Either<B, Out<this, 0>>;
}
/**
 * @since 2.0.0
 */
export declare function left<E, A = never>(left: E): Either<E, A>;
/**
 * @since 2.0.0
 */
export declare function right<A, E = never>(right: A): Either<E, A>;
/**
 * @since 2.0.0
 */
export declare function wrap<A, B = never>(a: A): Either<B, A>;
/**
 * @since 2.0.0
 */
export declare function fail<A = never, B = never>(b: B): Either<B, A>;
/**
 * @since 2.0.0
 */
export declare function fromNullable<E>(fe: () => E): <A>(a: A) => Either<E, NonNullable<A>>;
/**
 * @since 2.0.0
 */
export declare function tryCatch<E, A, AS extends unknown[]>(fn: (...as: AS) => A, onError: (e: unknown) => E): (...as: AS) => Either<E, A>;
/**
 * @since 2.0.0
 */
export declare function fromPredicate<A, B extends A>(refinement: Refinement<A, B>): (a: A) => Either<A, B>;
export declare function fromPredicate<A>(predicate: Predicate<A>): (a: A) => Either<A, A>;
/**
 * @since 2.0.0
 */
export declare function match<L, R, B>(onLeft: (left: L) => B, onRight: (right: R) => B): (ta: Either<L, R>) => B;
/**
 * @since 2.0.0
 */
export declare function getOrElse<E, A>(onLeft: (e: E) => A): (ma: Either<E, A>) => A;
/**
 * @since 2.0.0
 */
export declare function getRight<E, A>(ma: Either<E, A>): O.Option<A>;
/**
 * @since 2.0.0
 */
export declare function getLeft<E, A>(ma: Either<E, A>): O.Option<E>;
/**
 * @since 2.0.0
 */
export declare function isLeft<L, R>(m: Either<L, R>): m is Left<L>;
/**
 * @since 2.0.0
 */
export declare function isRight<L, R>(m: Either<L, R>): m is Right<R>;
/**
 * @since 2.0.0
 */
export declare function bimap<A, B, I, J>(fbj: (b: B) => J, fai: (a: A) => I): (ta: Either<B, A>) => Either<J, I>;
/**
 * @since 2.0.0
 */
export declare function swap<E, A>(ma: Either<E, A>): Either<A, E>;
/**
 * @since 2.0.0
 */
export declare function map<A, I>(fai: (a: A) => I): <B>(ta: Either<B, A>) => Either<B, I>;
/**
 * @since 2.0.0
 */
export declare function mapSecond<B, J>(fbj: (b: B) => J): <A>(ta: Either<B, A>) => Either<J, A>;
/**
 * @since 2.0.0
 */
export declare function apply<A, B>(ua: Either<B, A>): <I, J>(ufai: Either<J, (a: A) => I>) => Either<B | J, I>;
/**
 * @since 2.0.0
 */
export declare function flatmap<A, I, J>(fati: (a: A) => Either<J, I>): <B>(ta: Either<B, A>) => Either<B | J, I>;
/**
 * @since 2.0.0
 */
export declare function flatmapFirst<A, I = never, J = never>(faui: (a: A) => Either<J, I>): <B = never>(ta: Either<B, A>) => Either<B | J, A>;
/**
 * @since 2.0.0
 */
export declare function recover<B, I, J>(fbui: (b: B) => Either<J, I>): <A>(ua: Either<B, A>) => Either<J, A | I>;
/**
 * @since 2.0.0
 */
export declare function alt<A, J>(tb: Either<J, A>): <B>(ta: Either<B, A>) => Either<B | J, A>;
/**
 * @since 2.0.0
 */
export declare function fold<A, O>(foao: (o: O, a: A) => O, o: O): <B>(ta: Either<B, A>) => O;
/**
 * @since 2.0.0
 */
export declare function traverse<V extends Kind>(A: Applicable<V> & Mappable<V> & Wrappable<V>): <A, I, J, K, L, M>(faui: (a: A) => $<V, [I, J, K], [L], [M]>) => <B>(ta: Either<B, A>) => $<V, [Either<B, I>, J, K], [L], [M]>;
/**
 * @since 2.0.0
 */
export declare function getShowableEither<A, B>(SB: Showable<B>, SA: Showable<A>): Showable<Either<B, A>>;
/**
 * @since 2.0.0
 */
export declare function getComparableEither<A, B>(SB: Comparable<B>, SA: Comparable<A>): Comparable<Either<B, A>>;
/**
 * @since 2.0.0
 */
export declare function getSortableEither<A, B>(OB: Sortable<B>, OA: Sortable<A>): Sortable<Either<B, A>>;
/**
 * @since 2.0.0
 */
export declare function getCombinableEither<A, B>(CA: Combinable<A>, CB: Combinable<B>): Combinable<Either<B, A>>;
/**
 * @since 2.0.0
 */
export declare function getInitializableEither<A, B>(CA: Initializable<A>, CB: Initializable<B>): Initializable<Either<B, A>>;
/**
 * @since 2.0.0
 */
export declare function getFlatmappableRight<E>({ combine }: Combinable<E>): Flatmappable<KindRightEither<E>>;
/**
 * @since 2.0.0
 */
export declare function getFilterableEither<B>(I: Initializable<B>): Filterable<KindRightEither<B>>;
/**
 * @since 2.0.0
 */
export declare const ApplicableEither: Applicable<KindEither>;
/**
 * @since 2.0.0
 */
export declare const BimappableEither: Bimappable<KindEither>;
/**
 * @since 2.0.0
 */
export declare const FailableEither: Failable<KindEither>;
/**
 * @since 2.0.0
 */
export declare const FlatmappableEither: Flatmappable<KindEither>;
/**
 * @since 2.0.0
 */
export declare const MappableEither: Mappable<KindEither>;
/**
 * @since 2.0.0
 */
export declare const FoldableEither: Foldable<KindEither>;
/**
 * @since 2.0.0
 */
export declare const TraversableEither: Traversable<KindEither>;
/**
 * @since 2.0.0
 */
export declare const WrappableEither: Wrappable<KindEither>;
/**
 * @since 2.0.0
 */
export declare const tap: <A>(fn: (value: A) => void) => <B = never, C = never, D = unknown, E = unknown>(ua: Either<B, A>) => Either<B, A>;
/**
 * @since 2.0.0
 */
export declare const bind: <N extends string, A, I, J = never, K = never, L = unknown, M = unknown>(name: Exclude<N, keyof A>, faui: (a: A) => Either<J, I>) => <B = never, C = never, D extends L = L>(ua: Either<B, A>) => Either<J | B, { readonly [K_1 in N | keyof A]: K_1 extends keyof A ? A[K_1] : I; }>;
/**
 * @since 2.0.0
 */
export declare const bindTo: <N extends string>(name: N) => <A, B = never, C = never, D = unknown, E = unknown>(ua: Either<B, A>) => Either<B, { readonly [K in N]: A; }>;