IndexedTraversal(パッケージから)がControl.Lensあり、その中の各要素にインデックス対応のモナド アクションを適用したいと考えています。残念ながら、このようなことを行う便利な方法 (関数^!と組み合わせるなど) はすべてact、各要素のインデックスを無視しているようです。インデックス付きトラバーサルですべての要素 (およびそのインデックス) に対してアクションを実行する良い方法はありますか?
IndexedTraversal(パッケージから)がControl.Lensあり、その中の各要素にインデックス対応のモナド アクションを適用したいと考えています。残念ながら、このようなことを行う便利な方法 (関数^!と組み合わせるなど) はすべてact、各要素のインデックスを無視しているようです。インデックス付きトラバーサルですべての要素 (およびそのインデックス) に対してアクションを実行する良い方法はありますか?