purescript/purescript-lists

Explain commented-out exports of Data.List.Lazy

matthewleon opened this issue · 2 comments

Data.List.Lazy contains the exports some and many commented out: https://github.com/purescript/purescript-lists/blame/master/src/Data/List/Lazy.purs#L19

@garyb added them in the following commit back in 2005: ba68a9b

I interpret this as meaning that these are functions that are intended to be at some point added to the API. But I'm not sure.

Can we either add an explanation to these lines to explain why they are commented out, remove them, or write the functions in question and uncomment the lines?

(closed this because of #27 )

garyb commented

The latter would be the preferred option 😄