JordanMartinez

Clarify guidelines for when to accept new features into core libraries

1

In purescript/purescript-arrays#212, we received a PR that added the function, `sliding :: Int -> Int -> Array a -> Array (NonEmptyArray a)` to the repo. [Harry brought up some good...

Define principles for when and where we mirror and diverge from Haskell

1

There are times decisions made in PS have been answered with "That's how they did it in Haskell, so we'll do that here, too." I think that's a good argument...

Define roles, qualifications, and privileges

8

## Preface Specifically, I'd like this issue to answer the following questions with an official and mutually-agreed-upon answer. First, I will list the questions to answer. Then, I will write...

Per #71, an attempt was made to add `Bifunctor` to `Map`. While the implementation could be written that would type-check, the issue is that implementation wouldn't maintain the `Ord` invariant....

See https://github.com/purescript/purescript-ordered-collections/issues/36#issuecomment-1069673833 Remove `SemigroupMap`

See https://github.com/purescript/purescript-ordered-collections/issues/36#issuecomment-1069673833 - remove `Warn` on `Map`'s `Semigroup` and `Monoid` instances. - add `Warn` on `SemigroupMap`'s `Semigroup` and `Monoid` instances. - add deprecation notice to `SemigroupMap`

Update instance names to match "ClassType" convention?

4

See [this comment in #131](https://github.com/purescript/purescript-foldable-traversable/pull/131#pullrequestreview-583961267) for more details.

These were disabled in #106. Specifically, [these commits](https://github.com/purescript/purescript-free/pull/106/commits/41710742acc2436af298c68c94e85b20482102b6)

Split Semiring into Semiring and Dioid

5

From @mikesol in Discord: > Would it make sense to revamp `Semiring` so that it had only the operators `add` and `mul` and then use `Dioid` for `zero` and `one`?...

**Description of the change** While working on [purescript-json-codecs](https://github.com/JordanMartinez/purescript-json-codecs), I realized that all these proxy args used to guide type inference could be replaced with newtypes now that we have polykinds...