如何将新字段添加到 Purescript 中的对象
How to add the new field to Object in Purescript
我首先介绍的是 Purescript。
我要将新字段添加到 Object 并将其作为函数参数发送。
但是我找不到好的解决方案。
例如
oldFiled = {
title : "title",
description : "d"
}
newField = {
time : "time"
}
//result after added new field
oldFiled = {
title : "title",
description : "d",
time : "time"
}
我该怎么做?
如果只是添加一个字段,您可以像这样使用 https://pursuit.purescript.org/packages/purescript-record/2.0.1/docs/Record#v:insert:
import Data.Record as Record
import Data.Symbol (SProxy(..))
oldFiled = {
title : "title",
description : "d"
}
newFiled = Record.insert (SProxy :: _ "time") "time" oldFiled
如果您要合并记录,请查看 Data.Record 模块中的 merge union 和 disjointUnion 函数
我首先介绍的是 Purescript。 我要将新字段添加到 Object 并将其作为函数参数发送。 但是我找不到好的解决方案。
例如
oldFiled = {
title : "title",
description : "d"
}
newField = {
time : "time"
}
//result after added new field
oldFiled = {
title : "title",
description : "d",
time : "time"
}
我该怎么做?
如果只是添加一个字段,您可以像这样使用 https://pursuit.purescript.org/packages/purescript-record/2.0.1/docs/Record#v:insert:
import Data.Record as Record
import Data.Symbol (SProxy(..))
oldFiled = {
title : "title",
description : "d"
}
newFiled = Record.insert (SProxy :: _ "time") "time" oldFiled
如果您要合并记录,请查看 Data.Record 模块中的 merge union 和 disjointUnion 函数