Comment ajouter un nouveau champ à un objet en Purescript ?

Question

Je suis d'abord sur le Purescript. Je vais ajouter le nouveau champ à l'objet et l'envoyer comme paramètre de fonction. Mais je n'arrive pas à trouver une bonne solution pour cela.

Par exemple.

oldFiled = {
 title : "title",
 description : "d" 
}
newField = {
  time : "time"
}
//result after added new field
oldFiled = {
  title : "title",
  description : "d",
  time : "time"
}

Comment puis-je le faire ?

Answer 1

S'il s'agit simplement d'ajouter un seul champ, vous pouvez utiliser la fonction https://pursuit.purescript.org/packages/purescript-record/2.0.1/docs/Record#v:insert comme ça :

import Data.Record as Record
import Data.Symbol (SProxy(..))
oldFiled = {
 title : "title",
 description : "d" 
}
newFiled = Record.insert (SProxy :: _ "time") "time" oldFiled

Si vous fusionnez des enregistrements, consultez les fonctions merge union et disjointUnion du module Data.Record.