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
1226
April 5, 2024
Describing type roles as constraints
Show and Tell
8
1591
November 13, 2021
Will GHC unpack GADT sum types? And are Coercible constraints free?
Learn
3
314
January 13, 2025
Haskell mini-idiom: constraining coerce
Show and Tell
15
1510
September 23, 2022
{-# MINIMAL f, g | () #-}?
Learn
7
348
June 24, 2022