異なる値を使用してキーを挿入したり削除したりしながら辞書をループする

Question

私は頂点とData.Map.Strictを使用しています。チェッカのゲームのキャプチャ移動を実装する必要があります。 cMoveは、頂点のリストkと頂点のリストksとマップmyMapを取ると仮定されています。 cMoveは、新しい頂点（ksの頂点を越えてジャンプするときに得るkの位置）がmyMapにあるので、myMapにはボード上のすべての部分の位置が含まれているかどうかをチェックする必要があります。 kと​​（ksにおける頂点）がmyMapから除去されるべきであり、新たな頂点が新しい頂点にはそれ以上の要素が存在しなくなるまで、そうでksで次の頂点を確認するために使用されるべきmyMapに挿入されなければなりませんリスト。想定され、新しい頂点を挿入して、リスト​​を通じて

type Key = (Integer, Integer) 

cMove :: Key -> [Key] -> Map Key Bool -> Map Key Bool 
cMove k ks myMap = foldr cMoves' myMap ks 
    where 
     cMoves' :: Key -> Map Key Bool -> Map Key Bool 
     cMoves' k1 myMap = case M.lookup k' myMap of 
      Nothing -> M.insert k' False (M.delete k myMap) 
      Just x -> myMap 
      where 
      k' = (2 * fst k1 - fst k, 2 * snd k1 - snd k) 

た反復する：私はこれを試してみました。ここでの問題は、​​が削除されず、kの代わりに新しい頂点が使用されないことです。これをどのように達成するのですか？

私の質問のいずれかがあいまいであると思われる場合は、私に知らせてください。

Answer 1

質問が正しいと分かっている場合は、反復から反復までkをk'に変更します。

cMove :: Key -> [Key] -> Map Key Bool -> Map Key Bool 
cMove k ks myMap = snd $ foldr cMoves' (k, myMap) ks 
    where 
     cMoves' :: Key -> (Key, Map Key Bool) -> (Key, Map Key Bool) 
     cMoves' k1 (k, myMap) = case M.lookup k' myMap of 
      Nothing -> (k1, M.insert k' False . M.delete k . M.delete k1 $ myMap) 
      Just x -> (k, myMap) 
      where 
      k' = (2 * fst k1 - fst k, 2 * snd k1 - snd k)