import type * as P from "@principia/prelude";
import * as HKT from "@principia/prelude/HKT";
import type { Separated } from "@principia/prelude/Utils";
import type { Either } from "../Either";
import type { Predicate, PredicateWithIndex, Refinement, RefinementWithIndex } from "../Function";
import type { Option } from "../Option";
import type { URI, V } from "./model";
/**
 * Filter out `None` and map
 */
export declare const mapOptionWithIndex_: <K, A, B>(
   fa: ReadonlyMap<K, A>,
   f: (k: K, a: A) => Option<B>
) => ReadonlyMap<K, B>;
/**
 * Filter out `None` and map
 */
export declare const mapOptionWithIndex: <K, A, B>(
   f: (k: K, a: A) => Option<B>
) => (fa: ReadonlyMap<K, A>) => ReadonlyMap<K, B>;
/**
 * Filter out `None` and map
 */
export declare const mapOption_: <K, A, B>(fa: ReadonlyMap<K, A>, f: (a: A) => Option<B>) => ReadonlyMap<K, B>;
/**
 * Filter out `None` and map
 */
export declare const mapOption: <A, B>(f: (a: A) => Option<B>) => <K>(fa: ReadonlyMap<K, A>) => ReadonlyMap<K, B>;
export declare const filterWithIndex_: {
   <K, A, B extends A>(fa: ReadonlyMap<K, A>, refinement: RefinementWithIndex<K, A, B>): ReadonlyMap<K, B>;
   <K, A>(fa: ReadonlyMap<K, A>, predicate: PredicateWithIndex<K, A>): ReadonlyMap<K, A>;
};
/**
 *
 */
export declare const filterWithIndex: {
   <K, A, B extends A>(refinement: RefinementWithIndex<K, A, B>): (fa: ReadonlyMap<K, A>) => ReadonlyMap<K, B>;
   <K, A>(predicate: PredicateWithIndex<K, A>): (fa: ReadonlyMap<K, A>) => ReadonlyMap<K, A>;
};
export declare const filter_: {
   <K, A, B extends A>(fa: ReadonlyMap<K, A>, refinement: Refinement<A, B>): ReadonlyMap<K, B>;
   <K, A>(fa: ReadonlyMap<K, A>, predicate: Predicate<A>): ReadonlyMap<K, A>;
};
export declare const filter: {
   <A, B extends A>(refinement: Refinement<A, B>): <K>(fa: ReadonlyMap<K, A>) => ReadonlyMap<K, B>;
   <A>(predicate: Predicate<A>): <K>(fa: ReadonlyMap<K, A>) => ReadonlyMap<K, A>;
};
export declare const partitionWithIndex_: {
   <K, A, B extends A>(fa: ReadonlyMap<K, A>, refinement: RefinementWithIndex<K, A, B>): Separated<
      ReadonlyMap<K, A>,
      ReadonlyMap<K, B>
   >;
   <K, A>(fa: ReadonlyMap<K, A>, predicate: PredicateWithIndex<K, A>): Separated<ReadonlyMap<K, A>, ReadonlyMap<K, A>>;
};
export declare const partitionWithIndex: {
   <K, A, B extends A>(refinement: RefinementWithIndex<K, A, B>): (
      fa: ReadonlyMap<K, A>
   ) => Separated<ReadonlyMap<K, A>, ReadonlyMap<K, B>>;
   <K, A>(predicate: PredicateWithIndex<K, A>): (
      fa: ReadonlyMap<K, A>
   ) => Separated<ReadonlyMap<K, A>, ReadonlyMap<K, A>>;
};
export declare const partition_: {
   <K, A, B extends A>(fa: ReadonlyMap<K, A>, refinement: Refinement<A, B>): Separated<
      ReadonlyMap<K, A>,
      ReadonlyMap<K, B>
   >;
   <K, A>(fa: ReadonlyMap<K, A>, predicate: Predicate<A>): Separated<ReadonlyMap<K, A>, ReadonlyMap<K, A>>;
};
export declare const partition: {
   <A, B extends A>(refinement: Refinement<A, B>): <K>(
      fa: ReadonlyMap<K, A>
   ) => Separated<ReadonlyMap<K, A>, ReadonlyMap<K, B>>;
   <A>(predicate: Predicate<A>): <K>(fa: ReadonlyMap<K, A>) => Separated<ReadonlyMap<K, A>, ReadonlyMap<K, A>>;
};
export declare const mapEitherWithIndex_: <K, A, B, C>(
   fa: ReadonlyMap<K, A>,
   f: (k: K, a: A) => Either<B, C>
) => Separated<ReadonlyMap<K, B>, ReadonlyMap<K, C>>;
export declare const mapEitherWithIndex: <K, A, B, C>(
   f: (k: K, a: A) => Either<B, C>
) => (fa: ReadonlyMap<K, A>) => Separated<ReadonlyMap<K, B>, ReadonlyMap<K, C>>;
export declare const mapEither_: <K, A, B, C>(
   fa: ReadonlyMap<K, A>,
   f: (a: A) => Either<B, C>
) => Separated<ReadonlyMap<K, B>, ReadonlyMap<K, C>>;
export declare const mapEither: <A, B, C>(
   f: (a: A) => Either<B, C>
) => <K>(fa: ReadonlyMap<K, A>) => Separated<ReadonlyMap<K, B>, ReadonlyMap<K, C>>;
/**
 * @category Instances
 * @since 1.0.0
 */
export declare const Filterable: P.Filterable<[URI], V>;
/**
 * @category Instances
 * @since 1.0.0
 */
export declare const getFilterableWithIndex: <K = never>() => P.FilterableWithIndex<
   ["Map"],
   HKT.Auto & HKT.Fix<"K", K>
>;
//# sourceMappingURL=filterable.d.ts.map