Pre-Proposal: Add Validation somewhere easily accessible

[Andreas Abel]

To use the Errors type in a nice way:

* I'd like to import it from a module named Control.Applicative.Error(s)

* be able to work it without reference to Lift, Constant, Pure, Other.

The second point would amout to, I guess,
* newtype Errors instead of type Errors
* having 'runErrors' that give me the result or the errors.

Just some initial thoughts,
Andreas

On 24.09.2014 21:06, Ross Paterson wrote:
> On Mon, Sep 22, 2014 at 05:43:05PM +0200, Andreas Abel wrote:
>> UPDATE: I found that "Errors e" on
>>
>> https://hackage.haskell.org/package/transformers-0.4.1.0/docs/Control-Applicative-Lift.html
>>
>> seems to be doing the job of "Validation" already (no nice names of the
>> operations, though).
>
> Which operations and names would you like?

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/