import { Either } from "@fp-ts/data/Either";
import { Opt } from "@effect-ts-app/core/Option";
import { _A, _E } from "@effect-ts/core/Effect";
/**
 * @tsplus type ets/Schema/These
 * @tsplus companion ets/Schema/TheseOps
 */
export declare class These<E, A> {
    readonly effect: Either<E, readonly [A, Opt<E>]>;
    readonly [_E]: () => E;
    readonly [_A]: () => A;
    constructor(effect: Either<E, readonly [A, Opt<E>]>);
}
export declare function succeed<A>(a: A): These<never, A>;
export declare function warn<E, A>(a: A, e: E): These<E, A>;
export declare function fail<E>(e: E): These<E, never>;
export declare function foldM_<E, A, E1, A1, E2, A2, E3, A3>(self: These<E, A>, onSuccess: (a: A) => These<E1, A1>, onBoth: (a: A, e: E) => These<E2, A2>, onFail: (e: E) => These<E3, A3>): These<E1 | E2 | E3, A1 | A2 | A3>;
export declare function foldM<E, A, E1, A1, E2, A2, E3, A3>(onSuccess: (a: A) => These<E1, A1>, onBoth: (a: A, e: E) => These<E2, A2>, onFail: (e: E) => These<E3, A3>): (self: These<E, A>) => These<E1 | E2 | E3, A1 | A2 | A3>;
export declare function map_<E, A0, A>(self: These<E, A0>, f: (a: A0) => A): These<E, A>;
export declare function map<A0, A>(f: (a: A0) => A): <E>(self: These<E, A0>) => These<E, A>;
export declare function mapError_<E0, E, A>(self: These<E0, A>, f: (a: E0) => E): These<E, A>;
export declare function mapError<E0, E>(f: (a: E0) => E): <A>(self: These<E0, A>) => These<E, A>;
export declare function chain_<E0, A0, E, A>(self: These<E0, A0>, f: (a: A0, w: Opt<E0>) => These<E, A>): These<E0 | E, A>;
export declare function chain<E0, A0, E, A>(f: (a: A0, w: Opt<E0>) => These<E, A>): (self: These<E0, A0>) => These<E0 | E, A>;
export declare function result<E, A>(self: These<E, A>): Either<E, readonly [A, Opt<E>]>;
//# sourceMappingURL=These.d.ts.map