polymorphic-variants
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| A pattern for using GADTs to subset cases |
|
3 | 540 | February 11, 2024 |
| New Draft Tutorial on Polymorphic Variants |
|
24 | 1136 | November 30, 2023 |
| Understanding polymorphic variants |
|
2 | 285 | November 26, 2023 |
| Modelling access permissions with polymorphic variants |
|
6 | 864 | June 15, 2023 |
| Mapping GADT with Polymorphic Variant into a more restrictive form |
|
5 | 649 | May 24, 2023 |
| Signature of a function changed when adding a recursion |
|
2 | 568 | April 7, 2023 |
| Deconstructing polymorphic variant type |
|
5 | 557 | December 17, 2022 |
| Inferred types and polymorphic variants |
|
8 | 910 | September 7, 2021 |
| Empty polymorphic variant type use case |
|
2 | 955 | August 27, 2021 |