27 Apr
2010
27 Apr
'10
7:46 p.m.
On 2010-04-28 01:30, Ross Paterson wrote:
On Wed, Apr 28, 2010 at 12:21:58AM +0100, Ross Paterson wrote:
The definition in Data.Foldable is
toList :: Foldable t => t a -> [a] toList t = build (\ c n -> foldr c n t)
For lists, this Data.Foldable.foldr should be inlined to Data.List.foldr.
For NonEmptyList this should become
toList t = build (\ c n -> c h (Data.List.foldr c n t))
I'd expect the rest of the steps to still apply, but these RULES are tricky.
I checked, and with your version of foldr for NonEmptyList, it does seem to work beautifully, so that's fantastic! Thank you for the explanation and solution. I'll ask the maintainer of the NonEmptyList package to use this version.