import type { Cache } from '../Cache';
import type { DataSource } from '../DataSource';
import type { DataSourceAspect } from '../DataSourceAspect';
import type { Described } from '../Described';
import type { Query } from '../Query';
import type { Request } from '../Request';
import type { QueryContext } from './QueryContext';
import type { FIO } from '@principia/base/IO';
import type * as Ca from '@principia/base/IO/Cause';
import type { URef } from '@principia/base/Ref';
import * as E from '@principia/base/Either';
import * as I from '@principia/base/IO';
import * as M from '@principia/base/Maybe';
export declare class Effect<R, E, A> {
    readonly query: Query<R, E, A>;
    readonly _tag = "Effect";
    constructor(query: Query<R, E, A>);
}
export declare function effect<R, E, A>(query: Query<R, E, A>): Continue<R, E, A>;
export declare class Get<E, A> {
    readonly io: FIO<E, A>;
    readonly _tag = "Get";
    constructor(io: FIO<E, A>);
}
export declare function get<E, A>(io: FIO<E, A>): Continue<unknown, E, A>;
export declare type Continue<R, E, A> = Effect<R, E, A> | Get<E, A>;
export declare function matchCauseQuery_<R, E, A, R1, E1, B, R2, E2, C>(cont: Continue<R, E, A>, onFailure: (cause: Ca.Cause<E>) => Query<R1, E1, B>, onSuccess: (a: A) => Query<R2, E2, C>): Continue<R & R1 & R2, E1 | E2, B | C>;
export declare function matchCauseQuery<E, A, R1, E1, B, R2, E2, C>(onFailure: (cause: Ca.Cause<E>) => Query<R1, E1, B>, onSuccess: (a: A) => Query<R2, E2, C>): <R>(ma: Continue<R, E, A>) => Continue<R & R1 & R2, E1 | E2, B | C>;
export declare function mapError_<R, E, A, E1>(fa: Continue<R, E, A>, f: (e: E) => E1): Continue<R, E1, A>;
export declare function mapError<E, E1>(f: (e: E) => E1): <R, A>(ma: Continue<R, E, A>) => Continue<R, E1, A>;
export declare function crossWith_<R, E, A, R1, E1, B, C>(fa: Continue<R, E, A>, fb: Continue<R1, E1, B>, f: (a: A, b: B) => C): Continue<R & R1, E | E1, C>;
export declare function crossWith<A, R1, E1, B, C>(fb: Continue<R1, E1, B>, f: (a: A, b: B) => C): <R, E>(fa: Continue<R, E, A>) => Continue<R & R1, E | E1, C>;
export declare function map_<R, E, A, B>(fa: Continue<R, E, A>, f: (a: A) => B): Continue<R, E, B>;
export declare function map<A, B>(f: (a: A) => B): <R, E>(fa: Continue<R, E, A>) => Continue<R, E, B>;
export declare function crossWithC_<R, E, A, R1, E1, B, C>(fa: Continue<R, E, A>, fb: Continue<R1, E1, B>, f: (a: A, b: B) => C): Continue<R & R1, E | E1, C>;
export declare function crossWithC<A, R1, E1, B, C>(fb: Continue<R1, E1, B>, f: (a: A, b: B) => C): <R, E>(fa: Continue<R, E, A>) => Continue<R & R1, E | E1, C>;
export declare function crossWithBatched_<R, E, A, R1, E1, B, C>(fa: Continue<R, E, A>, fb: Continue<R1, E1, B>, f: (a: A, b: B) => C): Continue<R & R1, E | E1, C>;
export declare function crossWithBatched<A, R1, E1, B, C>(fb: Continue<R1, E1, B>, f: (a: A, b: B) => C): <R, E>(fa: Continue<R, E, A>) => Continue<R & R1, E | E1, C>;
export declare function mapDataSources_<R, E, A, R1>(fa: Continue<R, E, A>, f: DataSourceAspect<R1>): Continue<R & R1, E, A>;
export declare function mapDataSources<R1>(f: DataSourceAspect<R1>): <R, E, A>(fa: Continue<R, E, A>) => Continue<R & R1, E, A>;
export declare function make<R, E, A extends Request<E, B>, B>(request: A, dataSource: DataSource<R, A>, ref: URef<M.Maybe<E.Either<E, B>>>): Continue<R, E, B>;
export declare function mapQuery_<R, E, A, R1, E1, B>(fa: Continue<R, E, A>, f: (a: A) => Query<R1, E1, B>): Continue<R & R1, E | E1, B>;
export declare function mapQuery<A, R1, E1, B>(f: (a: A) => Query<R1, E1, B>): <R, E>(fa: Continue<R, E, A>) => Continue<R & R1, E | E1, B>;
export declare function gives_<R, E, A, R0>(ra: Continue<R, E, A>, f: Described<(r0: R0) => R>): Continue<R0, E, A>;
export declare function gives<R0, R>(f: Described<(r0: R0) => R>): <E, A>(ra: Continue<R, E, A>) => Continue<R0, E, A>;
export declare function runContext_<R, E, A>(ma: Continue<R, E, A>, queryContext: QueryContext): I.IO<R, E, A>;
export declare function runCache_<R, E, A>(ma: Continue<R, E, A>, cache: Cache): I.IO<R, E, A>;
export declare function runCache(cache: Cache): <R, E, A>(ma: Continue<R, E, A>) => I.IO<R, E, A>;
//# sourceMappingURL=Continue.d.ts.map