Language.Haskell.GHC.Parser

Documentation

runParser :: DynFlags -> Parser a -> String -> ParseOutput a

Run a GHC parser on a string. Return success or failure with associated information for both.

type LineNumber = Int

A line number in an input string.

type ColumnNumber = Int

A column number in an input string.

type ErrMsg = String

An error message string.

data StringLoc

A location in an input string.

Constructors

Loc LineNumber ColumnNumber

Instances

Eq StringLoc

Show StringLoc

data ParseOutput a

Output from running a parser.

Constructors

Failure ErrMsg StringLoc

Parser failed with given error message and location.

Parsed a

Parser succeeded with an output.

Partial a (String, String)

Partial parser succeeded with an output.

Instances

Eq a => Eq (ParseOutput a)

Show a => Show (ParseOutput a)

data Parser a

data Located a

Store locations along with a value.

Constructors

Located

Fields

line :: LineNumber

unloc :: a

Instances

Functor Located

Eq a => Eq (Located a)

Show a => Show (Located a)

parserStatement :: Parser (LStmt RdrName)

parserImport :: Parser (LImportDecl RdrName)

parserDeclaration :: Parser (OrdList (LHsDecl RdrName))

parserTypeSignature :: Parser (LHsDecl RdrName)

parserModule :: Parser (Located (HsModule RdrName))

parserExpression :: Parser (LHsExpr RdrName)

partialStatement :: Parser (LStmt RdrName)

partialImport :: Parser (LImportDecl RdrName)

partialDeclaration :: Parser (OrdList (LHsDecl RdrName))

partialTypeSignature :: Parser (LHsDecl RdrName)

partialModule :: Parser (Located (HsModule RdrName))

partialExpression :: Parser (LHsExpr RdrName)

removeComments :: String -> String

Drop comments from Haskell source. Simply gets rid of them, does not replace them in any way.

layoutChunks :: String -> [Located String]

Split an input string into chunks based on indentation. A chunk is a line and all lines immediately following that are indented beyond the indentation of the first line. This parses Haskell layout rules properly, and allows using multiline expressions via indentation.