Language.Haskell.Exts.Parser

Documentation

class Parseable ast where

Class to reuse the parse function at many different types

Methods

parse :: String -> ParseResult ast

parseWithMode :: ParseMode -> String -> ParseResult ast

Instances

Parseable Pat

Parseable Exp

Parseable Type

Parseable Decl

Parseable Module

parseModule :: String -> ParseResult Module

Parse of a string, which should contain a complete Haskell module.

parseModuleWithMode :: ParseMode -> String -> ParseResult Module

Parse of a string, which should contain a complete Haskell 98 module.

parseExp :: String -> ParseResult Exp

Parse of a string containing a Haskell expression.

parseExpWithMode :: ParseMode -> String -> ParseResult Exp

Parse of a string, which should contain a complete Haskell 98 module.

parsePat :: String -> ParseResult Pat

Parse of a string containing a Haskell pattern.

parsePatWithMode :: ParseMode -> String -> ParseResult Pat

Parse of a string, which should contain a complete Haskell 98 module.

parseDecl :: String -> ParseResult Decl

Parse of a string containing a Haskell top-level declaration.

parseDeclWithMode :: ParseMode -> String -> ParseResult Decl

Parse of a string, which should contain a complete Haskell 98 module.

parseType :: String -> ParseResult Type

Parse of a string containing a Haskell type.

parseTypeWithMode :: ParseMode -> String -> ParseResult Type

Parse of a string, which should contain a complete Haskell 98 module.

getTopPragmas :: String -> ParseResult [OptionPragma]

Parse of a string starting with a series of top-level option pragmas.

data ParseMode

Static parameters governing a parse. More to come later, e.g. literate mode, language extensions.

Constructors

ParseMode

Fields

parseFilename :: String

original name of the file being parsed

extensions :: [Extension]

list of extensions enabled

ignoreLanguagePragmas :: Bool

if True, the parser won't look for further extensions in LANGUAGE pragmas in source files

fixities :: [Fixity]

list of fixities to be aware of

defaultParseMode :: ParseMode

Default parameters for a parse, currently just a marker for an unknown filename.

data ParseResult a

The result of a parse.

Constructors

ParseOk

The parse succeeded, yielding a value.

Fields

unParseOk :: a

ParseFailed SrcLoc String

The parse failed at the specified source location, with an error message.

Instances

Monad ParseResult

Functor ParseResult

Applicative ParseResult

Show a => Show (ParseResult a)

Monoid m => Monoid (ParseResult m)