如何部分更新纯文本记录

问题描述 投票:0回答:1

所有人!

我是Purescript初学者,在处理记录时遇到麻烦。

我有一个记录类型:

type Employee =
 { firstName :: String
 , lastName :: String
 , address :: String
 , height :: Number
 , weight :: Number
 ...
 }

而且我只想更新此记录的一部分。假设我只想像下面的打字稿代码那样更新高度。

let a: Employee = {
 ...a,
 height: 180
}

我如何在Purescript中实现这一目标?谢谢。

record purescript
1个回答
0
投票

PureScript中记录更新的语法如下:

r2 = r1 { x = 42, y = "foo" }

位置:

  • r1是原始记录
  • r2是新的,更新的记录
  • [xy是记录字段

以上代码段等效于以下JavaScript代码:

r2 = { ...r1, x: 42, y: "foo" }
© www.soinside.com 2019 - 2024. All rights reserved.