最後の要素を越えたトラバース "

Question

トラバースをフィルタリングし、最後に使用する要素をoverで選択します。

（実際にはコンパイルされます）

[1,2,3,4] & traverse . filtered even . _last +~ 10 
> [1,2,3,14] 

何か考えですか？

P.S. filteredは、トラバーサルの要素数に影響しない場合にのみ有効です。

私が実行している実際の使用例は、ある述語に一致する再帰的なuniplateトラバーサルの最低レベルのみを選択することです。あなたがこれを行う方法の他のアイデアを持っているなら、私はそれらを聞くのが大好きです！

Answer 1

これは本当に答えではなく、コメントのために大きすぎる@Gurkenglasのフォローアップです。 Gurkenglasの答え@ことに注意してください。

let t = partsOf (traverse . filtered even) . _last 

トラバーサルのように見えるが、それはそれは（明白な理由のために）第二トラバーサル法に違反するので、あなたは、要素数を維持していても、いない場合があります。

それはトラバーサルを可能にするには

let f = Identity . succ 
[1,2,3,4] & fmap (t f) . t f -- yields [1,3,3,5] effectively 
[1,2,3,4] & getCompose . t (Compose . fmap f . f) 
           -- yields [1,2,3,6] effectively 

、あなたは要素がと不変量などのフィルタリングプロパティを数える両方を維持する必要があります。

これはあなたのアプリケーションでは問題になるかどうか、私は知っているが、ちょうどpartsOfが警告のこれらの種類が付属しており、ドキュメントは誤解を招くあなたは要素を維持する場合partsOfの結果はレンズであることを示唆していることに注意していませんカウント。 （これはpartsOf eachの場合には当てはまりますが、一般的な説明ではありません）

Answer 2

[1,2,3,4] & partsOf (traverse . filtered even) . _last +~ 10