export declare abstract class HashMap<out K, out V> {
    readonly __void: void;
    readonly _K: () => K;
    readonly _V: () => V;
}
export declare class Inner<K, V> extends HashMap<K, V> {
    readonly children: HashMap<K, V>[];
    readonly mask: number;
    readonly tag = "inner";
    constructor(children: HashMap<K, V>[], mask: number);
}
export type Bucket<K, V> = [number, K, V];
export declare class Leaf<K, V> extends HashMap<K, V> {
    readonly buckets: Bucket<K, V>[];
    readonly tag = "leaf";
    constructor(buckets: Bucket<K, V>[]);
}
export declare const Empty: {
    readonly tag: "empty";
    readonly __void: void;
    readonly _K: () => never;
    readonly _V: () => never;
    readonly isEmpty: boolean;
    readonly nonEmpty: boolean;
    readonly keys: import("..").List<never>;
    readonly values: import("..").List<never>;
    readonly size: number;
    readonly toList: import("..").List<[never, never]>;
    readonly toArray: [never, never][];
    count(p: (v: never, k: never) => boolean): number;
    any(p: (v: never, k: never) => boolean): boolean;
    all(p: (v: never, k: never) => boolean): boolean;
    hasKey<K2>(this: HashMap<K2, never>, H: import("@fp4ts/cats-kernel").Hashable<K2>, k: K2): boolean;
    hasKey<K2_1 extends import("@fp4ts/core").PrimitiveType>(this: HashMap<K2_1, never>, k: K2_1): boolean;
    get<K2_2>(this: HashMap<K2_2, never>, H: import("@fp4ts/cats-kernel").Hashable<K2_2>, k: K2_2): never;
    get<K2_3 extends import("@fp4ts/core").PrimitiveType>(this: HashMap<K2_3, never>, k: K2_3): never;
    '!!'<K2_4>(this: HashMap<K2_4, never>, H: import("@fp4ts/cats-kernel").Hashable<K2_4>, k: K2_4): never;
    '!!'<K2_5 extends import("@fp4ts/core").PrimitiveType>(this: HashMap<K2_5, never>, k: K2_5): never;
    lookup<K2_6>(this: HashMap<K2_6, never>, H: import("@fp4ts/cats-kernel").Hashable<K2_6>, k: K2_6): import("../..").Option<never>;
    lookup<K2_7 extends import("@fp4ts/core").PrimitiveType>(this: HashMap<K2_7, never>, k: K2_7): import("../..").Option<never>;
    '!?'<K2_8>(this: HashMap<K2_8, never>, H: import("@fp4ts/cats-kernel").Hashable<K2_8>, k: K2_8): import("../..").Option<never>;
    '!?'<K2_9 extends import("@fp4ts/core").PrimitiveType>(this: HashMap<K2_9, never>, k: K2_9): import("../..").Option<never>;
    insert<K2_10, V2>(this: HashMap<K2_10, V2>, H: import("@fp4ts/cats-kernel").Hashable<K2_10>, k: K2_10, v: V2): HashMap<K2_10, V2>;
    insert<K2_11 extends import("@fp4ts/core").PrimitiveType, V2_1>(this: HashMap<K2_11, V2_1>, k: K2_11, v: V2_1): HashMap<K2_11, V2_1>;
    insertWith<K2_12, V2_2>(this: HashMap<K2_12, V2_2>, H: import("@fp4ts/cats-kernel").Hashable<K2_12>, k: K2_12, v: V2_2, u: (v1: V2_2, v2: V2_2, k: K2_12) => V2_2): HashMap<K2_12, V2_2>;
    insertWith<K2_13 extends import("@fp4ts/core").PrimitiveType, V2_3>(this: HashMap<K2_13, V2_3>, k: K2_13, v: V2_3, u: (v1: V2_3, v2: V2_3, k: K2_13) => V2_3): HashMap<K2_13, V2_3>;
    remove<K2_14>(this: HashMap<K2_14, never>, H: import("@fp4ts/cats-kernel").Hashable<K2_14>, k: K2_14): HashMap<K2_14, never>;
    remove<K2_15 extends import("@fp4ts/core").PrimitiveType>(this: HashMap<K2_15, never>, k: K2_15): HashMap<K2_15, never>;
    update<K2_16, V2_4>(this: HashMap<K2_16, V2_4>, H: import("@fp4ts/cats-kernel").Hashable<K2_16>, k: K2_16, u: (v: V2_4, k: never) => V2_4): HashMap<K2_16, V2_4>;
    update<K2_17 extends import("@fp4ts/core").PrimitiveType, V2_5>(this: HashMap<K2_17, V2_5>, k: K2_17, u: (v: V2_5, k: never) => V2_5): HashMap<K2_17, V2_5>;
    '+++'<K2_18, V2_6>(this: HashMap<K2_18, V2_6>, E: import("@fp4ts/cats-kernel").Eq<K2_18>, m2: HashMap<K2_18, V2_6>): HashMap<K2_18, V2_6>;
    '+++'<K2_19 extends import("@fp4ts/core").PrimitiveType, V2_7>(this: HashMap<K2_19, V2_7>, m2: HashMap<K2_19, V2_7>): HashMap<K2_19, V2_7>;
    union<K2_20, V2_8>(this: HashMap<K2_20, V2_8>, E: import("@fp4ts/cats-kernel").Eq<K2_20>, m2: HashMap<K2_20, V2_8>): HashMap<K2_20, V2_8>;
    union<K2_21 extends import("@fp4ts/core").PrimitiveType, V2_9>(this: HashMap<K2_21, V2_9>, m2: HashMap<K2_21, V2_9>): HashMap<K2_21, V2_9>;
    unionWith<K2_22, V2_10>(this: HashMap<K2_22, V2_10>, E: import("@fp4ts/cats-kernel").Eq<K2_22>, m2: HashMap<K2_22, V2_10>, u: (v1: V2_10, v2: V2_10, k: K2_22) => V2_10): HashMap<K2_22, V2_10>;
    unionWith<K2_23 extends import("@fp4ts/core").PrimitiveType, V2_11>(this: HashMap<K2_23, V2_11>, m2: HashMap<K2_23, V2_11>, u: (v1: V2_11, v2: V2_11, k: K2_23) => V2_11): HashMap<K2_23, V2_11>;
    intersect<K2_24, V2_12>(this: HashMap<K2_24, never>, E: import("@fp4ts/cats-kernel").Eq<K2_24>, m2: HashMap<K2_24, V2_12>): HashMap<K2_24, never>;
    intersect<K2_25 extends import("@fp4ts/core").PrimitiveType, V2_13>(this: HashMap<K2_25, never>, m2: HashMap<K2_25, V2_13>): HashMap<K2_25, never>;
    intersectWith<K2_26, V2_14, C>(this: HashMap<K2_26, never>, E: import("@fp4ts/cats-kernel").Eq<K2_26>, m2: HashMap<K2_26, V2_14>, f: (v1: never, v2: V2_14, k: K2_26) => C): HashMap<K2_26, C>;
    intersectWith<K2_27 extends import("@fp4ts/core").PrimitiveType, V2_15, C_1>(this: HashMap<K2_27, never>, m2: HashMap<K2_27, V2_15>, f: (v1: never, v2: V2_15, k: K2_27) => C_1): HashMap<K2_27, C_1>;
    '\\'<K2_28, V2_16>(this: HashMap<K2_28, never>, E: import("@fp4ts/cats-kernel").Eq<K2_28>, m2: HashMap<K2_28, V2_16>): HashMap<K2_28, never>;
    '\\'<K2_29 extends import("@fp4ts/core").PrimitiveType, V2_17>(this: HashMap<K2_29, never>, m2: HashMap<K2_29, V2_17>): HashMap<K2_29, never>;
    difference<K2_30, V2_18>(this: HashMap<K2_30, never>, E: import("@fp4ts/cats-kernel").Eq<K2_30>, m2: HashMap<K2_30, V2_18>): HashMap<K2_30, never>;
    difference<K2_31 extends import("@fp4ts/core").PrimitiveType, V2_19>(this: HashMap<K2_31, never>, m2: HashMap<K2_31, V2_19>): HashMap<K2_31, never>;
    '\\//'<K2_32, V2_20>(this: HashMap<K2_32, V2_20>, E: import("@fp4ts/cats-kernel").Eq<K2_32>, m2: HashMap<K2_32, V2_20>): HashMap<K2_32, V2_20>;
    '\\//'<K2_33 extends import("@fp4ts/core").PrimitiveType, V2_21>(this: HashMap<K2_33, V2_21>, m2: HashMap<K2_33, V2_21>): HashMap<K2_33, V2_21>;
    symmetricDifference<K2_34, V2_22>(this: HashMap<K2_34, V2_22>, E: import("@fp4ts/cats-kernel").Eq<K2_34>, m2: HashMap<K2_34, V2_22>): HashMap<K2_34, V2_22>;
    symmetricDifference<K2_35 extends import("@fp4ts/core").PrimitiveType, V2_23>(this: HashMap<K2_35, V2_23>, m2: HashMap<K2_35, V2_23>): HashMap<K2_35, V2_23>;
    filter(p: (v: never, k: never) => boolean): HashMap<never, never>;
    map<B>(f: (v: never, k: never) => B): HashMap<never, B>;
    tap(f: (v: never, k: never) => unknown): HashMap<never, never>;
    collect<B_1>(f: (v: never, k: never) => import("../..").Option<B_1>): HashMap<never, B_1>;
    flatMap<K2_36>(this: HashMap<K2_36, never>, E: import("@fp4ts/cats-kernel").Eq<K2_36>): <B_2>(f: (v: never, k: never) => HashMap<K2_36, B_2>) => HashMap<K2_36, B_2>;
    flatMap<K2_37 extends import("@fp4ts/core").PrimitiveType, B_3>(this: HashMap<K2_37, never>, f: (v: never, k: never) => HashMap<K2_37, B_3>): HashMap<K2_37, B_3>;
    flatten: never;
    foldLeft<B_4>(z: B_4, f: (b: B_4, v: never, k: never) => B_4): B_4;
    foldRight<B_5>(z: B_5, f: (v: never, b: B_5, k: never) => B_5): B_5;
    foldMap<M>(M: import("@fp4ts/cats-kernel").Monoid<M>): (f: (v: never, k: never) => M) => M;
    foldMapK<F>(F: import("../../..").MonoidK<F>): <B_6>(f: (v: never, k: never) => import("@fp4ts/core").Kind<F, [B_6]>) => import("@fp4ts/core").Kind<F, [B_6]>;
    traverse<G>(G: import("../../..").Applicative<G>): <B_7>(f: (v: never, k: never) => import("@fp4ts/core").Kind<G, [B_7]>) => import("@fp4ts/core").Kind<G, [HashMap<never, B_7>]>;
    show(this: HashMap<never, never>): string;
    show<K2_38 extends import("@fp4ts/core").PrimitiveType>(this: HashMap<K2_38, never>, SV?: import("../../..").Show<never> | undefined): string;
    show(this: HashMap<never, never>, SK: import("../../..").Show<never>, SV: import("../../..").Show<never>): string;
    readonly F: import("./hash-map").HashMapF;
    readonly Vars: [never, never];
};
export type Empty = typeof Empty;
export type Node<K, V> = (Inner<K, V> | Leaf<K, V> | Empty) & HashMap<K, V>;
export declare const toNode: <K, V>(_: HashMap<K, V>) => Node<K, V>;
//# sourceMappingURL=algebra.d.ts.map