Skrócony sposób na przypisanie pojedynczego pola do rekordu, podczas kopiowania pozostałych pól?

Question

Powiedzmy mam następujący zapis ADT:

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

chcę funkcję, która pobiera rekord i zwraca rekord (tego samego typu), gdzie wszystko ale jedno z pól mają identyczne wartości do jednego przeszedł jako argument, tak jak poniżej:

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

powyższe działa, ale do rekordu z kilku dziedzin (słownie 10), tworząc taką funkcję wiązałoby dużo pisania, że ​​czuję się zupełnie niepotrzebne.

Czy istnieją mniej żmudne sposoby robienia tego samego?

Answer 1

Tak, istnieje przyjemny sposób aktualizowania pól rekordów. W GHCi można zrobić -

> 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

To jest dobra praca dla lenses:

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

test = Foo 1 2 "Hello" 

Następnie:

setL c "Goodbye" test 

będzie aktualizować polu 'C' z 'testu' do listy strunowy.