Modo abbreviato per assegnare un singolo campo in un record, mentre si copia il resto dei campi?

Question

Diciamo che ho il seguente ADT cronaca:

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

Voglio una funzione che prende un record e restituisce un record (dello stesso tipo), dove tutti, ma uno dei campi hanno valori identici a quello passato come argomento, in questo modo:

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

I lavori di cui sopra, ma per un record con più campi (diciamo 10), la creazione di una tale funzione comporterebbe un sacco di battitura che sento è abbastanza inutile.

Ci sono modi meno noiosi di fare lo stesso?

Answer 1

Sì, c'è un bel modo di aggiornare i campi dei record. In GHCi si può fare -

> 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

Questo è un buon lavoro per lenses:

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

test = Foo 1 2 "Hello" 

Poi:

setL c "Goodbye" test 

sarebbe aggiornare campo 'C' di 'test' per il tuo stringa.