Re: Proposal: Add gcoerceWith to Data.Type.Coercion

I have wanted this exact function before. +1 On Fri, 22 Jul 2016, 12:27 a.m. Edward Kmett, wrote:

No objection here. +1

-Edward

On Fri, Jul 22, 2016 at 1:18 AM, David Feuer wrote:

...

In Data.Type.Equality, we have both

castWith :: (a :~: b) -> a -> b

and

gcastWith :: (a :~: b) -> (a ~ b => r) -> r

But in Data.Type.Coercion we only have

coerceWith :: Coercion a b -> a -> b

It seems to me that for the sake of consistency, we should add

gcoerceWith :: Coercion a b -> (Coercible a b => r) -> r gcoerceWith Coercion a = a

David Feuer _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries