Skip to content

[generics-rep] Add a toRep function #246

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Closed
natefaubion opened this issue Dec 3, 2017 · 2 comments · Fixed by #238
Closed

[generics-rep] Add a toRep function #246

natefaubion opened this issue Dec 3, 2017 · 2 comments · Fixed by #238

Comments

@natefaubion
Copy link 

toRep :: forall from to. Generic from to => Proxy from -> Proxy to
toRep _ = Proxy
@paf31
Copy link
Contributor

paf31 commented Dec 4, 2017

👍 Sounds useful

@JordanMartinez JordanMartinez changed the title Add a toRep function [generics-rep] Add a toRep function Dec 26, 2020
@JordanMartinez JordanMartinez transferred this issue from purescript-deprecated/purescript-generics-rep Dec 26, 2020
@JordanMartinez
Copy link
Contributor

Closed by #238

@JordanMartinez JordanMartinez mentioned this issue Jan 13, 2021
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add toRep
3 participants
@natefaubion @paf31 @JordanMartinez