Open bash opened 2 years ago
Is this really relevant, for calls to Match the Labels are "undesirable".
I ran into this when I tried to generalize the Match
analyzer (#680) to all Either
-like monads in Funcky. I'd have to add a special case for Result
anyways until we release 4.0, so this is not that important to me.
Either and Option both have the error state first:
Match(left, right)
Match(none, some)
The inconsistent one is Result with the error state second:
Match(ok, error)