Data.Invertible.Either

Bidirectional version of Data.Either.

Documentation

switch :: Either a b <-> Either b a

Convert between Left and Right.

isLeft :: Either () () <-> Bool

Convert between Left and True (see isLeft).

isRight :: Either () () <-> Bool

Convert between Right and True (see isRight). (not . isLeft)

lft :: Either a () <-> Maybe a

Convert between Left and Just.

rgt :: Either () a <-> Maybe a

Convert between 'Right and Just.

eitherFirst :: Either (a, c) (b, c) <-> (Either a b, c)

Lift an either out of the first component of a tuple.

eitherSecond :: Either (a, b) (a, c) <-> (a, Either b c)

Lift an either out of the second component of a tuple.

pivotEither :: Either a (Either b c) <-> Either (Either a b) c

Pivot nested either terms between right and left (lacking a standard 3-sum representation).