import { Equals } from "@tsplus/stdlib/structure/Equals";
import type { IFailure, ISuccess } from "@effect/core/io/Effect/definition/primitives";
/**
 * @tsplus type effect/core/io/Exit/Success
 */
export interface Success<A> extends ISuccess<A>, Equals {
}
/**
 * @tsplus type effect/core/io/Exit/Failure
 */
export interface Failure<E> extends IFailure<E>, Equals {
}
/**
 * @tsplus type effect/core/io/Exit
 */
export type Exit<E, A> = Success<A> | Failure<E>;
/**
 * @tsplus type effect/core/io/Exit.Ops
 */
export interface ExitOps {
    $: ExitAspects;
}
export declare const Exit: ExitOps;
/**
 * @tsplus type effect/core/io/Exit.Aspects
 */
export interface ExitAspects {
}
/**
 * @tsplus unify effect/core/io/Exit/Success
 * @tsplus unify effect/core/io/Exit/Failure
 */
export declare function unifyExit<X extends Exit<any, any>>(self: X): Exit<X extends Failure<infer EX> ? EX : never, X extends Success<infer AX> ? AX : never>;
//# sourceMappingURL=definition.d.ts.map