purescript-deprecated/purescript-maps

NonEmptyMap

Closed this issue · 4 comments

Would nice to have convenience functions for this.

I’m not sure - this doesn’t seem to me as lobviously useful as non empty variants of some other types like NonEmptyList. Do you have some concrete use cases in mind?

Mostly, that if you get the keys or values of such a map, it can come out as a NonEmptyArray or whatever, which is nice.

I just recently published a package for this: https://pursuit.purescript.org/packages/purescript-indexed-nonempty.

I think letting a separate library provide this is probably a good move, at least for now (especially now that one exists). Shall we close this?