SourcePos package:megaparsec

The data type SourcePos represents source positions. It contains the name of the source file, a line number, and a column number. Source line and column positions change intensively during parsing, so we need to make them strict to avoid memory leaks.

SourcePos :: FilePath -> Pos -> Pos -> SourcePos

megaparsec Text.Megaparsec.Pos

sourcePosPretty :: SourcePos -> String

megaparsec Text.Megaparsec.Pos

Pretty-print a SourcePos.

getSourcePos :: (TraversableStream s, MonadParsec e s m) => m SourcePos

megaparsec Text.Megaparsec

Return the current source position. This function is not cheap, do not call it e.g. on matching of every token, that's a bad idea. Still you can use it to get SourcePos to attach to things that you parse. The function works under the assumption that we move in the input stream only forwards and never backwards, which is always true unless the user abuses the library.

pstateSourcePos :: PosState s -> !SourcePos

megaparsec Text.Megaparsec Text.Megaparsec.State

Source position corresponding to beginning of pstateInput

attachSourcePos :: (Traversable t, TraversableStream s) => (a -> Int) -> t a -> PosState s -> (t (a, SourcePos), PosState s)

megaparsec Text.Megaparsec.Error

Attach SourcePoses to items in a Traversable container given that there is a projection allowing us to get an offset per item. Items must be in ascending order with respect to their offsets.