Functor Picking
(very early draft)
(very early draft)
In version v0.12 the PureScript compiler has support instance chains, and overlapping instances are an error (previously a warning).
I recently added the RowToList and ListToRow type classes to the 2.3.0 release of the typelevel-prelude under the Type.Row module. The idea with these two t...
This is a quick post about the new RowLacks type class that was added to purescript-typelevel-prelude. This can be used to require that a row does not conta...
When compiler version 0.10.6 is released, it will include a syntax for nested record updates.
For the 0.10.4 release, I worked on Functor deriving. This allows you to write a data type and derive a Functor instance for it. This obviously doesn’t wor...
For the 0.10.4 release, I worked on upgrading the existing orphan check to take functional dependencies into account. Before we get into what this means we ...
I recently added user defined warnings to the PureScript compiler. This feature will be available in the release following 0.10.5. You can find the feature ...