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