Комбинирование Геттеры в складку

Question

В духе следующих вопросов:

• Getting multiple results from map with “lens”
• Combining lenses

Я теперь ищет способ объединить несколько Getters в один Fold, так что-то вроде следующего:

('a','b','c','d') ^.. (_1 <> _2 <> _3) 

приведет это:

['a', 'b', 'c'] 

Но код выше на самом деле выдает следующее сообщение:

No instance for (Monoid 
        (Accessor (Endo [Char]) (Char, Char, Char, Char))) 
    arising from a use of `<>' 

Так как же я могу добиться этого? Это вообще возможно?

Answer 1

Это также возможно с экземпляром Monoid публикуемого в этом ответе: Getting multiple results from map with lens

import Data.Monoid 
import Control.Lens 

instance Monoid r => Monoid (Accessor r a) where 
    mempty = Accessor mempty 
    mappend (Accessor a) (Accessor b) = Accessor $ a <> b 

Тест:

*Control.Lens Data.Monoid> ('a','b','c','d') ^.. (_1 <> _2 <> _3) 
"abc" 

"а" просто [ 'а', 'б', 'C '], поэтому это делает то, что вы хотите.

(Update: Современные lens версии включают этот экземпляр по умолчанию, так что второй фрагмент кода должно работать из коробки.)