parsimony-1.0.1: Monadic parser combinators derived from Parsec

Portability	portable
Stability	provisional
Maintainer	iavor.diatchki@gmail.com

Parsimony.Pos

Description

Textual source positions.

Documentation

type SourceName = String Source

type Line = Int Source

type Column = Int Source

data SourcePos Source

Instances

Eq SourcePos
Ord SourcePos
Show SourcePos

sourceLine :: SourcePos -> Line Source

sourceColumn :: SourcePos -> Column Source

sourceName :: SourcePos -> SourceName Source

incSourceLine :: SourcePos -> Line -> SourcePos Source

incSourceColumn :: SourcePos -> Column -> SourcePos Source

setSourceLine :: SourcePos -> Line -> SourcePos Source

setSourceColumn :: SourcePos -> Column -> SourcePos Source

setSourceName :: SourcePos -> SourceName -> SourcePos Source

newPos :: SourceName -> Line -> Column -> SourcePos Source

initialPos :: SourceName -> SourcePos Source

updatePosChar :: SourcePos -> Char -> SourcePos Source

updatePosString :: SourcePos -> String -> SourcePos Source