Moduleparsec1-1.0.0.8Haskell98

Text.ParserCombinators.Parsec

Parsec, the Fast Monadic Parser combinator library.

Inspired by:

Graham Hutton and Erik Meijer: Monadic Parser Combinators. Technical report NOTTCS-TR-96-4. Department of Computer Science, University of Nottingham, 1996. https://www.cs.nott.ac.uk/~gmh/monparsing.ps

Andrew Partridge, David Wright: Predictive parser combinators need four values to report errors. Journal of Functional Programming 6(2): 355-364, 1996

This helper module exports elements from the basic libraries.

5 types
9 values

Packageparsec1-1.0.0.8
Exports14
LanguageHaskell98
LicenceBSD-3-Clause
SourceParsec.hs

module Text.ParserCombinators.Parsec.Char

module Text.ParserCombinators.Parsec.Combinator

module Text.ParserCombinators.Parsec.Prim

datadata ParseError

The abstract data type ParseError represents parse errors. It provides the source position (SourcePos) of the error and a list of error messages (Message). A ParseError can be returned by the function parse. ParseError is an instance of the Show class.

Instances2Eq, Show

Eq ParseErrorDefined in parsec1-1.0.0.8 · Text.ParserCombinators.Parsec.Error
Show ParseErrorDefined in parsec1-1.0.0.8 · Text.ParserCombinators.Parsec.Error

valueerrorPos :: ParseError -> SourcePos

Extracts the source position from the parse error

typetype Column = Int

typetype Line = Int

typetype SourceName = String

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.

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

Increments the column number of a source position.

valueincSourceLine :: SourcePos -> Line -> SourcePos

Increments the line number of a source position.

valuesetSourceColumn :: SourcePos -> Column -> SourcePos

Set the column number of a source position.

valuesetSourceLine :: SourcePos -> Line -> SourcePos

Set the line number of a source position.

valuesetSourceName :: SourcePos -> SourceName -> SourcePos

Set the name of the source.

valuesourceColumn :: SourcePos -> Column

the column number from a source position

valuesourceLine :: SourcePos -> Line

the line number from a source position

valuesourceName :: SourcePos -> SourceName

the name of the source from a position