search

purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming
BSD 3-Clause "New" or "Revised" License
63 stars 21 forks source link

Add RowListProxy? #13

Closed justinwoo closed 7 years ago

justinwoo commented 7 years ago

Is there a reason why we don't have a RLProxy or something in the repo? At least, it would let me work with them directly rather than to pass around Records and have to provide constraints to identify the rows from the list and the other way around.

LiamGoodacre commented 7 years ago

Good question. So I didn't include one originally in anticipation of the new proxy syntax (https://github.com/purescript/purescript/pull/2846). This will mean we can basically delete all custom proxy data types.

However, it is probably useful adding one in the mean time. What do you think @paf31?

paf31 commented 7 years ago

I guess it doesn't hurt to add one, since it'll be a breaking change to remove the others anyway.

justinwoo commented 7 years ago

Fixed by ^