Copyright	(c) 2006-2011 Harvard University (c) 2011-2013 Geoffrey Mainland
License	BSD-style
Maintainer	mainland@drexel.edu
Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.C.Parser.Monad

Description

Synopsis

data P a
runP :: P a -> PState -> Either SomeException (a, PState)
evalP :: P a -> PState -> Either SomeException a
data PState
emptyPState :: [Extensions] -> [String] -> ByteString -> Maybe Pos -> PState
getInput :: P AlexInput
setInput :: AlexInput -> P ()
pushLexState :: Int -> P ()
popLexState :: P Int
getLexState :: P Int
pushbackToken :: L Token -> P ()
getPushbackToken :: P (Maybe (L Token))
getCurToken :: P (L Token)
setCurToken :: L Token -> P ()
addTypedef :: String -> P ()
addClassdef :: String -> P ()
addVariable :: String -> P ()
isTypedef :: String -> P Bool
isClassdef :: String -> P Bool
pushScope :: P ()
popScope :: P ()
c99Exts :: ExtensionsInt
c11Exts :: ExtensionsInt
gccExts :: ExtensionsInt
blocksExts :: ExtensionsInt
cudaExts :: ExtensionsInt
openCLExts :: ExtensionsInt
objcExts :: ExtensionsInt
useExts :: ExtensionsInt -> P Bool
antiquotationExts :: ExtensionsInt
useC99Exts :: P Bool
useC11Exts :: P Bool
useGccExts :: P Bool
useBlocksExts :: P Bool
useCUDAExts :: P Bool
useOpenCLExts :: P Bool
useObjCExts :: P Bool
data LexerException = LexerException (Maybe Pos) Doc
data ParserException = ParserException Loc Doc
quoteTok :: Doc -> Doc
failAt :: Loc -> String -> P a
lexerError :: AlexInput -> Doc -> P a
unexpectedEOF :: AlexInput -> P a
emptyCharacterLiteral :: AlexInput -> P a
illegalCharacterLiteral :: AlexInput -> P a
illegalNumericalLiteral :: AlexInput -> P a
parserError :: Loc -> Doc -> P a
unclosed :: Loc -> String -> P a
expected :: [String] -> Maybe String -> P b
expectedAt :: L Token -> [String] -> Maybe String -> P b
data AlexInput = AlexInput {
- alexPos :: !(Maybe Pos)
- alexPrevChar :: !Char
- alexInput :: !ByteString
- alexOff :: !Int
}
alexGetChar :: AlexInput -> Maybe (Char, AlexInput)
alexGetByte :: AlexInput -> Maybe (Word8, AlexInput)
alexInputPrevChar :: AlexInput -> Char
alexLoc :: AlexInput -> AlexInput -> Loc
nextChar :: P Char
peekChar :: P Char
maybePeekChar :: P (Maybe Char)
skipChar :: P ()
type AlexPredicate = PState -> AlexInput -> Int -> AlexInput -> Bool
allowAnti :: AlexPredicate
ifExtension :: ExtensionsInt -> AlexPredicate

Documentation

data P a Source #

Instances

Instances details

MonadFail P Source #
Instance details Defined in Language.C.Parser.Monad Methods fail :: String -> P a #
Applicative P Source #
Instance details Defined in Language.C.Parser.Monad Methods pure :: a -> P a # (<>) :: P (a -> b) -> P a -> P b # liftA2 :: (a -> b -> c) -> P a -> P b -> P c # (>) :: P a -> P b -> P b # (<*) :: P a -> P b -> P a #
Functor P Source #
Instance details Defined in Language.C.Parser.Monad Methods fmap :: (a -> b) -> P a -> P b # (<$) :: a -> P b -> P a #
Monad P Source #
Instance details Defined in Language.C.Parser.Monad Methods (>>=) :: P a -> (a -> P b) -> P b # (>>) :: P a -> P b -> P b # return :: a -> P a #
MonadException P Source #
Instance details Defined in Language.C.Parser.Monad Methods throw :: Exception e => e -> P a # catch :: Exception e => P a -> (e -> P a) -> P a # finally :: P a -> P b -> P a #
MonadState PState P Source #
Instance details Defined in Language.C.Parser.Monad Methods get :: P PState # put :: PState -> P () # state :: (PState -> (a, PState)) -> P a #

runP :: P a -> PState -> Either SomeException (a, PState) Source #

evalP :: P a -> PState -> Either SomeException a Source #

data PState Source #

Instances

Instances details

MonadState PState P Source #
Instance details Defined in Language.C.Parser.Monad Methods get :: P PState # put :: PState -> P () # state :: (PState -> (a, PState)) -> P a #

emptyPState :: [Extensions] -> [String] -> ByteString -> Maybe Pos -> PState Source #

getInput :: P AlexInput Source #

setInput :: AlexInput -> P () Source #

pushLexState :: Int -> P () Source #

popLexState :: P Int Source #

getLexState :: P Int Source #

pushbackToken :: L Token -> P () Source #

getPushbackToken :: P (Maybe (L Token)) Source #

getCurToken :: P (L Token) Source #

setCurToken :: L Token -> P () Source #

addTypedef :: String -> P () Source #

addClassdef :: String -> P () Source #

addVariable :: String -> P () Source #

isTypedef :: String -> P Bool Source #

isClassdef :: String -> P Bool Source #

pushScope :: P () Source #

popScope :: P () Source #

c99Exts :: ExtensionsInt Source #

c11Exts :: ExtensionsInt Source #

gccExts :: ExtensionsInt Source #

blocksExts :: ExtensionsInt Source #

cudaExts :: ExtensionsInt Source #

openCLExts :: ExtensionsInt Source #

objcExts :: ExtensionsInt Source #

useExts :: ExtensionsInt -> P Bool Source #

antiquotationExts :: ExtensionsInt Source #

useC99Exts :: P Bool Source #

useC11Exts :: P Bool Source #

useGccExts :: P Bool Source #

useBlocksExts :: P Bool Source #

useCUDAExts :: P Bool Source #

useOpenCLExts :: P Bool Source #

useObjCExts :: P Bool Source #

data LexerException Source #

Constructors

LexerException (Maybe Pos) Doc

Instances

Instances details

Exception LexerException Source #
Instance details Defined in Language.C.Parser.Monad Methods toException :: LexerException -> SomeException # fromException :: SomeException -> Maybe LexerException # displayException :: LexerException -> String #
Show LexerException Source #
Instance details Defined in Language.C.Parser.Monad Methods showsPrec :: Int -> LexerException -> ShowS # show :: LexerException -> String # showList :: [LexerException] -> ShowS #

data ParserException Source #

Constructors

ParserException Loc Doc

Instances

Instances details

Exception ParserException Source #
Instance details Defined in Language.C.Parser.Monad Methods toException :: ParserException -> SomeException # fromException :: SomeException -> Maybe ParserException # displayException :: ParserException -> String #
Show ParserException Source #
Instance details Defined in Language.C.Parser.Monad Methods showsPrec :: Int -> ParserException -> ShowS # show :: ParserException -> String # showList :: [ParserException] -> ShowS #