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.Internal.Parse

Contents

Stream type
Errors
Parsers

Description

Synopsis

type Parser = Parsec Void PyTokens
runParser :: AsParseError e (PyToken SrcInfo) => FilePath -> Parser a -> [PyToken SrcInfo] -> Either e a
newtype PyTokens = PyTokens {
- unPyTokens :: [PyToken SrcInfo]
}
class AsParseError s t | s -> t where
- _ParseError :: Prism' s (NonEmpty SourcePos, Maybe (ErrorItem t), Set (ErrorItem t))
unsafeFromParseError :: (HasCallStack, AsParseError s t) => ParseError t e -> s
token :: MonadParsec e PyTokens m => m Whitespace -> (PyToken SrcInfo -> Bool) -> String -> m (PyToken SrcInfo, [Whitespace])
at :: MonadParsec e PyTokens m => m Whitespace -> m (PyToken SrcInfo, At)
colon :: MonadParsec e PyTokens m => m Whitespace -> m (PyToken SrcInfo, Colon)
comma :: MonadParsec e PyTokens m => m Whitespace -> m (PyToken SrcInfo, Comma)
dot :: MonadParsec e PyTokens m => m Whitespace -> m (PyToken SrcInfo, Dot)
doubleStar :: MonadParsec e PyTokens m => m Whitespace -> m (PyToken SrcInfo, [Whitespace])
equals :: MonadParsec e PyTokens m => m Whitespace -> m (PyToken SrcInfo, Equals)
rightParen :: MonadParsec e PyTokens m => m Whitespace -> m (PyToken SrcInfo, [Whitespace])
semicolon :: MonadParsec e PyTokens m => m Whitespace -> m (PyToken SrcInfo, Semicolon SrcInfo)
star :: MonadParsec e PyTokens m => m Whitespace -> m (PyToken SrcInfo, [Whitespace])
identifier :: MonadParsec e PyTokens m => m Whitespace -> m (Ident '[] SrcInfo)
bool :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
none :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
ellipsis :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
integer :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
float :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
imag :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
stringOrBytes :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
arg :: MonadParsec e PyTokens m => m (Arg SrcInfo)
binOp :: MonadParsec e PyTokens m => m (BinOp SrcInfo) -> m (Expr SrcInfo) -> m (Expr SrcInfo)
commaSep :: MonadParsec e PyTokens m => m Whitespace -> m a -> m (CommaSep a)
commaSep1 :: MonadParsec e PyTokens m => m Whitespace -> m a -> m (CommaSep1 a)
commaSep1' :: MonadParsec e PyTokens m => m Whitespace -> m a -> m (CommaSep1' a)
commaSepRest :: MonadParsec e PyTokens m => m b -> m ([(Comma, b)], Maybe Comma)
compIf :: MonadParsec e PyTokens m => m (CompIf SrcInfo)
compFor :: MonadParsec e PyTokens m => m (CompFor SrcInfo)
compoundStatement :: MonadParsec e PyTokens m => m (Indents SrcInfo) -> Indents SrcInfo -> m (CompoundStatement SrcInfo)
decorator :: MonadParsec e PyTokens m => Indents SrcInfo -> m (Decorator SrcInfo)
decoratorValue :: MonadParsec e PyTokens m => m (Expr SrcInfo)
decorators :: MonadParsec e PyTokens m => m (Indents SrcInfo) -> Indents SrcInfo -> m [Decorator SrcInfo]
expr :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
exprList :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
exprListComp :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
exprNoCond :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
exprComp :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
exprOrStarList :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
lambda :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
lambdaNoCond :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
module_ :: MonadParsec e PyTokens m => m (Module SrcInfo)
orExpr :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
orExprList :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
orTest :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
smallStatement :: MonadParsec e PyTokens m => m (SmallStatement SrcInfo)
someParams :: MonadParsec e PyTokens m => m (Param SrcInfo) -> m (Param SrcInfo) -> m (Param SrcInfo) -> m (CommaSep (Param SrcInfo))
simpleStatement :: MonadParsec e PyTokens m => m (SimpleStatement SrcInfo)
starExpr :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
statement :: (Alternative m, MonadParsec e PyTokens m) => m (Indents SrcInfo) -> Indents SrcInfo -> m (Statement SrcInfo)
suite :: MonadParsec e PyTokens m => m (Suite SrcInfo)
tpPositional :: MonadParsec e PyTokens m => m (Param SrcInfo)
tpStar :: MonadParsec e PyTokens m => m (Param SrcInfo)
tpDoubleStar :: MonadParsec e PyTokens m => m (Param SrcInfo)
tyAnn :: MonadParsec e PyTokens m => m (Colon, Expr SrcInfo)
typedParams :: MonadParsec e PyTokens m => m (CommaSep (Param SrcInfo))
untypedParams :: MonadParsec e PyTokens m => m Whitespace -> m (CommaSep (Param SrcInfo))
upPositional :: MonadParsec e PyTokens m => m Whitespace -> m (Param SrcInfo)
upStar :: MonadParsec e PyTokens m => m Whitespace -> m (Param SrcInfo)
upDoubleStar :: MonadParsec e PyTokens m => m Whitespace -> m (Param SrcInfo)
yieldExpr :: MonadParsec e PyTokens m => m Whitespace -> m (Expr SrcInfo)
anySpace :: MonadParsec e PyTokens m => m Whitespace
space :: MonadParsec e PyTokens m => m Whitespace
eol :: MonadParsec e PyTokens m => m Newline
continued :: MonadParsec e PyTokens m => m Whitespace
newline :: MonadParsec e PyTokens m => m Newline
indent :: MonadParsec e PyTokens m => m (Indents SrcInfo)
dedent :: MonadParsec e PyTokens m => m ()
level :: MonadParsec s PyTokens m => m (Indents SrcInfo)
blank :: MonadParsec e PyTokens m => m (Blank SrcInfo)
comment :: MonadParsec e PyTokens m => m (Comment SrcInfo)
sepBy1' :: MonadParsec e PyTokens m => m a -> m sep -> m (a, [(sep, a)], Maybe sep)

Documentation

type Parser = Parsec Void PyTokens Source #

runParser Source #

Arguments

:: AsParseError e (PyToken SrcInfo)
=> FilePath	File name
-> Parser a	Parser
-> [PyToken SrcInfo]	Input to parse
-> Either e a

Run a parser on some input

Stream type

newtype PyTokens Source #

Constructors

PyTokens
Fields unPyTokens :: [PyToken SrcInfo]

Instances

Eq PyTokens Source #
Instance details Defined in Language.Python.Internal.Parse Methods (==) :: PyTokens -> PyTokens -> Bool # (/=) :: PyTokens -> PyTokens -> Bool #
Ord PyTokens Source #
Instance details Defined in Language.Python.Internal.Parse Methods compare :: PyTokens -> PyTokens -> Ordering # (<) :: PyTokens -> PyTokens -> Bool # (<=) :: PyTokens -> PyTokens -> Bool # (>) :: PyTokens -> PyTokens -> Bool # (>=) :: PyTokens -> PyTokens -> Bool # max :: PyTokens -> PyTokens -> PyTokens # min :: PyTokens -> PyTokens -> PyTokens #
Stream PyTokens Source #
Instance details Defined in Language.Python.Internal.Parse Associated Types type Token PyTokens :: Type # type Tokens PyTokens :: Type # Methods tokenToChunk :: Proxy PyTokens -> Token PyTokens -> Tokens PyTokens # tokensToChunk :: Proxy PyTokens -> [Token PyTokens] -> Tokens PyTokens # chunkToTokens :: Proxy PyTokens -> Tokens PyTokens -> [Token PyTokens] # chunkLength :: Proxy PyTokens -> Tokens PyTokens -> Int # chunkEmpty :: Proxy PyTokens -> Tokens PyTokens -> Bool # positionAt1 :: Proxy PyTokens -> SourcePos -> Token PyTokens -> SourcePos # positionAtN :: Proxy PyTokens -> SourcePos -> Tokens PyTokens -> SourcePos # advance1 :: Proxy PyTokens -> Pos -> SourcePos -> Token PyTokens -> SourcePos # advanceN :: Proxy PyTokens -> Pos -> SourcePos -> Tokens PyTokens -> SourcePos # take1_ :: PyTokens -> Maybe (Token PyTokens, PyTokens) # takeN_ :: Int -> PyTokens -> Maybe (Tokens PyTokens, PyTokens) # takeWhile_ :: (Token PyTokens -> Bool) -> PyTokens -> (Tokens PyTokens, PyTokens) #
type Tokens PyTokens Source #
Instance details Defined in Language.Python.Internal.Parse type Tokens PyTokens = PyTokens
type Token PyTokens Source #
Instance details Defined in Language.Python.Internal.Parse type Token PyTokens = PyToken SrcInfo

Errors

class AsParseError s t | s -> t where Source #

Methods

_ParseError :: Prism' s (NonEmpty SourcePos, Maybe (ErrorItem t), Set (ErrorItem t)) Source #

Instances

AsParseError (ParseError a) (PyToken a) Source #
Instance details Defined in Language.Python.Parse.Error Methods _ParseError :: Prism' (ParseError a) (NonEmpty SourcePos, Maybe (ErrorItem (PyToken a)), Set (ErrorItem (PyToken a))) Source #