Language.Cimple

Documentation

data LexemeClass

Constructors

IdConst

IdFuncType

IdStdType

IdSueType

IdTyVar

IdVar

KwBitmask

KwBreak

KwCase

KwClass

KwConst

KwContinue

KwDefault

KwDo

KwElse

KwEnum

KwError

KwEvent

KwExtern

KwFor

KwGoto

KwIf

KwNamespace

KwReturn

KwSizeof

KwStatic

KwStaticAssert

KwStruct

KwSwitch

KwThis

KwTypedef

KwUnion

KwVla

KwVoid

KwWhile

KwWith

LitFalse

LitTrue

LitChar

LitInteger

LitString

LitSysInclude

PctAmpersand

PctAmpersandAmpersand

PctAmpersandEq

PctArrow

PctAsterisk

PctAsteriskEq

PctCaret

PctCaretEq

PctColon

PctComma

PctEllipsis

PctEMark

PctEMarkEq

PctEq

PctEqEq

PctGreater

PctGreaterEq

PctGreaterGreater

PctGreaterGreaterEq

PctLBrace

PctLBrack

PctLess

PctLessEq

PctLessLess

PctLessLessEq

PctLParen

PctMinus

PctMinusEq

PctMinusMinus

PctPeriod

PctPercent

PctPercentEq

PctPipe

PctPipeEq

PctPipePipe

PctPlus

PctPlusEq

PctPlusPlus

PctQMark

PctRBrace

PctRBrack

PctRParen

PctSemicolon

PctSlash

PctSlashEq

PctTilde

PpDefine

PpDefined

PpElif

PpElse

PpEndif

PpIf

PpIfdef

PpIfndef

PpInclude

PpNewline

PpUndef

CmtBlock

CmtIndent

CmtStart

CmtStartBlock

CmtStartDoc

CmtSpdxCopyright

CmtSpdxLicense

CmtCode

CmtWord

CmtRef

CmtEnd

Error

Eof

Instances

Eq LexemeClass

Defined in Language.Cimple.Tokens

Methods

(==) :: LexemeClass -> LexemeClass -> Bool

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

Ord LexemeClass

Defined in Language.Cimple.Tokens

Methods

compare :: LexemeClass -> LexemeClass -> Ordering

(<) :: LexemeClass -> LexemeClass -> Bool

(<=) :: LexemeClass -> LexemeClass -> Bool

(>) :: LexemeClass -> LexemeClass -> Bool

(>=) :: LexemeClass -> LexemeClass -> Bool

max :: LexemeClass -> LexemeClass -> LexemeClass

min :: LexemeClass -> LexemeClass -> LexemeClass

Show LexemeClass

Defined in Language.Cimple.Tokens

Methods

showsPrec :: Int -> LexemeClass -> ShowS

show :: LexemeClass -> String

showList :: [LexemeClass] -> ShowS

Generic LexemeClass

Defined in Language.Cimple.Tokens

Associated Types

type Rep LexemeClass :: Type -> Type

Methods

from :: LexemeClass -> Rep LexemeClass x

to :: Rep LexemeClass x -> LexemeClass

ToJSON LexemeClass

Defined in Language.Cimple.Tokens

Methods

toJSON :: LexemeClass -> Value

toEncoding :: LexemeClass -> Encoding

toJSONList :: [LexemeClass] -> Value

toEncodingList :: [LexemeClass] -> Encoding

FromJSON LexemeClass

Defined in Language.Cimple.Tokens

Methods

parseJSON :: Value -> Parser LexemeClass

parseJSONList :: Value -> Parser [LexemeClass]

type Rep LexemeClass

Defined in Language.Cimple.Tokens

type Rep LexemeClass = D1 ('MetaData "LexemeClass" "Language.Cimple.Tokens" "cimple-0.0.4-J0ENGYDBZEOCy2vORfX7lI" 'False) ((((((C1 ('MetaCons "IdConst" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IdFuncType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IdStdType" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "IdSueType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IdTyVar" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IdVar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwBitmask" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "KwBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KwCase" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwClass" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KwConst" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwContinue" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KwDefault" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwDo" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "KwElse" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KwEnum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwError" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KwEvent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwExtern" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KwFor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwGoto" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "KwIf" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KwNamespace" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwReturn" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KwSizeof" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwStatic" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KwStaticAssert" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwStruct" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "KwSwitch" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KwThis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwTypedef" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KwUnion" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwVla" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KwVoid" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwWhile" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "KwWith" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LitFalse" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LitTrue" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LitChar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LitInteger" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LitString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LitSysInclude" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "PctAmpersand" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PctAmpersandAmpersand" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctAmpersandEq" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PctArrow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctAsterisk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PctAsteriskEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctCaret" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PctCaretEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PctColon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctComma" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PctEllipsis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctEMark" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PctEMarkEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctEq" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "PctEqEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PctGreater" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctGreaterEq" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PctGreaterGreater" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctGreaterGreaterEq" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PctLBrace" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctLBrack" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PctLess" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PctLessEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctLessLess" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PctLessLessEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctLParen" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PctMinus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctMinusEq" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "PctMinusMinus" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PctPeriod" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctPercent" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PctPercentEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctPipe" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PctPipeEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctPipePipe" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PctPlus" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PctPlusEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctPlusPlus" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PctQMark" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctRBrace" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PctRBrack" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctRParen" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "PctSemicolon" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PctSlash" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PctSlashEq" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PctTilde" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PpDefine" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PpDefined" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PpElif" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PpElse" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PpEndif" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PpIf" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PpIfdef" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PpIfndef" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PpInclude" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PpNewline" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "PpUndef" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CmtBlock" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CmtIndent" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CmtStart" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CmtStartBlock" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CmtStartDoc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CmtSpdxCopyright" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CmtSpdxLicense" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CmtCode" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CmtWord" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CmtRef" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CmtEnd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Error" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eof" 'PrefixI 'False) (U1 :: Type -> Type))))))))

parseTranslationUnit :: Alex [StringNode]

data Alex a

Instances

Monad Alex

Defined in Language.Cimple.Lexer

Methods

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

(>>) :: Alex a -> Alex b -> Alex b

return :: a -> Alex a

Functor Alex

Defined in Language.Cimple.Lexer

Methods

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

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

Applicative Alex

Defined in Language.Cimple.Lexer

Methods

pure :: a -> Alex a

(<*>) :: Alex (a -> b) -> Alex a -> Alex b

liftA2 :: (a -> b -> c) -> Alex a -> Alex b -> Alex c

(*>) :: Alex a -> Alex b -> Alex b

(<*) :: Alex a -> Alex b -> Alex a

data AlexPosn

Constructors

AlexPn !Int !Int !Int

Instances

Eq AlexPosn

Defined in Language.Cimple.Lexer

Methods

(==) :: AlexPosn -> AlexPosn -> Bool

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

Show AlexPosn

Defined in Language.Cimple.Lexer

Methods

showsPrec :: Int -> AlexPosn -> ShowS

show :: AlexPosn -> String

showList :: [AlexPosn] -> ShowS

Generic AlexPosn

Defined in Language.Cimple.Lexer

Associated Types

type Rep AlexPosn :: Type -> Type

Methods

from :: AlexPosn -> Rep AlexPosn x

to :: Rep AlexPosn x -> AlexPosn

ToJSON AlexPosn

Defined in Language.Cimple.Lexer

Methods

toJSON :: AlexPosn -> Value

toEncoding :: AlexPosn -> Encoding

toJSONList :: [AlexPosn] -> Value

toEncodingList :: [AlexPosn] -> Encoding

FromJSON AlexPosn

Defined in Language.Cimple.Lexer

Methods

parseJSON :: Value -> Parser AlexPosn

parseJSONList :: Value -> Parser [AlexPosn]

type Rep AlexPosn

Defined in Language.Cimple.Lexer

type Rep AlexPosn = D1 ('MetaData "AlexPosn" "Language.Cimple.Lexer" "cimple-0.0.4-J0ENGYDBZEOCy2vORfX7lI" 'False) (C1 ('MetaCons "AlexPn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))))

alexError :: String -> Alex a

alexScanTokens :: String -> Either String [Lexeme String]

alexMonadScan :: Alex (Lexeme String)

data Lexeme text

Constructors

L AlexPosn LexemeClass text

Instances

Functor Lexeme

Defined in Language.Cimple.Lexer

Methods

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

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

Foldable Lexeme

Defined in Language.Cimple.Lexer

Methods

fold :: Monoid m => Lexeme m -> m

foldMap :: Monoid m => (a -> m) -> Lexeme a -> m

foldMap' :: Monoid m => (a -> m) -> Lexeme a -> m

foldr :: (a -> b -> b) -> b -> Lexeme a -> b

foldr' :: (a -> b -> b) -> b -> Lexeme a -> b

foldl :: (b -> a -> b) -> b -> Lexeme a -> b

foldl' :: (b -> a -> b) -> b -> Lexeme a -> b

foldr1 :: (a -> a -> a) -> Lexeme a -> a

foldl1 :: (a -> a -> a) -> Lexeme a -> a

toList :: Lexeme a -> [a]

null :: Lexeme a -> Bool

length :: Lexeme a -> Int

elem :: Eq a => a -> Lexeme a -> Bool

maximum :: Ord a => Lexeme a -> a

minimum :: Ord a => Lexeme a -> a

sum :: Num a => Lexeme a -> a

product :: Num a => Lexeme a -> a

Traversable Lexeme

Defined in Language.Cimple.Lexer

Methods

traverse :: Applicative f => (a -> f b) -> Lexeme a -> f (Lexeme b)

sequenceA :: Applicative f => Lexeme (f a) -> f (Lexeme a)

mapM :: Monad m => (a -> m b) -> Lexeme a -> m (Lexeme b)

sequence :: Monad m => Lexeme (m a) -> m (Lexeme a)

TraverseAst attr text [(FilePath, [Node attr (Lexeme text)])]

Defined in Language.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f attr text -> [(FilePath, [Node attr (Lexeme text)])] -> f [(FilePath, [Node attr (Lexeme text)])]

TraverseAst attr text [Node attr (Lexeme text)]

Defined in Language.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f attr text -> [Node attr (Lexeme text)] -> f [Node attr (Lexeme text)]

TraverseAst attr text [Lexeme text]

Defined in Language.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f attr text -> [Lexeme text] -> f [Lexeme text]

TraverseAst attr text (Lexeme text)

Defined in Language.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f attr text -> Lexeme text -> f (Lexeme text)

TraverseAst attr text (FilePath, [Node attr (Lexeme text)])

Defined in Language.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f attr text -> (FilePath, [Node attr (Lexeme text)]) -> f (FilePath, [Node attr (Lexeme text)])

TraverseAst attr text (Node attr (Lexeme text))

Defined in Language.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f attr text -> Node attr (Lexeme text) -> f (Node attr (Lexeme text))

Eq text => Eq (Lexeme text)

Defined in Language.Cimple.Lexer

Methods

(==) :: Lexeme text -> Lexeme text -> Bool

(/=) :: Lexeme text -> Lexeme text -> Bool

Show text => Show (Lexeme text)

Defined in Language.Cimple.Lexer

Methods

showsPrec :: Int -> Lexeme text -> ShowS

show :: Lexeme text -> String

showList :: [Lexeme text] -> ShowS

Generic (Lexeme text)

Defined in Language.Cimple.Lexer

Associated Types

type Rep (Lexeme text) :: Type -> Type

Methods

from :: Lexeme text -> Rep (Lexeme text) x

to :: Rep (Lexeme text) x -> Lexeme text

ToJSON text => ToJSON (Lexeme text)

Defined in Language.Cimple.Lexer

Methods

toJSON :: Lexeme text -> Value

toEncoding :: Lexeme text -> Encoding

toJSONList :: [Lexeme text] -> Value

toEncodingList :: [Lexeme text] -> Encoding

FromJSON text => FromJSON (Lexeme text)

Defined in Language.Cimple.Lexer

Methods

parseJSON :: Value -> Parser (Lexeme text)

parseJSONList :: Value -> Parser [Lexeme text]

type Rep (Lexeme text)

Defined in Language.Cimple.Lexer

type Rep (Lexeme text) = D1 ('MetaData "Lexeme" "Language.Cimple.Lexer" "cimple-0.0.4-J0ENGYDBZEOCy2vORfX7lI" 'False) (C1 ('MetaCons "L" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AlexPosn) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LexemeClass) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 text))))

lexemeClass :: Lexeme text -> LexemeClass

lexemePosn :: Lexeme text -> AlexPosn

lexemeText :: Lexeme text -> text

lexemeLine :: Lexeme text -> Int

mkL :: Applicative m => LexemeClass -> AlexInput -> Int -> m (Lexeme String)

runAlex :: String -> Alex a -> Either String a

data AssignOp

Constructors

AopEq

AopMul

AopDiv

AopPlus

AopMinus

AopBitAnd

AopBitOr

AopBitXor

AopMod

AopLsh

AopRsh

Instances

Eq AssignOp

Defined in Language.Cimple.AST

Methods

(==) :: AssignOp -> AssignOp -> Bool

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

Show AssignOp

Defined in Language.Cimple.AST

Methods

showsPrec :: Int -> AssignOp -> ShowS

show :: AssignOp -> String

showList :: [AssignOp] -> ShowS

Generic AssignOp

Defined in Language.Cimple.AST

Associated Types

type Rep AssignOp :: Type -> Type

Methods

from :: AssignOp -> Rep AssignOp x

to :: Rep AssignOp x -> AssignOp

ToJSON AssignOp

Defined in Language.Cimple.AST

Methods

toJSON :: AssignOp -> Value

toEncoding :: AssignOp -> Encoding

toJSONList :: [AssignOp] -> Value

toEncodingList :: [AssignOp] -> Encoding

FromJSON AssignOp

Defined in Language.Cimple.AST

Methods

parseJSON :: Value -> Parser AssignOp

parseJSONList :: Value -> Parser [AssignOp]

type Rep AssignOp

Defined in Language.Cimple.AST

type Rep AssignOp = D1 ('MetaData "AssignOp" "Language.Cimple.AST" "cimple-0.0.4-J0ENGYDBZEOCy2vORfX7lI" 'False) (((C1 ('MetaCons "AopEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AopMul" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AopDiv" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AopPlus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AopMinus" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "AopBitAnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AopBitOr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AopBitXor" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "AopMod" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AopLsh" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AopRsh" 'PrefixI 'False) (U1 :: Type -> Type)))))

data BinaryOp

Constructors

BopNe

BopEq

BopOr

BopBitXor

BopBitOr

BopAnd

BopBitAnd

BopDiv

BopMul

BopMod

BopPlus

BopMinus

BopLt

BopLe

BopLsh

BopGt

BopGe

BopRsh

Instances

Eq BinaryOp

Defined in Language.Cimple.AST

Methods

(==) :: BinaryOp -> BinaryOp -> Bool

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

Show BinaryOp

Defined in Language.Cimple.AST

Methods

showsPrec :: Int -> BinaryOp -> ShowS

show :: BinaryOp -> String

showList :: [BinaryOp] -> ShowS

Generic BinaryOp

Defined in Language.Cimple.AST

Associated Types

type Rep BinaryOp :: Type -> Type

Methods

from :: BinaryOp -> Rep BinaryOp x

to :: Rep BinaryOp x -> BinaryOp

ToJSON BinaryOp

Defined in Language.Cimple.AST

Methods

toJSON :: BinaryOp -> Value

toEncoding :: BinaryOp -> Encoding

toJSONList :: [BinaryOp] -> Value

toEncodingList :: [BinaryOp] -> Encoding

FromJSON BinaryOp

Defined in Language.Cimple.AST

Methods

parseJSON :: Value -> Parser BinaryOp

parseJSONList :: Value -> Parser [BinaryOp]

type Rep BinaryOp

Defined in Language.Cimple.AST

type Rep BinaryOp = D1 ('MetaData "BinaryOp" "Language.Cimple.AST" "cimple-0.0.4-J0ENGYDBZEOCy2vORfX7lI" 'False) ((((C1 ('MetaCons "BopNe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BopEq" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BopOr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BopBitXor" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "BopBitOr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BopAnd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BopBitAnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BopDiv" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BopMul" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "BopMod" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BopPlus" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BopMinus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BopLt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "BopLe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BopLsh" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BopGt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BopGe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BopRsh" 'PrefixI 'False) (U1 :: Type -> Type))))))

data UnaryOp

Constructors

UopNot

UopNeg

UopMinus

UopAddress

UopDeref

UopIncr

UopDecr

Instances

Eq UnaryOp

Defined in Language.Cimple.AST

Methods

(==) :: UnaryOp -> UnaryOp -> Bool

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

Show UnaryOp

Defined in Language.Cimple.AST

Methods

showsPrec :: Int -> UnaryOp -> ShowS

show :: UnaryOp -> String

showList :: [UnaryOp] -> ShowS

Generic UnaryOp

Defined in Language.Cimple.AST

Associated Types

type Rep UnaryOp :: Type -> Type

Methods

from :: UnaryOp -> Rep UnaryOp x

to :: Rep UnaryOp x -> UnaryOp

ToJSON UnaryOp

Defined in Language.Cimple.AST

Methods

toJSON :: UnaryOp -> Value

toEncoding :: UnaryOp -> Encoding

toJSONList :: [UnaryOp] -> Value

toEncodingList :: [UnaryOp] -> Encoding

FromJSON UnaryOp

Defined in Language.Cimple.AST

Methods

parseJSON :: Value -> Parser UnaryOp

parseJSONList :: Value -> Parser [UnaryOp]

type Rep UnaryOp

Defined in Language.Cimple.AST

type Rep UnaryOp = D1 ('MetaData "UnaryOp" "Language.Cimple.AST" "cimple-0.0.4-J0ENGYDBZEOCy2vORfX7lI" 'False) ((C1 ('MetaCons "UopNot" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UopNeg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UopMinus" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UopAddress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UopDeref" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UopIncr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UopDecr" 'PrefixI 'False) (U1 :: Type -> Type))))

data LiteralType

Constructors

Char

Int

Bool

String

ConstId

Instances

Eq LiteralType

Defined in Language.Cimple.AST

Methods

(==) :: LiteralType -> LiteralType -> Bool

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

Show LiteralType

Defined in Language.Cimple.AST

Methods

showsPrec :: Int -> LiteralType -> ShowS

show :: LiteralType -> String

showList :: [LiteralType] -> ShowS

Generic LiteralType

Defined in Language.Cimple.AST

Associated Types

type Rep LiteralType :: Type -> Type

Methods

from :: LiteralType -> Rep LiteralType x

to :: Rep LiteralType x -> LiteralType

ToJSON LiteralType

Defined in Language.Cimple.AST

Methods

toJSON :: LiteralType -> Value

toEncoding :: LiteralType -> Encoding

toJSONList :: [LiteralType] -> Value

toEncodingList :: [LiteralType] -> Encoding

FromJSON LiteralType

Defined in Language.Cimple.AST

Methods

parseJSON :: Value -> Parser LiteralType

parseJSONList :: Value -> Parser [LiteralType]

type Rep LiteralType

Defined in Language.Cimple.AST

type Rep LiteralType = D1 ('MetaData "LiteralType" "Language.Cimple.AST" "cimple-0.0.4-J0ENGYDBZEOCy2vORfX7lI" 'False) ((C1 ('MetaCons "Char" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Int" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Bool" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstId" 'PrefixI 'False) (U1 :: Type -> Type))))

data Node a lexeme

Constructors

Attr a

PreprocInclude lexeme

PreprocDefine lexeme

PreprocDefineConst lexeme (Node a lexeme)

PreprocDefineMacro lexeme [Node a lexeme] (Node a lexeme)

PreprocIf (Node a lexeme) [Node a lexeme] (Node a lexeme)

PreprocIfdef lexeme [Node a lexeme] (Node a lexeme)

PreprocIfndef lexeme [Node a lexeme] (Node a lexeme)

PreprocElse [Node a lexeme]

PreprocElif (Node a lexeme) [Node a lexeme] (Node a lexeme)

PreprocUndef lexeme

PreprocDefined lexeme

PreprocScopedDefine (Node a lexeme) [Node a lexeme] (Node a lexeme)

MacroBodyStmt [Node a lexeme]

MacroBodyFunCall (Node a lexeme)

MacroParam lexeme

StaticAssert (Node a lexeme) lexeme

LicenseDecl lexeme [Node a lexeme]

CopyrightDecl lexeme (Maybe lexeme) [lexeme]

Comment CommentStyle lexeme [Node a lexeme] lexeme

CommentBlock lexeme

CommentWord lexeme

Commented (Node a lexeme) (Node a lexeme)

ExternC [Node a lexeme]

Class Scope lexeme [Node a lexeme] [Node a lexeme]

Namespace Scope lexeme [Node a lexeme]

CompoundStmt [Node a lexeme]

Break

Goto lexeme

Continue

Return (Maybe (Node a lexeme))

SwitchStmt (Node a lexeme) [Node a lexeme]

IfStmt (Node a lexeme) [Node a lexeme] (Maybe (Node a lexeme))

ForStmt (Node a lexeme) (Node a lexeme) (Node a lexeme) [Node a lexeme]

WhileStmt (Node a lexeme) [Node a lexeme]

DoWhileStmt [Node a lexeme] (Node a lexeme)

Case (Node a lexeme) (Node a lexeme)

Default (Node a lexeme)

Label lexeme (Node a lexeme)

VLA (Node a lexeme) lexeme (Node a lexeme)

VarDecl (Node a lexeme) (Node a lexeme)

Declarator (Node a lexeme) (Maybe (Node a lexeme))

DeclSpecVar lexeme

DeclSpecArray (Node a lexeme) (Maybe (Node a lexeme))

InitialiserList [Node a lexeme]

UnaryExpr UnaryOp (Node a lexeme)

BinaryExpr (Node a lexeme) BinaryOp (Node a lexeme)

TernaryExpr (Node a lexeme) (Node a lexeme) (Node a lexeme)

AssignExpr (Node a lexeme) AssignOp (Node a lexeme)

ParenExpr (Node a lexeme)

CastExpr (Node a lexeme) (Node a lexeme)

CompoundExpr (Node a lexeme) (Node a lexeme)

SizeofExpr (Node a lexeme)

SizeofType (Node a lexeme)

LiteralExpr LiteralType lexeme

VarExpr lexeme

MemberAccess (Node a lexeme) lexeme

PointerAccess (Node a lexeme) lexeme

ArrayAccess (Node a lexeme) (Node a lexeme)

FunctionCall (Node a lexeme) [Node a lexeme]

CommentExpr (Node a lexeme) (Node a lexeme)

EnumClass lexeme [Node a lexeme]

EnumConsts (Maybe lexeme) [Node a lexeme]

EnumDecl lexeme [Node a lexeme] lexeme

Enumerator lexeme (Maybe (Node a lexeme))

ClassForward lexeme [Node a lexeme]

Typedef (Node a lexeme) lexeme

TypedefFunction (Node a lexeme)

Struct lexeme [Node a lexeme]

Union lexeme [Node a lexeme]

MemberDecl (Node a lexeme) (Node a lexeme) (Maybe lexeme)

TyConst (Node a lexeme)

TyPointer (Node a lexeme)

TyStruct lexeme

TyFunc lexeme

TyStd lexeme

TyVar lexeme

TyUserDefined lexeme

FunctionDecl Scope (Node a lexeme) (Maybe (Node a lexeme))

FunctionDefn Scope (Node a lexeme) [Node a lexeme]

FunctionPrototype (Node a lexeme) lexeme [Node a lexeme]

FunctionParam (Node a lexeme) (Node a lexeme)

Event lexeme (Node a lexeme)

EventParams [Node a lexeme]

Property (Node a lexeme) (Node a lexeme) [Node a lexeme]

Accessor lexeme [Node a lexeme] (Maybe (Node a lexeme))

ErrorDecl lexeme [Node a lexeme]

ErrorList [Node a lexeme]

ErrorFor lexeme

Ellipsis

ConstDecl (Node a lexeme) lexeme

ConstDefn Scope (Node a lexeme) lexeme (Node a lexeme)

Instances

TraverseAst attr text [(FilePath, [Node attr (Lexeme text)])]

Defined in Language.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f attr text -> [(FilePath, [Node attr (Lexeme text)])] -> f [(FilePath, [Node attr (Lexeme text)])]

TraverseAst attr text [Node attr (Lexeme text)]

Defined in Language.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f attr text -> [Node attr (Lexeme text)] -> f [Node attr (Lexeme text)]

TraverseAst attr text (FilePath, [Node attr (Lexeme text)])

Defined in Language.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f attr text -> (FilePath, [Node attr (Lexeme text)]) -> f (FilePath, [Node attr (Lexeme text)])

TraverseAst attr text (Node attr (Lexeme text))

Defined in Language.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f attr text -> Node attr (Lexeme text) -> f (Node attr (Lexeme text))

Functor (Node a)

Defined in Language.Cimple.AST

Methods

fmap :: (a0 -> b) -> Node a a0 -> Node a b

(<$) :: a0 -> Node a b -> Node a a0

Foldable (Node a)

Defined in Language.Cimple.AST

Methods

fold :: Monoid m => Node a m -> m

foldMap :: Monoid m => (a0 -> m) -> Node a a0 -> m

foldMap' :: Monoid m => (a0 -> m) -> Node a a0 -> m

foldr :: (a0 -> b -> b) -> b -> Node a a0 -> b

foldr' :: (a0 -> b -> b) -> b -> Node a a0 -> b

foldl :: (b -> a0 -> b) -> b -> Node a a0 -> b

foldl' :: (b -> a0 -> b) -> b -> Node a a0 -> b

foldr1 :: (a0 -> a0 -> a0) -> Node a a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> Node a a0 -> a0

toList :: Node a a0 -> [a0]

null :: Node a a0 -> Bool

length :: Node a a0 -> Int

elem :: Eq a0 => a0 -> Node a a0 -> Bool

maximum :: Ord a0 => Node a a0 -> a0

minimum :: Ord a0 => Node a a0 -> a0

sum :: Num a0 => Node a a0 -> a0

product :: Num a0 => Node a a0 -> a0

Traversable (Node a)

Defined in Language.Cimple.AST

Methods

traverse :: Applicative f => (a0 -> f b) -> Node a a0 -> f (Node a b)

sequenceA :: Applicative f => Node a (f a0) -> f (Node a a0)

mapM :: Monad m => (a0 -> m b) -> Node a a0 -> m (Node a b)

sequence :: Monad m => Node a (m a0) -> m (Node a a0)

(Eq a, Eq lexeme) => Eq (Node a lexeme)

Defined in Language.Cimple.AST

Methods

(==) :: Node a lexeme -> Node a lexeme -> Bool

(/=) :: Node a lexeme -> Node a lexeme -> Bool

(Show a, Show lexeme) => Show (Node a lexeme)

Defined in Language.Cimple.AST

Methods

showsPrec :: Int -> Node a lexeme -> ShowS

show :: Node a lexeme -> String

showList :: [Node a lexeme] -> ShowS

Generic (Node a lexeme)

Defined in Language.Cimple.AST

Associated Types

type Rep (Node a lexeme) :: Type -> Type

Methods

from :: Node a lexeme -> Rep (Node a lexeme) x

to :: Rep (Node a lexeme) x -> Node a lexeme

(ToJSON a, ToJSON lexeme) => ToJSON (Node a lexeme)

Defined in Language.Cimple.AST

Methods

toJSON :: Node a lexeme -> Value

toEncoding :: Node a lexeme -> Encoding

toJSONList :: [Node a lexeme] -> Value

toEncodingList :: [Node a lexeme] -> Encoding

(FromJSON a, FromJSON lexeme) => FromJSON (Node a lexeme)

Defined in Language.Cimple.AST

Methods

parseJSON :: Value -> Parser (Node a lexeme)

parseJSONList :: Value -> Parser [Node a lexeme]

type Rep (Node a lexeme)

Defined in Language.Cimple.AST

type Rep (Node a lexeme) = D1 ('MetaData "Node" "Language.Cimple.AST" "cimple-0.0.4-J0ENGYDBZEOCy2vORfX7lI" 'False) ((((((C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "PreprocInclude" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))) :+: (C1 ('MetaCons "PreprocDefine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "PreprocDefineConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: C1 ('MetaCons "PreprocDefineMacro" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))))))) :+: ((C1 ('MetaCons "PreprocIf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)))) :+: (C1 ('MetaCons "PreprocIfdef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)))) :+: C1 ('MetaCons "PreprocIfndef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)))))) :+: (C1 ('MetaCons "PreprocElse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: (C1 ('MetaCons "PreprocElif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)))) :+: C1 ('MetaCons "PreprocUndef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))))) :+: (((C1 ('MetaCons "PreprocDefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "PreprocScopedDefine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)))) :+: C1 ('MetaCons "MacroBodyStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])))) :+: (C1 ('MetaCons "MacroBodyFunCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: (C1 ('MetaCons "MacroParam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "StaticAssert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))))) :+: ((C1 ('MetaCons "LicenseDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: (C1 ('MetaCons "CopyrightDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [lexeme]))) :+: C1 ('MetaCons "Comment" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CommentStyle) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))))) :+: (C1 ('MetaCons "CommentBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "CommentWord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "Commented" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)))))))) :+: ((((C1 ('MetaCons "ExternC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: C1 ('MetaCons "Class" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scope) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])))) :+: (C1 ('MetaCons "Namespace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scope) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]))) :+: (C1 ('MetaCons "CompoundStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: C1 ('MetaCons "Break" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Goto" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "Continue" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Return" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Node a lexeme)))))) :+: (C1 ('MetaCons "SwitchStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: (C1 ('MetaCons "IfStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Node a lexeme))))) :+: C1 ('MetaCons "ForStmt" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]))))))) :+: (((C1 ('MetaCons "WhileStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: (C1 ('MetaCons "DoWhileStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: C1 ('MetaCons "Case" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))))) :+: (C1 ('MetaCons "Default" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: (C1 ('MetaCons "Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: C1 ('MetaCons "VLA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))))))) :+: ((C1 ('MetaCons "VarDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: (C1 ('MetaCons "Declarator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Node a lexeme)))) :+: C1 ('MetaCons "DeclSpecVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))) :+: (C1 ('MetaCons "DeclSpecArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Node a lexeme)))) :+: (C1 ('MetaCons "InitialiserList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: C1 ('MetaCons "UnaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UnaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))))))))) :+: (((((C1 ('MetaCons "BinaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BinaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)))) :+: C1 ('MetaCons "TernaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))))) :+: (C1 ('MetaCons "AssignExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AssignOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)))) :+: (C1 ('MetaCons "ParenExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: C1 ('MetaCons "CastExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)))))) :+: ((C1 ('MetaCons "CompoundExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: (C1 ('MetaCons "SizeofExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: C1 ('MetaCons "SizeofType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))))) :+: (C1 ('MetaCons "LiteralExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 LiteralType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "VarExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "MemberAccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))))) :+: (((C1 ('MetaCons "PointerAccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "ArrayAccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: C1 ('MetaCons "FunctionCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])))) :+: (C1 ('MetaCons "CommentExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: (C1 ('MetaCons "EnumClass" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: C1 ('MetaCons "EnumConsts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]))))) :+: ((C1 ('MetaCons "EnumDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))) :+: (C1 ('MetaCons "Enumerator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Node a lexeme)))) :+: C1 ('MetaCons "ClassForward" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])))) :+: (C1 ('MetaCons "Typedef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "TypedefFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: C1 ('MetaCons "Struct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]))))))) :+: ((((C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: C1 ('MetaCons "MemberDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe lexeme))))) :+: (C1 ('MetaCons "TyConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: (C1 ('MetaCons "TyPointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: C1 ('MetaCons "TyStruct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))))) :+: ((C1 ('MetaCons "TyFunc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "TyStd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "TyVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))) :+: (C1 ('MetaCons "TyUserDefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "FunctionDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scope) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Node a lexeme))))) :+: C1 ('MetaCons "FunctionDefn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scope) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]))))))) :+: (((C1 ('MetaCons "FunctionPrototype" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]))) :+: (C1 ('MetaCons "FunctionParam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :+: C1 ('MetaCons "Event" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))))) :+: (C1 ('MetaCons "EventParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: (C1 ('MetaCons "Property" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]))) :+: C1 ('MetaCons "Accessor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Node a lexeme)))))))) :+: ((C1 ('MetaCons "ErrorDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: (C1 ('MetaCons "ErrorList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Node a lexeme])) :+: C1 ('MetaCons "ErrorFor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))) :+: (C1 ('MetaCons "Ellipsis" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ConstDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "ConstDefn" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scope) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Node a lexeme)))))))))))

data Scope

Constructors

Global

Static

Instances

Eq Scope

Defined in Language.Cimple.AST

Methods

(==) :: Scope -> Scope -> Bool

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

Show Scope

Defined in Language.Cimple.AST

Methods

showsPrec :: Int -> Scope -> ShowS

show :: Scope -> String

showList :: [Scope] -> ShowS

Generic Scope

Defined in Language.Cimple.AST

Associated Types

type Rep Scope :: Type -> Type

Methods

from :: Scope -> Rep Scope x

to :: Rep Scope x -> Scope

ToJSON Scope

Defined in Language.Cimple.AST

Methods

toJSON :: Scope -> Value

toEncoding :: Scope -> Encoding

toJSONList :: [Scope] -> Value

toEncodingList :: [Scope] -> Encoding

FromJSON Scope

Defined in Language.Cimple.AST

Methods

parseJSON :: Value -> Parser Scope

parseJSONList :: Value -> Parser [Scope]

type Rep Scope

Defined in Language.Cimple.AST

type Rep Scope = D1 ('MetaData "Scope" "Language.Cimple.AST" "cimple-0.0.4-J0ENGYDBZEOCy2vORfX7lI" 'False) (C1 ('MetaCons "Global" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Static" 'PrefixI 'False) (U1 :: Type -> Type))

data CommentStyle

Constructors

Regular

Doxygen

Block

Instances

Eq CommentStyle

Defined in Language.Cimple.AST

Methods

(==) :: CommentStyle -> CommentStyle -> Bool

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

Show CommentStyle

Defined in Language.Cimple.AST

Methods

showsPrec :: Int -> CommentStyle -> ShowS

show :: CommentStyle -> String

showList :: [CommentStyle] -> ShowS

Generic CommentStyle

Defined in Language.Cimple.AST

Associated Types

type Rep CommentStyle :: Type -> Type

Methods

from :: CommentStyle -> Rep CommentStyle x

to :: Rep CommentStyle x -> CommentStyle

ToJSON CommentStyle

Defined in Language.Cimple.AST

Methods

toJSON :: CommentStyle -> Value

toEncoding :: CommentStyle -> Encoding

toJSONList :: [CommentStyle] -> Value

toEncodingList :: [CommentStyle] -> Encoding

FromJSON CommentStyle

Defined in Language.Cimple.AST

Methods

parseJSON :: Value -> Parser CommentStyle

parseJSONList :: Value -> Parser [CommentStyle]

type Rep CommentStyle

Defined in Language.Cimple.AST

type Rep CommentStyle = D1 ('MetaData "CommentStyle" "Language.Cimple.AST" "cimple-0.0.4-J0ENGYDBZEOCy2vORfX7lI" 'False) (C1 ('MetaCons "Regular" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Doxygen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Block" 'PrefixI 'False) (U1 :: Type -> Type)))