Wie kann ich mit Control.Lens das i-te Element einer Liste aktualisieren?

Question

Ich habe einige Datentypen entlang der Linie der

data Outer = Outer { _list :: [ Inner ] } 
data Inner = Inner { _bool :: Bool } 

Control.Lens verwendet wird, kann ich die _Bool des i-ten Inner Zugang (innen eine Monade 'Staat Outer') wie dieses

boolValue <- gets (^. list . to (!! i) . inner) 

I möchte auch wie diesen Wert mit etwas zu aktualisieren, in der Lage

list ^. (to (!! i)) ^. inner %= True 

jedoch (nach meinem Verständnis), die ‚in‘ Funktion erzeugt nur einen Getter, kein echter len s, das entweder als Getter oder Setter verwendet werden kann.

Also, wie kann ich (!! i) in ein Objektiv konvertieren, mit dem ich dieses Feld aktualisieren kann?

Answer 1

Sie nicht * können (!!) in jede linsenartige Sache anders als ein Getter drehen - aber es gibt eine Funktion, um diese Art der Sache zu tun: ix, für den Zugriff auf th in Indizes. Es ist eigentlich ein Traversal, kein Lens - was hier bedeutet, dass es nur fehlschlagen kann (wenn der Index außerhalb der Grenzen ist) - aber solange der Index in der Liste ist, wird es funktionieren.

Es gibt ein anderes Problem, obwohl - (^.) ist auch ein Operator, der ausschließlich zum Abrufen von Werten verwendet wird. Es ist inkompatibel mit z.B. (%=), die ein Objektiv-ähnliches Ding als sein erstes Argument nimmt. Und: (%=) dient zum Zuordnen einer Funktion über den vorhandenen Wert; Wenn Sie nur festlegen möchten, können Sie (.=) verwenden. So möchten Sie wahrscheinlich so etwas wie:

list . ix i . inner .= True 

* Es gibt tatsächlich eine Funktion, die dies tun können - es ist upon genannt - aber es nutzt wunderbar böse schwarze Magie und Sie sollten es nicht verwenden, zumindest nicht für dies (und wahrscheinlich nicht für irgendeinen echten Code).

Answer 2

Verwendung element, die eine Traversal auf das angegebene Listenelement ist:

list . element i . inner %= True :: Outer -> Outer 

Wenn Sie das Listenelement erhalten möchten Sie dies tun müssen Maybe verwenden, da das Listenelement nicht da sein könnte:

myList :: Outer 

myList ^? list . element i . inner :: Maybe Bool