Add map, traverse etc.

Question

Add map, traverse etc.

paf31 opened this issue 8 years ago · 3 comments

paf31 commented 8 years ago

cc @justinwoo @joneshf

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

Answer 1 · 2017-12-11T06:38:22.000Z

This was merged and released purescript/purescript-typelevel-prelude#20.

Answer 2 · 2017-12-11T06:44:53.000Z

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

Answer 3 · 2017-12-11T16:17:09.000Z

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.