Proposal: merge Data.Functor.Coproduct into transformers

[Mario Blažević]

On 12-12-15 05:48 PM, Edward Kmett wrote:
> Sure. I'd rather have a solution than no solution. I hereby delegate 
> my vote to Ross.

+1. Since it appears we're voting on whether to appoint a dictator.


>
> On Sat, Dec 15, 2012 at 1:29 PM, Gábor Lehel <illissius at gmail.com 
> <mailto:illissius at gmail.com>> wrote:
>
>     On Fri, Dec 14, 2012 at 9:50 PM, Bardur Arantsson
>     <spam at scientician.net <mailto:spam at scientician.net>> wrote:
>     > On 12/14/2012 08:37 PM, Mario Blažević wrote:
>     >>     So far we have a consensus on the proposal (yay!), but no firm
>     >> agreement on the naming.
>     >
>     > Throw some dice?
>     >
>
>     Given that no one has tied their approval to a particular name, what
>     about giving Ross Paterson, maintainer of transformers, the final
>     vote?
>
>     If I'm not missing one, the possibilities mentioned have been:
>
>     newtype Coproduct f g a = Coproduct { getCoproduct :: Either (f a)
>     (g a) }
>     data Sum f g a = SumLeft (f a) | SumRight (g a)
>     data Coproduct f g a = InL (f a) | InR (g a)
>     data Sum f g a = InL (f a) | InR (g a)
>     data Coproduct f g a = LeftF (f a) | RightF (g a)
>     data EitherF f g a = LeftF (f a) | RightF (g a)
>     data Either1 f g a = Left1 (f a) | Right1 (g a)
>     data Either f g a = Left (f a) | Right (g a) -- import qualified
>
>     --
>     Your ship was destroyed in a monadic eruption.
>
>     _______________________________________________
>     Libraries mailing list
>     Libraries at haskell.org <mailto:Libraries at haskell.org>
>     http://www.haskell.org/mailman/listinfo/libraries
>
>
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries