Text.ParserCombinators.Parsec.Pos · parsec-3.1.18.0

typetype SourceName = String

typetype Line = Int

typetype Column = Int

datadata SourcePos

The abstract data type SourcePos represents source positions. It contains the name of the source (i.e. file name), a line number and a column number. SourcePos is an instance of the Show, Eq and Ord class.

Instances4Eq, Data, Ord, Show

Eq SourcePosDefined in parsec-3.1.18.0 · Text.Parsec.Pos
Data SourcePosDefined in parsec-3.1.18.0 · Text.Parsec.Pos
Ord SourcePosDefined in parsec-3.1.18.0 · Text.Parsec.Pos
Show SourcePosDefined in parsec-3.1.18.0 · Text.Parsec.Pos

valuesourceLine :: SourcePos -> Line

#

Extracts the line number from a source position.

valuesourceColumn :: SourcePos -> Column

#

Extracts the column number from a source position.

valuesourceName :: SourcePos -> SourceName

#

Extracts the name of the source from a source position.

valueincSourceLine :: SourcePos -> Line -> SourcePos

#

Increments the line number of a source position.

valueincSourceColumn :: SourcePos -> Column -> SourcePos

#

Increments the column number of a source position.

valuesetSourceLine :: SourcePos -> Line -> SourcePos

#

Set the line number of a source position.

valuesetSourceColumn :: SourcePos -> Column -> SourcePos

#

Set the column number of a source position.

valuesetSourceName :: SourcePos -> SourceName -> SourcePos

#

Set the name of the source.

valuenewPos :: SourceName -> Line -> Column -> SourcePos

#

Create a new SourcePos with the given source name, line number and column number.

valueinitialPos :: SourceName -> SourcePos

#

Create a new SourcePos with the given source name, and line number and column number set to 1, the upper left.

valueupdatePosChar :: SourcePos -> Char -> SourcePos

#

Update a source position given a character. If the character is a newline ('\n') or carriage return ('\r') the line number is incremented by 1. If the character is a tab ('t') the column number is incremented to the nearest 8'th column, ie. column + 8 - ((column-1) `mod` 8). In all other cases, the column is incremented by 1.

valueupdatePosString :: SourcePos -> String -> SourcePos

#

The expression updatePosString pos s updates the source position pos by calling updatePosChar on every character in s, ie. foldl updatePosChar pos string.