4 interface Prelude where
5 import PreludeBuiltin ( trace, Char )
6 import PreludeCore ( Bool, String, ReadS, ShowS, Text )
8 %, numerator, denominator, approxRational )
9 import PreludeComplex (
140 instance (Eq a, Eq b) => Eq (a, b)
141 instance (Ord a, Ord b) => Ord (a, b)
142 instance (Ix a, Ix b) => Ix (a, b)
143 instance (Text a, Text b) => Text (a, b)
144 instance (Binary a, Binary b) => Binary (a, b)
145 instance (Eq a, Eq b, Eq c) => Eq (a, b, c)
146 instance (Ord a, Ord b, Ord c) => Ord (a, b, c)
147 instance (Ix a, Ix b, Ix c) => Ix (a, b, c)
148 instance (Text a, Text b, Text c) => Text (a, b, c)
149 instance (Binary a, Binary b, Binary c) => Binary (a, b, c)
150 instance (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)
151 instance (Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d)
152 instance (Ix a, Ix b, Ix c, Ix d) => Ix (a, b, c, d)
153 instance (Text a, Text b, Text c, Text d) => Text (a, b, c, d)
154 instance (Binary a, Binary b, Binary c, Binary d) => Binary (a,
158 ^ :: (Num b, Integral a) => b -> a -> b
159 ^^ :: (Fractional b, Integral a) => b -> a -> b
160 appendBin :: Bin -> Bin -> Bin
161 asTypeOf :: a -> a -> a
162 atan2 :: RealFloat a => a -> a -> a
164 fromIntegral :: (Integral a, Num b) => a -> b
165 fromRealFrac :: (RealFrac a, Fractional b) => a -> b
166 gcd :: Integral a => a -> a -> a
167 isAlpha :: Char -> Bool
168 isAlphanum :: Char -> Bool
169 isAscii :: Char -> Bool
170 isControl :: Char -> Bool
171 isDigit :: Char -> Bool
172 isLower :: Char -> Bool
173 isNullBin :: Bin -> Bool
174 isPrint :: Char -> Bool
175 isSpace :: Char -> Bool
176 isUpper :: Char -> Bool
177 lcm :: Integral a => a -> a -> a
184 subtract :: Num a => a -> a -> a
185 toLower :: Char -> Char
186 toUpper :: Char -> Char
187 until :: (a -> Bool) -> (a -> a) -> a -> a
188 trace :: String -> a -> a
189 % :: Integral a => a -> a -> Ratio a
190 numerator :: Integral a => Ratio a -> a
191 denominator :: Integral a => Ratio a -> a
192 approxRational :: RealFrac a => a -> a -> Rational
193 cis :: RealFloat a => a -> Complex a
194 conjugate :: RealFloat a => Complex a -> Complex a
195 imagPart :: RealFloat a => Complex a -> a
196 magnitude :: RealFloat a => Complex a -> a
197 mkPolar :: RealFloat a => a -> a -> Complex a
198 phase :: RealFloat a => Complex a -> a
199 polar :: RealFloat a => Complex a -> (a, a)
200 realPart :: RealFloat a => Complex a -> a
201 !! :: Integral a => [b] -> a -> b
202 \\ :: Eq a => [a] -> [a] -> [a]
203 all :: (a -> Bool) -> [a] -> Bool
204 and :: [Bool] -> Bool
205 any :: (a -> Bool) -> [a] -> Bool
206 break :: (a -> Bool) -> [a] -> ([a], [a])
207 concat :: [[a]] -> [a]
209 drop :: Integral a => a -> [b] -> [b]
210 dropWhile :: (a -> Bool) -> [a] -> [a]
211 elem :: Eq a => a -> [a] -> Bool
212 filter :: (a -> Bool) -> [a] -> [a]
213 foldl1 :: (a -> a -> a) -> [a] -> a
214 foldr1 :: (a -> a -> a) -> [a] -> a
215 genericLength :: Num b => [a] -> b
218 iterate :: (a -> a) -> a -> [a]
221 lines :: [Char] -> [[Char]]
222 maximum :: Ord a => [a] -> a
223 minimum :: Ord a => [a] -> a
224 notElem :: Eq a => a -> [a] -> Bool
225 nub :: Eq a => [a] -> [a]
228 partition :: (a -> Bool) -> [a] -> ([a], [a])
229 product :: Num a => [a] -> a
230 products :: Num a => [a] -> [a]
232 reverse :: [a] -> [a]
233 scanl :: (b -> a -> b) -> b -> [a] -> [b]
234 scanl1 :: (a -> a -> a) -> [a] -> [a]
235 scanr :: (a -> b -> b) -> b -> [a] -> [b]
236 scanr1 :: (a -> a -> a) -> [a] -> [a]
237 span :: (a -> Bool) -> [a] -> ([a], [a])
238 splitAt :: Integral a => a -> [b] -> ([b], [b])
239 sum :: Num a => [a] -> a
240 sums :: Num a => [a] -> [a]
242 take :: Integral a => a -> [b] -> [b]
243 takeWhile :: (a -> Bool) -> [a] -> [a]
244 transpose :: [[a]] -> [[a]]
245 unlines :: [[Char]] -> [Char]
246 unwords :: [[Char]] -> [Char]
247 unzip :: [(a, b)] -> ([a], [b])
248 unzip3 :: [(a, b, c)] -> ([a], [b], [c])
249 unzip4 :: [(a, b, c, d)] -> ([a], [b], [c], [d])
250 unzip5 :: [(a, b, c, d, e)] -> ([a], [b], [c], [d], [e])
251 unzip6 :: [(a, b, c, d, e, f)] -> ([a], [b], [c], [d], [e], [f])
253 [(a, b, c, d, e, f, g)]
254 -> ([a], [b], [c], [d], [e], [f], [g])
255 words :: [Char] -> [[Char]]
256 zip :: [a] -> [b] -> [(a, b)]
257 zip3 :: [a] -> [b] -> [c] -> [(a, b, c)]
258 zip4 :: [a] -> [b] -> [c] -> [d] -> [(a, b, c, d)]
259 zip5 :: [a] -> [b] -> [c] -> [d] -> [e] -> [(a, b, c, d, e)]
262 -> [b] -> [c] -> [d] -> [e] -> [f] -> [(a, b, c, d, e, f)]
267 -> [d] -> [e] -> [f] -> [g] -> [(a, b, c, d, e, f, g)]
268 zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]
269 zipWith3 :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
271 (a -> b -> c -> d -> e) -> [a] -> [b] -> [c] -> [d] -> [e]
273 (a -> b -> c -> d -> e -> f)
274 -> [a] -> [b] -> [c] -> [d] -> [e] -> [f]
276 (a -> b -> c -> d -> e -> f -> g)
277 -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g]
279 (a -> b -> c -> d -> e -> f -> g -> h)
280 -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g] -> [h]
281 ! :: Ix a => Array a b -> a -> b
282 // :: Ix a => Array a b -> [Assoc a b] -> Array a b
284 Ix b => (c -> a -> c)
285 -> Array b c -> [Assoc b a] -> Array b c
287 Ix b => (c -> a -> c)
288 -> c -> (b, b) -> [Assoc b a] -> Array b c
289 amap :: Ix b => (a -> c) -> Array b a -> Array b c
290 array :: Ix a => (a, a) -> [Assoc a b] -> Array a b
291 assocs :: Ix a => Array a b -> [Assoc a b]
292 bounds :: Ix b => Array b a -> (b, b)
293 elems :: Ix a => Array a b -> [b]
294 indices :: Ix b => Array b a -> [b]
296 (Ix b, Ix a) => (b, b) -> (b -> a) -> Array a c -> Array b c
297 listArray :: Ix a => (a, a) -> [b] -> Array a b
298 read :: Text a => [Char] -> a
299 readDec :: Integral a => [Char] -> [(a, [Char])]
300 readFloat :: RealFloat a => [Char] -> [(a, [Char])]
301 readLitChar :: [Char] -> [(Char, [Char])]
303 Real a => ([Char] -> [(a, [Char])])
304 -> [Char] -> [(a, [Char])]
305 reads :: Text a => [Char] -> [(a, [Char])]
306 show :: Text a => a -> [Char]
307 showChar :: Char -> [Char] -> [Char]
308 showFloat :: RealFloat a => a -> [Char] -> [Char]
309 showInt :: Integral a => a -> [Char] -> [Char]
310 showLitChar :: Char -> [Char] -> [Char]
312 Real a => (a -> [Char] -> [Char])
313 -> Int -> a -> [Char] -> [Char]
314 shows :: Text a => a -> [Char] -> [Char]
315 abort :: IOError -> [Response] -> [Request]
319 -> (IOError -> [Response] -> [Request])
320 -> ([Response] -> [Request]) -> [Response] -> [Request]
324 -> (IOError -> [Response] -> [Request])
325 -> ([Response] -> [Request]) -> [Response] -> [Request]
329 -> (IOError -> [Response] -> [Request])
330 -> ([Response] -> [Request]) -> [Response] -> [Request]
334 -> (IOError -> [Response] -> [Request])
335 -> ([Response] -> [Request]) -> [Response] -> [Request]
337 (IOError -> [Response] -> a)
338 -> (Bin -> [Response] -> a) -> [Response] -> a
341 -> (IOError -> [Response] -> [Request])
342 -> ([Response] -> [Request]) -> [Response] -> [Request]
343 done :: [Response] -> [Request]
346 -> (IOError -> [Response] -> [Request])
347 -> ([Response] -> [Request]) -> [Response] -> [Request]
348 exit :: IOError -> [Response] -> [Request]
350 (IOError -> [Response] -> [Request])
351 -> ([[Char]] -> [Response] -> [Request])
352 -> [Response] -> [Request]
355 -> (IOError -> [Response] -> [Request])
356 -> ([Char] -> [Response] -> [Request])
357 -> [Response] -> [Request]
359 (IOError -> [Response] -> [Request])
360 -> ([Char] -> [Response] -> [Request])
361 -> [Response] -> [Request]
362 interact :: ([Char] -> [Char]) -> [Response] -> [Request]
363 print :: Text a => a -> [Response] -> [Request]
364 prints :: Text a => a -> [Char] -> [Response] -> [Request]
367 -> (IOError -> [Response] -> [Request])
368 -> (Bin -> [Response] -> [Request])
369 -> [Response] -> [Request]
372 -> (IOError -> [Response] -> [Request])
373 -> (Bin -> [Response] -> [Request])
374 -> [Response] -> [Request]
377 -> (IOError -> [Response] -> [Request])
378 -> ([Char] -> [Response] -> [Request])
379 -> [Response] -> [Request]
382 -> (IOError -> [Response] -> [Request])
383 -> ([Char] -> [Response] -> [Request])
384 -> [Response] -> [Request]
388 -> (IOError -> [Response] -> [Request])
389 -> ([Response] -> [Request]) -> [Response] -> [Request]
392 -> (IOError -> [Response] -> [Request])
393 -> ([Char] -> [Response] -> [Request])
394 -> [Response] -> [Request]
397 -> (IOError -> [Response] -> [Request])
398 -> ([Char] -> [Response] -> [Request])
399 -> [Response] -> [Request]
405 (IOError -> [Response] -> a)
406 -> ([Char] -> [Response] -> a) -> [Response] -> a
408 (IOError -> [Response] -> a)
409 -> ([[Char]] -> [Response] -> a) -> [Response] -> a
411 (IOError -> [Response] -> a)
412 -> ([Response] -> a) -> [Response] -> a
416 -> (IOError -> [Response] -> [Request])
417 -> ([Response] -> [Request]) -> [Response] -> [Request]
421 -> (IOError -> [Response] -> [Request])
422 -> ([Response] -> [Request]) -> [Response] -> [Request]
460 | (:==>) Float Double
461 \\\ :: Eq a => [a] -> [a] -> [a]