/**
 * This file contains the These algebraic data type. These is a sort of
 * combination of Either and Pair. It can represent a complete failure or a
 * partial failure.
 *
 * @module These
 * @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 { Flatmappable } from "./flatmappable.js";
import type { Initializable } from "./initializable.js";
import type { Mappable } from "./mappable.js";
import type { Foldable } from "./foldable.js";
import type { Showable } from "./showable.js";
import type { Traversable } from "./traversable.js";
import * as E from "./either.js";
/**
 * @since 2.0.0
 */
export type Left<B> = E.Left<B>;
/**
 * @since 2.0.0
 */
export type Right<A> = E.Right<A>;
/**
 * @since 2.0.0
 */
export type Both<B, A> = {
    tag: "Both";
    left: B;
    right: A;
};
/**
 * @since 2.0.0
 */
export type These<B, A> = Left<B> | Right<A> | Both<B, A>;
/**
 * @since 2.0.0
 */
export interface KindThese extends Kind {
    readonly kind: These<Out<this, 1>, Out<this, 0>>;
}
/**
 * @since 2.0.0
 */
export interface KindRightThese<E> extends Kind {
    readonly kind: These<E, Out<this, 0>>;
}
/**
 * @since 2.0.0
 */
export declare function left<A = never, B = never>(left: B): These<B, A>;
/**
 * @since 2.0.0
 */
export declare function right<A = never, B = never>(right: A): These<B, A>;
/**
 * @since 2.0.0
 */
export declare function both<A, B>(left: B, right: A): These<B, A>;
/**
 * @since 2.0.0
 */
export declare function match<A, B, O>(onLeft: (b: B) => O, onRight: (a: A) => O, onBoth: (b: B, a: A) => O): (ta: These<B, A>) => O;
/**
 * @since 2.0.0
 */
export declare function isLeft<A, B>(ta: These<B, A>): ta is Left<B>;
/**
 * @since 2.0.0
 */
export declare function isRight<A, B>(ta: These<B, A>): ta is Right<A>;
/**
 * @since 2.0.0
 */
export declare function isBoth<A, B>(ta: These<B, A>): ta is Both<B, A>;
/**
 * @since 2.0.0
 */
export declare function wrap<A, B = never>(a: A): These<B, A>;
/**
 * @since 2.0.0
 */
export declare function fail<A = never, B = never>(b: B): These<B, A>;
/**
 * @since 2.0.0
 */
export declare function map<A, I>(fai: (a: A) => I): <B>(ta: These<B, A>) => These<B, I>;
/**
 * @since 2.0.0
 */
export declare function mapSecond<B, J>(fbj: (b: B) => J): <A>(ta: These<B, A>) => These<J, A>;
/**
 * @since 2.0.0
 */
export declare function fold<A, O>(foao: (o: O, a: A) => O, o: O): <B>(ta: These<B, A>) => O;
/**
 * @since 2.0.0
 */
export declare function traverse<U extends Kind>(A: Applicable<U>): <A, I, J, K, L, M>(favi: (a: A) => $<U, [I, J, K], [L], [M]>) => <B>(ta: These<B, A>) => $<U, [These<B, I>, J, K], [L], [M]>;
/**
 * @since 2.0.0
 */
export declare function getShowableThese<A, B>(SB: Showable<B>, SA: Showable<A>): Showable<These<B, A>>;
/**
 * @since 2.0.0
 */
export declare function getCombinableThese<A, B>(SA: Combinable<A>, SB: Combinable<B>): Combinable<These<B, A>>;
/**
 * @since 2.0.0
 */
export declare function getInitializableThese<A, B>(IA: Initializable<A>, IB: Initializable<B>): Initializable<These<B, A>>;
/**
 * @since 2.0.0
 */
export declare function getFlatmappableRight<B>({ combine }: Combinable<B>): Flatmappable<KindRightThese<B>>;
/**
 * @since 2.0.0
 */
export declare const BimappableThese: Bimappable<KindThese>;
/**
 * @since 2.0.0
 */
export declare const MappableThese: Mappable<KindThese>;
/**
 * @since 2.0.0
 */
export declare const FoldableThese: Foldable<KindThese>;
/**
 * @since 2.0.0
 */
export declare const TraversableThese: Traversable<KindThese>;