« Previous | Next » 

Revision b74ebe44

IDb74ebe4402ca4a2b2d9b225d75698c3bf96ecd40

Added by Klaus Aehlig almost 11 years ago

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 <>
Reviewed-by: Michele Tartara <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences