Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

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

   constrained-categories	Control.Category.Hask

   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.

2. readLn :: Read a => IO a

   constrained-categories	Control.Category.Hask

   The readLn function combines getLine and readIO.

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

   constrained-categories	Control.Category.Hask

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

4. reads :: Read a => ReadS a

   constrained-categories	Control.Category.Hask

   equivalent to readsPrec with a precedence of 0.

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

   constrained-categories	Control.Category.Hask

   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.

6. readFile :: FilePath -> IO String

   copilot-language	Copilot.Language.Prelude

   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.

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

   copilot-language	Copilot.Language.Prelude

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

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

   copilot-language	Copilot.Language.Prelude

   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.

9. readLn :: Read a => IO a

   copilot-language	Copilot.Language.Prelude

   The readLn function combines getLine and readIO.

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

    copilot-language	Copilot.Language.Prelude

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

Page 341 of many | Previous | Next