The documentation for the latest (3.5.0) Data.Map says that keys returns a List. However, the compiler seems to think it returns a Set. Moreover, clicking on the source link from the Pursuit documentation takes me to a repository called purescript-deprecated.
What’s going on here, and what’s the easiest way to get the keys of a map as a list?
Data.Map is now part of purescript-ordered-collections as stated by the README of the repository you linked. Remove the dependency on purescript-maps and instead install purescript-ordered-collections. I think if you are using spago, maps should not even be in the package set. I highly recommend switching to spago (it’s easier than it seems!).
Thanks. I am using spago, so it seems I was just looking at the wrong documentation. (I googled “PureScript Data.Map” – unfortunately the first search result is that deprecated package.)
Does Pursuit not support the notion of deprecation per se?