import { Consumer, Peek, Serializable, UnaryFunction } from '@jamashita/anden-type';
import { DeadConstructor, Schrodinger } from '@jamashita/genitore-schrodinger';
export type SReturnType<B, E extends Error> = Exclude<B, Error> | ISuperposition<B, E> | PromiseLike<Exclude<B, Error>> | PromiseLike<ISuperposition<B, E>>;
export interface ISuperposition<out A, out D extends Error> extends Serializable {
    get(): Promise<Exclude<A, Error>>;
    getErrors(): Set<DeadConstructor<D>>;
    ifAlive(consumer: Consumer<Exclude<A, Error>>): this;
    ifContradiction(consumer: Consumer<unknown>): this;
    ifDead(consumer: Consumer<D>): this;
    map<B = A, E extends Error = D>(mapper: UnaryFunction<Exclude<A, Error>, SReturnType<B, E>>, ...errors: Array<DeadConstructor<E>>): ISuperposition<B, D | E>;
    pass(accepted: Consumer<Exclude<A, Error>>, declined: Consumer<D>, thrown: Consumer<unknown>): this;
    peek(peek: Peek): this;
    recover<B = A, E extends Error = D>(mapper: UnaryFunction<D, SReturnType<B, E>>, ...errors: Array<DeadConstructor<E>>): ISuperposition<A | B, E>;
    terminate(): Promise<Schrodinger<A, D>>;
    transform<B = A, E extends Error = D>(alive: UnaryFunction<Exclude<A, Error>, SReturnType<B, E>>, dead: UnaryFunction<D, SReturnType<B, E>>, ...errors: Array<DeadConstructor<E>>): ISuperposition<B, E>;
}
export declare const isSuperposition: <A, D extends Error>(value: unknown) => value is ISuperposition<A, D>;
export declare const containsError: <E extends Error>(err: unknown, errors: Set<DeadConstructor<E>>) => err is E;
//# sourceMappingURL=ISuperposition.d.ts.map