オフセットとしてのパーセルの位置

Question

パーセックでオフセットの位置を（入力の開始点からのcharctersとして）簡単に取得できますか？もしそうなら、どうですか？内部的にParsecは、ソース名、行および列を持つデータ型として位置を保持します。

私はパーサpを使って何かを解析し、オフセットとしての左右の位置だけでなく、その結果を返します

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で取得することはできません。ステートモナドにモナドトランスを使用して、解析されたインデックスを手動で追跡することができます。