Language.C.Parser.Monad

Documentation

data P a

Instances

Monad P

Defined in Language.C.Parser.Monad

Methods

(>>=) :: P a -> (a -> P b) -> P b

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

return :: a -> P a

fail :: String -> P a

Functor P

Defined in Language.C.Parser.Monad

Methods

fmap :: (a -> b) -> P a -> P b

(<$) :: a -> P b -> P a

Applicative P

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

MonadException P

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

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)

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

data PState

Instances

MonadState PState P

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

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

Constructors

LexerException (Maybe Pos) Doc

Instances

Show LexerException

Defined in Language.C.Parser.Monad

Methods

showsPrec :: Int -> LexerException -> ShowS

show :: LexerException -> String

showList :: [LexerException] -> ShowS

Exception LexerException

Defined in Language.C.Parser.Monad

Methods

toException :: LexerException -> SomeException

fromException :: SomeException -> Maybe LexerException

displayException :: LexerException -> String

data ParserException

Constructors

ParserException Loc Doc

Instances

Show ParserException

Defined in Language.C.Parser.Monad

Methods

showsPrec :: Int -> ParserException -> ShowS

show :: ParserException -> String

showList :: [ParserException] -> ShowS

Exception ParserException

Defined in Language.C.Parser.Monad

Methods

toException :: ParserException -> SomeException

fromException :: SomeException -> Maybe ParserException

displayException :: ParserException -> String

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

Constructors

AlexInput

Fields

• 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

The components of an AlexPredicate are the predicate state, input stream before the token, length of the token, input stream after the token.

allowAnti :: AlexPredicate

ifExtension :: ExtensionsInt -> AlexPredicate