Позиции Parsec как смещения

Question

Можно ли легко получить позиции в качестве смещений (в качестве атрибутов от начала ввода) с помощью Parsec? Если да, то как? Внутренне Parsec сохраняет позицию как тип данных с именем источника, строкой и столбцом.

Я хотел бы, чтобы иметь возможность написать парсер как

pWithPos p = do left <- getPosition  -- gets the current position as an offset 
       x <- p 
       right <- getPosition  -- gets the current position as an offset 
       return (x,(left,right)) 

который разбирает что-то с помощью парсера р и возвращает его результат, а его левую и правую позицию смещения.

alex (генератор лексического анализатора), например, обрабатывает positions, сохраняя абсолютное смещение символа, номер строки и номер столбца. Мне не хватает абсолютного смещения символов в parsec.

Answer 1

Вы можете использовать эту функцию для вычисления смещения, учитывая входную строку и SourcePos:

offset :: String -> SourcePos -> Maybe Location 
offset source pos = elemIndex pos positions 
    where positions = scanl updatePosChar firstPos source 
     firstPos = initialPos (sourceName pos) 

Answer 2

Нет, невозможно получить текущий индекс строки в Parsec, поскольку Parsec не отслеживает этот индекс. Вы можете использовать трансформатор монады над государственной монадой и вручную отслеживать проанализированный индекс.