@[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 HashMaps.
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 HashMaps.
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.