Re: [PATCH 1/3] Implement nand, nor, nany and nall in Data.List

<1393513982-8917-2-git-send-email-alexander@plaimi.net> On Thu, 27 Feb 2014 16:13:00 +0100, Alexander Berntsen wrote:

Implement negation-shorthands for `and`, `or`, `any` and `all` in Data.List: `nand`, `nor`, `nany`, `nall`. These functions compose `not` with `and`, `or`, `any` and `all` respectively.

In lens we have ‘none’ for what you call nany, which I find much more readable and clear. I don't like ‘nall’ either but I don't know a better term for it. nand/nor at least are in widespread use outside of this patch, so I don't find them to be too confusing.