import type { AURItoFieldAlgebra, AURItoInputAlgebra, ExtendObjectTypeBuilder, FieldAURIS, GQLSubscriptionAlgebra, InputAURIS, InputObjectTypeBuilder, InterfaceTypeBuilder, MutationTypeBuilder, ObjectTypeBuilder, QueryTypeBuilder, ScalarTypeBuilder, ScalarTypeFromModelBuilder, SchemaGenerator, SchemaParts, SubscriptionTypeBuilder, UnionTypeBuilder } from '../schema';
import type { Has } from '@principia/base/Has';
import type { HttpConnection } from '@principia/http/HttpConnection';
import type { Config } from 'apollo-server-core';
import type { IResolvers } from 'graphql-tools';
import type { DefaultState } from 'koa';
import type { ConnectionContext } from 'subscriptions-transport-ws';
import type WebSocket from 'ws';
import * as I from '@principia/base/IO';
import * as L from '@principia/base/Layer';
import * as Koa from '@principia/koa';
import { ApolloServer } from 'apollo-server-koa';
export declare type GraphQlConfig = Omit<Config, 'context' | 'schema' | 'subscriptions'> & {
    subscriptions?: Partial<{
        keepAlive?: number;
        onConnect?: (connectionParams: unknown, websocket: WebSocket, context: ConnectionContext) => I.IO<any, never, any>;
        onDisconnect?: (websocket: WebSocket, context: ConnectionContext) => I.IO<any, never, any>;
        path: string;
    }>;
};
export declare type SubscriptionsEnv<C extends GraphQlConfig> = C extends {
    subscriptions?: Partial<{
        keepAlive?: number;
        onConnect?: (connectionParams: unknown, websocket: WebSocket, context: ConnectionContext) => I.IO<infer R, never, any>;
        onDisconnect?: (websocket: WebSocket, context: ConnectionContext) => I.IO<infer R1, never, any>;
        path: string;
    }>;
} ? (R extends never ? unknown : R) & (R1 extends never ? unknown : R1) : unknown;
export interface GraphQlInstanceConfig<Ctx, R> {
    readonly additionalResolvers?: IResolvers;
    readonly schemaParts: SchemaParts<Ctx, R>;
}
export interface GraphQlDriver<FieldAURI extends FieldAURIS, InputAURI extends InputAURIS, Ctx, C extends GraphQlConfig, RE> {
    readonly askContext: I.URIO<Has<HttpConnection>, HttpConnection>;
    readonly extend: ExtendObjectTypeBuilder<FieldAURI, InputAURI, Koa.Context<DefaultState, Ctx>>;
    readonly generateSchema: SchemaGenerator<Koa.Context<DefaultState, Ctx>>;
    readonly input: InputObjectTypeBuilder<InputAURI>;
    readonly object: <Root>() => ObjectTypeBuilder<FieldAURI, InputAURI, Root, Koa.Context<DefaultState, Ctx>>;
    readonly scalar: ScalarTypeBuilder;
    readonly scalarFromModel: ScalarTypeFromModelBuilder;
    readonly subscription: SubscriptionTypeBuilder<FieldAURI, InputAURI, Koa.Context<DefaultState, Ctx>>;
    readonly query: QueryTypeBuilder<FieldAURI, InputAURI, Koa.Context<DefaultState, Ctx>>;
    readonly mutation: MutationTypeBuilder<FieldAURI, InputAURI, Koa.Context<DefaultState, Ctx>>;
    readonly union: UnionTypeBuilder<Koa.Context<DefaultState, Ctx>>;
    readonly interface: InterfaceTypeBuilder<FieldAURI, InputAURI, Koa.Context<DefaultState, Ctx>>;
    readonly live: <R>(config: GraphQlInstanceConfig<Koa.Context<DefaultState, Ctx>, R>) => L.Layer<R & SubscriptionsEnv<C> & RE & Has<Koa.KoaApp>, never, Has<GraphQlInstance>>;
}
export interface GraphQlInstance {
    readonly server: ApolloServer;
}
export declare const GraphQlInstance: import("@principia/base/Has").Tag<GraphQlInstance>;
declare type KoaContextFn<Conf extends GraphQlConfig, RE, Ctx> = (_: {
    connection?: Conf['subscriptions'] extends {
        onConnect: (...args: any[]) => I.IO<any, never, infer A>;
    } ? Omit<Koa.Context['connection'], 'context'> & {
        context: A;
    } : Koa.Context['connection'];
    ctx: Koa.Context;
}) => I.IO<RE, never, Koa.Context<DefaultState, Ctx>>;
export declare function makeGraphQl<FieldPURI extends FieldAURIS, InputPURI extends InputAURIS>(interpreters: AURItoFieldAlgebra<any, any>[FieldPURI] & AURItoInputAlgebra[InputPURI] & GQLSubscriptionAlgebra<any>): <Ctx, C extends GraphQlConfig, RE>(config: C, context: KoaContextFn<C, RE, Ctx>) => GraphQlDriver<FieldPURI, InputPURI, Ctx, C, RE>;
export {};
//# sourceMappingURL=koa.d.ts.map