Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

Bidirectional version of Data.Either.

- switch :: Either a b <-> Either b a
- isLeft :: Either () () <-> Bool
- isRight :: Either () () <-> Bool
- lft :: Either a () <-> Maybe a
- rgt :: Either () a <-> Maybe a
- eitherFirst :: Either (a, c) (b, c) <-> (Either a b, c)
- eitherSecond :: Either (a, b) (a, c) <-> (a, Either b c)
- pivotEither :: Either a (Either b c) <-> Either (Either a b) c