Text.Read

Авторские права	(c) Университет Глазго 2001
Лицензия	BSD-стиль (см. файл libraries/base/LICENSE)
Поддержка	libraries@haskell.org
Устойчивость	временная
Переносимость	непереносимо (использует Text.ParserCombinators.ReadP)
Safe Haskell	Надёжный
Язык	Haskell2010

Класс Read

class Read a where Исходный код

Парсинг Strings, генерирующий значения.

Производные экземпляры Read делают следующие предположения, которым подчиняются производные экземпляры Show:

• Если конструктор определен как инфиксный оператор, то производный экземпляр Read будет парсить только инфиксные применения конструктора (а не префиксную форму).
• Ассоциативность не используется для сокращения скобок, хотя приоритет может быть использован.
• Если конструктор определен с использованием синтаксиса записи, то производный экземпляр Read будет парсить только форму синтаксиса записи, и, более того, поля должны быть указаны в том же порядке, что и в исходном объявлении.
• Производный экземпляр Read позволяет использовать произвольные пробелы Haskell между токенами входной строки. Допускаются также дополнительные скобки.

Например, при следующих объявлениях

infixr 5 :^:
data Tree a =  Leaf a  |  Tree a :^: Tree a

производный экземпляр Read в Haskell 2010 эквивалентен

instance (Read a) => Read (Tree a) where

        readsPrec d r =  readParen (d > app_prec)
                         (\r -> [(Leaf m,t) |
                                 ("Leaf",s) <- lex r,
                                 (m,t) <- readsPrec (app_prec+1) s]) r

                      ++ readParen (d > up_prec)
                         (\r -> [(u:^:v,w) |
                                 (u,s) <- readsPrec (up_prec+1) r,
                                 (":^:",t) <- lex s,
                                 (v,w) <- readsPrec (up_prec+1) t]) r

          where app_prec = 10
                up_prec = 5

Обратите внимание, что правоассоциативность :^: не используется.

Производный экземпляр в GHC эквивалентен

instance (Read a) => Read (Tree a) where

        readPrec = parens $ (prec app_prec $ do
                                 Ident "Leaf" <- lexP
                                 m <- step readPrec
                                 return (Leaf m))

                     +++ (prec up_prec $ do
                                 u <- step readPrec
                                 Symbol ":^:" <- lexP
                                 v <- step readPrec
                                 return (u :^: v))

          where app_prec = 10
                up_prec = 5

        readListPrec = readListPrecDefault

type ReadS a = String -> [(a, String)] Source

A parser for a type a, represented as a function that takes a String and returns a list of possible parses as (a,String) pairs.

Note that this kind of backtracking parser is very inefficient; reading a large structure may be quite slow (cf ReadP).

Функции Haskell 2010

reads :: Read a => ReadS a Source

equivalent to readsPrec with a precedence of 0.

read :: Read a => String -> a Source

Функция read считывает входные данные из строки, которая должна быть полностью использована процессом ввода.

readParen :: Bool -> ReadS a -> ReadS a Source

readParen True p анализирует то, что p анализирует, но заключённое в скобки.

readParen False p анализирует то, что p анализирует, но необязательно заключённое в скобки.

lex :: ReadS String Source

Функция lex считывает один лексем из входных данных, отбрасывает начальные пробелы и возвращает символы, составляющие лексем. Если строка ввода содержит только пробелы, lex возвращает один успешный `лексем`, состоящий из пустой строки. (Таким образом, lex "" = [("","")].) Если в начале строки ввода нет допустимого лексема, lex завершается неудачей (т. е. возвращает []).

Этот лексический анализатор не полностью соответствует синтаксису Haskell в следующих аспектах:

• Квалифицированные имена не обрабатываются должным образом
• Восьмеричные и шестнадцатеричные числовые значения не распознаются как один токен
• Комментарии не обрабатываются должным образом

Новые функции разбора

module Text.ParserCombinators.ReadPrec

data Lexeme Source

lexP :: ReadPrec Lexeme Source

Анализ одного лексема

parens :: ReadPrec a -> ReadPrec a Source

(parens p) анализирует "P", "(P0)", "((P0))" и т. д., где p анализирует "P" в текущем контексте приоритета и анализирует "P0" в контексте приоритета ноль

readListDefault :: Read a => ReadS [a] Source

Возможная замена определения метода readList (только GHC). Это необходимо только для GHC и даже тогда только для Read экземпляров, где readListPrec не определено как readListPrecDefault.

readListPrecDefault :: Read a => ReadPrec [a] Source

Возможная замена определения метода readListPrec, определённого с использованием readPrec (только GHC).

readEither :: Read a => String -> Either String a Source

Разбор строки с использованием экземпляра Read. Успешно, если существует ровно один допустимый результат. Значение Left указывает на ошибку разбора.

С версии: 4.6.0.0

readMaybe :: Read a => String -> Maybe a Source

Разбор строки с использованием экземпляра Read. Успешно, если существует ровно один допустимый результат.

С версии: 4.6.0.0