@[specialize #[]]

def
Std.HashMap.mergeWithM
{m : Type (max u_1 u_2) → Type (max u_2 u_1)}
{α : Type u_2}
{β : Type (max u_1 u_2)}
[BEq α]
[Hashable α]
[Monad m]
(f : α → β → β → m β)
(self : Std.HashMap α β)
(other : Std.HashMap α β)
:

m (Std.HashMap α β)

`O(|other|)`

amortized. Merge two `HashMap`

s.
The values of keys which appear in both maps are combined using the monadic function `f`

.

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

@[inline]

def
Std.HashMap.mergeWith
{α : Type u_1}
[BEq α]
[Hashable α]
{β : Type u_2}
(f : α → β → β → β)
(self : Std.HashMap α β)
(other : Std.HashMap α β)
:

Std.HashMap α β

`O(|other|)`

amortized. Merge two `HashMap`

s.
The values of keys which appear in both maps are combined using `f`

.

## Equations

- One or more equations did not get rendered due to their size.