ghc/lib/prelude/Prel13.hs

   1 -- compiled to produce a 1.3 (whatever that is) Prelude.hi file
   2 --
   3 module Prelude (
   4
   5         -- 1.3 extras (I/O is later)
   6         thenMaybe,
   7         curry, uncurry,
   8 -- LATER?
   9 --      copy, lookup,
  10
  11         -- NO: really builtin (0.20+): trace,
  12
  13         (%), numerator, denominator, approxRational,
  14
  15         realPart, imagPart, conjugate, mkPolar, cis,
  16         polar, magnitude, phase,
  17
  18         _appendPS, _breakPS, _concatPS, _dropPS, _dropWhilePS,
  19         _filterPS, _foldlPS, _foldrPS, _headPS, _indexPS, _lengthPS,
  20         _linesPS, _mapPS, _nilPS, _consPS, _nullPS, _packCBytes,
  21         _packCString, _packString, _byteArrayToPS, _psToByteArray,
  22         _reversePS, _spanPS, _splitAtPS, _substrPS, _tailPS, _takePS,
  23         _takeWhilePS, _unpackPS, _wordsPS, _putPS,
  24
  25         (&&), (||), not, otherwise,
  26         (^), (^^), appendBin, asTypeOf, atan2, fromIntegral,
  27         fromRealFrac, gcd, isAlpha, isAlphanum, isAscii, isControl,
  28         isDigit, isLower, isNullBin, isPrint, isSpace, isUpper, lcm,
  29         maxChar, maxInt, minChar, minInt, nullBin, subtract, toLower,
  30         toUpper, until, fst, snd, id, const, (.), flip, ($),
  31         ord, chr,
  32
  33 #if defined(__UNBOXED_INSTANCES__)
  34         minInt#, maxInt#,
  35         toInt#, fromInt#,
  36         minChar#, maxChar#,
  37         toChar#, fromChar#,
  38         isAscii#, isControl#, isPrint#, isSpace#,
  39         isUpper#, isLower#, isAlpha#, isDigit#, isAlphanum#,
  40         toUpper#, toLower#,
  41 #endif
  42
  43         head, last, tail, init, null, (++), (\\), genericLength,
  44         length, (!!), map, filter, partition, {-BUILTIN: foldl,-}
  45         foldl1, scanl, scanl1, {-BUILTIN: foldr,-} foldr1, scanr, scanr1,
  46         iterate, repeat, cycle, take, drop, splitAt, takeWhile,
  47         dropWhile, span, break, lines, words, unlines, unwords, nub,
  48         reverse,  and, or, any, all, elem, notElem, sum,
  49         product, sums, products, maximum, minimum, concat,
  50         transpose, zip, zip3, zip4, zip5, zip6, zip7, zipWith,
  51         zipWith3, zipWith4, zipWith5, zipWith6, zipWith7, unzip,
  52         unzip3, unzip4, unzip5, unzip6, unzip7,
  53
  54         array, listArray, (!), bounds, indices, elems, assocs,
  55         accumArray, (//), accum, amap, ixmap,
  56
  57         reads, shows, show, read, lex, showChar, showString,
  58         readParen, showParen, readLitChar, showLitChar, readSigned,
  59         showSigned, showSpace__, readDec, showInt, readFloat, showFloat,
  60         _showHex, _showRadix, _showDigit, -- non-std
  61         _readList, _showList,
  62
  63         _readRational, _showRational, -- extras!
  64
  65         -- 1.3 I/O stuff from PreludeIO, some *renamed*
  66         (>>),
  67         (>>=),
  68         accumulate,
  69         appendFile,
  70         either,
  71         fail,
  72         failWith,
  73         getChar,
  74         hClose,
  75         hFileSize,
  76         hFlush,
  77         hGetChar,
  78         hGetContents,
  79         hGetPosn,
  80         hIsBlockBuffered,
  81         hIsClosed,
  82         hIsEOF,
  83         hIsLineBuffered,
  84         hIsNotBuffered,
  85         hIsOpen,
  86         hIsReadable,
  87         hIsSeekable,
  88         hIsWritable,
  89         hLookAhead,
  90         hPutChar,
  91         hPutStr,
  92         hPutText,
  93         hReady,
  94         hSeek,
  95         hSetBuffering,
  96         hSetPosn,
  97         handle,
  98         interact,
  99         isEOF,
 100         openFile,
 101         putChar,
 102         putStr,
 103         putText,
 104         print,
 105         readFile,
 106         return,
 107         sequence,
 108         stderr,
 109         stdin,
 110         stdout,
 111         try,
 112         writeFile,
 113
 114         primIOToIO, ioToPrimIO, -- extra, and very dodgy
 115
 116         -- and for foldr/build
 117         _build
 118
 119     ) where
 120
 121 -- few *Ty(s) imports
 122 import TyArray          ( Array(..), Assoc(..), _ByteArray )
 123 import TyComplex        ( Complex(..) )
 124 --import Builtin        ( trace )
 125 import Cls      hiding  ( String )
 126 import Core
 127 import PreludeGlaST     ( thenStrictlyST, _MutableByteArray, _MutableArray )
 128 import PreludePrimIO    ( thenPrimIO, returnPrimIO )
 129 --import PrelCore13
 130 import IArray
 131 import IBool
 132 import IChar
 133 import IComplex
 134 import IDouble
 135 import IFloat
 136 import IInt
 137 import IInteger
 138 import IList
 139 import IRatio
 140 import ITup0
 141 import ITup2
 142 import ITup3
 143 import ITup4
 144 import ITup5
 145 import List
 146 import Prel
 147 import Text
 148 import PS
 149
 150 import PreludeIO renaming ( -- IOError13    to IOError -- can't rename PreludeCore types
 151                             appendFile13    to appendFile
 152                           , interact13      to interact
 153                           , print13         to print
 154                           , readFile13      to readFile
 155                           , stderr13        to stderr
 156                           , stdin13         to stdin
 157                           , stdout13        to stdout
 158                           , writeFile13     to writeFile
 159                           )
 160
 161 primIOToIO :: PrimIO a -> IO a
 162 primIOToIO m = m `thenPrimIO` \ a -> return a
 163
 164 ioToPrimIO :: IO a -> PrimIO a
 165 ioToPrimIO io
 166   = io          `thenPrimIO` \ r ->
 167     case r of
 168       Right a -> returnPrimIO a
 169       Left  e -> error ("I/O Error (ioToPrimIO): " ++ showsPrec 0 e "\n")
 170
 171
 172 -- 1.3 extra functions
 173
 174 thenMaybe :: Maybe a -> (a -> Maybe b) -> Maybe b
 175 thenMaybe Nothing _ = Nothing
 176 thenMaybe (Just x) f = f x
 177
 178 curry   :: ((a,b) -> c) -> a -> b -> c
 179 curry f x y = f (x,y)
 180
 181 uncurry :: (a -> b -> c) -> (a,b) -> c
 182 uncurry f (x,y) = f x y
 183
 184 {- LATER?:
 185 copy     :: Int -> a -> [a]
 186 copy  n x = take n (repeat x)
 187
 188 lookup :: Eq a => [(a,b)] -> a -> Maybe b
 189 lookup [] _ = Nothing
 190 lookup ((key,val) : rest) x | key == x = Just val
 191                             | otherwise = lookup rest x
 192 -}