Revision b74ebe44
ID | b74ebe4402ca4a2b2d9b225d75698c3bf96ecd40 |
Provide witness for the sum-type structure of GenericResult
GenericResult, while rightfully a type of its own, is isomorphic
to Either. So, also provide the case analysis function (i.e., the
universal arrow out of the sum).
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Michele Tartara <mtartara@google.com>
Files
- added
- modified
- copied
- renamed
- deleted