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