purescript/purescript-record

Alternative `build` for building a record from scratch

kl0tl opened this issue ยท 1 comments

kl0tl commented

Hi everyone! ๐Ÿ‘‹

Would anyone be opposed to a build' :: Builder {} { | row } -> { | row } function to build a record from scratch? The implementation is only flip build $ {} but itโ€™s a convenient little function to compose in some pointfree scenarios.

I think this is probably justifiable, although I'd suggest calling it buildFromScratch or something instead; think primes are best avoided in library APIs.