You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was speaking with @tpolecat in the gitter channel, and I was looking to generalize some things, where I'd like to accept Either, Xor and Validated. Rob mentioned that this would be called a Copair. I've done a very small (tiny) amount of work on this so far, but I know there's more. I'm working to fully implement this now. To provide an idea, my first pass implementation looked like this
Based on the conversations I had with @tpolecat it sounds like you should be able to derive a Bifunctor and Bifoldable given a Copair. He also mentioned that there's probably a reason this thing doesn't exist, so this might be a dead end.
The text was updated successfully, but these errors were encountered:
I was speaking with @tpolecat in the gitter channel, and I was looking to generalize some things, where I'd like to accept
Either
,Xor
andValidated
. Rob mentioned that this would be called aCopair
. I've done a very small (tiny) amount of work on this so far, but I know there's more. I'm working to fully implement this now. To provide an idea, my first pass implementation looked like thisBased on the conversations I had with @tpolecat it sounds like you should be able to derive a
Bifunctor
andBifoldable
given aCopair
. He also mentioned that there's probably a reason this thing doesn't exist, so this might be a dead end.The text was updated successfully, but these errors were encountered: