Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add map, traverse etc. #19

Closed
paf31 opened this issue Nov 21, 2017 · 3 comments
Closed

Add map, traverse etc. #19

paf31 opened this issue Nov 21, 2017 · 3 comments

Comments

@paf31
Copy link
Contributor

paf31 commented Nov 21, 2017

cc @justinwoo @joneshf

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

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

@paulyoung
Copy link

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

@paf31
Copy link
Contributor Author

paf31 commented Dec 11, 2017

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.

@matthewleon matthewleon mentioned this issue Dec 16, 2017
Closed
@garyb garyb closed this as completed Nov 11, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@paulyoung @paf31 @garyb