/**
 * Represents observable state for asynchronous values.
 *
 * `AsyncResult<A, E>` records whether asynchronous work has no value yet,
 * succeeded with an `A`, or failed with an `E`. Every state also carries a
 * `waiting` flag, so callers can keep showing the current value while newer
 * work is loading, refreshing, retrying, or recovering. This module includes
 * constructors, checks, accessors, mapping and matching helpers, ways to combine
 * several results, and schemas for encoding or decoding results.
 *
 * @stability unstable
 * @since 4.0.0
 */
import * as Cause from "../Cause.ts";
import * as Exit from "../Exit.ts";
import type { LazyArg } from "../Function.ts";
import * as Option from "../Option.ts";
import { type Pipeable } from "../Pipeable.ts";
import type { Predicate, Refinement } from "../Predicate.ts";
import * as Schema_ from "../Schema.ts";
import type * as Types from "../Types.ts";
/**
 * Type-level identifier used to recognize `AsyncResult` values.
 *
 * @stability unstable
 * @category type IDs
 * @since 4.0.0
 */
export type TypeId = "~effect/reactivity/AsyncResult";
/**
 * Runtime identifier attached to `AsyncResult` values and used by `isAsyncResult`.
 *
 * @stability unstable
 * @category type IDs
 * @since 4.0.0
 */
export declare const TypeId: TypeId;
/**
 * Represents the state of an asynchronous value as `Initial`, `Success`, or `Failure`, with a `waiting` flag for in-flight refreshes.
 *
 * @stability unstable
 * @category models
 * @since 4.0.0
 */
export type AsyncResult<A, E = never> = Initial<A, E> | Success<A, E> | Failure<A, E>;
/**
 * Returns `true` when a value is an `AsyncResult`.
 *
 * @stability unstable
 * @category guards
 * @since 4.0.0
 */
export declare const isAsyncResult: (u: unknown) => u is AsyncResult<unknown, unknown>;
/**
 * Namespace containing type-level helpers and the shared prototype shape for `AsyncResult` values.
 *
 * @stability unstable
 * @since 4.0.0
 */
export declare namespace AsyncResult {
    /**
     * Common prototype fields implemented by every `AsyncResult` variant, including pipeability, the type marker, phantom type members, and the `waiting` flag.
     *
     * @stability unstable
     * @category models
     * @since 4.0.0
     */
    interface Proto<A, E> extends Pipeable {
        readonly [TypeId]: {
            readonly E: (_: never) => E;
            readonly A: (_: never) => A;
        };
        readonly waiting: boolean;
    }
    /**
     * Extracts the success value type from an `AsyncResult`.
     *
     * @stability unstable
     * @category utility types
     * @since 4.0.0
     */
    type Success<R> = R extends AsyncResult<infer A, infer _> ? A : never;
    /**
     * Extracts the failure error type from an `AsyncResult`.
     *
     * @stability unstable
     * @category utility types
     * @since 4.0.0
     */
    type Failure<R> = R extends AsyncResult<infer _, infer E> ? E : never;
}
/**
 * Rebuilds an `AsyncResult` with new success and failure types while preserving the variant of another result.
 *
 * @stability unstable
 * @category utility types
 * @since 4.0.0
 */
export type With<R extends AsyncResult<any, any>, A, E> = R extends Initial<infer _A, infer _E> ? Initial<A, E> : R extends Success<infer _A, infer _E> ? Success<A, E> : R extends Failure<infer _A, infer _E> ? Failure<A, E> : never;
/**
 * Returns whether an `AsyncResult` is currently waiting for an asynchronous computation or refresh to finish.
 *
 * @stability unstable
 * @category predicates
 * @since 4.0.0
 */
export declare const isWaiting: <A, E>(result: AsyncResult<A, E>) => boolean;
/**
 * Initial `AsyncResult` state before a success value or failure cause is available.
 *
 * @stability unstable
 * @category models
 * @since 4.0.0
 */
export interface Initial<A, E = never> extends AsyncResult.Proto<A, E> {
    readonly _tag: "Initial";
}
/**
 * Converts an `Exit` into a `Success` when it succeeds or a `Failure` carrying the exit cause when it fails.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const fromExit: <A, E>(exit: Exit.Exit<A, E>) => Success<A, E> | Failure<A, E>;
/**
 * Converts an `Exit` to a result, preserving the latest previous success when the exit is a failure.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const fromExitWithPrevious: <A, E>(exit: Exit.Exit<A, E>, previous: Option.Option<AsyncResult<A, E>>) => Success<A, E> | Failure<A, E>;
/**
 * Creates a waiting result from an optional previous result, using `Initial(true)` when no previous result exists.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const waitingFrom: <A, E>(previous: Option.Option<AsyncResult<A, E>>) => AsyncResult<A, E>;
/**
 * Returns `true` when an `AsyncResult` is in the `Initial` state.
 *
 * @stability unstable
 * @category guards
 * @since 4.0.0
 */
export declare const isInitial: <A, E>(result: AsyncResult<A, E>) => result is Initial<A, E>;
/**
 * Returns `true` when an `AsyncResult` is either `Success` or `Failure`.
 *
 * @stability unstable
 * @category guards
 * @since 4.0.0
 */
export declare const isNotInitial: <A, E>(result: AsyncResult<A, E>) => result is Success<A, E> | Failure<A, E>;
/**
 * Creates an `Initial` result, optionally marking it as waiting.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const initial: <A = never, E = never>(waiting?: boolean) => Initial<A, E>;
/**
 * Successful `AsyncResult` containing the current value, its timestamp, and the shared waiting flag.
 *
 * @stability unstable
 * @category models
 * @since 4.0.0
 */
export interface Success<A, E = never> extends AsyncResult.Proto<A, E> {
    readonly _tag: "Success";
    readonly value: A;
    readonly timestamp: number;
}
/**
 * Returns `true` when an `AsyncResult` is a `Success`.
 *
 * @stability unstable
 * @category guards
 * @since 4.0.0
 */
export declare const isSuccess: <A, E>(result: AsyncResult<A, E>) => result is Success<A, E>;
/**
 * Creates a `Success` result with a value and optional `waiting` flag or timestamp override.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const success: <A, E = never>(value: A, options?: {
    readonly waiting?: boolean | undefined;
    readonly timestamp?: number | undefined;
}) => Success<A, E>;
/**
 * Failed `AsyncResult` containing a failure cause and the latest previous success when one is available.
 *
 * @stability unstable
 * @category models
 * @since 4.0.0
 */
export interface Failure<A, E = never> extends AsyncResult.Proto<A, E> {
    readonly _tag: "Failure";
    readonly cause: Cause.Cause<E>;
    readonly previousSuccess: Option.Option<Success<A, E>>;
}
/**
 * Returns `true` when an `AsyncResult` is a `Failure`.
 *
 * @stability unstable
 * @category guards
 * @since 4.0.0
 */
export declare const isFailure: <A, E>(result: AsyncResult<A, E>) => result is Failure<A, E>;
/**
 * Returns `true` when an `AsyncResult` is a `Failure` whose cause contains only interruptions.
 *
 * @stability unstable
 * @category guards
 * @since 4.0.0
 */
export declare const isInterrupted: <A, E>(result: AsyncResult<A, E>) => result is Failure<A, E>;
/**
 * Creates a `Failure` result from a `Cause`, optionally preserving a previous success and marking the result as waiting.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const failure: <A, E = never>(cause: Cause.Cause<E>, options?: {
    readonly previousSuccess?: Option.Option<Success<A, E>> | undefined;
    readonly waiting?: boolean | undefined;
}) => Failure<A, E>;
/**
 * Creates a `Failure` result from a `Cause`, carrying forward the latest success stored in a previous result.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const failureWithPrevious: <A, E>(cause: Cause.Cause<E>, options: {
    readonly previous: Option.Option<AsyncResult<A, E>>;
    readonly waiting?: boolean | undefined;
}) => Failure<A, E>;
/**
 * Creates a `Failure` result from a typed error, wrapping it in `Cause.fail`.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const fail: <E, A = never>(error: E, options?: {
    readonly previousSuccess?: Option.Option<Success<A, E>> | undefined;
    readonly waiting?: boolean | undefined;
}) => Failure<A, E>;
/**
 * Creates a `Failure` result from a typed error while carrying forward the latest success stored in a previous result.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const failWithPrevious: <A, E>(error: E, options: {
    readonly previous: Option.Option<AsyncResult<A, E>>;
    readonly waiting?: boolean | undefined;
}) => Failure<A, E>;
/**
 * Marks an `AsyncResult` as waiting, optionally touching the timestamp when the result is a `Success`.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const waiting: {
    /**
     * Marks an `AsyncResult` as waiting, optionally touching the timestamp when the result is a `Success`.
     *
     * @stability unstable
     * @category constructors
     * @since 4.0.0
     */
    (options?: {
        readonly touch?: boolean | undefined;
    }): <R extends AsyncResult<any, any>>(self: R) => R;
    /**
     * Marks an `AsyncResult` as waiting, optionally touching the timestamp when the result is a `Success`.
     *
     * @stability unstable
     * @category constructors
     * @since 4.0.0
     */
    <R extends AsyncResult<any, any>>(self: R, options?: {
        readonly touch?: boolean | undefined;
    }): R;
};
/**
 * Refreshes the timestamp of a `Success` result while preserving its value and waiting flag; non-success results are returned unchanged.
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const touch: <A extends AsyncResult<any, any>>(result: A) => A;
/**
 * Replaces a `Failure` value's stored previous success with the latest success
 * found in another result.
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const replacePrevious: {
    /**
     * Replaces a `Failure` value's stored previous success with the latest success
     * found in another result.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <XE, A>(previous: Option.Option<AsyncResult<A, XE>>): <R extends AsyncResult<any, any>>(self: R) => With<R, A, AsyncResult.Failure<R>>;
    /**
     * Replaces a `Failure` value's stored previous success with the latest success
     * found in another result.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <R extends AsyncResult<any, any>, XE, A>(self: R, previous: Option.Option<AsyncResult<A, XE>>): With<R, A, AsyncResult.Failure<R>>;
};
/**
 * Returns the current success value, or the previous success value stored in a failure, as an `Option`.
 *
 * @stability unstable
 * @category accessors
 * @since 4.0.0
 */
export declare const value: <A, E>(self: AsyncResult<A, E>) => Option.Option<A>;
/**
 * Returns the available value from `value`, or evaluates the fallback when no current or previous success exists.
 *
 * @stability unstable
 * @category accessors
 * @since 4.0.0
 */
export declare const getOrElse: {
    /**
     * Returns the available value from `value`, or evaluates the fallback when no current or previous success exists.
     *
     * @stability unstable
     * @category accessors
     * @since 4.0.0
     */
    <B>(orElse: LazyArg<B>): <A, E>(self: AsyncResult<A, E>) => A | B;
    /**
     * Returns the available value from `value`, or evaluates the fallback when no current or previous success exists.
     *
     * @stability unstable
     * @category accessors
     * @since 4.0.0
     */
    <A, E, B>(self: AsyncResult<A, E>, orElse: LazyArg<B>): A | B;
};
/**
 * Returns the available value from `value`, or throws `NoSuchElementError` when no current or previous success exists.
 *
 * @stability unstable
 * @category accessors
 * @since 4.0.0
 */
export declare const getOrThrow: <A, E>(self: AsyncResult<A, E>) => A;
/**
 * Returns the failure cause when the result is a `Failure`, otherwise `None`.
 *
 * @stability unstable
 * @category accessors
 * @since 4.0.0
 */
export declare const cause: <A, E>(self: AsyncResult<A, E>) => Option.Option<Cause.Cause<E>>;
/**
 * Returns the first typed error from a failure cause, or `None` for successes, initial results, defects, and interrupt-only causes.
 *
 * @stability unstable
 * @category accessors
 * @since 4.0.0
 */
export declare const error: <A, E>(self: AsyncResult<A, E>) => Option.Option<E>;
/**
 * Converts a result to an `Exit`, succeeding with a success value, failing with a failure cause, or failing with `NoSuchElementError` for `Initial`.
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const toExit: <A, E>(self: AsyncResult<A, E>) => Exit.Exit<A, E | Cause.NoSuchElementError>;
/**
 * Maps the success value of an `AsyncResult`, also mapping any previous success stored in a failure while leaving initial results unchanged.
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const map: {
    /**
     * Maps the success value of an `AsyncResult`, also mapping any previous success stored in a failure while leaving initial results unchanged.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(f: (a: A) => B): <E>(self: AsyncResult<A, E>) => AsyncResult<B, E>;
    /**
     * Maps the success value of an `AsyncResult`, also mapping any previous success stored in a failure while leaving initial results unchanged.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <E, A, B>(self: AsyncResult<A, E>, f: (a: A) => B): AsyncResult<B, E>;
};
/**
 * Maps the success value of an `AsyncResult` and flattens the result.
 *
 * **When to use**
 *
 * Use to sequence computations that may return another `AsyncResult` while
 * preserving initial and failure states.
 *
 * **Details**
 *
 * Initial results are left unchanged. Failures preserve their cause and remap
 * the stored previous success when the mapping function returns a success.
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const flatMap: {
    /**
     * Maps the success value of an `AsyncResult` and flattens the result.
     *
     * **When to use**
     *
     * Use to sequence computations that may return another `AsyncResult` while
     * preserving initial and failure states.
     *
     * **Details**
     *
     * Initial results are left unchanged. Failures preserve their cause and remap
     * the stored previous success when the mapping function returns a success.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, E, B, E2>(f: (a: A, prev: Success<A, E>) => AsyncResult<B, E2>): (self: AsyncResult<A, E>) => AsyncResult<B, E | E2>;
    /**
     * Maps the success value of an `AsyncResult` and flattens the result.
     *
     * **When to use**
     *
     * Use to sequence computations that may return another `AsyncResult` while
     * preserving initial and failure states.
     *
     * **Details**
     *
     * Initial results are left unchanged. Failures preserve their cause and remap
     * the stored previous success when the mapping function returns a success.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <E, A, B, E2>(self: AsyncResult<A, E>, f: (a: A, prev: Success<A, E>) => AsyncResult<B, E2>): AsyncResult<B, E | E2>;
};
/**
 * Pattern matches an `AsyncResult` by calling the handler for `Initial`, `Failure`, or `Success`.
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const match: {
    /**
     * Pattern matches an `AsyncResult` by calling the handler for `Initial`, `Failure`, or `Success`.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, E, X, Y, Z>(options: {
        readonly onInitial: (_: Initial<A, E>) => X;
        readonly onFailure: (_: Failure<A, E>) => Y;
        readonly onSuccess: (_: Success<A, E>) => Z;
    }): (self: AsyncResult<A, E>) => X | Y | Z;
    /**
     * Pattern matches an `AsyncResult` by calling the handler for `Initial`, `Failure`, or `Success`.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, E, X, Y, Z>(self: AsyncResult<A, E>, options: {
        readonly onInitial: (_: Initial<A, E>) => X;
        readonly onFailure: (_: Failure<A, E>) => Y;
        readonly onSuccess: (_: Success<A, E>) => Z;
    }): X | Y | Z;
};
/**
 * Pattern matches a result, handling successes and initials directly while splitting failures into typed errors or squashed non-error causes passed to `onDefect`.
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const matchWithError: {
    /**
     * Pattern matches a result, handling successes and initials directly while splitting failures into typed errors or squashed non-error causes passed to `onDefect`.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, E, W, X, Y, Z>(options: {
        readonly onInitial: (_: Initial<A, E>) => W;
        readonly onError: (error: E, _: Failure<A, E>) => X;
        readonly onDefect: (defect: unknown, _: Failure<A, E>) => Y;
        readonly onSuccess: (_: Success<A, E>) => Z;
    }): (self: AsyncResult<A, E>) => W | X | Y | Z;
    /**
     * Pattern matches a result, handling successes and initials directly while splitting failures into typed errors or squashed non-error causes passed to `onDefect`.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, E, W, X, Y, Z>(self: AsyncResult<A, E>, options: {
        readonly onInitial: (_: Initial<A, E>) => W;
        readonly onError: (error: E, _: Failure<A, E>) => X;
        readonly onDefect: (defect: unknown, _: Failure<A, E>) => Y;
        readonly onSuccess: (_: Success<A, E>) => Z;
    }): W | X | Y | Z;
};
/**
 * Pattern matches a result by calling `onWaiting` for waiting or initial states, otherwise handling successes and splitting failures into typed errors or squashed non-error causes.
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const matchWithWaiting: {
    /**
     * Pattern matches a result by calling `onWaiting` for waiting or initial states, otherwise handling successes and splitting failures into typed errors or squashed non-error causes.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, E, W, X, Y, Z>(options: {
        readonly onWaiting: (_: AsyncResult<A, E>) => W;
        readonly onError: (error: E, _: Failure<A, E>) => X;
        readonly onDefect: (defect: unknown, _: Failure<A, E>) => Y;
        readonly onSuccess: (_: Success<A, E>) => Z;
    }): (self: AsyncResult<A, E>) => W | X | Y | Z;
    /**
     * Pattern matches a result by calling `onWaiting` for waiting or initial states, otherwise handling successes and splitting failures into typed errors or squashed non-error causes.
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, E, W, X, Y, Z>(self: AsyncResult<A, E>, options: {
        readonly onWaiting: (_: AsyncResult<A, E>) => W;
        readonly onError: (error: E, _: Failure<A, E>) => X;
        readonly onDefect: (defect: unknown, _: Failure<A, E>) => Y;
        readonly onSuccess: (_: Success<A, E>) => Z;
    }): W | X | Y | Z;
};
/**
 * Combines an iterable or record of `AsyncResult` and plain values into one `AsyncResult`, returning the first non-success result or a success of the collected values marked waiting when any input success is waiting.
 *
 * **Details**
 *
 * If the first non-success result is a failure, its previous success is
 * rebuilt in the combined shape from each input's current or previous value.
 * It is omitted if any input has no value.
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const all: <const Arg extends Iterable<any> | Record<string, any>>(results: Arg) => AsyncResult<[Arg] extends [ReadonlyArray<any>] ? { -readonly [K in keyof Arg]: [Arg[K]] extends [AsyncResult<infer _A, infer _E>] ? _A : Arg[K]; } : [Arg] extends [Iterable<infer _A>] ? _A extends AsyncResult<infer _AA, infer _E> ? _AA : _A : [Arg] extends [Record<string, any>] ? { -readonly [K in keyof Arg]: [Arg[K]] extends [AsyncResult<infer _A, infer _E>] ? _A : Arg[K]; } : never, [Arg] extends [ReadonlyArray<any>] ? AsyncResult.Failure<Arg[number]> : [Arg] extends [Iterable<infer _A>] ? AsyncResult.Failure<_A> : [Arg] extends [Record<string, any>] ? AsyncResult.Failure<Arg[keyof Arg]> : never>;
/**
 * Creates a typed builder for rendering an `AsyncResult` by handling waiting, initial, success, error, defect, interrupt, and failure cases.
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const builder: <A extends AsyncResult<any, any>>(self: A) => Builder<never, A extends Success<infer _A, infer _E> ? _A : never, A extends Failure<infer _A, infer _E> ? _E : never, A extends Initial<infer _A, infer _E> ? true : never, A extends Failure<infer _A, infer _E> ? Defect | Interrupt : never>;
/**
 * Type marker used by `Builder` to track whether defect failures still need to be handled.
 *
 * @stability unstable
 * @category utility types
 * @since 4.0.0
 */
export interface Defect {
    readonly _: unique symbol;
}
/**
 * Type marker used by `Builder` to track whether interrupt failures still need to be handled.
 *
 * @stability unstable
 * @category utility types
 * @since 4.0.0
 */
export interface Interrupt {
    readonly _: unique symbol;
}
/**
 * Fluent renderer for `AsyncResult` values that tracks unhandled cases at the type level and exposes `exhaustive` only after all possible cases are handled.
 *
 * @stability unstable
 * @category models
 * @since 4.0.0
 */
export type Builder<Out, A, E, I, F> = Pipeable & {
    onWaiting<B>(f: (result: AsyncResult<A, E>) => B): Builder<Out | B, A, E, I, F>;
    orElse<B>(orElse: LazyArg<B>): Out | B;
    orNull(): Out | null;
    render(): [A | I] extends [never] ? Out : Out | null;
} & ([A | E | I | F] extends [never] ? {
    exhaustive(): Out;
} : unknown) & ([I] extends [never] ? unknown : {
    onInitial<B>(f: (result: Initial<A, E>) => B): Builder<Out | B, A, E, never, F>;
    onInitialOrWaiting<B>(f: (result: AsyncResult<A, E>) => B): Builder<Out | B, A, E, never, F>;
}) & ([A] extends [never] ? unknown : {
    onSuccess<B>(f: (value: A, result: Success<A, E>) => B): Builder<Out | B, never, E, I, F>;
}) & ([E] extends [never] ? unknown : {
    onError<B>(f: (error: E, result: Failure<A, E>) => B): Builder<Out | B, A, never, I, F>;
    onErrorIf<B extends E, C>(refinement: Refinement<E, B>, f: (error: B, result: Failure<A, E>) => C): Builder<Out | C, A, Types.EqualsWith<E, B, E, Exclude<E, B>>, I, F>;
    onErrorIf<C>(predicate: Predicate<E>, f: (error: E, result: Failure<A, E>) => C): Builder<Out | C, A, E, I, F>;
    onErrorTag<const Tags extends ReadonlyArray<Types.Tags<E>>, B>(tags: Tags, f: (error: Types.ExtractTag<E, Tags[number]>, result: Failure<A, E>) => B): Builder<Out | B, A, Types.ExcludeTag<E, Tags[number]>, I, F>;
    onErrorTag<const Tag extends Types.Tags<E>, B>(tag: Tag, f: (error: Types.ExtractTag<E, Tag>, result: Failure<A, E>) => B): Builder<Out | B, A, Types.ExcludeTag<E, Tag>, I, F>;
}) & ([E | F] extends [never] ? unknown : {
    onFailure<B>(f: (cause: Cause.Cause<E>, result: Failure<A, E>) => B): Builder<Out | B, A, never, I, never>;
}) & (Interrupt extends F ? {
    onInterrupt<B>(f: (interruptors: ReadonlySet<number>, result: Failure<A, E>) => B): Builder<Out | B, A, E, I, Exclude<F, Interrupt>>;
} : unknown) & (Defect extends F ? {
    onDefect<B>(f: (defect: unknown, result: Failure<A, E>) => B): Builder<Out | B, A, E, I, Exclude<F, Defect>>;
} : unknown);
/**
 * Schema interface for `AsyncResult` values, retaining the schemas used for success values and failure errors.
 *
 * @stability unstable
 * @category schemas
 * @since 4.0.0
 */
export interface Schema<Success extends Schema_.Constraint, Error extends Schema_.Constraint> extends Schema_.declareConstructor<AsyncResult<Success["Type"], Error["Type"]>, AsyncResult<Success["Encoded"], Error["Encoded"]>, readonly [Success, Schema_.Cause<Error, Schema_.Defect>]> {
    readonly success: Success;
    readonly error: Error;
}
/**
 * Creates a schema for `AsyncResult` values using optional schemas for success values and failure errors.
 *
 * @stability unstable
 * @category schemas
 * @since 4.0.0
 */
export declare const Schema: <A extends Schema_.Constraint = Schema_.Never, E extends Schema_.Constraint = Schema_.Never>(options: {
    readonly success?: A | undefined;
    readonly error?: E | undefined;
}) => Schema<A, E>;
//# sourceMappingURL=AsyncResult.d.ts.map