records
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Constraints on Type Constructors |
![]() ![]() |
1 | 138 | January 15, 2021 |
Purescript Records and Row Type kind |
![]() ![]() |
1 | 109 | January 7, 2021 |
Merge record with Extensible record |
![]() ![]() |
3 | 194 | March 10, 2020 |
Allow defining named records |
![]() ![]() ![]() ![]() ![]() |
43 | 2265 | January 29, 2020 |
Intersection of row types |
![]() ![]() ![]() |
9 | 1075 | April 18, 2019 |