首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >如何部分更新纯文本记录

问如何部分更新纯文本记录
EN

Stack Overflow用户
提问于 2019-12-30 14:45:12
回答 1查看 663关注 0票数 4

所有人!

我是一个初学者,有困难的工作记录。

我有一种唱片类型:

代码语言:javascript
复制
type Employee =
 { firstName :: String
 , lastName :: String
 , address :: String
 , height :: Number
 , weight :: Number
 ...
 }

我只想更新这份记录的一部分。假设我只想像下面的类型记录代码一样更新高度。

代码语言:javascript
复制
let a: Employee = {
 ...a,
 height: 180
}

我怎样才能在简讯中做到这一点?谢谢。

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2019-12-30 14:53:57

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

代码语言:javascript
复制
r2 = r1 { x = 42, y = "foo" }

其中:

  • r1是原始的record
  • r2是新的,更新的record
  • x和y都是记录字段(不一定是所有字段)

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

代码语言:javascript
复制
r2 = { ...r1, x: 42, y: "foo" }
票数 7
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/59532623

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档