prelude.md

@@ -31,3 +31,55 @@ At the moment this is an idea for a proposal, rather than a proposal. It needs t
 
 
 On the other hand, any firm proposal in this area would cost a significant amount of work.  Some indication of general positivity or negativity towards the idea would help us know whether it is worth expending effort on devising some definite proposals.
+
+## Data points
+
+### Language support
+
+
+The following names are used by the language definition:
+
+```wiki
+Bool (True, False), Char, String, Integer, Rational, Ratio, IO,
+Eq ((==)), Ord ((>=)),
+Enum (enumFrom, enumFromThen, enumFromTo, enumFromThenTo),
+Num (fromInteger, negate, (-)), Fractional (fromRational),
+Monad ((>>=), (>>), fail),
+undefined, error, (%), concatMap
+```
+
+[Defaulting](defaulting) uses `Double` and all classes defined in standard libraries.
+
+[Derived instances](derived-instances) use the classes `Eq`, `Ord`, `Enum`, `Bounded`, `Show` and `Read`, which refer to `Ordering`, `Int`, `ShowS` and `ReadS`.
+
+### Re-exports
+
+
+The following Prelude functions are re-exported by other Haskell 98 modules:
+
+<table><tr><th>List</th>
+<td>
+map, (++), concat, filter,
+head, last, tail, init, null, length, (!!),
+foldl, foldl1, scanl, scanl1, foldr, foldr1, scanr, scanr1,
+iterate, repeat, replicate, cycle,
+take, drop, splitAt, takeWhile, dropWhile, span, break,
+lines, words, unlines, unwords, reverse, and, or,
+any, all, elem, notElem, lookup,
+sum, product, maximum, minimum, concatMap,
+zip, zip3, zipWith, zipWith3, unzip, unzip3
+</td></tr>
+<tr><th>IO</th>
+<td>
+ioError, userError, catch, interact,
+putChar, putStr, putStrLn, print, getChar, getLine, getContents,
+readFile, writeFile, appendFile, readIO, readLn
+</td></tr>
+<tr><th>Maybe</th>
+<td>
+maybe
+</td></tr>
+<tr><th>Monad</th>
+<td>
+mapM, mapM_, sequence, sequence_, (ὄ\<)
+</td></tr></table>
\ No newline at end of file