search

purescript / purescript-record

Functions for working with records and polymorphic labels
BSD 3-Clause "New" or "Revised" License
70 stars 31 forks source link

Add map, traverse etc. #19

Closed paf31 closed 5 years ago

paf31 commented 6 years ago

cc @justinwoo @joneshf

I think it would be interesting to add these for Homogeneous records, once we merge Type.Row.Homogeneous.

paulyoung commented 6 years ago

This was merged and released https://github.com/purescript/purescript-typelevel-prelude/pull/20.

paulyoung commented 6 years ago

FYI @natefaubion, since you and I have discussed having sequence for records.

paf31 commented 6 years ago

We've discussed this before, and I think it belongs in a separate repo. The reason is that there is not just one sensible definition of map for records, and Homogeneous could be the basis of a newtype and an associated list of instances.