返回带有修改字段的 Haskell 记录的函数

Question

鉴于：

data MyRecord a = MyRecord{list :: [a], other_fields :: Char, …}

我正在尝试编写一个函数，它将一个新的a 放在列表中并返回一个新的MyRecord：

pushOntoList :: a -> MyRecord -> MyRecord

问题：

有没有办法写pushOntoList 是这样一种方式，它不依赖于记录的其余部分，而只是将其原封不动地返回？

问这个问题的另一种方法是你能写pushOntoList而不看到MyRecord定义的其余部分吗？

Answer 1

是的，很容易使用记录访问器/标签语法：

b = a { list = 'x' : list a }

在函数中：

pushOntoList c a = a { list = c : list a }

例如

data MyRecord a = MyRecord {list :: [a], other_fields :: Char}
    deriving Show

main = do
    let a = MyRecord [] 'x'
        b = a { list = 'x' : list a }
    return (a,b)