Aktualisieren eines einzelnen Felds in einem Datensatz mit Haskell @

Question

Ich muss ein Feld eines sehr großen Standarddatensatzes aktualisieren.

Da sich der Standard möglicherweise ändert, möchte ich den gesamten Datensatz nicht manuell neu erstellen.

Jetzt habe ich auf die folgende Art und Weise kommen, dies zu tun, aber ich bin nicht sicher, wie es funktioniert:

unaggregate :: MyResult -> MyResult 
unaggregate calc@MyResult{..} = calc{ the_defaults = the_override 
             `mappend` the_defaults } 
    where 
    the_override = create ("aggregation" := False) 

Ich habe versucht, für ‚Haskell Operator @‘ in Google gesucht, aber es gibt nicht sofort nützliche Informationen.

Ich sah irgendwo calc@MyResult{..} tut Mustervergleich auf Variablen, aber ich sehe nicht, welche Variable calc für die MyResult Rekord tut ...

Auch habe ich nachgeschlagen mappend (und Monoide), und ich bin nicht sicher, wie diese arbeiten entweder ...

Sie für jede Hilfe danken

Answer 1

Das @ Symbol einer "as-Muster" bezeichnet wird. Im obigen Beispiel können Sie calc für den gesamten Datensatz verwenden. Normalerweise würden Sie es so verwenden: calc@(MyResult someResult) - so können Sie sowohl die ganze Sache als auch die Stücke haben, die Sie zusammenbringen. Sie können mit Listen das gleiche tun (myList@(myHead:myTail)) oder Tupel (myTuple@(myFst, mySnd). Es ist ziemlich praktisch!

MyResult{..}RecordWildcards verwendet. Welche ist eine nette Erweiterung! ABER RecordWildcards hilft Ihnen nicht nur ein Feld eines Datensatzes zu aktualisieren.

du stattdessen tun:.!? calc { theFieldYouWantToUpdate = somethingNew }