1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
|
<title> Haskell 98 Prelude Index </title>
<body bgcolor="#ffffff"><i>The Haskell 98 Report</i><br>
<a href="index.html">top</a><hr>
<h3> Index of the Haskell 98 Prelude </h3>
<h4> Types and Synonyms </h4>
Instances which are not defined by Haskell code the Prelude (a ... is used)
are not hyperlinked.
<p>
<pre>
data <a href="standard-prelude.html#$t$P$C">()</a> = () deriving (Eq, Ord, Enum, Bounded) (see <a href="basic.html#sect6.1.5">6.1.5</a>)
Instances: <a href="standard-prelude.html#$iRead$$$P$C">Read</a> <a href="standard-prelude.html#$iShow$$$P$C">Show</a>
data <a href="standard-prelude.html#$t$Ba$c">[a]</a> = [] | a : [a] deriving (Eq, Ord) (see <a href="basic.html#sect6.1.3">6.1.3</a>)
Instances: <a href="standard-prelude.html#$iRead$$$Ba$c">Read</a> <a href="standard-prelude.html#$iShow$$$Ba$c">Show</a> <a href="standard-prelude.html#$iFunctor$$$Ba$c">Functor</a> <a href="standard-prelude.html#$iMonad$$$Ba$c">Monad</a>
data <a href="standard-prelude.html#$t$Pa$xb$C">(a,b)</a> = (a,b) deriving (Eq, Ord, Bounded) (see <a href="basic.html#sect6.1.4">6.1.4</a>)
Instances: <a href="standard-prelude.html#$iRead$$$Pa$xb$C">Read</a> <a href="standard-prelude.html#$iShow$$$Pa$xb$C">Show</a>
data a->b (see <a href="basic.html#sect6.1.6">6.1.6</a>)
Instances: <a href="standard-prelude.html#$iShow$$a$D$Gb">Show</a>
data <a href="standard-prelude.html#$tBool">Bool</a> = False | True deriving (Eq, Ord, Enum, Read, Show, Bounded) (see <a href="basic.html#sect6.1.1">6.1.1</a>)
data <a href="standard-prelude.html#$tChar">Char</a> (see <a href="basic.html#sect6.1.2">6.1.2</a>)
Instances: Eq Ord <a href="standard-prelude.html#$iEnum$$Char">Enum</a> <a href="standard-prelude.html#$iRead$$Char">Read</a> <a href="standard-prelude.html#$iShow$$Char">Show</a>
data <a href="standard-prelude.html#$tDouble">Double</a> (see <a href="basic.html#sect6.4">6.4</a>)
Instances: Eq Ord Enum Read Show Num Real Fractional RealFrac Floating RealFloat
data <a href="standard-prelude.html#$tEither">Either</a> a b e= Left a | Right b deriving (Eq, Ord, Read, Show) (see <a href="basic.html#sect6.1.8">6.1.8</a>)
type <a href="standard-prelude.html#$tFilePath">FilePath</a> = String (see <a href="io-13.html#sect7.1">7.1</a>)
data <a href="standard-prelude.html#$tFloat">Float</a> (see <a href="basic.html#sect6.4">6.4</a>)
Instances: Eq Ord Enum Read Show Num Real Fractional RealFrac Floating RealFloat
data <a href="standard-prelude.html#$tInt">Int</a> (see <a href="basic.html#sect6.4">6.4</a>)
Instances: Eq Ord Enum Read Show Num Real Integral Bounded
data <a href="standard-prelude.html#$tInteger">Integer</a> (see <a href="basic.html#sect6.4">6.4</a>)
Instances: Eq Ord Enum Read Show Num Real Integral
data <a href="standard-prelude.html#$tIO">IO</a> a (see <a href="basic.html#sect6.1.7">6.1.7</a>)
Instances: <a href="standard-prelude.html#$iFunctor$$IO">Functor</a> Monad
data <a href="standard-prelude.html#$tIOError">IOError</a> (see <a href="basic.html#sect6.1.7">6.1.7</a>)
Instances: Show Eq
data <a href="standard-prelude.html#$tMaybe">Maybe</a> a = Nothing | Just a deriving (Eq, Ord, Read, Show) (see <a href="basic.html#sect6.1.8">6.1.8</a>)
Instances: <a href="standard-prelude.html#$iFunctor$$Maybe">Functor</a> <a href="standard-prelude.html#$iMonad$$Maybe">Monad</a>
data <a href="standard-prelude.html#$tOrdering">Ordering</a> = LT | EQ | GT deriving (Eq, Ord, Enum, Read, Show, Bounded) (see <a href="basic.html#sect6.1.8">6.1.8</a>)
type <a href="standard-prelude.html#$tReadS">ReadS</a> a = String -> [(a,String)] (see <a href="basic.html#sect6.3.3">6.3.3</a>)
type <a href="standard-prelude.html#$tShowS">ShowS</a> = String -> String (see <a href="basic.html#sect6.3.3">6.3.3</a>)
type <a href="standard-prelude.html#$tString">String</a> = [Char] (see <a href="basic.html#sect6.1.2">6.1.2</a>)
</pre>
<h4> Constructors </h4>
<pre>
<a href="standard-prelude.html#$t$Ba$c">[]</a>
<a href="standard-prelude.html#$t$Ba$c">:</a>
<a href="standard-prelude.html#$t$Pa$xb$C">(,)</a>
<a href="standard-prelude.html#$tOrdering">EQ</a>
<a href="standard-prelude.html#$tBool">False</a>
<a href="standard-prelude.html#$tOrdering">GT</a>
<a href="standard-prelude.html#$tMaybe">Just</a>
<a href="standard-prelude.html#$tEither">Left</a>
<a href="standard-prelude.html#$tOrdering">LT</a>
<a href="standard-prelude.html#$tMaybe">Nothing</a>
<a href="standard-prelude.html#$tEither">Right</a>
<a href="standard-prelude.html#$tBool">True</a>
</pre>
<h4> Classes </h4>
<pre>
class <a href="standard-prelude.html#$tBounded">Bounded</a> a (see <a href="basic.html#sect6.3.7">6.3.7</a>)
class <a href="standard-prelude.html#$tEnum">Enum</a> a (see <a href="basic.html#sect6.3.4">6.3.4</a>)
class <a href="standard-prelude.html#$tEq">Eq</a> a (see <a href="basic.html#sect6.3.1">6.3.1</a>)
class (Fractional a) => <a href="standard-prelude.html#$tFloating">Floating</a> a (see <a href="basic.html#sect6.4">6.4</a>)
class (Num a) => <a href="standard-prelude.html#$tFractional">Fractional</a> a (see <a href="basic.html#sect6.4">6.4</a>)
class <a href="standard-prelude.html#$tFunctor">Functor</a> f (see <a href="basic.html#sect6.3.5">6.3.5</a>)
class (Real a, Enum a) => <a href="standard-prelude.html#$tIntegral">Integral</a> a (see <a href="basic.html#sect6.4">6.4</a>)
class <a href="standard-prelude.html#$tMonad">Monad</a> m (see <a href="basic.html#sect6.3.6">6.3.6</a>)
class (Eq a, Show a, Eval a) => <a href="standard-prelude.html#$tNum">Num</a> a (see <a href="basic.html#sect6.4">6.4</a>)
class (Eq a) => <a href="standard-prelude.html#$tOrd">Ord</a> a (see <a href="basic.html#sect6.3.2">6.3.2</a>)
class <a href="standard-prelude.html#$tRead">Read</a> a (see <a href="basic.html#sect6.3.3">6.3.3</a>)
class (Num a, Ord a) => <a href="standard-prelude.html#$tReal">Real</a> a (see <a href="basic.html#sect6.4">6.4</a>)
class (RealFrac a, Floating a) => <a href="standard-prelude.html#$tRealFloat">RealFloat</a> a (see <a href="basic.html#sect6.4">6.4</a>)
class (Real a, Fractional a) => <a href="standard-prelude.html#$tRealFrac">RealFrac</a> a (see <a href="basic.html#sect6.4">6.4</a>)
class <a href="standard-prelude.html#$tShow">Show</a> a (see <a href="basic.html#sect6.3.3">6.3.3</a>)
</pre>
<h4> Functions and Methods </h4>
<table>
<tr><td><tt><a href="standard-prelude.html#$v$E$E">(!!)</a> :: [a] -> Int -> a </tt></td><td><tt>[0,1,2] !! 1 = 1</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$v$D">($)</a> :: (a -> b) -> a -> b </tt></td><td><tt>f x $ g y = f x (g y) </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$v$D$E">($!)</a> :: (a -> b) -> (a -> b) </tt></td><td><tt>(see <a href="basic.html#sect6.2">6.2</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$v$A$A">(&&)</a> :: Bool -> Bool -> Bool </tt></td><td><tt>Boolean `and'</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$v$b$b">(||)</a> :: Bool -> Bool -> Bool </tt></td><td><tt>Boolean `or'</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tNum">(*)</a> :: Num a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">(**)</a> :: Floating a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tNum">(+)</a> :: Num a => a -> a -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$v++">(++)</a> :: [a] -> [a] -> [a] </tt></td><td><tt>"abc" ++ "def" = "abcdef"</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$v$D">(-)</a> :: Num a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$v.">(.)</a> :: (b -> c) -> (a -> b) -> a -> c </tt></td><td><tt>Function composition</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFractional">(/)</a> :: Fractional a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tEq">(/=)</a> :: Eq a => a -> a -> Bool </tt></td><td><tt>not equal</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tOrd">(<)</a> :: Ord a => a -> a -> Bool </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tOrd">(<=)</a> :: Ord a => a -> a -> Bool </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tEq">(==)</a> :: Eq a => a -> a -> Bool </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$v$Q$L$L">(=<<)</a> :: Monad a => (a -> m b) -> m a -> m b </tt></td><td><tt>Monadic binding (see <a href="basic.html#sect6.3.6">6.3.6</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tOrd">(>)</a> :: Ord a => a -> a -> Bool </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tOrd">(>=)</a> :: Ord a => a -> a -> Bool </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tMonad">(>>)</a> :: Monad m => m a -> m b -> m b </tt></td><td><tt>Monadic binding (see <a href="basic.html#sect6.3.6">6.3.6</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tMonad">(>>=)</a> :: Monad m => m a -> (a -> m b) -> m b </tt></td><td><tt>Monadic binding (see <a href="basic.html#sect6.3.6">6.3.6</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$v$U">(^)</a> :: (Num a, Integral b) => a -> b -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$v$U$U">(^^)</a> :: (Fractional a, Integral b) => a -> b -> a </tt></td><td><tt>negative exponent allowed</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tNum">abs</a> :: Num a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vsequence">sequence</a> :: Monad m => [m a] -> m [a] </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">acos</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">acosh</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vall">all</a> :: (a -> Bool) -> [a] -> Bool </tt></td><td><tt>all (/= 'a') "cba" = False</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vand">and</a> :: [Bool] -> Bool </tt></td><td><tt>and [True, True, True] = True</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vany">any</a> :: (a -> Bool) -> [a] -> Bool </tt></td><td><tt>any (== 'c') "abc" = True</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vappendFile">appendFile</a> :: FilePath -> String -> IO ()</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tMonad">applyM</a> :: Monad m => (a -> m b) -> m a -> m b</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vasTypeOf">asTypeOf</a> :: a -> a -> a </tt></td><td><tt>Sort of a type cast</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">asin</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">asinh</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">atan</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFrac">atan2</a> :: RealFrac a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">atanh</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vbreak">break</a> :: (a -> Bool) -> [a] -> ([a], [a]) </tt></td><td><tt>break (<2) [1,2,3] = ([1],[2,3])</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vcatch">catch</a> :: IO a -> (IOError -> IO a) -> IO a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFrac">ceiling</a> :: (RealFrac a, Integral b) => a -> b </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tOrd">compare</a> :: Ord a => a -> a -> Ordering </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vconcat">concat</a> :: MonadPlus m => [m a] -> m a </tt></td><td><tt>concat ["a","bc","d"] = "abcd"</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vconcatMap">concatMap</a> :: (a -> [b]) -> [a] -> [b]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vconst">const</a> :: a -> b -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">cos</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">cosh</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vcurry">curry</a> :: ((a, b) -> c) -> a -> b -> c</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vcycle">cycle</a> :: [a] -> [a] </tt></td><td><tt>cycle "abc" = "abcabcabc ..."</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">decodeFloat</a> :: RealFloat a => a -> (Integer, Int) </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tIntegral">div</a> :: Integral a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tIntegral">divMod</a> :: Integral a => a -> a -> (a, a) </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vdrop">drop</a> :: Int -> [a] -> [a] </tt></td><td><tt>drop 2 "abcd" = "cd"</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vdropWhile">dropWhile</a> :: (a -> Bool) -> [a] -> [a] </tt></td><td><tt>dropWhile (>3) [5,3,5] = [3,5]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$velem">elem</a> :: Eq a => a -> [a] -> Bool </tt></td><td><tt>'a' `elem` "abc" = True</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">encodeFloat</a> :: RealFloat a => Integer -> Int -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tEnum">enumFrom</a> :: Enum a => a -> [a] </tt></td><td><tt>[n..]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tEnum">enumFromThen</a> :: Enum a => a -> a -> [a] </tt></td><td><tt>[m,n..]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tEnum">enumFromThenTo</a> :: Enum a => a -> a -> a -> [a] </tt></td><td><tt>[m,n..o]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tEnum">enumFromTo</a> :: Enum a => a -> a -> [a] </tt></td><td><tt>[m..n]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$verror">error</a> :: String -> a </tt></td><td><tt> (see <a href="exps.html#sect3.1">3.1</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$veven">even</a> :: Integral a => a -> Bool</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">exp</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">exponent</a> :: RealFloat a => a -> Int </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tMonad">fail</a> :: Monad m => String -> m a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vflip">flip</a> :: (a -> b -> c) -> (b -> a -> c)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">floatDigits</a> :: RealFloat a => a -> Int </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">floatRadix</a> :: RealFloat a => a -> Integer </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">floatRange</a> :: RealFloat a => a -> (Int, Int) </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFrac">floor</a> :: (RealFrac a, Integral b) => a -> b </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vfoldl">foldl</a> :: (a -> b -> a) -> a -> [b] -> a </tt></td><td><tt>foldl (+) 0 [a,b,c] = ((a+b)+c)+0</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vfoldl1">foldl1</a> :: (a -> a -> a) -> [a] -> a </tt></td><td><tt>foldl1 (+) [a,b,c] = (a+b)+c</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vfoldr">foldr</a> :: (a -> b -> b) -> b -> [a] -> b </tt></td><td><tt>foldr (+) 0 [a,b,c] = 0+(a+(b+c))</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vfoldr1">foldr1</a> :: (a -> a -> a) -> [a] -> a </tt></td><td><tt>foldr (+) [a,b,c] = a+(b+c)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tEnum">fromEnum</a> :: Enum a => a -> Int </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tNum">fromInteger</a> :: Num a => Integer -> a </tt></td><td><tt>(see <a href="exps.html#sect3.2">3.2</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vfromIntegral">fromIntegral</a> :: (Integral a, Num b) => a -> b</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFractional">fromRational</a> :: Fractional a => Rational -> a </tt></td><td><tt>(see <a href="exps.html#sect3.2">3.2</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vfst">fst</a> :: (a, b) -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vgcd">gcd</a> :: (Integral a) => a -> a -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vgetChar">getChar</a> :: IO Char </tt></td><td><tt>eof generates an IOError</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vgetContents">getContents</a> :: IO String</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vgetLine">getLine</a> :: IO Char </tt></td><td><tt>eof generates an IOError</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vhead">head</a> :: [a] -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vid">id</a> :: a -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vinit">init</a> :: [a] -> [a]</tt></td><td><tt>init "abcd" = "abc"</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vinteract">interact</a> :: (String -> String) -> IO ()</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vioError">ioError</a> :: IOError -> IO a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">isDenormalized</a> :: RealFloat a => a -> Bool </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">isIEEE</a> :: RealFloat a => a -> Bool </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">isInfinite</a> :: RealFloat a => a -> Bool </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">isNaN</a> :: RealFloat a => a -> Bool </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">isNegativeZero</a> :: RealFloat a => a -> Bool </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$viterate">iterate</a> :: (a -> a) -> a -> [a] </tt></td><td><tt>iterate (++ " ") "" = ["", " ", " ",...]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vlast">last</a> :: [a] -> a </tt></td><td><tt>last "abcde" = "e"</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vlcm">lcm</a> :: Integral a => a -> a -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vlength">length</a> :: [a] -> Int </tt></td><td><tt>length "Abc" = 3</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vlex">lex</a> :: ReadS String </tt></td><td><tt>lex "abc def" = [("abc"," def")]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vlines">lines</a> :: String -> [String]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">log</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">logBase</a> :: Floating a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vlookup">lookup</a> :: Eq a => a -> [(a, b)] -> Maybe b</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vmap">map</a> :: Functor f => (a -> b) -> f a -> f b </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vmapM">mapM</a> :: Monad m => (a -> m b) -> [a] -> m [b]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vmapM_">mapM_</a> :: Monad m => (a -> m b) -> [a] -> m ()</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tOrd">max</a> :: Ord a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tBounded">maxBound</a> :: Bounded a => a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vmaximum">maximum</a> :: Ord a => [a] -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vmaybe">maybe</a> :: b -> (a -> b) -> Maybe a -> b </tt></td><td><tt>maybe 0 (+1) (Just 1) = 2</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tOrd">min</a> :: Ord a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tBounded">minBound</a> :: Bounded a => a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vminimum">minimum</a> :: Ord a => [a] -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tIntegral">mod</a> :: Integral a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tNum">negate</a> :: Num a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vnot">not</a> :: Bool -> Bool</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vnotElem">notElem</a> :: Eq a => a -> [a] -> Bool</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vnull">null</a> :: [a] -> Bool</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vodd">odd</a> :: Integral a => a -> Bool</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vor">or</a> :: [Bool] -> Bool</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$votherwise">otherwise</a> :: Bool</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">pi</a> :: Floating a => a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tEnum">pred</a> :: Enum a => a -> a </tt></td><td><tt>pred True = False</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vprint">print</a> :: Show a => IO () </tt></td><td><tt>adds a newline</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vproduct">product</a> :: Num a => [a] -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFrac">properFraction</a> :: (RealFrac a, Integral b) => a -> (b, a) </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vputChar">putChar</a> :: Char -> IO ()</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vputStr">putStr</a> :: String -> IO ()</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vputStrLn">putStrLn</a> :: String -> IO () </tt></td><td><tt>adds a newline</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tIntegral">quot</a> :: Integral a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tIntegral">quotRem</a> :: Integral a => a -> a -> (a, a) </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vread">read</a> :: Read a => String -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vreadFile">readFile</a> :: FilePath -> IO String</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vreadIO">readIO</a> :: Read a => String -> IO a </tt></td><td><tt>fails with IOError</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRead">readList</a> :: Read a => ReadS [a]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vreadLn">readLn</a> :: Read a => IO a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vreadParen">readParen</a> :: Bool -> ReadS a -> ReadS a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vreads">reads</a> :: Read a => ReadS a </tt></td><td><tt>reads "1 2" :: [(Int,String)] = [(1," 2")]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRead">readsPrec</a> :: Read a => Int -> ReadS a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vrealToFrac">realToFrac</a> :: (Real a, Fractional b) => a -> b</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFractional">recip</a> :: Fractional a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tIntegral">rem</a> :: Integral a => a -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vrepeat">repeat</a> :: a -> [a] </tt></td><td><tt>repeat 'a' = "aaaaaaaaa..."</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vreplicate">replicate</a> :: Int -> a -> [a] </tt></td><td><tt>replicate 4 'a' = "aaaa"</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tMonad">return</a> :: Monad m => a -> m a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vreverse">reverse</a> :: [a] -> [a] </tt></td><td><tt>reverse "abc" = "cba"</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFrac">round</a> :: (RealFrac a, Integral b) => a -> b </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">scaleFloat</a> :: RealFloat a => Int -> a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vscanl">scanl</a> :: (a -> b -> a) -> a -> [b] -> [a] </tt></td><td><tt>scanl (+) 0 [1,2,3] = [0,1,3,6]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vscanl1">scanl1</a> :: (a -> a -> a) -> [a] -> [a] </tt></td><td><tt>scanl1 (+) [1,2,3] = [1,3,6]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vscanr">scanr</a> :: (a -> b -> b) -> b -> [a] -> [b] </tt></td><td><tt>scanr (+) 0 [1,2,3] = [6,5,3,0]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vscanr1">scanr1</a> :: (a -> a -> a) -> [a] -> [a] </tt></td><td><tt>scanr1 (+) [1,2,3] = [6,5,3]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vseq">seq</a> :: Eval a => a -> a -> b </tt></td><td><tt>(see <a href="basic.html#sect6.2">6.2</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vsequence_">sequence_</a> :: Monad m => [m a] -> m () </tt></td><td><tt>do operations in sequence</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tShow">show</a> :: Show a => a -> String </tt></td><td><tt>(see <a href="basic.html#sect6.3.3">6.3.3</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vshowChar">showChar</a> :: Char -> ShowS</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tShow">showList</a> :: Show a => [a] -> ShowS</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vshowParen">showParen</a> :: Bool -> ShowS -> ShowS</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vshowString">showString</a> :: String -> ShowS</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vshows">shows</a> :: Show a => a -> ShowS </tt></td><td><tt>(see <a href="basic.html#sect6.3.3">6.3.3</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tShow">showsPrec</a> :: Show a => Int -> a -> ShowS </tt></td><td><tt>(see <a href="basic.html#sect6.3.3">6.3.3</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFloat">significand</a> :: RealFloat a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tNum">signum</a> :: Num a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">sin</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">sinh</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vsnd">snd</a> :: (a, b) -> b</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vspan">span</a> :: (a -> Bool) -> [a] -> ([a], [a]) </tt></td><td><tt>span isAlpha "ab cd" = ("ab"," cd")</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vsplitAt">splitAt</a> :: Int -> [a] -> ([a], [a]) </tt></td><td><tt>splitAt 2 "abcdef" = ("ab","cdef")</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">sqrt</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vsubtract">subtract</a> :: Num a => a -> a -> a</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tEnum">succ</a> :: Enum a => a -> a </tt></td><td><tt>succ False = True</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vsum">sum</a> :: Num a => [a] -> a </tt></td><td><tt>sum [1,2,3] = 6</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vtail">tail</a> :: [a] -> [a] </tt></td><td><tt>tail "abc" = "bc"</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vtake">take</a> :: Int -> [a] -> [a] </tt></td><td><tt>take 3 "abcde" = "abc"</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vtakeWhile">takeWhile</a> :: (a -> Bool) -> [a] -> [a] </tt></td><td><tt>takeWhile (> 2) [3,2,1] = [3]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">tan</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tFloating">tanh</a> :: Floating a => a -> a </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tEnum">toEnum</a> :: Enum a => Int -> a </tt></td><td><tt>toEnum 0 :: Bool = False</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tIntegral">toInteger</a> :: Integral a => a -> Integer </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tReal">toRational</a> :: Real a => a -> Rational </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$tRealFrac">truncate</a> :: (RealFrac a, Integral b) => a -> b </tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vuncurry">uncurry</a> :: (a -> b -> c) -> ((a, b) -> c)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vundefined">undefined</a> :: a </tt></td><td><tt>(see <a href="exps.html#sect3.1">3.1</a>)</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vunlines">unlines</a> :: [String] -> String</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vuntil">until</a> :: (a -> Bool) -> (a -> a) -> a -> a </tt></td><td><tt>until (> 3) (+ 2) 0 = 4</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vunwords">unwords</a> :: [String] -> String</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vunzip">unzip</a> :: [(a, b)] -> ([a], [b]) </tt></td><td><tt>unzip [('a','b'),('c','d')] = ("ac",bd")</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vunzip3">unzip3</a> :: [(a, b, c)] -> ([a], [b], [c])</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vuserError">userError</a> :: String -> IOError</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vwords">words</a> :: String -> [String] </tt></td><td><tt>words "ab d as+3" = ["ab","d","as+3"]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vwriteFile">writeFile</a> :: FilePath -> String -> IO ()</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vzip">zip</a> :: [a] -> [b] -> [(a, b)] </tt></td><td><tt>zip "abc" "de" = [('a','d'), ('b',e')]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vzip3">zip3</a> :: [a] -> [b] -> [c] -> [(a, b, c)]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vzipWith">zipWith</a> :: (a -> b -> c) -> [a] -> [b] -> [c] </tt></td><td><tt>zipWith (+) [1,2] [3,4] = [4,6]</tt></td></tr>
<tr><td><tt><a href="standard-prelude.html#$vzipWith3">zipWith3</a> :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]</tt></td></tr>
</table>
|
