Skip to content

Releases: purescript/purescript-typelevel-prelude

v7.0.0

27 Apr 18:31
dca2fe3

Choose a tag to compare

Breaking changes:

New features:

  • Added # infix operator for FLIP (e.g. Int # Maybe == Maybe Int) (#73 by @JordanMartinez)

v6.0.0

26 Feb 18:17
83ddcdb

Choose a tag to compare

Breaking changes:

  • Added support for PureScript 0.14 and dropped support for all previous versions (#63)

New features:

  • Replaced monomorphic proxies with Type.Proxy.Proxy and polymorphic variables and made If and TypeEquals polykinded (#64)
  • 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

Bugfixes:

Other improvements:

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

v5.0.1

02 Nov 17:14

Choose a tag to compare

v5.0.0

26 May 23:25

Choose a tag to compare

  • Move RowList related operations into the Type.RowList module. This was necessary in order to prepare for an upcoming compiler change for the v0.13.x series (purescript/purescript#3502). Note, however, that this version still supports compiler versions v0.12.2 and above. (@hdgarrood)

v4.0.2

26 May 22:30

Choose a tag to compare

  • Revert changes in v4.0.1, since they turned out to be breaking after all. This release is identical to v4.0.0.

v4.0.1

26 May 17:33

Choose a tag to compare

  • Fix attempted re-export of Prim.Row.Cons in Type.Row, to enable 0.13.x compiler compatibility (@joneshf)

v4.0.0

23 Jan 15:20

Choose a tag to compare

v3.0.0

22 May 23:37
7aeb599

Choose a tag to compare

  • Updated for PureScript 0.12
  • Made Homogeneous spelling consistent (@matthewleon)
  • Fixed functional dependency in If (@safareli)
  • Fixed functional dependency in And and Or (@LiamGoodacre)
  • AppendSymbol can now be run backwards (@paf31)
  • Added ConsSymbol (@kcsongor)

v2.7.0

13 Apr 00:19
d2c4a22

Choose a tag to compare

v2.6.0

10 Dec 23:48

Choose a tag to compare

Add Type.Row.Homogeneous for rows whose labels all have the same type (@paulyoung)