Data.List.NonEmpty.{all,any} functions #2

Closed
hvr opened this Issue Mar 29, 2012 · 3 comments

Comments

Projects
None yet
2 participants
Collaborator

hvr commented Mar 29, 2012

unless there's a reason for leaving them out, the functions

all p = Data.List.all p . toList
any p = Data.List.any p . toList

would be convenient to have...

Owner

ekmett commented Mar 29, 2012

just an oversight. sure!

Sent from my iPad

On Mar 29, 2012, at 5:21 AM, Herbert Valerio Riedelreply@reply.github.com wrote:

unless there's a reason for leaving them out, the functions

all p = Data.List.all p . toList
any p = Data.List.any p . toList

would be convenient to have...


Reply to this email directly or view it on GitHub:
#2

Owner

ekmett commented Apr 8, 2012

Oh, actually, its wasn't an oversight.

The reason those aren't present is that those are provided for Data.List.NonEmpty by Data.Foldable in a way that doesn't randomly conflict with combinators from other modules.

The combinators present in that module (for the most part) are just the ones that needed to be supplied by hand.

ekmett closed this Apr 8, 2012

Collaborator

hvr commented Apr 8, 2012

The reason those aren't present is that those are provided for
Data.List.NonEmpty by Data.Foldable in a way that doesn't randomly
conflict with combinators from other modules.

Ah, that explains a lot, thanks for the pointer!

Sent from my Emacs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment