Copyright | (c) The University of Glasgow 2001 |
---|---|

License | BSD-style (see the file libraries/base/LICENSE) |

Maintainer | libraries@haskell.org |

Stability | experimental |

Portability | portable |

Safe Haskell | Trustworthy |

Language | Haskell2010 |

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").

Monad (Either e) | |

Functor (Either a) | |

MonadFix (Either e) | |

Applicative (Either e) | |

Foldable (Either a) | |

Traversable (Either a) | |

Generic1 (Either a) | |

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

(Data a, Data b) => Data (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) | |

Typeable (* -> * -> *) Either | |

type Rep1 (Either a) | |

type Rep (Either a b) | |

type (==) (Either k k1) a b |