[Haskell-cafe] instance Alternative (Either [a])

[Kim-Ee Yeoh]

On Thu, May 22, 2014 at 2:10 PM, Tony Morris <tmorris at tmorris.net> wrote:

> AccValidation has an Applicative instance that accumulates on "Left"
> (Failure) as per the previous email. Therefore, it has no Monad.
>
> Validation has a Monad and Applicative the same as Either.


Thanks for clarifying. So my takeaway is that

1) Validation instead of Either is not so much bikeshedding on the name as
aligning with the use-case of AccValidation, and

2) AccValidation vs Either is like the ZippyList applicative vs List monad
conflation.

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140522/11927dfd/attachment.html>