Language.Haskell.Exts.Simple.Parser

This module partially reexports Language.Haskell.Exts.Parser with adaptations.

Documentation

type ModuleHeadAndImports = ModuleHeadAndImports ()

type PragmasAndModuleHead = PragmasAndModuleHead ()

type PragmasAndModuleName = PragmasAndModuleName ()

type ListOf = ListOf

pattern ModuleHeadAndImports :: [ModulePragma] -> Maybe ModuleHead -> [ImportDecl] -> ModuleHeadAndImports ()

pattern PragmasAndModuleHead :: [ModulePragma] -> Maybe ModuleHead -> PragmasAndModuleHead ()

pattern PragmasAndModuleName :: [ModulePragma] -> Maybe ModuleName -> PragmasAndModuleName

pattern ListOf :: forall a. [a] -> ListOf a

listOf :: [a] -> ListOf a

parse :: (Parseable (ast SrcSpanInfo), Functor ast) => String -> ParseResult (ast ())

parseWithMode :: (Parseable (ast SrcSpanInfo), Functor ast) => ParseMode -> String -> ParseResult (ast ())

parseModule :: String -> ParseResult Module

parseModuleWithMode :: ParseMode -> String -> ParseResult Module

parseModuleWithComments :: ParseMode -> String -> ParseResult (Module, [Comment])

parseExp :: String -> ParseResult Exp

parseExpWithMode :: ParseMode -> String -> ParseResult Exp

parseExpWithComments :: ParseMode -> String -> ParseResult (Exp, [Comment])

parsePat :: String -> ParseResult Pat

parsePatWithMode :: ParseMode -> String -> ParseResult Pat

parsePatWithComments :: ParseMode -> String -> ParseResult (Pat, [Comment])

parseDecl :: String -> ParseResult Decl

parseDeclWithMode :: ParseMode -> String -> ParseResult Decl

parseDeclWithComments :: ParseMode -> String -> ParseResult (Decl, [Comment])

parseType :: String -> ParseResult Type

parseTypeWithMode :: ParseMode -> String -> ParseResult Type

parseTypeWithComments :: ParseMode -> String -> ParseResult (Type, [Comment])

parseStmt :: String -> ParseResult Stmt

parseStmtWithMode :: ParseMode -> String -> ParseResult Stmt

parseStmtWithComments :: ParseMode -> String -> ParseResult (Stmt, [Comment])

parseImportDecl :: String -> ParseResult ImportDecl

parseImportDeclWithMode :: ParseMode -> String -> ParseResult ImportDecl

parseImportDeclWithComments :: ParseMode -> String -> ParseResult (ImportDecl, [Comment])

getTopPragmas :: String -> ParseResult [ModulePragma]

unListOf :: ListOf a -> [a]

newtype NonGreedy a

Instances of Parseable for NonGreedy a will only consume the input until a is fully parsed. This means that parse errors that come later in the input will be ignored. It's also more efficient, as it's fully lazy in the remainder of the input:

>>> parse (unlines ("module A where" : "main =" : repeat "blah")) :: ParseResult PragmasAndModuleHead
ParseOk (NonGreedy {unNonGreedy = PragmasAndModuleHead [] (ModuleName "A",Nothing,Nothing)})

(this example uses the simplified AST)

Constructors

NonGreedy

Fields

• unNonGreedy :: a

Instances

Functor NonGreedy

Defined in Language.Haskell.Exts.Parser

Methods

fmap :: (a -> b) -> NonGreedy a -> NonGreedy b

(<$) :: a -> NonGreedy b -> NonGreedy a

Eq a => Eq (NonGreedy a)

Defined in Language.Haskell.Exts.Parser

Methods

(==) :: NonGreedy a -> NonGreedy a -> Bool

(/=) :: NonGreedy a -> NonGreedy a -> Bool

Data a => Data (NonGreedy a)

Defined in Language.Haskell.Exts.Parser

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NonGreedy a -> c (NonGreedy a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (NonGreedy a)

toConstr :: NonGreedy a -> Constr

dataTypeOf :: NonGreedy a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (NonGreedy a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (NonGreedy a))

gmapT :: (forall b. Data b => b -> b) -> NonGreedy a -> NonGreedy a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NonGreedy a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NonGreedy a -> r

gmapQ :: (forall d. Data d => d -> u) -> NonGreedy a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NonGreedy a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NonGreedy a -> m (NonGreedy a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NonGreedy a -> m (NonGreedy a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NonGreedy a -> m (NonGreedy a)

Ord a => Ord (NonGreedy a)

Defined in Language.Haskell.Exts.Parser

Methods

compare :: NonGreedy a -> NonGreedy a -> Ordering

(<) :: NonGreedy a -> NonGreedy a -> Bool

(<=) :: NonGreedy a -> NonGreedy a -> Bool

(>) :: NonGreedy a -> NonGreedy a -> Bool

(>=) :: NonGreedy a -> NonGreedy a -> Bool

max :: NonGreedy a -> NonGreedy a -> NonGreedy a

min :: NonGreedy a -> NonGreedy a -> NonGreedy a

Show a => Show (NonGreedy a)

Defined in Language.Haskell.Exts.Parser

Methods

showsPrec :: Int -> NonGreedy a -> ShowS

show :: NonGreedy a -> String

showList :: [NonGreedy a] -> ShowS

Parseable (NonGreedy (PragmasAndModuleName SrcSpanInfo))

Defined in Language.Haskell.Exts.Parser

Methods

parse :: String -> ParseResult (NonGreedy (PragmasAndModuleName SrcSpanInfo))

parseWithMode :: ParseMode -> String -> ParseResult (NonGreedy (PragmasAndModuleName SrcSpanInfo))

parseWithComments :: ParseMode -> String -> ParseResult (NonGreedy (PragmasAndModuleName SrcSpanInfo), [Comment])

parser :: Maybe [Fixity] -> P (NonGreedy (PragmasAndModuleName SrcSpanInfo))

Parseable (NonGreedy (PragmasAndModuleHead SrcSpanInfo))

Defined in Language.Haskell.Exts.Parser

Methods

parse :: String -> ParseResult (NonGreedy (PragmasAndModuleHead SrcSpanInfo))

parseWithMode :: ParseMode -> String -> ParseResult (NonGreedy (PragmasAndModuleHead SrcSpanInfo))

parseWithComments :: ParseMode -> String -> ParseResult (NonGreedy (PragmasAndModuleHead SrcSpanInfo), [Comment])

parser :: Maybe [Fixity] -> P (NonGreedy (PragmasAndModuleHead SrcSpanInfo))

Parseable (NonGreedy (ModuleHeadAndImports SrcSpanInfo))

Defined in Language.Haskell.Exts.Parser

Methods

parse :: String -> ParseResult (NonGreedy (ModuleHeadAndImports SrcSpanInfo))

parseWithMode :: ParseMode -> String -> ParseResult (NonGreedy (ModuleHeadAndImports SrcSpanInfo))

parseWithComments :: ParseMode -> String -> ParseResult (NonGreedy (ModuleHeadAndImports SrcSpanInfo), [Comment])

parser :: Maybe [Fixity] -> P (NonGreedy (ModuleHeadAndImports SrcSpanInfo))

Parseable (NonGreedy (ListOf (ModulePragma SrcSpanInfo)))

Defined in Language.Haskell.Exts.Parser

Methods

parse :: String -> ParseResult (NonGreedy (ListOf (ModulePragma SrcSpanInfo)))

parseWithMode :: ParseMode -> String -> ParseResult (NonGreedy (ListOf (ModulePragma SrcSpanInfo)))

parseWithComments :: ParseMode -> String -> ParseResult (NonGreedy (ListOf (ModulePragma SrcSpanInfo)), [Comment])

parser :: Maybe [Fixity] -> P (NonGreedy (ListOf (ModulePragma SrcSpanInfo)))

defaultParseMode :: ParseMode

Default parameters for a parse. The default is an unknown filename, no extensions (i.e. Haskell 98), don't ignore LANGUAGE pragmas, do ignore LINE pragmas, and be aware of fixities from the Prelude.

fromParseResult :: ParseResult a -> a

Retrieve the result of a successful parse, throwing an error if the parse is actually not successful.

class Parseable ast

Class providing function for parsing at many different types.

Note that for convenience of implementation, the default methods have definitions equivalent to undefined. The minimal definition is all of the visible methods.

Minimal complete definition

parser

Instances

Parseable (NonGreedy (PragmasAndModuleName SrcSpanInfo))

Defined in Language.Haskell.Exts.Parser

Methods

parse :: String -> ParseResult (NonGreedy (PragmasAndModuleName SrcSpanInfo))

parseWithMode :: ParseMode -> String -> ParseResult (NonGreedy (PragmasAndModuleName SrcSpanInfo))

parseWithComments :: ParseMode -> String -> ParseResult (NonGreedy (PragmasAndModuleName SrcSpanInfo), [Comment])

parser :: Maybe [Fixity] -> P (NonGreedy (PragmasAndModuleName SrcSpanInfo))

Parseable (NonGreedy (PragmasAndModuleHead SrcSpanInfo))

Defined in Language.Haskell.Exts.Parser

Methods

parse :: String -> ParseResult (NonGreedy (PragmasAndModuleHead SrcSpanInfo))

parseWithMode :: ParseMode -> String -> ParseResult (NonGreedy (PragmasAndModuleHead SrcSpanInfo))

parseWithComments :: ParseMode -> String -> ParseResult (NonGreedy (PragmasAndModuleHead SrcSpanInfo), [Comment])

parser :: Maybe [Fixity] -> P (NonGreedy (PragmasAndModuleHead SrcSpanInfo))

Parseable (NonGreedy (ModuleHeadAndImports SrcSpanInfo))

Defined in Language.Haskell.Exts.Parser

Methods

parse :: String -> ParseResult (NonGreedy (ModuleHeadAndImports SrcSpanInfo))

parseWithMode :: ParseMode -> String -> ParseResult (NonGreedy (ModuleHeadAndImports SrcSpanInfo))

parseWithComments :: ParseMode -> String -> ParseResult (NonGreedy (ModuleHeadAndImports SrcSpanInfo), [Comment])

parser :: Maybe [Fixity] -> P (NonGreedy (ModuleHeadAndImports SrcSpanInfo))

Parseable (NonGreedy (ListOf (ModulePragma SrcSpanInfo)))

Defined in Language.Haskell.Exts.Parser

Methods

parse :: String -> ParseResult (NonGreedy (ListOf (ModulePragma SrcSpanInfo)))

parseWithMode :: ParseMode -> String -> ParseResult (NonGreedy (ListOf (ModulePragma SrcSpanInfo)))

parseWithComments :: ParseMode -> String -> ParseResult (NonGreedy (ListOf (ModulePragma SrcSpanInfo)), [Comment])

parser :: Maybe [Fixity] -> P (NonGreedy (ListOf (ModulePragma SrcSpanInfo)))

data ParseResult a

The result of a parse.

Constructors

ParseOk a

The parse succeeded, yielding a value.

ParseFailed SrcLoc String

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

Instances

Monad ParseResult

Defined in Language.Haskell.Exts.ParseMonad

Methods

(>>=) :: ParseResult a -> (a -> ParseResult b) -> ParseResult b

(>>) :: ParseResult a -> ParseResult b -> ParseResult b

return :: a -> ParseResult a

fail :: String -> ParseResult a

Functor ParseResult

Defined in Language.Haskell.Exts.ParseMonad

Methods

fmap :: (a -> b) -> ParseResult a -> ParseResult b

(<$) :: a -> ParseResult b -> ParseResult a

MonadFail ParseResult

Defined in Language.Haskell.Exts.ParseMonad

Methods

fail :: String -> ParseResult a

Applicative ParseResult

Defined in Language.Haskell.Exts.ParseMonad

Methods

pure :: a -> ParseResult a

(<*>) :: ParseResult (a -> b) -> ParseResult a -> ParseResult b

liftA2 :: (a -> b -> c) -> ParseResult a -> ParseResult b -> ParseResult c

(*>) :: ParseResult a -> ParseResult b -> ParseResult b

(<*) :: ParseResult a -> ParseResult b -> ParseResult a

Eq a => Eq (ParseResult a)

Defined in Language.Haskell.Exts.ParseMonad

Methods

(==) :: ParseResult a -> ParseResult a -> Bool

(/=) :: ParseResult a -> ParseResult a -> Bool

Ord a => Ord (ParseResult a)

Defined in Language.Haskell.Exts.ParseMonad

Methods

compare :: ParseResult a -> ParseResult a -> Ordering

(<) :: ParseResult a -> ParseResult a -> Bool

(<=) :: ParseResult a -> ParseResult a -> Bool

(>) :: ParseResult a -> ParseResult a -> Bool

(>=) :: ParseResult a -> ParseResult a -> Bool

max :: ParseResult a -> ParseResult a -> ParseResult a

min :: ParseResult a -> ParseResult a -> ParseResult a

Show a => Show (ParseResult a)

Defined in Language.Haskell.Exts.ParseMonad

Methods

showsPrec :: Int -> ParseResult a -> ShowS

show :: ParseResult a -> String

showList :: [ParseResult a] -> ShowS

Semigroup m => Semigroup (ParseResult m)

Defined in Language.Haskell.Exts.ParseMonad

Methods

(<>) :: ParseResult m -> ParseResult m -> ParseResult m

sconcat :: NonEmpty (ParseResult m) -> ParseResult m

stimes :: Integral b => b -> ParseResult m -> ParseResult m

(Monoid m, Semigroup m) => Monoid (ParseResult m)

Defined in Language.Haskell.Exts.ParseMonad

Methods

mempty :: ParseResult m

mappend :: ParseResult m -> ParseResult m -> ParseResult m

mconcat :: [ParseResult m] -> ParseResult m

data ParseMode

Static parameters governing a parse. Note that the various parse functions in Language.Haskell.Exts.Parser never look at LANGUAGE pragmas, regardless of what the ignoreLanguagePragmas flag is set to. Only the various parseFile functions in Language.Haskell.Exts will act on it, when set to False.

Constructors

ParseMode

Fields

• parseFilename :: String

  original name of the file being parsed

• baseLanguage :: Language

  base language (e.g. Haskell98, Haskell2010)

• extensions :: [Extension]

  list of extensions enabled for parsing

• ignoreLanguagePragmas :: Bool

  if True, the parser won't care about further extensions in LANGUAGE pragmas in source files

• ignoreLinePragmas :: Bool

  if True, the parser won't read line position information from LINE pragmas in source files

• fixities :: Maybe [Fixity]

  list of fixities to be aware of

• ignoreFunctionArity :: Bool

  Checks whether functions have a consistent arity