import { Kind, Eval } from '@fp4ts/core';
import { Monoid, Hashable, Eq } from '@fp4ts/cats-kernel';
import { Show } from '../../../show';
import { MonoidK } from '../../../monoid-k';
import { Applicative } from '../../../applicative';
import { List } from '../list';
import { Option } from '../../option';
import { HashMap } from './algebra';
export declare const isEmpty: <K, V>(m: HashMap<K, V>) => boolean;
export declare const nonEmpty: <K, V>(m: HashMap<K, V>) => boolean;
export declare const keys: <K, V>(m: HashMap<K, V>) => List<K>;
export declare const values: <K, V>(m: HashMap<K, V>) => List<V>;
export declare const size: <K, V>(m: HashMap<K, V>) => number;
export declare const toList: <K, V>(m: HashMap<K, V>) => List<[K, V]>;
export declare const toArray: <K, V>(m: HashMap<K, V>) => [K, V][];
export declare const count: <K, V>(p: (v: V, k: K) => boolean) => (m: HashMap<K, V>) => number;
export declare const all: <K, V>(p: (v: V, k: K) => boolean) => (m: HashMap<K, V>) => boolean;
export declare const any: <K, V>(p: (v: V, k: K) => boolean) => (m: HashMap<K, V>) => boolean;
export declare const hasKey: <K2>(H: Hashable<K2>) => (k: K2) => <K extends K2, V>(map: HashMap<K, V>) => boolean;
export declare const get: <K2>(H: Hashable<K2>) => (k: K2) => <K extends K2, V>(map: HashMap<K, V>) => V;
export declare const lookup: <K2>(H: Hashable<K2>) => (k: K2) => <K extends K2, V>(map: HashMap<K, V>) => Option<V>;
export declare const insert: <K2>(H: Hashable<K2>) => <V2>(k: K2, v: V2) => <K extends K2, V extends V2>(map: HashMap<K, V>) => HashMap<K2, V2>;
export declare const insertWith: <K2>(H: Hashable<K2>) => <V2>(k: K2, v: V2, u: (v1: V2, v2: V2, k: K2) => V2) => <K extends K2, V extends V2>(map: HashMap<K, V>) => HashMap<K2, V2>;
export declare const update: <K2>(H: Hashable<K2>) => <V2>(k: K2, u: (v: V2, k: K2) => V2) => <K extends K2, V extends V2>(m: HashMap<K, V>) => HashMap<K2, V2>;
export declare const remove: <K2>(H: Hashable<K2>) => (k: K2) => <K extends K2, V>(m: HashMap<K, V>) => HashMap<K2, V>;
export declare const union: <K2>(H: Hashable<K2>) => <V2>(m2: HashMap<K2, V2>) => <K extends K2, V extends V2>(m1: HashMap<K, V>) => HashMap<K2, V2>;
export declare const unionWith: <K2>(E: Eq<K2>) => <V2>(m2: HashMap<K2, V2>, u: (v1: V2, v2: V2, k: K2) => V2) => <K extends K2, V extends V2>(m1: HashMap<K, V>) => HashMap<K2, V2>;
export declare const intersect: <K2>(E: Eq<K2>) => <V2>(m2: HashMap<K2, V2>) => <K extends K2, V>(m: HashMap<K, V>) => HashMap<K2, V>;
export declare const intersectWith: <K2>(E: Eq<K2>) => <V, V2, C>(m2: HashMap<K2, V2>, f: (v1: V, v2: V2, k: K2) => C) => <K extends K2>(m: HashMap<K, V>) => HashMap<K2, C>;
export declare const difference: <K2>(E: Eq<K2>) => <V2>(m2: HashMap<K2, V2>) => <K extends K2, V1>(map: HashMap<K, V1>) => HashMap<K2, V1>;
export declare const symmetricDifference: <K2>(E: Eq<K2>) => <V2>(m2: HashMap<K2, V2>) => <K extends K2, V extends V2>(map: HashMap<K, V>) => HashMap<K2, V2>;
export declare const filter: <K, V>(p: (v: V, k: K) => boolean) => (m: HashMap<K, V>) => HashMap<K, V>;
export declare const map: <K, V, B>(f: (v: V, k: K) => B) => (m: HashMap<K, V>) => HashMap<K, B>;
export declare const tap: <K, V>(f: (v: V, k: K) => unknown) => (m: HashMap<K, V>) => HashMap<K, V>;
export declare const collect: <K, V, B>(f: (v: V, k: K) => Option<B>) => (m: HashMap<K, V>) => HashMap<K, B>;
export declare const flatMap: <K2>(E: Eq<K2>) => <V, B>(f: (v: V, k: K2) => HashMap<K2, B>) => <K extends K2>(m: HashMap<K, V>) => HashMap<K2, B>;
export declare const flatten: <K2>(E: Eq<K2>) => <K extends K2, V>(mm: HashMap<K, HashMap<K, V>>) => HashMap<K2, V>;
export declare const foldLeft: <K, V, B>(z: B, f: (b: B, v: V, k: K) => B) => (m: HashMap<K, V>) => B;
export declare const foldRight: <K, V, B>(z: B, f: (v: V, b: B, k: K) => B) => (m: HashMap<K, V>) => B;
export declare const foldMap: <M>(M: Monoid<M>) => <K, V>(f: (v: V, k: K) => M) => (map: HashMap<K, V>) => M;
export declare const foldMapK: <F>(F: MonoidK<F>) => <K, V, B>(f: (v: V, k: K) => Kind<F, [B]>) => (map: HashMap<K, V>) => Kind<F, [B]>;
export declare const traverse: <G>(G: Applicative<G>) => <K, V, B>(f: (v: V, k: K) => Kind<G, [B]>) => (m: HashMap<K, V>) => Kind<G, [HashMap<K, B>]>;
export declare const sequence: <G>(G: Applicative<G>) => <K, V>(m: HashMap<K, Kind<G, [V]>>) => Kind<G, [HashMap<K, V>]>;
export declare const show: <K2, V2>(SK: Show<K2>, SV: Show<V2>) => <K extends K2, V extends V2>(m: HashMap<K, V>) => string;
export declare const hasKey_: <K, V>(H: Hashable<K>, m: HashMap<K, V>, k: K) => boolean;
export declare const count_: <K, V>(m: HashMap<K, V>, p: (v: V, k: K) => boolean) => number;
export declare const all_: <K, V>(m: HashMap<K, V>, p: (v: V, k: K) => boolean) => boolean;
export declare const any_: <K, V>(m: HashMap<K, V>, p: (v: V, k: K) => boolean) => boolean;
export declare const get_: <K, V>(H: Hashable<K>, m: HashMap<K, V>, k: K) => V;
export declare const lookup_: <K, V>(H: Hashable<K>, m: HashMap<K, V>, k: K) => Option<V>;
export declare const insert_: <K, V>(H: Hashable<K>, m: HashMap<K, V>, k: K, v: V) => HashMap<K, V>;
export declare const insertWith_: <K, V>(H: Hashable<K>, m: HashMap<K, V>, k: K, v: V, u: (v1: V, v2: V, k: K) => V) => HashMap<K, V>;
export declare const update_: <K, V>(H: Hashable<K>, m: HashMap<K, V>, k: K, u: (v: V, k: K) => V) => HashMap<K, V>;
export declare const remove_: <K, V>(H: Hashable<K>, m: HashMap<K, V>, k: K) => HashMap<K, V>;
export declare const union_: <K, V>(E: Eq<K>, m1: HashMap<K, V>, m2: HashMap<K, V>) => HashMap<K, V>;
export declare const unionWith_: <K, V>(E: Eq<K>, m1: HashMap<K, V>, m2: HashMap<K, V>, u: (v1: V, v2: V, k: K) => V) => HashMap<K, V>;
export declare const intersect_: <K, V, V2>(E: Eq<K>, m1: HashMap<K, V>, m2: HashMap<K, V2>) => HashMap<K, V>;
export declare const intersectWith_: <K, V1, V2, C>(H: Eq<K>, m1: HashMap<K, V1>, m2: HashMap<K, V2>, f: (v1: V1, v2: V2, k: K) => C) => HashMap<K, C>;
export declare const difference_: <K, V1, V2>(E: Eq<K>, m1: HashMap<K, V1>, m2: HashMap<K, V2>) => HashMap<K, V1>;
export declare const symmetricDifference_: <K, V>(E: Eq<K>, m1: HashMap<K, V>, m2: HashMap<K, V>) => HashMap<K, V>;
export declare const filter_: <K, V>(m: HashMap<K, V>, p: (v: V, k: K) => boolean) => HashMap<K, V>;
export declare const map_: <K, V, B>(m: HashMap<K, V>, f: (v: V, k: K) => B) => HashMap<K, B>;
export declare const tap_: <K, V>(m: HashMap<K, V>, f: (v: V, k: K) => unknown) => HashMap<K, V>;
export declare const collect_: <K, V, B>(m: HashMap<K, V>, f: (v: V, k: K) => Option<B>) => HashMap<K, B>;
export declare const flatMap_: <K, V, B>(E: Eq<K>, m: HashMap<K, V>, f: (v: V, k: K) => HashMap<K, B>) => HashMap<K, B>;
export declare const foldLeft_: <K, V, B>(m: HashMap<K, V>, z: B, f: (b: B, v: V, k: K) => B) => B;
export declare const foldRight_: <K, V, B>(m: HashMap<K, V>, z: B, f: (v: V, b: B, k: K) => B) => B;
export declare const foldRightEval_: <K, V, B>(m: HashMap<K, V>, ez: Eval<B>, f: (v: V, eb: Eval<B>, k: K) => Eval<B>) => Eval<B>;
export declare const foldMap_: <M>(M: Monoid<M>) => <K, V>(m: HashMap<K, V>, f: (v: V, k: K) => M) => M;
export declare const foldMapK_: <F>(F: MonoidK<F>) => <K, V, B>(m: HashMap<K, V>, f: (v: V, k: K) => Kind<F, [B]>) => Kind<F, [B]>;
export declare const traverse_: <G>(G: Applicative<G>) => <K, V, B>(m: HashMap<K, V>, f: (v: V, k: K) => Kind<G, [B]>) => Kind<G, [HashMap<K, B>]>;
export declare const show_: <K, V>(SK: Show<K>, SV: Show<V>, m: HashMap<K, V>) => string;
export declare const equals_: <K, V>(EK: Eq<K>, EV: Eq<V>, m1: HashMap<K, V>, m2: HashMap<K, V>) => boolean;
//# sourceMappingURL=operators.d.ts.map