Language.Python.Internal.Parse

Documentation

type Parser = Parsec Void PyTokens

runParser

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

Constructors

PyTokens

Fields

• unPyTokens :: [PyToken SrcInfo]

Instances

Eq PyTokens

Defined in Language.Python.Internal.Parse

Methods

(==) :: PyTokens -> PyTokens -> Bool

(/=) :: PyTokens -> PyTokens -> Bool

Ord PyTokens

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

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

Defined in Language.Python.Internal.Parse

type Tokens PyTokens = PyTokens

type Token PyTokens

Defined in Language.Python.Internal.Parse

type Token PyTokens = PyToken SrcInfo

Errors

class AsParseError s t | s -> t where

Methods

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

Instances

AsParseError (ParseError a) (PyToken a)

Defined in Language.Python.Parse.Error

Methods

_ParseError :: Prism' (ParseError a) (NonEmpty SourcePos, Maybe (ErrorItem (PyToken a)), Set (ErrorItem (PyToken a)))

unsafeFromParseError :: (HasCallStack, AsParseError s t) => ParseError t e -> s

Convert a concrete ParseError to a value that has an instance of AsParseError

This function is partial because our parser will never use FancyError

Parsers

token :: MonadParsec e PyTokens m => m Whitespace -> (PyToken SrcInfo -> Bool) -> String -> m (PyToken SrcInfo, [Whitespace])

Symbols

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])

Atomic forms

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)

Compound forms

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)

Formatting

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)

Miscellaneous combinators

sepBy1' :: MonadParsec e PyTokens m => m a -> m sep -> m (a, [(sep, a)], Maybe sep)