darcs patch: Make toList a member of Foldable
Eelis van der Weegen
eelis at eelis.net
Tue Apr 27 18:53:27 EDT 2010
On 2010-04-28 00:37, Ross Paterson wrote:
> The instance for NonEmpty should be
>
> instance Foldable NonEmpty where
> foldr f x (NonEmpty h t) = f h (foldr f x t)
>
> which would then rely on the optimization of the [] instance.
Even with such an optimal foldr, the generic toList would still
reconstruct the whole list, which would still be O(n) instead of O(1), no?
More information about the Libraries
mailing list