Вопрос по Parsec: можно ли как-то ограничить ввод (на заранее

Question

Вопрос по Parsec: можно ли как-то ограничить ввод (на заранее

известное число, например 5 символов) при вызове вложенного парсера? Т.е. так, чтобы он "думал", что для него ввода больше нет и завершался, но после выхода, оставшиеся парсеры "доедали" ввод (сделать внутри парсера "count 5" -- не решение). Что-то в таком роде:

module Main where

import Text.ParserCombinators.Parsec (Parser, digit, many, parse)

main :: IO ()
main = do
let input = "11111333"
parse p "p" input & \case
Left e -> error $ show e
Right r -> print r -- should print (11111, 333)
where
p :: Parser (Int, Int)
p = do
a <- customInt -- TODO limit input to 5 characters just for this `customInt`
b <- customInt -- take the remaining 3 (already limited)
pure (a,b)

customInt :: Parser Int -- NOTE: can't change this fn
customInt = read <$> many digit

#haskell #programming #russian

0

25.05.2022

2 ответов

16 просмотров

Danila Danko

Если вы можете использовать megaparsec, то можете сделать так

0

25.05.2022

Aleksei (astynax) Pirogov · Accepted Answer

Aleksei (astynax) Pirogov

Звучит как протекание абстракции. Парсеры не знают, сколько там ввода имеется. И композируются так, что пока предыдущий на отработал, следующему ничего не достанется. А вы хотите дать парсеру — или комбинатору — знать о низком уровне

0

25.05.2022

169 похожих чатов

Вопрос по Parsec: можно ли как-то ограничить ввод (на заранее

2 ответов

Похожие вопросы