Text.ParserCombinators.ReadPrec

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

data ReadPrec a Источник

Приоритеты

type Prec = Int Источник

minPrec :: Prec Источник

Операции приоритета

lift :: ReadP a -> ReadPrec a Источник

Поднимает парсер, не учитывающий приоритеты, к парсеру с учётом приоритетов.

prec :: Prec -> ReadPrec a -> ReadPrec a Источник

Проверяет, меньше или равно ли контекст приоритета заданному, и если нет, то отказ; если да, то анализирует выражение в заданном контексте.

step :: ReadPrec a -> ReadPrec a Источник

Увеличивает контекст приоритета на единицу.

reset :: ReadPrec a -> ReadPrec a Источник

Сбрасывает контекст приоритета до нуля.

Другие операции

Все основаны непосредственно на своих одноимённых аналогах.

get :: ReadPrec Символ Источник

Считывает и возвращает следующий символ. Возвращает ошибку, если ввода больше нет.

look :: ReadPrec Строка Источник

Предварительный просмотр: возвращает оставшуюся часть входных данных без их потребления.

(+++) :: ReadPrec a -> ReadPrec a -> ReadPrec a Источник

Симметричный выбор.

(<++) :: ReadPrec a -> ReadPrec a -> ReadPrec a Источник

Локальный, исключительный, левосторонний выбор: если левый парсер произведёт любой результат, то правый парсер не используется.

pfail :: ReadPrec a Источник

Всегда возвращает ошибку.

choice :: [ReadPrec a] -> ReadPrec a Источник

Объединяет все парсеры в указанном списке.

Преобразователи

readPrec_to_P :: ReadPrec a -> Int -> ReadP a Источник

readP_to_Prec :: (Int -> ReadP a) -> ReadPrec a Источник

readPrec_to_S :: ReadPrec a -> Int -> ReadS a Источник

readS_to_Prec :: (Int -> ReadS a) -> ReadPrec a Источник