import type * as Tp from "../../Collections/Immutable/Tuple/index.js";
import type { PredicateWithIndex, RefinementWithIndex } from "../../Utils/index.js";
import type * as HKT from "../HKT/index.js";
export interface PartitionWithIndexFn<F extends HKT.URIS, C = HKT.Auto> {
    <N extends string, K, A, B extends A>(refinement: RefinementWithIndex<HKT.IndexFor<F, HKT.OrFix<"K", C, K>>, A, B>): <Q, W, X, I, S, R, E>(fa: HKT.Kind<F, C, K, Q, W, X, I, S, R, E, A>) => Tp.Tuple<[
        HKT.Kind<F, C, K, Q, W, X, I, S, R, E, A>,
        HKT.Kind<F, C, K, Q, W, X, I, S, R, E, B>
    ]>;
    <K, A>(predicate: PredicateWithIndex<HKT.IndexFor<F, HKT.OrFix<"K", C, K>>, A>): <K, Q, W, X, I, S, R, E>(fa: HKT.Kind<F, C, K, Q, W, X, I, S, R, E, A>) => Tp.Tuple<[
        HKT.Kind<F, C, K, Q, W, X, I, S, R, E, A>,
        HKT.Kind<F, C, K, Q, W, X, I, S, R, E, A>
    ]>;
}
export interface PartitionWithIndex<F extends HKT.URIS, C = HKT.Auto> extends HKT.Base<F, C> {
    readonly _PartitionWithIndex: "PartitionWithIndex";
    readonly partitionWithIndex: PartitionWithIndexFn<F, C>;
}
//# sourceMappingURL=index.d.ts.map