Combine Records in Purescript

Viewed 2104

Given I have the folowing records in purescript:

let name = {name: "Jim"}
let age = {age: 37}

is it possible to combine those two records some how in a generic way? Something like:

name 'comb' age

such that I get the following record:

{name: "Jim", age: 37}

Somehow it seems to be possible with the Eff rowtype, but I'm curious if it would be possible with 'normal' records. I'm new to purescript and it's record syntax.

Thanks a lot.

2 Answers
Related