row-typing
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Partially applied type in Proxy with Row Type param | 3 | 1200 | May 3, 2022 | |
Using Rows and Variants to reduce code duplication | 1 | 801 | March 30, 2020 | |
Merge record with Extensible record | 3 | 868 | March 10, 2020 | |
Dispatching on row fields | 2 | 745 | December 19, 2019 | |
Type-safe Units of Measures in Purescript | 6 | 872 | August 1, 2019 | |
Intersection of row types | 9 | 2723 | April 18, 2019 |