import { Kind, PrimitiveType } from '@fp4ts/core';
import { Monoid, Eq, Hashable } from '@fp4ts/cats-kernel';
import { Show } from '../../../show';
import { MonoidK } from '../../../monoid-k';
import { Applicative } from '../../../applicative';
import { Option } from '../../option';
import { List } from '../list';
declare module './algebra' {
    interface HashMap<out K, out V> {
        readonly isEmpty: boolean;
        readonly nonEmpty: boolean;
        readonly keys: List<K>;
        readonly values: List<V>;
        readonly size: number;
        readonly toList: List<[K, V]>;
        readonly toArray: Array<[K, V]>;
        count(p: (v: V, k: K) => boolean): number;
        any(p: (v: V, k: K) => boolean): boolean;
        all(p: (v: V, k: K) => boolean): boolean;
        hasKey<K2>(this: HashMap<K2, V>, H: Hashable<K2>, k: K2): boolean;
        hasKey<K2 extends PrimitiveType>(this: HashMap<K2, V>, k: K2): boolean;
        get<K2>(this: HashMap<K2, V>, H: Hashable<K2>, k: K2): V;
        get<K2 extends PrimitiveType>(this: HashMap<K2, V>, k: K2): V;
        '!!'<K2>(this: HashMap<K2, V>, H: Hashable<K2>, k: K2): V;
        '!!'<K2 extends PrimitiveType>(this: HashMap<K2, V>, k: K2): V;
        lookup<K2>(this: HashMap<K2, V>, H: Hashable<K2>, k: K2): Option<V>;
        lookup<K2 extends PrimitiveType>(this: HashMap<K2, V>, k: K2): Option<V>;
        '!?'<K2>(this: HashMap<K2, V>, H: Hashable<K2>, k: K2): Option<V>;
        '!?'<K2 extends PrimitiveType>(this: HashMap<K2, V>, k: K2): Option<V>;
        insert<K2, V2>(this: HashMap<K2, V2>, H: Hashable<K2>, k: K2, v: V2): HashMap<K2, V2>;
        insert<K2 extends PrimitiveType, V2>(this: HashMap<K2, V2>, k: K2, v: V2): HashMap<K2, V2>;
        insertWith<K2, V2>(this: HashMap<K2, V2>, H: Hashable<K2>, k: K2, v: V2, u: (v1: V2, v2: V2, k: K2) => V2): HashMap<K2, V2>;
        insertWith<K2 extends PrimitiveType, V2>(this: HashMap<K2, V2>, k: K2, v: V2, u: (v1: V2, v2: V2, k: K2) => V2): HashMap<K2, V2>;
        remove<K2>(this: HashMap<K2, V>, H: Hashable<K2>, k: K2): HashMap<K2, V>;
        remove<K2 extends PrimitiveType>(this: HashMap<K2, V>, k: K2): HashMap<K2, V>;
        update<K2, V2>(this: HashMap<K2, V2>, H: Hashable<K2>, k: K2, u: (v: V2, k: K) => V2): HashMap<K2, V2>;
        update<K2 extends PrimitiveType, V2>(this: HashMap<K2, V2>, k: K2, u: (v: V2, k: K) => V2): HashMap<K2, V2>;
        '+++'<K2, V2>(this: HashMap<K2, V2>, E: Eq<K2>, m2: HashMap<K2, V2>): HashMap<K2, V2>;
        '+++'<K2 extends PrimitiveType, V2>(this: HashMap<K2, V2>, m2: HashMap<K2, V2>): HashMap<K2, V2>;
        union<K2, V2>(this: HashMap<K2, V2>, E: Eq<K2>, m2: HashMap<K2, V2>): HashMap<K2, V2>;
        union<K2 extends PrimitiveType, V2>(this: HashMap<K2, V2>, m2: HashMap<K2, V2>): HashMap<K2, V2>;
        unionWith<K2, V2>(this: HashMap<K2, V2>, E: Eq<K2>, m2: HashMap<K2, V2>, u: (v1: V2, v2: V2, k: K2) => V2): HashMap<K2, V2>;
        unionWith<K2 extends PrimitiveType, V2>(this: HashMap<K2, V2>, m2: HashMap<K2, V2>, u: (v1: V2, v2: V2, k: K2) => V2): HashMap<K2, V2>;
        intersect<K2, V2>(this: HashMap<K2, V>, E: Eq<K2>, m2: HashMap<K2, V2>): HashMap<K2, V>;
        intersect<K2 extends PrimitiveType, V2>(this: HashMap<K2, V>, m2: HashMap<K2, V2>): HashMap<K2, V>;
        intersectWith<K2, V2, C>(this: HashMap<K2, V>, E: Eq<K2>, m2: HashMap<K2, V2>, f: (v1: V, v2: V2, k: K2) => C): HashMap<K2, C>;
        intersectWith<K2 extends PrimitiveType, V2, C>(this: HashMap<K2, V>, m2: HashMap<K2, V2>, f: (v1: V, v2: V2, k: K2) => C): HashMap<K2, C>;
        '\\'<K2, V2>(this: HashMap<K2, V>, E: Eq<K2>, m2: HashMap<K2, V2>): HashMap<K2, V>;
        '\\'<K2 extends PrimitiveType, V2>(this: HashMap<K2, V>, m2: HashMap<K2, V2>): HashMap<K2, V>;
        difference<K2, V2>(this: HashMap<K2, V>, E: Eq<K2>, m2: HashMap<K2, V2>): HashMap<K2, V>;
        difference<K2 extends PrimitiveType, V2>(this: HashMap<K2, V>, m2: HashMap<K2, V2>): HashMap<K2, V>;
        '\\//'<K2, V2>(this: HashMap<K2, V2>, E: Eq<K2>, m2: HashMap<K2, V2>): HashMap<K2, V2>;
        '\\//'<K2 extends PrimitiveType, V2>(this: HashMap<K2, V2>, m2: HashMap<K2, V2>): HashMap<K2, V2>;
        symmetricDifference<K2, V2>(this: HashMap<K2, V2>, E: Eq<K2>, m2: HashMap<K2, V2>): HashMap<K2, V2>;
        symmetricDifference<K2 extends PrimitiveType, V2>(this: HashMap<K2, V2>, m2: HashMap<K2, V2>): HashMap<K2, V2>;
        filter(p: (v: V, k: K) => boolean): HashMap<K, V>;
        map<B>(f: (v: V, k: K) => B): HashMap<K, B>;
        tap(f: (v: V, k: K) => unknown): HashMap<K, V>;
        collect<B>(f: (v: V, k: K) => Option<B>): HashMap<K, B>;
        flatMap<K2>(this: HashMap<K2, V>, E: Eq<K2>): <B>(f: (v: V, k: K) => HashMap<K2, B>) => HashMap<K2, B>;
        flatMap<K2 extends PrimitiveType, B>(this: HashMap<K2, V>, f: (v: V, k: K) => HashMap<K2, B>): HashMap<K2, B>;
        flatten: V extends HashMap<infer K2, infer B> ? K extends PrimitiveType ? (this: HashMap<K2, HashMap<K2, B>>) => HashMap<K2, B> : (this: HashMap<K2, HashMap<K2, B>>, E: Eq<K2>) => HashMap<K2, B> : never;
        foldLeft<B>(z: B, f: (b: B, v: V, k: K) => B): B;
        foldRight<B>(z: B, f: (v: V, b: B, k: K) => B): B;
        foldMap<M>(M: Monoid<M>): (f: (v: V, k: K) => M) => M;
        foldMapK<F>(F: MonoidK<F>): <B>(f: (v: V, k: K) => Kind<F, [B]>) => Kind<F, [B]>;
        traverse<G>(G: Applicative<G>): <B>(f: (v: V, k: K) => Kind<G, [B]>) => Kind<G, [HashMap<K, B>]>;
        show(this: HashMap<K, V>): string;
        show<K2 extends PrimitiveType>(this: HashMap<K2, V>, SV?: Show<V>): string;
        show(this: HashMap<K, V>, SK: Show<K>, SV: Show<V>): string;
    }
}
//# sourceMappingURL=syntax.d.ts.map