如何用Lens实现：存在则更新HashMap键，不存在返回Nothing？

核心思路 #

你的需求本质是：仅当透镜路径能聚焦到有效目标时，才修改原结构并返回Just结果；若路径中某一步（比如at exprId）聚焦到Nothing，则直接返回Nothing。

这里的关键是把at k（聚焦Maybe v的Lens）和_Just（从Maybe v聚焦到v的Prism）组合，得到一个只针对“键存在”场景的Traversal，再用traverse处理这个Traversal——它会自动完成“存在则修改返回Just，不存在返回Nothing”的逻辑。

简化示例的修正 #

针对你给出的HashMap例子，修正后的代码如下：

module Foo where
import Data.HashMap.Strict (HashMap, empty)
import Control.Lens

foo :: HashMap String Integer
foo = empty

bar :: Maybe (HashMap String Integer)
-- 键"1"存在则设值为2，返回Just新Map；不存在则返回Nothing
bar = traverse (at "1" . _Just .~ 2) foo

-- 如果需要对值做变换（比如加1），用%~代替.~：
-- bar = traverse (at "1" . _Just %~ (+1)) foo

适配实际复杂路径 #

你的实际路径是Dex.exprs . at exprId . Dex.children，需要先通过_Just处理at exprId返回的Maybe，完整的Traversal组合为：
Dex.exprs . at exprId . _Just . Dex.children

假设你要修改children字段，对应的函数可以写成：

import Control.Lens
import qualified Dex  -- 假设Dex模块导出了exprs、children等透镜

updateChildren :: ExprId -> Children -> Dex -> Maybe Dex
updateChildren exprId newChildren dex =
  traverse (Dex.exprs . at exprId . _Just . Dex.children .~ newChildren) dex

-- 如果是对children做变换（比如追加元素）：
updateChildrenTransform :: ExprId -> (Children -> Children) -> Dex -> Maybe Dex
updateChildrenTransform exprId transform dex =
  traverse (Dex.exprs . at exprId . _Just . Dex.children %~ transform) dex

给Haskell新手的建议 #

• 区分透镜类型：Lens对应“必存在”的聚焦，Traversal对应“可能存在零个/多个”的聚焦，Prism对应“可选分支”的聚焦（比如_Just匹配Maybe的Just分支）。at k组合_Just后变成Traversal，正好匹配你的“可选存在”需求。
• 用^?调试路径：不确定透镜路径是否正确时，用^?测试能否聚焦到目标，比如dex ^? Dex.exprs . at exprId . _Just . Dex.children——返回Just说明路径有效，Nothing说明键不存在或路径错误。
• 优先用 idiomatic 写法：traverse配合Traversal是处理“可选修改”的标准方式，避免手动拆Maybe再重组，代码更简洁且符合Haskell风格。
• 查阅官方文档：Control.Lens的Haddock文档有大量实例，尤其是Traversal、_Just、traverse相关部分，能帮你快速理解不同透镜的用法。

内容的提问来源于stack exchange，提问作者Dylan P