|
[SOLVED] How to cast one Record with optional fields to another?
|
|
15
|
1247
|
February 14, 2025
|
|
Removing dot trailing whitespace from record access syntax
|
|
0
|
858
|
March 16, 2024
|
|
Assigning record to a record that has a subset of fields
|
|
4
|
926
|
June 25, 2023
|
|
Record projection syntax
|
|
7
|
1264
|
June 23, 2023
|
|
Implementing `ReadForeign` for existing types without having to handle newtype instances everywhere
|
|
3
|
1032
|
January 31, 2023
|
|
Beginner: array of (almost) arbitrary records
|
|
15
|
2567
|
May 10, 2021
|
|
Constraints on Type Constructors
|
|
1
|
1203
|
January 15, 2021
|
|
Purescript Records and Row Type kind
|
|
1
|
2970
|
January 7, 2021
|
|
Merge record with Extensible record
|
|
3
|
1519
|
March 10, 2020
|
|
Allow defining named records
|
|
43
|
8237
|
January 29, 2020
|
|
Intersection of row types
|
|
9
|
3679
|
April 18, 2019
|