@[specialize #[]]

def Std.HashMap.mergeWithM {m : Type (max u_1 u_2) → Type u_3} {α : Type u_2} {β : Type (max u_1 u_2)} [BEq α] [Hashable α] [Monad m] (f : α → β → β → m β) (self other : HashMap α β) : m (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.

@[inline]

def Std.HashMap.mergeWith {α : Type u_1} [BEq α] [Hashable α] {β : Type u_2} (f : α → β → β → β) (self other : HashMap α β) : 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.