Portability | portable |
---|---|

Stability | experimental |

Maintainer | libraries@haskell.org |

Safe Haskell | Trustworthy |

The Either type, and associated operations.

# Documentation

The `Either`

type represents values with two possibilities: a value of
type

is either `Either`

a b

or `Left`

a

.
`Right`

b

The `Either`

type is sometimes used to represent a value which is
either correct or an error; by convention, the `Left`

constructor is
used to hold an error value and the `Right`

constructor is used to
hold a correct value (mnemonic: "right" also means "correct").

Typeable2 Either | |

Monad (Either e) | |

Functor (Either a) | |

Monad (Either e) => MonadFix (Either e) | |

Functor (Either e) => Applicative (Either e) | |

Generic1 (Either a) | |

(Eq a, Eq b) => Eq (Either a b) | |

(Typeable (Either a b), Data a, Data b) => Data (Either a b) | |

(Eq (Either a b), Ord a, Ord b) => Ord (Either a b) | |

(Read a, Read b) => Read (Either a b) | |

(Show a, Show b) => Show (Either a b) | |

Generic (Either a b) |