Text.ParserCombinators.ReadPrec
| Авторские права | (c) Университет Глазго 2002 |
|---|---|
| Лицензия | BSD-стиля (см. файл libraries/base/LICENSE) |
| Поддержка | libraries@haskell.org |
| Стабильность | предварительная |
| Переносимость | непереносимая (использует Text.ParserCombinators.ReadP) |
| Безопасный Haskell | Надёжный |
| Язык | Haskell2010 |
Содержание
Описание
Эта библиотека определяет комбинаторы парсеров для синтаксического анализа с приоритетами.
Примеры использования
| Monad ReadPrec | С версии: base-2.1 |
| Functor ReadPrec | С версии: base-2.1 |
| MonadFail ReadPrec | С версии: base-4.9.0.0 |
Определено в Text.ParserCombinators.ReadPrec | |
| Applicative ReadPrec | С версии: base-4.6.0.0 |
Определено в Text.ParserCombinators.ReadPrec | |
| MonadPlus ReadPrec | С версии: base-2.1 |
| Alternative ReadPrec | С версии: base-4.6.0.0 |
Предопределённые приоритеты
Операции с приоритетом
lift :: ReadP a -> ReadPrec a Source
Поднимает операцию, не зависящую от приоритета, ReadP, до ReadPrec.
prec :: Prec -> ReadPrec a -> ReadPrec a Source
(prec n p) проверяет, меньше ли контекст приоритета, чем или равен n, и
- если нет, то возвращает ошибку
- если да, то парсит
pв контекстеn.
step :: ReadPrec a -> ReadPrec a Source
Увеличивает контекст приоритета на единицу.
reset :: ReadPrec a -> ReadPrec a Source
Сбрасывает контекст приоритета до нуля.
Другие операции
Все основаны непосредственно на своих одноимённых ReadP аналогах.
Потребляет и возвращает следующий символ. Возвращает ошибку, если входных данных больше нет.
look :: ReadPrec String Source
Предварительный просмотр: возвращает оставшуюся часть входных данных, не потребляя их.
(+++) :: ReadPrec a -> ReadPrec a -> ReadPrec a Source
Симметричный выбор.
(<++) :: ReadPrec a -> ReadPrec a -> ReadPrec a Source
Локальный, исключительный, левосторонний выбор: Если левый анализатор локально создаёт любой результат, то правый анализатор не используется.
Всегда возвращает ошибку.
choice :: [ReadPrec a] -> ReadPrec a Source
Объединяет все анализаторы в заданном списке.
Преобразователи
readPrec_to_P :: ReadPrec a -> Int -> ReadP a Source
readP_to_Prec :: (Int -> ReadP a) -> ReadPrec a Source
readPrec_to_S :: ReadPrec a -> Int -> ReadS a Source
readS_to_Prec :: (Int -> ReadS a) -> ReadPrec a Source
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/Text-ParserCombinators-ReadPrec.html