地图上的非交换交叉

Question

如何定义函数，对于第一个地图查找的每个键，第二个地图的值，将一些函数应用于这两个值并生成第三个地图？

∷ (α → Maybe β → γ) → Map k α → Map k β → Map k γ

我使用unionWith，differenceWith和intersectionWith的某些组合稍微玩了一下，但坚持将它们与lookup混合使用。

Answer 1

时

foo :: (α → Maybe β → γ) → Map k α → Map k β → Map k γ
foo comb ma mb = Map.mapWithKey (\k a -> comb a (Map.lookup k mb)) ma

你想要什么？