import type { Cache } from '../Cache';
import type { DataSource } from '../DataSource';
import type { DataSourceAspect } from '../DataSourceAspect';
import type { Described } from '../Described';
import type { BlockedRequest } from './BlockedRequest';
import * as I from '@principia/base/IO';
export declare class Empty {
    readonly _tag = "Empty";
    readonly _R: (_: unknown) => void;
}
export declare const empty: BlockedRequests<unknown>;
export declare class Both<R> {
    readonly left: BlockedRequests<R>;
    readonly right: BlockedRequests<R>;
    readonly _tag = "Both";
    readonly _R: (_: R) => void;
    constructor(left: BlockedRequests<R>, right: BlockedRequests<R>);
}
export declare function both<R, R1>(left: BlockedRequests<R>, right: BlockedRequests<R1>): BlockedRequests<R & R1>;
export declare class Single<R, A> {
    readonly dataSource: DataSource<R, A>;
    readonly blockedRequest: BlockedRequest<A>;
    readonly _tag = "Single";
    readonly _R: (_: R) => void;
    readonly _A: () => A;
    constructor(dataSource: DataSource<R, A>, blockedRequest: BlockedRequest<A>);
}
export declare function single<R, A>(dataSource: DataSource<R, A>, blockedRequest: BlockedRequest<A>): BlockedRequests<R>;
export declare class Then<R> {
    readonly left: BlockedRequests<R>;
    readonly right: BlockedRequests<R>;
    readonly _tag = "Then";
    readonly _R: (_: R) => void;
    constructor(left: BlockedRequests<R>, right: BlockedRequests<R>);
}
export declare function then<R, R1>(left: BlockedRequests<R>, right: BlockedRequests<R1>): BlockedRequests<R & R1>;
export declare type BlockedRequests<R> = Empty | Both<R> | Then<R> | Single<R, any>;
export declare function mapDataSources<R, R1>(br: BlockedRequests<R>, f: DataSourceAspect<R1>): BlockedRequests<R & R1>;
export declare function gives_<R, R0>(br: BlockedRequests<R>, f: Described<(r0: R0) => R>): BlockedRequests<R0>;
export declare function run_<R>(br: BlockedRequests<R>, cache: Cache): I.IO<R, never, void>;
//# sourceMappingURL=BlockedRequests.d.ts.map