import type { UnionToIntersection } from '@principia/base/util/types';
export interface AURItoInputAlgebra {
}
export declare type InputAURIS = keyof AURItoInputAlgebra;
export interface AURItoFieldAlgebra<Root, Ctx> {
}
export declare type FieldAURIS = keyof AURItoFieldAlgebra<any, any>;
export declare type FieldAlgebra<AURI extends FieldAURIS, Root, Ctx> = UnionToIntersection<AURItoFieldAlgebra<Root, Ctx>[AURI]>;
export declare type InputAlgebra<AURI extends InputAURIS> = UnionToIntersection<AURItoInputAlgebra[AURI]>;
export declare type FieldPURIS = keyof PURItoFieldAlgebras;
export declare type InputPURIS = keyof PURItoInputAlgebras;
export interface InputProgramAlgebra {
}
export interface FieldProgramAlgebra {
}
export interface PURItoInputAlgebras {
}
export interface PURItoFieldAlgebras {
}
export declare type InferredInputAlgebra<PURI extends InputPURIS> = InputAlgebra<PURItoInputAlgebras[PURI]>;
export declare type InferredFieldAlgebra<PURI extends FieldPURIS, Root, Ctx> = FieldAlgebra<PURItoFieldAlgebras[PURI], Root, Ctx>;
//# sourceMappingURL=HKT.d.ts.map