Re: Proposal: merge Data.Functor.Coproduct into transformers

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 mailto:illissius@gmail.com> wrote:

On Fri, Dec 14, 2012 at 9:50 PM, Bardur Arantsson mailto:spam@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@haskell.org mailto:Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries