purescript-typelevel-prelude icon indicating copy to clipboard operation
purescript-typelevel-prelude copied to clipboard

RowListIntersection?

Open justinwoo opened this issue 7 years ago • 2 comments

Small utility I wrote for some demos that I think could maybe be useful for others, like when you want to figure out what fields are unique from another row that isn't a subtype.

Should I PR this? Are there some problems I've missed here? https://github.com/justinwoo/record-diff/blob/f326d8d1655b8d4ebb67c8f794a5b627e71539f6/src/Main.purs#L18

justinwoo avatar Feb 02 '18 11:02 justinwoo

This implicitly depends on a sorted RowList, and seems to expect no duplicate keys. So I would be hesitant to call it RowListIntersection. But it sounds interesting.

LiamGoodacre avatar Feb 04 '18 23:02 LiamGoodacre

Definitely needs a name with less false promises :smile:

justinwoo avatar Feb 04 '18 23:02 justinwoo