ghc/lib/std/PrelTup.lhs

   1 %
   2 % (c) The AQUA Project, Glasgow University, 1994-1996
   3 %
   4
   5 \section[PrelTup]{Module @PrelTup@}
   6
   7 This modules defines the typle data types.
   8
   9 \begin{code}
  10 {-# OPTIONS -fcompiling-prelude -fno-implicit-prelude #-}
  11
  12 module PrelTup where
  13
  14 import {-# SOURCE #-} PrelErr ( error )
  15 import PrelBase
  16
  17 default ()              -- Double isn't available yet
  18 \end{code}
  19
  20
  21 %*********************************************************
  22 %*                                                      *
  23 \subsection{Other tuple types}
  24 %*                                                      *
  25 %*********************************************************
  26
  27 \begin{code}
  28 data (,) a b = (,) a b   deriving (Eq, Ord)
  29 data (,,) a b c = (,,) a b c deriving (Eq, Ord)
  30 data (,,,) a b c d = (,,,) a b c d deriving (Eq, Ord)
  31 data (,,,,) a b c d e = (,,,,) a b c d e deriving (Eq, Ord)
  32 data (,,,,,) a b c d e f = (,,,,,) a b c d e f
  33 data (,,,,,,) a b c d e f g = (,,,,,,) a b c d e f g
  34 data (,,,,,,,) a b c d e f g h = (,,,,,,,) a b c d e f g h
  35 data (,,,,,,,,) a b c d e f g h i = (,,,,,,,,) a b c d e f g h i
  36 data (,,,,,,,,,) a b c d e f g h i j = (,,,,,,,,,) a b c d e f g h i j
  37 data (,,,,,,,,,,) a b c d e f g h i j k = (,,,,,,,,,,) a b c d e f g h i j k
  38 data (,,,,,,,,,,,) a b c d e f g h i j k l = (,,,,,,,,,,,) a b c d e f g h i j k l
  39 data (,,,,,,,,,,,,) a b c d e f g h i j k l m = (,,,,,,,,,,,,) a b c d e f g h i j k l m
  40 data (,,,,,,,,,,,,,) a b c d e f g h i j k l m n = (,,,,,,,,,,,,,) a b c d e f g h i j k l m n
  41 data (,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o = (,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o
  42 data (,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p = (,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p
  43 data (,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q
  44  = (,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q
  45 data (,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r
  46  = (,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r
  47 data (,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s
  48  = (,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s
  49 data (,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t
  50  = (,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t
  51 data (,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u
  52  = (,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u
  53 data (,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v
  54  = (,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v
  55 data (,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w
  56  = (,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w
  57 data (,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x
  58  = (,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x
  59 data (,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y
  60  = (,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y
  61 data (,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z
  62  = (,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z
  63 data (,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_
  64  = (,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_
  65 data (,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_
  66  = (,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_
  67 data (,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_
  68  = (,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_
  69 data (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_
  70  = (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_
  71 data (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_
  72  = (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_
  73 data (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_
  74  = (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_
  75 data (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_ g_
  76  = (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_ g_
  77 data (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_ g_ h_
  78  = (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_ g_ h_
  79 data (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_ g_ h_ i_
  80  = (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_ g_ h_ i_
  81 data (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_ g_ h_ i_ j_
  82  = (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_ g_ h_ i_ j_
  83 data (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_ g_ h_ i_ j_ k_
  84  = (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z a_ b_ c_ d_ e_ f_ g_ h_ i_ j_ k_
  85 \end{code}
  86
  87
  88 %*********************************************************
  89 %*                                                      *
  90 \subsection{Standard functions over tuples}
  91 *                                                       *
  92 %*********************************************************
  93
  94 \begin{code}
  95 fst                     :: (a,b) -> a
  96 fst (x,_)               =  x
  97
  98 snd                     :: (a,b) -> b
  99 snd (_,y)               =  y
 100
 101 -- curry converts an uncurried function to a curried function;
 102 -- uncurry converts a curried function to a function on pairs.
 103 curry                   :: ((a, b) -> c) -> a -> b -> c
 104 curry f x y             =  f (x, y)
 105
 106 uncurry                 :: (a -> b -> c) -> ((a, b) -> c)
 107 uncurry f p             =  f (fst p) (snd p)
 108 \end{code}
 109