Data/Either.hs

   1 {-# OPTIONS -fno-implicit-prelude #-}
   2 -----------------------------------------------------------------------------
   3 -- |
   4 -- Module      :  Data.Either
   5 -- Copyright   :  (c) The University of Glasgow 2001
   6 -- License     :  BSD-style (see the file libraries/base/LICENSE)
   7 --
   8 -- Maintainer  :  libraries@haskell.org
   9 -- Stability   :  experimental
  10 -- Portability :  portable
  11 --
  12 -- The Either type, and associated operations.
  13 --
  14 -----------------------------------------------------------------------------
  15
  16 module Data.Either (
  17    Either(..),
  18    either       -- :: (a -> c) -> (b -> c) -> Either a b -> c
  19  ) where
  20
  21 #ifdef __GLASGOW_HASKELL__
  22 import GHC.Base
  23 #endif
  24
  25 data  Either a b  =  Left a | Right b   deriving (Eq, Ord )
  26
  27 either                  :: (a -> c) -> (b -> c) -> Either a b -> c
  28 either f _ (Left x)     =  f x
  29 either _ g (Right y)    =  g y