mapVal

Mathlib.Std.Data.HashMap

URI: https://scilib.ai/kg/mathlib#Std.HashMap.mapVal

Lean4

/-- Apply a function to the values of a hash map. -/
@[deprecated Std.HashMap.map (since := "2025-08-18")]
def mapVal (f : α → β → γ) (m : HashMap α β) : HashMap α γ :=
  m.fold (fun acc k v => acc.insert k (f k v)) ∅

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru