在複製剩餘字段的同時分配記錄中單個字段的速記方式？

Question

比方說，我有如下記錄ADT：

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

我想一個函數，它記錄並返回一個記錄（同類型），其中字段所有，但一個具有相同價值觀的一個傳遞作爲參數，就像這樣：

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

上述工作，但對於更多的字段的記錄（比如10），創造了這樣的功能將需要大量的輸入，我覺得完全沒有必要。

有沒有更簡單的方法來做同樣的事情？

Answer 1

是的，有一個更新記錄字段的好方法。在GHCI你可以做 -

> 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

這是lenses的工作：

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

test = Foo 1 2 "Hello" 

然後：

setL c "Goodbye" test 

將更新 '測試' 的領域 'C' 到您串。