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