-}
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
Ordering(LT, EQ, GT),
Char, String,
- IO,
-- *** Tuples
fst, snd, curry, uncurry,
showChar, showString, readParen, showParen,
-- * Basic Input and output
+ IO,
-- ** Simple I\/O operations
-- All I/O functions defined here are character oriented. The
-- treatment of the newline character will vary on different systems.