Links related to PureScript RowCons, Union, RowLacks, RowLacking constraints

Links related to some of the new typeclass constraints in PureScript...

• Express optional record properties
• Express optional record properties example
• Lens setters using RowCons
• PureScript release of RowCons
• RowCons documentation in the Prim module
• RowUnion Feature Discussion
• Connection between RowCons and phantom rows
• RowLacking, RowLacks constraints

The RowCons "missingID" Boolean r1 r2 constraint tells the compiler that if you add row ( missingId :: Boolean ) to r1, you will get r2.

a :: RowCons "missingID" Boolean r1 r2 => Eff r2 Unit -> Eff r1 Unit
a = ...