ZIO Schema doesn't differentiate Either[L, R] from fallback semantics

[gnp]

ZIO Schema has both support for a member of type Either[L, R] via Schema.either and for something that appears to be intended for fallback via Schema.orElseEither, but the latter just encodes to the same thing as the former. And, when you go to use it, you do not actually get fallback semantics. For example, you cannot use it to decode JSON "[42, "43"]" to something that can either decode from Long or String.

This is demonstrated in this Scastie: https://scastie.scala-lang.org/gnp/078lqgCNRjuNBwvnOPyWFg/10

[jdegoes]

/bounty $350

This addition to ZIO Schema would be a true fallback, which will encode properly, and attempt decode left first, followed by right if that fails. Because decoding either side could succeed, this implies that use of such a fallback operator will violate laws for union data that is encoded ambiguously.

Bounty for addition of the feature, updating existing codecs, and test suite.

[algora-pbc]

💎 $350 bounty created by ZIO
🙋 If you start working on this, comment /attempt #584 to notify everyone
👉 To claim this bounty, submit a pull request that includes the text /claim #584 somewhere in its body
📝 Before proceeding, please make sure you can receive payouts in your country
💵 Payment arrives in your account 2-5 days after the bounty is rewarded
💯 You keep 100% of the bounty award
🙏 Thank you for contributing to zio/zio-schema!

👉 Add a bounty • Share on socials

Attempt	Started (GMT+0)	Solution
🟢 @pablf	Jan 14, 2024, 6:34:08 PM	#645

[pablf]

/attempt #584

Options

• Cancel my attempt

[algora-pbc]

💡 @pablf submitted a pull request that claims the bounty. You can visit your bounty board to reward.

[algora-pbc]

🎉🎈 @pablf has been awarded $350! 🎈🎊

• Share on socials
• Give feedback