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

[Neil Mitchell]

Hi

> Incidentally, inserting NList into the existing Safe.List does not
> seem like a good match as NList critically relies on being in a
> separate module with a limited export.

As mentioned before, Safe.List would be an entirely separate module in
my package, so can export/not export whatever it chooses.

> > * Catch: http://www-users.cs.york.ac.uk/~ndm/projects/catch.php
> > * ESC-Haskell: http://www.cl.cam.ac.uk/~nx200/research/escH-hw.ps
>
> I would submit the approach of the lightweight static capabilities (cf
> above Wiki link) to be counted as the third project in that area. The
> latter has an advantage that it is available in Haskell right now and
> requires no extra tools.

I've added a link to my web page, which is where I also paste from
where someone asks this question :)

Thanks

Neil