Re: [Haskell-cafe] Lazy Lists and IO

2007/7/11, Stefan O'Rear :

Interestingly, the function is already there; it's called genericLength.

However, the lazy natural type isn't.

I'm not sure what you mean there : genericLength is just a length that can return any Num (eg. an Integer) and not just Int, it has nothing to do with what Andrew wanted, which was a function that checked if a list was longer than n without swallowing more of the list than necessary. Is there something I misunderstood in the exchange ? -- Jedaï