Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. readIO :: Read a => String -> IO a

   numeric-prelude	NumericPrelude

   The readIO function is similar to read except that it signals parse failure to the IO monad instead of terminating the program.

2. readList :: Read a => ReadS [a]

   numeric-prelude	NumericPrelude

   The method readList is provided to allow the programmer to give a specialised way of parsing lists of values. For example, this is used by the predefined Read instance of the Char type, where values of type String are expected to use double quotes, rather than square brackets.

3. readLn :: Read a => IO a

   numeric-prelude	NumericPrelude

   The readLn function combines getLine and readIO.

4. readParen :: Bool -> ReadS a -> ReadS a

   numeric-prelude	NumericPrelude

   readParen True p parses what p parses, but surrounded with parentheses. readParen False p parses what p parses, but optionally surrounded with parentheses.

5. reads :: Read a => ReadS a

   numeric-prelude	NumericPrelude

   equivalent to readsPrec with a precedence of 0.

6. readsPrec :: Read a => Int -> ReadS a

   numeric-prelude	NumericPrelude

   attempts to parse a value from the front of the string, returning a list of (parsed value, remaining string) pairs. If there is no successful parse, the returned list is empty. Derived instances of Read and Show satisfy the following:

   • (x,"") is an element of (readsPrec d (showsPrec d x "")).
   That is, readsPrec parses the string produced by showsPrec, and delivers the value that showsPrec started with.

7. readFile :: FilePath -> IO String

   numeric-prelude	NumericPrelude.Base

   The readFile function reads a file and returns the contents of the file as a string. The file is read lazily, on demand, as with getContents.

8. readIO :: Read a => String -> IO a

   numeric-prelude	NumericPrelude.Base

   The readIO function is similar to read except that it signals parse failure to the IO monad instead of terminating the program.

9. readList :: Read a => ReadS [a]

   numeric-prelude	NumericPrelude.Base

   The method readList is provided to allow the programmer to give a specialised way of parsing lists of values. For example, this is used by the predefined Read instance of the Char type, where values of type String are expected to use double quotes, rather than square brackets.

10. readLn :: Read a => IO a

    numeric-prelude	NumericPrelude.Base

    The readLn function combines getLine and readIO.

Page 204 of many | Previous | Next