purescript/purescript-foldable-traversable

Unfoldable1

Closed this issue · 3 comments

matthewleon commented

Would be nice to have this for the various non-empty types. It would allow, for example, purescript-gen to generate arbitrary non-empty types without resorting to potentially expensive cons-style operations.

garyb commented

I think you mean Unfoldable1? We do already have Foldable1 and Traversable1, but you can only consume types with those (NonEmptyArray, NonEmptyList, etc. have those instances too).

matthewleon commented

I think you mean Unfoldable1?

Yes. Things that happen when you are working too quickly.

garyb commented

Actually, you already opened this 😄 - purescript/purescript-unfoldable#19

  • 😄1