import { Either, Right, Left } from "@fp-ts/data/Either";
import { Opt } from "@effect-ts-app/core/Option";
import { Effect } from "@effect/io/Effect";
export { matchTag } from "@effect-ts/core/Utils";
declare const Initial_base: import("@effect-ts/system/Case").CaseConstructorTagged<"Initial", "_tag">;
export declare class Initial extends Initial_base<{}> {
}
declare const Loading_base: import("@effect-ts/system/Case").CaseConstructorTagged<"Loading", "_tag">;
export declare class Loading extends Loading_base<{}> {
}
declare const Refreshing_base: import("@effect-ts/system/Case").CaseConstructorTagged<"Refreshing", "_tag">;
export declare class Refreshing<E, A> extends Refreshing_base<{
    readonly current: Either<E, A>;
    readonly previous: Opt<A>;
}> {
    static succeed<A, E = never>(a: A): Refreshing<E, A>;
    static fail<E, A = never>(e: E, previous?: A): Refreshing<E, A>;
    static fromDone<E, A>(d: Done<E, A>): Refreshing<E, A>;
}
declare const Done_base: import("@effect-ts/system/Case").CaseConstructorTagged<"Done", "_tag">;
export declare class Done<E, A> extends Done_base<{
    readonly current: Either<E, A>;
    readonly previous: Opt<A>;
}> {
    static succeed<A, E = never>(this: void, a: A): Done<E, A>;
    static fail<E, A = never>(this: void, e: E, previous?: A): Done<E, A>;
    static refresh<E, A>(d: Done<E, A>): Refreshing<E, A>;
}
/**
 * @tsplus type QueryResult
 */
export type QueryResult<E, A> = Initial | Loading | Refreshing<E, A> | Done<E, A>;
type Result<E, A> = Omit<Done<E, A>, "current"> | Omit<Refreshing<E, A>, "current">;
/**
 * @tsplus fluent QueryResult isSuccess
 * @tsplus location "@effect-ts-app/boilerplate-prelude/client/QueryResult"
 */
export declare function isSuccess<E, A>(qr: QueryResult<E, A>): qr is Result<E, A> & {
    current: Right<A>;
};
/**
 * @tsplus fluent QueryResult hasValue
 * @tsplus location "@effect-ts-app/boilerplate-prelude/client/QueryResult"
 */
export declare function hasValue<E, A>(qr: QueryResult<E, A>): qr is Done<E, A> | Refreshing<E, A>;
/**
 * @tsplus fluent QueryResult isRefreshing
 * @tsplus location "@effect-ts-app/boilerplate-prelude/client/QueryResult"
 */
export declare function isRefreshing<E, A>(qr: QueryResult<E, A>): qr is Refreshing<E, A>;
/**
 * @tsplus fluent QueryResult isDone
 * @tsplus location "@effect-ts-app/boilerplate-prelude/client/QueryResult"
 */
export declare function isDone<E, A>(qr: QueryResult<E, A>): qr is Done<E, A>;
/**
 * @tsplus fluent QueryResult isInitializing
 * @tsplus location "@effect-ts-app/boilerplate-prelude/client/QueryResult"
 */
export declare function isInitializing<E, A>(qr: QueryResult<E, A>): qr is Initial | Loading;
/**
 * @tsplus fluent QueryResult isFailed
 * @tsplus location "@effect-ts-app/boilerplate-prelude/client/QueryResult"
 */
export declare function isFailed<E, A>(qr: QueryResult<E, A>): qr is Result<E, A> & {
    current: Left<E>;
};
export type ResultTuple<Result> = readonly [result: Result, refresh: () => void];
export type QueryResultTuple<E, A> = ResultTuple<QueryResult<E, A>>;
export declare const fail: typeof Done.fail, succeed: typeof Done.succeed;
/**
 * @tsplus getter effect/io/Effect asQueryResult
 * @tsplus location "@effect-ts-app/boilerplate-prelude/client/QueryResult"
 */
export declare function queryResult<R, E, A>(self: Effect<R, E, A>): Effect<R, never, QueryResult<E, A>>;
//# sourceMappingURL=QueryResult.d.ts.map