Add an example for KEnum and KMaybe #37
Conversation
| data Input = Input | ||
| { iInt32 :: C Int32, | ||
| -- | To use an enum type, wrap it with `KEnum`. | ||
| iEnum :: KEnum C Pet |
There was a problem hiding this comment.
99% of the time, enums can just be used directly, without KEnum. I feel like this isn't quite right, it's too broad, but we only need KEnum if we "use" it in an f-parameterized context. This example should really be just using Pet, not KEnum C Pet.
There was a problem hiding this comment.
Using Pet directly doesn't work here because there's no IfCat Cat Pet. I don't immediately know whether this instance is not possible, or we just didn't implement it (see #42), but either way, KEnum is currently the safer thing to use.
There was a problem hiding this comment.
Ah! You're right, it's IfCat that forces us to use KEnum in general. I knew my recollection wasn't right. We should capture that on the docs for KEnum, and also add a comment on this example that points out why we need KEnum here, but don't in general.
No description provided.