Moduleparsec1-1.0.0.8Haskell98

Text.ParserCombinators.Parsec.Pos

Textual source positions

Synopsis

type Column
type Line
type SourceName
data SourcePos
value incSourceColumn
value incSourceLine
value initialPos
value newPos
value setSourceColumn
value setSourceLine
value setSourceName
value sourceColumn
value sourceLine
value sourceName
value updatePosChar
value updatePosString

Packageparsec1-1.0.0.8
Exports16
LanguageHaskell98
LicenceBSD-3-Clause
SourcePos.hs

typetype Column = Int

typetype Line = Int

typetype SourceName = String

datadata SourcePos

Source#

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.

Instances3Eq, Ord, Show

Eq SourcePosDefined in parsec1-1.0.0.8 · Text.ParserCombinators.Parsec.Pos
Ord SourcePosDefined in parsec1-1.0.0.8 · Text.ParserCombinators.Parsec.Pos
Show SourcePosDefined in parsec1-1.0.0.8 · Text.ParserCombinators.Parsec.Pos

valueincSourceColumn :: SourcePos -> Column -> SourcePos

Source#

Increments the column number of a source position.

valueincSourceLine :: SourcePos -> Line -> SourcePos

Source#

Increments the line number of a source position.

valueinitialPos :: SourceName -> SourcePos

Source#

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

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

Source#

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

valuesetSourceColumn :: SourcePos -> Column -> SourcePos

Source#

Set the column number of a source position.

valuesetSourceLine :: SourcePos -> Line -> SourcePos

Source#

Set the line number of a source position.

valuesetSourceName :: SourcePos -> SourceName -> SourcePos

Source#

Set the name of the source.

valuesourceColumn :: SourcePos -> Column

Source#

the column number from a source position

valuesourceLine :: SourcePos -> Line

Source#

the line number from a source position

valuesourceName :: SourcePos -> SourceName

Source#

the name of the source from a position

valueupdatePosChar :: SourcePos -> Char -> SourcePos

valueupdatePosString :: SourcePos -> String -> SourcePos

Source#

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