Fix warnings and doc-comments for 0.14

purescript / purescript-prelude

The PureScript Prelude

BSD 3-Clause "New" or "Revised" License

161 stars 88 forks source link

Fix warnings and doc-comments for 0.14 #227

Closed hdgarrood closed 3 years ago

hdgarrood commented 3 years ago

Like #226, except that it's based on the previous PRs #209 and #211 which mysteriously got closed - apparently by me but I don't remember doing that - and GitHub won't let me reopen them either. I'd like to merge this one instead of #226 since it preserves @Thimoteus's authorship as well as the doc-comment update in NaturalTransformation.

JordanMartinez commented 3 years ago

I think the branch got deleted and that's why the PRs were closed

hdgarrood commented 3 years ago

Both branches still exist on the respective repositories, that’s how I was able to put this PR together

Thimoteus commented 3 years ago

Oh cool, thanks for keeping my commits!

hdgarrood commented 3 years ago

Sure 🙂