Haskell Community
Haskell mini-idiom: constraining coerce
Show and Tell
nomeata
September 23, 2022, 10:43am
6
I’ll try it here:
There is one type annotation I can remove this way
1 Like
show post in topic
Related topics
Topic
Replies
Views
Activity
Describing type roles as constraints
Show and Tell
8
1637
November 13, 2021
The Current Coercible Rules are Dangerously Misleading
22
1277
October 29, 2024
How to expose coercions only one way?
Learn
35
732
January 7, 2025
One way Coercible
16
1232
April 5, 2024
RoleAnnotations is a Band-Aid on a poor decision
Learn
15
1189
March 2, 2024