Shorthand way for assigning a single field in a record, while copying the rest of the fields?

前端 未结 3 552
陌清茗
陌清茗 2020-12-12 13:04

Let\'s say I have the following record ADT:

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

I want a function that takes a record

3条回答
  •  执念已碎
    2020-12-12 14:07

    This is a good job for lenses:

    data Foo = Foo { a :: Int, b :: Int , c :: String }
    
    test = Foo 1 2 "Hello"
    

    Then:

    setL c "Goodbye" test
    

    would update field 'c' of 'test' to your string.

提交回复
热议问题