Opaque type alias evidence #17799
cchantep
started this conversation in
Feature Requests
Replies: 4 comments
-
What do you imagine using this evidence for? |
Beta Was this translation helpful? Give feedback.
0 replies
-
To apply some function only to such type (for example macro that could then resolve the super translucent type behind). |
Beta Was this translation helpful? Give feedback.
0 replies
This comment has been minimized.
This comment has been minimized.
-
Might be useful in type-class derivation to break the loop |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
It would nice that opaque type aliases were given evidence at typelevel. e.g.
Something as below can be designed.
Beta Was this translation helpful? Give feedback.
All reactions