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