Copyright	(C) CSIRO 2017-2019
License	BSD3
Maintainer	Isaac Elliott <isaace71295@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Language.Python.Parse

Contents

Parsing some Text
Parsing from a file
Source Information

Description

Synopsis

module Data.Validation
module Language.Python.Parse.Error
type Parser = Parsec Void PyTokens
parseModule :: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo) => FilePath -> Text -> Validation (NonEmpty e) (Module '[] SrcInfo)
parseStatement :: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo) => FilePath -> Text -> Validation (NonEmpty e) (Statement '[] SrcInfo)
parseExpr :: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo) => FilePath -> Text -> Validation (NonEmpty e) (Expr '[] SrcInfo)
parseExprList :: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo) => FilePath -> Text -> Validation (NonEmpty e) (Expr '[] SrcInfo)
readModule :: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo) => FilePath -> IO (Validation (NonEmpty e) (Module '[] SrcInfo))
readStatement :: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo) => FilePath -> IO (Validation (NonEmpty e) (Statement '[] SrcInfo))
readExpr :: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo) => FilePath -> IO (Validation (NonEmpty e) (Expr '[] SrcInfo))
readExprList :: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo) => FilePath -> IO (Validation (NonEmpty e) (Expr '[] SrcInfo))
data SrcInfo = SrcInfo {
- _srcInfoName :: FilePath
- _srcInfoLineStart :: !Int
- _srcInfoLineEnd :: !Int
- _srcInfoColStart :: !Int
- _srcInfoColEnd :: !Int
- _srcInfoOffsetStart :: !Int
- _srcInfoOffsetEnd :: !Int
}
initialSrcInfo :: FilePath -> SrcInfo

Documentation

module Data.Validation

module Language.Python.Parse.Error

type Parser = Parsec Void PyTokens Source #

Parsing some `Text`

parseModule Source #

Arguments

:: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo)
=> FilePath	File name
-> Text	Input to parse
-> Validation (NonEmpty e) (Module '[] SrcInfo)

Parse a module

https://docs.python.org/3/reference/toplevel_components.html#file-input

parseStatement Source #

Arguments

:: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo)
=> FilePath	File name
-> Text	Input to parse
-> Validation (NonEmpty e) (Statement '[] SrcInfo)

Parse a statement

https://docs.python.org/3/reference/compound_stmts.html#grammar-token-statement

parseExpr Source #

Arguments

:: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo)
=> FilePath	File name
-> Text	Input to parse
-> Validation (NonEmpty e) (Expr '[] SrcInfo)

Parse an expression

https://docs.python.org/3.5/reference/expressions.html#grammar-token-expression

parseExprList Source #

Arguments

:: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo)
=> FilePath	File name
-> Text	Input to parse
-> Validation (NonEmpty e) (Expr '[] SrcInfo)

Parse an expression list (unparenthesised tuple)

https://docs.python.org/3.5/reference/expressions.html#grammar-token-expression_list

Parsing from a file

readModule Source #

Arguments

:: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo)
=> FilePath	File to read
-> IO (Validation (NonEmpty e) (Module '[] SrcInfo))

Parse a module from a file

https://docs.python.org/3/reference/toplevel_components.html#file-input

readStatement Source #

Arguments

:: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo)
=> FilePath	File to read
-> IO (Validation (NonEmpty e) (Statement '[] SrcInfo))

Parse a statement from a file

https://docs.python.org/3/reference/compound_stmts.html#grammar-token-statement

readExpr Source #

Arguments

:: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo)
=> FilePath	File to read
-> IO (Validation (NonEmpty e) (Expr '[] SrcInfo))

Parse an expression from a file

https://docs.python.org/3.5/reference/expressions.html#grammar-token-expression

readExprList Source #

Arguments

:: (AsLexicalError e Char, AsTabError e SrcInfo, AsIncorrectDedent e SrcInfo, AsParseError e (PyToken SrcInfo), AsIRError e SrcInfo)
=> FilePath	File to read
-> IO (Validation (NonEmpty e) (Expr '[] SrcInfo))

Parse an expression list (unparenthesised tuple) from a file

https://docs.python.org/3.5/reference/expressions.html#grammar-token-expression_list

Source Information

data SrcInfo Source #

Constructors

SrcInfo
Fields _srcInfoName :: FilePath _srcInfoLineStart :: !Int _srcInfoLineEnd :: !Int _srcInfoColStart :: !Int _srcInfoColEnd :: !Int _srcInfoOffsetStart :: !Int _srcInfoOffsetEnd :: !Int

Instances

Eq SrcInfo Source #
Instance details Defined in Language.Python.Internal.Lexer Methods (==) :: SrcInfo -> SrcInfo -> Bool # (/=) :: SrcInfo -> SrcInfo -> Bool #
Show SrcInfo Source #
Instance details Defined in Language.Python.Internal.Lexer Methods showsPrec :: Int -> SrcInfo -> ShowS # show :: SrcInfo -> String # showList :: [SrcInfo] -> ShowS #
Semigroup SrcInfo Source #
Instance details Defined in Language.Python.Internal.Lexer Methods (<>) :: SrcInfo -> SrcInfo -> SrcInfo # sconcat :: NonEmpty SrcInfo -> SrcInfo # stimes :: Integral b => b -> SrcInfo -> SrcInfo #

initialSrcInfo :: FilePath -> SrcInfo Source #

Documentation

Parsing some Text

Parsing from a file

Source Information

Parsing some `Text`