Skip to content

Conversation

@thomashoneyman
Copy link
Member

Description of the change

This PR updates the CHANGELOG in preparation for the upcoming release of this library.

Related: purescript/purescript#3985

Other improvements:
- Migrated CI to GitHub Actions and updated installation instructions to use Spago (#67)
- Added a changelog and pull request template (#68, #69)

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

My script didn't include the v5.0.2 release, which only had one change from #56. The following markdown should work. You can copy and paste it here.

## [v5.0.2](https://github.com/purescript/purescript-typelevel-prelude/releases/tag/v5.0.2) - 2020-01-18

- Re-adds the re-exports of the Ordering and Boolean kinds to the module `Type.Prelude` (#56)

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This would also entail removing the bugfix above where the #55 is included.


New features:
- Replaced monomorphic proxies with `Type.Proxy.Proxy` and polymorphic variables and made `If` and `TypeEquals` polykinded (#64)

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

#63 also added APPLY and FLIP. Perhaps this is how it could be worded?

- Added `APPLY`/`$` and `FLIP` type aliases (#63)
     - The type `Foo (Bar Baz)` is the same as `Foo $ Bar Baz`
     - The type `Either a b` is the same as `FLIP Either b a`

Copy link
Contributor

@JordanMartinez JordanMartinez left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a few fixes needed.

@JordanMartinez JordanMartinez merged commit bd8feb8 into master Jan 21, 2021
@JordanMartinez JordanMartinez deleted the changelog-0.14 branch January 21, 2021 01:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants