import { Lazy } from "@effect-ts/core/Function";
import { AnyObjectType, ExtendObjectType, FieldRecord, FieldResolverRecord } from "../containers";
import { FieldPURIS, InferredFieldAlgebra } from "../HKT";
import { TypeofFieldRecord } from "../Utils";
export interface ExtendObjectTypeSummoner<URI extends string, PURI extends FieldPURIS, Ctx> {
   <
      Type extends AnyObjectType<URI, Ctx>,
      Fields extends FieldRecord<URI, Type["_ROOT"], Ctx, Fields>
   >(definition: {
      fields: (F: InferredFieldAlgebra<URI, PURI, Type["_ROOT"], Ctx>) => Fields;
      type: Lazy<Type>;
   }): ExtendObjectType<
      URI,
      Type["_ROOT"],
      Ctx,
      Type,
      Fields,
      FieldResolverRecord<URI, Fields>,
      TypeofFieldRecord<Type["fields"] & Fields>
   >;
}
export declare function makeExtendObjectTypeSummoner<
   URI extends string,
   PURI extends FieldPURIS,
   Ctx
>(): (
   interpreters: InferredFieldAlgebra<URI, PURI, any, any>
) => ExtendObjectTypeSummoner<URI, PURI, Ctx>;