/**
 * Filterable is a structure that allows one to remove or refine a data
 * structure.
 *
 * @module Filterable
 * @since 2.0.0
 */
import "./_dnt.polyfills.js";
import type { $, Hold, Kind } from "./kind.js";
import type { Either } from "./either.js";
import type { Mappable } from "./mappable.js";
import type { Option } from "./option.js";
import type { Pair } from "./pair.js";
import type { Predicate } from "./predicate.js";
import type { Refinement } from "./refinement.js";
/**
 * A Filterable structure allows one to filter over the values contained in the
 * structure. This includes standard filter, filterMap, partition, and
 * partitionMap.
 *
 * @since 2.0.0
 */
export interface Filterable<U extends Kind> extends Hold<U> {
    readonly filter: {
        <A, I extends A>(refinement: Refinement<A, I>): <B = never, C = never, D = unknown, E = unknown>(ta: $<U, [A, B, C], [D], [E]>) => $<U, [I, B, C], [D], [E]>;
        <A>(predicate: Predicate<A>): <B = never, C = never, D = unknown, E = unknown>(ta: $<U, [A, B, C], [D], [E]>) => $<U, [A, B, C], [D], [E]>;
    };
    readonly filterMap: <A, I>(fai: (a: A) => Option<I>) => <B = never, C = never, D = unknown, E = unknown>(ua: $<U, [A, B, C], [D], [E]>) => $<U, [I, B, C], [D], [E]>;
    readonly partition: {
        <A, I extends A>(refinement: Refinement<A, I>): <B = never, C = never, D = unknown, E = unknown>(ta: $<U, [A, B, C], [D], [E]>) => Pair<$<U, [I, B, C], [D], [E]>, $<U, [A, B, C], [D], [E]>>;
        <A>(predicate: Predicate<A>): <B = never, C = never, D = unknown, E = unknown>(ta: $<U, [A, B, C], [D], [E]>) => Pair<$<U, [A, B, C], [D], [E]>, $<U, [A, B, C], [D], [E]>>;
    };
    readonly partitionMap: <A, I, J>(fai: (a: A) => Either<J, I>) => <B = never, C = never, D = unknown, E = unknown>(ua: $<U, [A, B, C], [D], [E]>) => Pair<$<U, [I, B, C], [D], [E]>, $<U, [J, B, C], [D], [E]>>;
}
/**
 * @since 2.0.0
 */
export declare function filter<U extends Kind, V extends Kind>({ map }: Mappable<U>, { filter }: Filterable<V>): <A>(predicate: Predicate<A>) => <B = never, C = never, D = unknown, E = unknown, J = never, K = never, L = unknown, M = unknown>(ua: $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>) => $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>;
/**
 * @since 2.0.0
 */
export declare function filterMap<U extends Kind, V extends Kind>({ map }: Mappable<U>, { filterMap }: Filterable<V>): <A, I>(predicate: (a: A) => Option<I>) => <B = never, C = never, D = unknown, E = unknown, J = never, K = never, L = unknown, M = unknown>(ua: $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>) => $<U, [$<V, [I, B, C], [D], [E]>, J, K], [L], [M]>;
/**
 * @since 2.0.0
 */
export declare function partition<U extends Kind, V extends Kind>(M: Mappable<U>, F: Filterable<V>): <A, I extends A>(predicate: Refinement<A, I>) => <B = never, C = never, D = unknown, E = unknown, J = never, K = never, L = unknown, M = unknown>(ua: $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>) => Pair<$<U, [$<V, [I, B, C], [D], [E]>, J, K], [L], [M]>, $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>>;
export declare function partition<U extends Kind, V extends Kind>(M: Mappable<U>, F: Filterable<V>): <A>(predicate: Predicate<A>) => <B = never, C = never, D = unknown, E = unknown, J = never, K = never, L = unknown, M = unknown>(ua: $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>) => Pair<$<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>, $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>>;
/**
 * @since 2.0.0
 */
export declare function partitionMap<U extends Kind, V extends Kind>(M: Mappable<U>, F: Filterable<V>): <A, X, Y>(fai: (a: A) => Either<X, Y>) => <B = never, C = never, D = unknown, E = unknown, J = never, K = never, L = unknown, M = unknown>(ua: $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>) => Pair<$<U, [$<V, [Y, B, C], [D], [E]>, J, K], [L], [M]>, $<U, [$<V, [X, B, C], [D], [E]>, J, K], [L], [M]>>;