import type { Eq } from "@principia/prelude/Eq";
import type { Ord } from "@principia/prelude/Ord";
import type { Option } from "../Option";
/**
 * Get a sorted array of the keys contained in a map
 *
 * @since 2.5.0
 */
export declare const keys: <K>(O: Ord<K>) => <A>(m: ReadonlyMap<K, A>) => readonly K[];
export declare const lookupWithKey_: <K>(E: Eq<K>) => <A>(m: ReadonlyMap<K, A>, k: K) => Option<readonly [K, A]>;
export declare const lookupWithKey: <K>(E: Eq<K>) => (k: K) => <A>(m: ReadonlyMap<K, A>) => Option<readonly [K, A]>;
/**
 * Calculate the number of key/value pairs in a map
 */
export declare const size: <K, A>(d: Map<K, A>) => number;
export declare const lookup_: <K>(E: Eq<K>) => <A>(m: ReadonlyMap<K, A>, k: K) => Option<A>;
export declare const lookup: <K>(E: Eq<K>) => (k: K) => <A>(m: ReadonlyMap<K, A>) => Option<A>;
export declare const insertAt_: <K>(E: Eq<K>) => <A>(m: ReadonlyMap<K, A>, k: K, a: A) => ReadonlyMap<K, A>;
export declare const insertAt: <K>(E: Eq<K>) => <A>(k: K, a: A) => (m: ReadonlyMap<K, A>) => ReadonlyMap<K, A>;
export declare const copy: <K, V>(me: ReadonlyMap<K, V>) => Map<K, V>;
export declare const insert_: <K, V>(me: ReadonlyMap<K, V>, k: K, v: V) => ReadonlyMap<K, V>;
export declare const insert: <K, V>(k: K, v: V) => (me: ReadonlyMap<K, V>) => ReadonlyMap<K, V>;
export declare const remove: <K>(k: K) => <V>(me: ReadonlyMap<K, V>) => ReadonlyMap<K, V>;
export declare const deleteAt_: <K>(E: Eq<K>) => <A>(m: ReadonlyMap<K, A>, k: K) => ReadonlyMap<K, A>;
export declare const deleteAt: <K>(E: Eq<K>) => (k: K) => <A>(m: ReadonlyMap<K, A>) => ReadonlyMap<K, A>;
export declare const updateAt_: <K>(E: Eq<K>) => <A>(m: ReadonlyMap<K, A>, k: K, a: A) => Option<ReadonlyMap<K, A>>;
export declare const updateAt: <K>(E: Eq<K>) => <A>(k: K, a: A) => (m: ReadonlyMap<K, A>) => Option<ReadonlyMap<K, A>>;
export declare const modifyAt_: <K>(
   E: Eq<K>
) => <A>(m: ReadonlyMap<K, A>, k: K, f: (a: A) => A) => Option<ReadonlyMap<K, A>>;
export declare const modifyAt: <K>(
   E: Eq<K>
) => <A>(k: K, f: (a: A) => A) => (m: ReadonlyMap<K, A>) => Option<ReadonlyMap<K, A>>;
export declare const pop_: <K>(E: Eq<K>) => <A>(m: ReadonlyMap<K, A>, k: K) => Option<readonly [A, ReadonlyMap<K, A>]>;
export declare const pop: <K>(
   E: Eq<K>
) => (k: K) => <A>(m: ReadonlyMap<K, A>) => Option<readonly [A, ReadonlyMap<K, A>]>;
//# sourceMappingURL=combinators.d.ts.map