Kurzform für die Zuweisung eines einzelnen Feldes in einem Datensatz, während die restlichen Felder kopiert werden?

Question

Sagen wir, ich den folgenden Datensatz ADT haben:

data Foo = Bar { a :: Integer, b :: String, c :: String } 

Ich möchte eine Funktion, die einen Datensatz nimmt und einen Datensatz (vom gleichen Typ), wobei alle bis auf einen der Felder der einen identischen Werten bestanden haben, als Argument, etwa so:

walkDuck x = Bar { a = a x, b = b x, c = lemonadeStand (a x) (b x) } 

die oben genannten Arbeiten, aber für einen Datensatz mit mehreren Feldern (zB 10), würde eine solche Funktion zu schaffen eine Menge Tipparbeit mit sich bringen, die ich fühle mich ganz unnötig ist.

Gibt es weniger mühsame Möglichkeiten, das Gleiche zu tun?

Answer 1

Ja, es gibt eine nette Möglichkeit, Datensatzfelder zu aktualisieren. In GHCi können Sie tun -

> data Foo = Foo { a :: Int, b :: Int, c :: String } -- define a Foo 
> let foo = Foo { a = 1, b = 2, c = "Hello" }   -- create a Foo 
> let updateFoo x = x { c = "Goodbye" }    -- function to update Foos 
> updateFoo foo          -- update the Foo 
Foo {a = 1, b = 2, c = "Goodbye" } 

Answer 2

Dies ist ein guter Job für lenses:

data Foo = Foo { a :: Int, b :: Int , c :: String } 

test = Foo 1 2 "Hello" 

Dann:

setL c "Goodbye" test 

aktualisieren Feld 'c' würde von 'Test' auf Ihre Zeichenfolge.