Record projection syntax
|
|
6
|
251
|
February 28, 2023
|
Implementing `ReadForeign` for existing types without having to handle newtype instances everywhere
|
|
3
|
153
|
January 31, 2023
|
Beginner: array of (almost) arbitrary records
|
|
15
|
810
|
May 10, 2021
|
Constraints on Type Constructors
|
|
1
|
395
|
January 15, 2021
|
Purescript Records and Row Type kind
|
|
1
|
895
|
January 7, 2021
|
Merge record with Extensible record
|
|
3
|
534
|
March 10, 2020
|
Allow defining named records
|
|
43
|
3985
|
January 29, 2020
|
Intersection of row types
|
|
9
|
1833
|
April 18, 2019
|