-
Notifications
You must be signed in to change notification settings - Fork 32
Closed
Description
Like we have builders for arrays, we should have one for records. This would make it more efficient to build records in type class instances based on things like RowList iteration.
Prototype: http://try.purescript.org/?backend=core&gist=27a137278caa203b3ebbd42f7386a0db
I'd like to investigate the use of linear types here as well, since I think they could improve things further.
Metadata
Metadata
Assignees
Labels
No labels