search

7mind / izumi

Productivity-oriented collection of lightweight fancy stuff for Scala toolchain
https://izumi.7mind.io
BSD 2-Clause "Simplified" License
615 stars 66 forks source link

Tribool result monad #80

Closed pshirshov closed 6 years ago

pshirshov commented 6 years ago

We want it to:

  1. Model protocol errors, exceptions and results
  2. Covariance on error and exception branches

...

EitherT isn't covariant

Related: #211

Dirty prototype: https://github.com/pshirshov/izumi-r2/pull/95

pshirshov commented 6 years ago

We've migrated to Zio, so this isn't relevant anymore.