[Haskell-cafe] exists . a psuedo-standard non-empty list module

[Neil Mitchell]

Hi Nick

> That sounds like a great option. Candidate numero uno as of now. What
> I have in mind right now should be pretty light weight, but it will
> mostly be a regurgitation of code I've seen floating around. Some of
> the code from the previous wiki link, type-level decimal numbers I saw
> in an Oleg paper (I think), etc.

I am happy to accept a Safe list implementation much the same way as
Oleg's implementation. The Safe library is a place to put code which
allows the user to write code which ensures their are no pattern match
errors, or to give better error messages when there are pattern match
errors.

Something like a type level implementation of decimals, if not
directly concerned with this, might be better in a separate library
for type level computation. Something like
http://www.eecs.tufts.edu/~rdocki01/typenats.html


> Would you be open to such code in your library? Anyone have a better
> place for it?

Yep, just send in a patch :)

Thanks

Neil