libcspm-0.2.0: A library providing a parser, type checker and evaluator for CSPM.

CSPM.Parser.Monad

Documentation

type ParseMonad = StateT ParserState IOSource

data ParserState Source

Constructors

ParserState 

Fields

rootDir :: !String
 
fileStack :: ![FileParserState]
 

Instances

data FileParserState Source

Constructors

FileParserState 

Fields

tokenizerPos :: !FilePosition
 
fileName :: !String
 
input :: String
 
previousChar :: !Char
 
currentStartCode :: !Int
 
sequenceStack :: ![Int]
 

Instances

movePos :: FilePosition -> Char -> FilePositionSource

setParserState :: ParserState -> ParseMonad ()Source

getParserState :: ParseMonad ParserStateSource

data FilePosition Source

Constructors

FilePosition !Int !Int !Int 

Instances

filePositionToSrcLoc :: String -> FilePosition -> SrcSpanSource

modifyTopFileParserState :: (FileParserState -> FileParserState) -> ParseMonad ()Source

getTopFileParserState :: ParseMonad FileParserStateSource

runParser :: ParseMonad a -> String -> IO aSource

pushFile :: String -> ParseMonad a -> ParseMonad aSource

pushFileContents :: String -> String -> ParseMonad ()Source

getTokenizerPos :: ParseMonad FilePositionSource

getFileName :: ParseMonad StringSource

getInput :: ParseMonad StringSource

getPreviousChar :: ParseMonad CharSource

getCurrentStartCode :: ParseMonad IntSource

setCurrentStartCode :: Int -> ParseMonad ()Source

getSequenceStack :: ParseMonad [Int]Source

setSequenceStack :: [Int] -> ParseMonad ()Source