Relax parOneOf and parOneOfMap constraints

Question

Relax parOneOf and parOneOfMap constraints

natefaubion opened this issue 8 years ago · 4 comments

They require Alternative, which Aff does not satisfy. And since Aff is one of the only interesting things that implements Parallel, I feel like we should relax them to Applicative + Plus.

Answer 1 · 2017-10-30T17:34:06.000Z

Didn't we discuss this before? I thought we decided there were useful things you could prove only with Alternative? Anyway, what does it gain us to change to Applicative and Plus? Isn't Aff an Alternative?

Answer 2 · 2017-10-30T17:56:55.000Z

No, it does not satisfy the Alternative laws

Answer 3 · 2017-10-30T18:01:32.000Z

Or at least, it doesn't have an instance. Maybe I was too aggressive when removing bad instances in Aff 4? I thought I remember it failing to be an Alternative for some reason.

Answer 4 · 2017-10-30T20:19:50.000Z

ParAff is the one with the Alternative instance, duh.