Haskell Community
How to expose coercions only one way?
Learn
tomjaguarpaw
January 3, 2025, 5:04pm
2
I want this too but it doesn’t seem possible (yet). See also
One way Coercible
2 Likes
show post in topic
Related topics
Topic
Replies
Views
Activity
One way Coercible
16
1329
April 5, 2024
The Current Coercible Rules are Dangerously Misleading
22
1304
October 29, 2024
Haskell mini-idiom: constraining coerce
Show and Tell
15
1557
September 23, 2022
Describing type roles as constraints
Show and Tell
8
1667
November 13, 2021
DerivingVia's error messages are bad
6
1116
November 27, 2023