haskell - マップ上の非可換交差点

Question

最初のマップルックアップの各キーに対して2番目のマップの値を定義し、これら2つの値に関数を適用して、3番目のマップを生成するにはどうすればよいですか？

∷ (α → 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

あなたが欲しいもの？