language-python-0.3.4: Parsing and pretty printing of Python code.

Portabilityghc
Stabilityexperimental
Maintainerbjpop@csse.unimelb.edu.au
Safe HaskellSafe-Inferred

Language.Python.Common.ParserMonad

Description

Monad support for Python parser and lexer.

Documentation

type P a = StateT ParseState (Either ParseError) aSource

execParser :: P a -> ParseState -> Either ParseError aSource

execParserKeepComments :: P a -> ParseState -> Either ParseError (a, [Token])Source

runParser :: P a -> ParseState -> Either ParseError (a, ParseState)Source

thenP :: P a -> (a -> P b) -> P bSource

returnP :: a -> P aSource

setLocation :: SrcLocation -> P ()Source

getLocation :: P SrcLocationSource

getInput :: P StringSource

setInput :: String -> P ()Source

getLastToken :: P TokenSource

setLastToken :: Token -> P ()Source

setLastEOL :: SrcSpan -> P ()Source

getLastEOL :: P SrcSpanSource

data ParseError Source

Constructors

UnexpectedToken Token

An error from the parser. Token found where it should not be. Note: tokens contain their own source span.

UnexpectedChar Char SrcLocation

An error from the lexer. Character found where it should not be.

StrError String

A generic error containing a string message. No source location.

Instances

data ParseState Source

Constructors

ParseState 

Fields

location :: !SrcLocation
 
input :: !String
 
previousToken :: !Token
 
startCodeStack :: [Int]
 
indentStack :: [Int]
 
parenStack :: [Token]
 
lastEOL :: !SrcSpan
 
comments :: [Token]
 

Instances

initialState :: SrcLocation -> String -> [Int] -> ParseStateSource

pushStartCode :: Int -> P ()Source

popStartCode :: P ()Source

getStartCode :: P IntSource

getIndent :: P IntSource

pushIndent :: Int -> P ()Source

popIndent :: P ()Source

getIndentStackDepth :: P IntSource

getParen :: P (Maybe Token)Source

pushParen :: Token -> P ()Source

popParen :: P ()Source

getParenStackDepth :: P IntSource

addComment :: Token -> P ()Source

getComments :: P [Token]Source

spanError :: Span a => a -> String -> P bSource