row-typing
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Partially applied type in Proxy with Row Type param |
![]() ![]() |
3 | 1485 | May 3, 2022 |
Using Rows and Variants to reduce code duplication |
![]() ![]() |
1 | 862 | March 30, 2020 |
Merge record with Extensible record |
![]() ![]() |
3 | 930 | March 10, 2020 |
Dispatching on row fields |
![]() ![]() ![]() |
2 | 807 | December 19, 2019 |
Type-safe Units of Measures in Purescript |
![]() ![]() |
6 | 964 | August 1, 2019 |
Intersection of row types |
![]() ![]() ![]() |
9 | 2872 | April 18, 2019 |