projects
/
ghc-base.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2004-08-03 19:36:41 by panne]
[ghc-base.git]
/
Data
/
Either.hs
diff --git
a/Data/Either.hs
b/Data/Either.hs
index
406e7e7
..
d6261b6
100644
(file)
--- a/
Data/Either.hs
+++ b/
Data/Either.hs
@@
-20,9
+20,7
@@
module Data.Either (
#ifdef __GLASGOW_HASKELL__
import GHC.Base
#ifdef __GLASGOW_HASKELL__
import GHC.Base
-#endif
-#ifndef __HUGS__
{-|
The 'Either' type represents values with two possibilities: a value of
{-|
The 'Either' type represents values with two possibilities: a value of
@@
-35,7
+33,10
@@
hold a correct value (mnemonic: \"right\" also means \"correct\").
-}
data Either a b = Left a | Right b deriving (Eq, Ord )
-}
data Either a b = Left a | Right b deriving (Eq, Ord )
+-- | Case analysis for the 'Either' type.
+-- If the value is @'Left' a@, apply the first function to @a@;
+-- if it is @'Right' b@, apply the second function to @b@.
either :: (a -> c) -> (b -> c) -> Either a b -> c
either f _ (Left x) = f x
either _ g (Right y) = g y
either :: (a -> c) -> (b -> c) -> Either a b -> c
either f _ (Left x) = f x
either _ g (Right y) = g y
-#endif /* __HUGS__ */
+#endif /* __GLASGOW_HASKELL__ */