derive Uninhabited

Question

derive Uninhabited

dvc94ch opened this issue 3 years ago · 2 comments

that one is quite a pain to implement if you have a few variants

Answer 1 · 2021-09-12T02:37:38.000Z

Could you draft a quick example, how you'd do that using the SOP approach? Because to the best of my knowledge, Uninhabited usually talks about families of types, while in this library, we can only handle parameterized data types.

Answer 2 · 2021-09-12T17:11:28.000Z

Maybe needs a separate library then, haven't put much thought into it. Just remember writing 250loc implementing uninhabited and seemed like this library was doing something similar.