Proposal: Add gcoerceWith to Data.Type.Coercion

[Richard Eisenberg]

+1

I'm not sure why that was left out.

> On Jul 22, 2016, at 4:58 AM, Oliver Charles <ollie at ocharles.org.uk> wrote:
> 
> I have wanted this exact function before. +1
> 
> 
> On Fri, 22 Jul 2016, 12:27 a.m. Edward Kmett, <ekmett at gmail.com <mailto:ekmett at gmail.com>> wrote:
> No objection here. +1
> 
> -Edward
> 
> On Fri, Jul 22, 2016 at 1:18 AM, David Feuer <david.feuer at gmail.com <mailto:david.feuer at gmail.com>> 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 at haskell.org <mailto:Libraries at haskell.org>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries <http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries>
> 
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org <mailto:Libraries at haskell.org>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries <http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20160722/b412f405/attachment.html>