Safe Haskell	None
Language	Haskell2010

Language.Cimple

Documentation

data LexemeClass Source #

Constructors

IdConst
IdFuncType
IdStdType
IdSueType
IdVar
KwBitwise
KwBreak
KwCase
KwConst
KwContinue
KwDefault
KwDo
KwElse
KwEnum
KwExtern
KwFor
KwForce
KwGnuPrintf
KwGoto
KwIf
KwNonNull
KwNullable
KwOwner
KwReturn
KwSizeof
KwStatic
KwStaticAssert
KwStruct
KwSwitch
KwTypedef
KwUnion
KwVla
KwVoid
KwWhile
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
CmtCommand
CmtAttr
CmtEndDocSection
CmtIndent
CmtStart
CmtStartCode
CmtStartBlock
CmtStartDoc
CmtStartDocSection
CmtSpdxCopyright
CmtSpdxLicense
CmtCode
CmtWord
CmtRef
CmtEnd
IgnStart
IgnBody
IgnEnd
ErrorToken
Eof

Instances

Instances details

Bounded LexemeClass Source #
Instance details Defined in Language.Cimple.Tokens Methods minBound :: LexemeClass # maxBound :: LexemeClass #
Enum LexemeClass Source #
Instance details Defined in Language.Cimple.Tokens Methods succ :: LexemeClass -> LexemeClass # pred :: LexemeClass -> LexemeClass # toEnum :: Int -> LexemeClass # fromEnum :: LexemeClass -> Int # enumFrom :: LexemeClass -> [LexemeClass] # enumFromThen :: LexemeClass -> LexemeClass -> [LexemeClass] # enumFromTo :: LexemeClass -> LexemeClass -> [LexemeClass] # enumFromThenTo :: LexemeClass -> LexemeClass -> LexemeClass -> [LexemeClass] #
Eq LexemeClass Source #
Instance details Defined in Language.Cimple.Tokens Methods (==) :: LexemeClass -> LexemeClass -> Bool # (/=) :: LexemeClass -> LexemeClass -> Bool #
Ord LexemeClass Source #
Instance details 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 Source #
Instance details Defined in Language.Cimple.Tokens Methods showsPrec :: Int -> LexemeClass -> ShowS # show :: LexemeClass -> String # showList :: [LexemeClass] -> ShowS #
Generic LexemeClass Source #
Instance details 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 Source #
Instance details Defined in Language.Cimple.Tokens Methods toJSON :: LexemeClass -> Value # toEncoding :: LexemeClass -> Encoding # toJSONList :: [LexemeClass] -> Value # toEncodingList :: [LexemeClass] -> Encoding # omitField :: LexemeClass -> Bool #
FromJSON LexemeClass Source #
Instance details Defined in Language.Cimple.Tokens Methods parseJSON :: Value -> Parser LexemeClass # parseJSONList :: Value -> Parser [LexemeClass] # omittedField :: Maybe LexemeClass #
type Rep LexemeClass Source #
Instance details Defined in Language.Cimple.Tokens type Rep LexemeClass = D1 ('MetaData "LexemeClass" "Language.Cimple.Tokens" "cimple-0.0.21-inplace" '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 "IdVar" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KwBitwise" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwBreak" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "KwCase" '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 "KwExtern" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KwFor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwForce" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KwGnuPrintf" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwGoto" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KwIf" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwNonNull" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "KwNullable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwOwner" '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 "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 "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 "CmtCommand" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CmtAttr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CmtEndDocSection" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CmtIndent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CmtStart" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CmtStartCode" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CmtStartBlock" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CmtStartDoc" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CmtStartDocSection" '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 "IgnStart" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "IgnBody" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IgnEnd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ErrorToken" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eof" 'PrefixI 'False) (U1 :: Type -> Type))))))))

parseExpr :: Alex NonTerm Source #

parseStmt :: Alex NonTerm Source #

parseTranslationUnit :: Alex [NonTerm] Source #

source :: Maybe ByteString Source #

module Language.Cimple.MapAst

data Alex a Source #

Instances

Instances details

Monad Alex Source #
Instance details 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 Source #
Instance details Defined in Language.Cimple.Lexer Methods fmap :: (a -> b) -> Alex a -> Alex b # (<$) :: a -> Alex b -> Alex a #
Applicative Alex Source #
Instance details 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 Source #

Constructors

AlexPn !Int !Int !Int

Instances

Instances details

Eq AlexPosn Source #
Instance details Defined in Language.Cimple.Lexer Methods (==) :: AlexPosn -> AlexPosn -> Bool # (/=) :: AlexPosn -> AlexPosn -> Bool #
Ord AlexPosn Source #
Instance details Defined in Language.Cimple.Lexer Methods compare :: AlexPosn -> AlexPosn -> Ordering # (<) :: AlexPosn -> AlexPosn -> Bool # (<=) :: AlexPosn -> AlexPosn -> Bool # (>) :: AlexPosn -> AlexPosn -> Bool # (>=) :: AlexPosn -> AlexPosn -> Bool # max :: AlexPosn -> AlexPosn -> AlexPosn # min :: AlexPosn -> AlexPosn -> AlexPosn #
Show AlexPosn Source #
Instance details Defined in Language.Cimple.Lexer Methods showsPrec :: Int -> AlexPosn -> ShowS # show :: AlexPosn -> String # showList :: [AlexPosn] -> ShowS #
Generic AlexPosn Source #
Instance details 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 Source #
Instance details Defined in Language.Cimple.Lexer Methods toJSON :: AlexPosn -> Value # toEncoding :: AlexPosn -> Encoding # toJSONList :: [AlexPosn] -> Value # toEncodingList :: [AlexPosn] -> Encoding # omitField :: AlexPosn -> Bool #
FromJSON AlexPosn Source #
Instance details Defined in Language.Cimple.Lexer Methods parseJSON :: Value -> Parser AlexPosn # parseJSONList :: Value -> Parser [AlexPosn] # omittedField :: Maybe AlexPosn #
type Rep AlexPosn Source #
Instance details Defined in Language.Cimple.Lexer type Rep AlexPosn = D1 ('MetaData "AlexPosn" "Language.Cimple.Lexer" "cimple-0.0.21-inplace" '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 Source #

alexScanTokens :: ByteString -> Either String [Lexeme Text] Source #

alexMonadScan :: Alex (Lexeme Text) Source #

data Lexeme text Source #

Constructors

L AlexPosn LexemeClass text

Instances

Instances details

Functor Lexeme Source #
Instance details Defined in Language.Cimple.Lexer Methods fmap :: (a -> b) -> Lexeme a -> Lexeme b # (<$) :: a -> Lexeme b -> Lexeme a #
Foldable Lexeme Source #
Instance details 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 Source #
Instance details 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) #
Eq text => Eq (Lexeme text) Source #
Instance details Defined in Language.Cimple.Lexer Methods (==) :: Lexeme text -> Lexeme text -> Bool # (/=) :: Lexeme text -> Lexeme text -> Bool #
Show text => Show (Lexeme text) Source #
Instance details Defined in Language.Cimple.Lexer Methods showsPrec :: Int -> Lexeme text -> ShowS # show :: Lexeme text -> String # showList :: [Lexeme text] -> ShowS #
Generic (Lexeme text) Source #
Instance details 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) Source #
Instance details Defined in Language.Cimple.Lexer Methods toJSON :: Lexeme text -> Value # toEncoding :: Lexeme text -> Encoding # toJSONList :: [Lexeme text] -> Value # toEncodingList :: [Lexeme text] -> Encoding # omitField :: Lexeme text -> Bool #
FromJSON text => FromJSON (Lexeme text) Source #
Instance details Defined in Language.Cimple.Lexer Methods parseJSON :: Value -> Parser (Lexeme text) # parseJSONList :: Value -> Parser [Lexeme text] # omittedField :: Maybe (Lexeme text) #
type Rep (Lexeme text) Source #
Instance details Defined in Language.Cimple.Lexer type Rep (Lexeme text) = D1 ('MetaData "Lexeme" "Language.Cimple.Lexer" "cimple-0.0.21-inplace" 'False) (C1 ('MetaCons "L" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AlexPosn) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 LexemeClass) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 text))))

lexemeClass :: Lexeme text -> LexemeClass Source #

lexemePosn :: Lexeme text -> AlexPosn Source #

lexemeText :: Lexeme text -> text Source #

lexemeLine :: Lexeme text -> Int Source #

runAlex :: ByteString -> Alex a -> Either String a Source #

data AssignOp Source #

Constructors

AopEq
AopMul
AopDiv
AopPlus
AopMinus
AopBitAnd
AopBitOr
AopBitXor
AopMod
AopLsh
AopRsh

Instances

Instances details

Bounded AssignOp Source #
Instance details Defined in Language.Cimple.Ast Methods minBound :: AssignOp # maxBound :: AssignOp #
Enum AssignOp Source #
Instance details Defined in Language.Cimple.Ast Methods succ :: AssignOp -> AssignOp # pred :: AssignOp -> AssignOp # toEnum :: Int -> AssignOp # fromEnum :: AssignOp -> Int # enumFrom :: AssignOp -> [AssignOp] # enumFromThen :: AssignOp -> AssignOp -> [AssignOp] # enumFromTo :: AssignOp -> AssignOp -> [AssignOp] # enumFromThenTo :: AssignOp -> AssignOp -> AssignOp -> [AssignOp] #
Eq AssignOp Source #
Instance details Defined in Language.Cimple.Ast Methods (==) :: AssignOp -> AssignOp -> Bool # (/=) :: AssignOp -> AssignOp -> Bool #
Ord AssignOp Source #
Instance details Defined in Language.Cimple.Ast Methods compare :: AssignOp -> AssignOp -> Ordering # (<) :: AssignOp -> AssignOp -> Bool # (<=) :: AssignOp -> AssignOp -> Bool # (>) :: AssignOp -> AssignOp -> Bool # (>=) :: AssignOp -> AssignOp -> Bool # max :: AssignOp -> AssignOp -> AssignOp # min :: AssignOp -> AssignOp -> AssignOp #
Read AssignOp Source #
Instance details Defined in Language.Cimple.Ast Methods readsPrec :: Int -> ReadS AssignOp # readList :: ReadS [AssignOp] # readPrec :: ReadPrec AssignOp # readListPrec :: ReadPrec [AssignOp] #
Show AssignOp Source #
Instance details Defined in Language.Cimple.Ast Methods showsPrec :: Int -> AssignOp -> ShowS # show :: AssignOp -> String # showList :: [AssignOp] -> ShowS #
Generic AssignOp Source #
Instance details 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 Source #
Instance details Defined in Language.Cimple.Ast Methods toJSON :: AssignOp -> Value # toEncoding :: AssignOp -> Encoding # toJSONList :: [AssignOp] -> Value # toEncodingList :: [AssignOp] -> Encoding # omitField :: AssignOp -> Bool #
FromJSON AssignOp Source #
Instance details Defined in Language.Cimple.Ast Methods parseJSON :: Value -> Parser AssignOp # parseJSONList :: Value -> Parser [AssignOp] # omittedField :: Maybe AssignOp #
type Rep AssignOp Source #
Instance details Defined in Language.Cimple.Ast type Rep AssignOp = D1 ('MetaData "AssignOp" "Language.Cimple.Ast" "cimple-0.0.21-inplace" '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 Source #

Constructors

BopNe
BopEq
BopOr
BopBitXor
BopBitOr
BopAnd
BopBitAnd
BopDiv
BopMul
BopMod
BopPlus
BopMinus
BopLt
BopLe
BopLsh
BopGt
BopGe
BopRsh

Instances

Instances details

Bounded BinaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods minBound :: BinaryOp # maxBound :: BinaryOp #
Enum BinaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods succ :: BinaryOp -> BinaryOp # pred :: BinaryOp -> BinaryOp # toEnum :: Int -> BinaryOp # fromEnum :: BinaryOp -> Int # enumFrom :: BinaryOp -> [BinaryOp] # enumFromThen :: BinaryOp -> BinaryOp -> [BinaryOp] # enumFromTo :: BinaryOp -> BinaryOp -> [BinaryOp] # enumFromThenTo :: BinaryOp -> BinaryOp -> BinaryOp -> [BinaryOp] #
Eq BinaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods (==) :: BinaryOp -> BinaryOp -> Bool # (/=) :: BinaryOp -> BinaryOp -> Bool #
Ord BinaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods compare :: BinaryOp -> BinaryOp -> Ordering # (<) :: BinaryOp -> BinaryOp -> Bool # (<=) :: BinaryOp -> BinaryOp -> Bool # (>) :: BinaryOp -> BinaryOp -> Bool # (>=) :: BinaryOp -> BinaryOp -> Bool # max :: BinaryOp -> BinaryOp -> BinaryOp # min :: BinaryOp -> BinaryOp -> BinaryOp #
Read BinaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods readsPrec :: Int -> ReadS BinaryOp # readList :: ReadS [BinaryOp] # readPrec :: ReadPrec BinaryOp # readListPrec :: ReadPrec [BinaryOp] #
Show BinaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods showsPrec :: Int -> BinaryOp -> ShowS # show :: BinaryOp -> String # showList :: [BinaryOp] -> ShowS #
Generic BinaryOp Source #
Instance details 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 Source #
Instance details Defined in Language.Cimple.Ast Methods toJSON :: BinaryOp -> Value # toEncoding :: BinaryOp -> Encoding # toJSONList :: [BinaryOp] -> Value # toEncodingList :: [BinaryOp] -> Encoding # omitField :: BinaryOp -> Bool #
FromJSON BinaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods parseJSON :: Value -> Parser BinaryOp # parseJSONList :: Value -> Parser [BinaryOp] # omittedField :: Maybe BinaryOp #
type Rep BinaryOp Source #
Instance details Defined in Language.Cimple.Ast type Rep BinaryOp = D1 ('MetaData "BinaryOp" "Language.Cimple.Ast" "cimple-0.0.21-inplace" '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 Source #

Constructors

UopNot
UopNeg
UopMinus
UopAddress
UopDeref
UopIncr
UopDecr

Instances

Instances details

Bounded UnaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods minBound :: UnaryOp # maxBound :: UnaryOp #
Enum UnaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods succ :: UnaryOp -> UnaryOp # pred :: UnaryOp -> UnaryOp # toEnum :: Int -> UnaryOp # fromEnum :: UnaryOp -> Int # enumFrom :: UnaryOp -> [UnaryOp] # enumFromThen :: UnaryOp -> UnaryOp -> [UnaryOp] # enumFromTo :: UnaryOp -> UnaryOp -> [UnaryOp] # enumFromThenTo :: UnaryOp -> UnaryOp -> UnaryOp -> [UnaryOp] #
Eq UnaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods (==) :: UnaryOp -> UnaryOp -> Bool # (/=) :: UnaryOp -> UnaryOp -> Bool #
Ord UnaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods compare :: UnaryOp -> UnaryOp -> Ordering # (<) :: UnaryOp -> UnaryOp -> Bool # (<=) :: UnaryOp -> UnaryOp -> Bool # (>) :: UnaryOp -> UnaryOp -> Bool # (>=) :: UnaryOp -> UnaryOp -> Bool # max :: UnaryOp -> UnaryOp -> UnaryOp # min :: UnaryOp -> UnaryOp -> UnaryOp #
Read UnaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods readsPrec :: Int -> ReadS UnaryOp # readList :: ReadS [UnaryOp] # readPrec :: ReadPrec UnaryOp # readListPrec :: ReadPrec [UnaryOp] #
Show UnaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods showsPrec :: Int -> UnaryOp -> ShowS # show :: UnaryOp -> String # showList :: [UnaryOp] -> ShowS #
Generic UnaryOp Source #
Instance details 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 Source #
Instance details Defined in Language.Cimple.Ast Methods toJSON :: UnaryOp -> Value # toEncoding :: UnaryOp -> Encoding # toJSONList :: [UnaryOp] -> Value # toEncodingList :: [UnaryOp] -> Encoding # omitField :: UnaryOp -> Bool #
FromJSON UnaryOp Source #
Instance details Defined in Language.Cimple.Ast Methods parseJSON :: Value -> Parser UnaryOp # parseJSONList :: Value -> Parser [UnaryOp] # omittedField :: Maybe UnaryOp #
type Rep UnaryOp Source #
Instance details Defined in Language.Cimple.Ast type Rep UnaryOp = D1 ('MetaData "UnaryOp" "Language.Cimple.Ast" "cimple-0.0.21-inplace" '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 Source #

Constructors

Char
Int
Bool
String
ConstId

Instances

Instances details

Bounded LiteralType Source #
Instance details Defined in Language.Cimple.Ast Methods minBound :: LiteralType # maxBound :: LiteralType #
Enum LiteralType Source #
Instance details Defined in Language.Cimple.Ast Methods succ :: LiteralType -> LiteralType # pred :: LiteralType -> LiteralType # toEnum :: Int -> LiteralType # fromEnum :: LiteralType -> Int # enumFrom :: LiteralType -> [LiteralType] # enumFromThen :: LiteralType -> LiteralType -> [LiteralType] # enumFromTo :: LiteralType -> LiteralType -> [LiteralType] # enumFromThenTo :: LiteralType -> LiteralType -> LiteralType -> [LiteralType] #
Eq LiteralType Source #
Instance details Defined in Language.Cimple.Ast Methods (==) :: LiteralType -> LiteralType -> Bool # (/=) :: LiteralType -> LiteralType -> Bool #
Ord LiteralType Source #
Instance details Defined in Language.Cimple.Ast Methods compare :: LiteralType -> LiteralType -> Ordering # (<) :: LiteralType -> LiteralType -> Bool # (<=) :: LiteralType -> LiteralType -> Bool # (>) :: LiteralType -> LiteralType -> Bool # (>=) :: LiteralType -> LiteralType -> Bool # max :: LiteralType -> LiteralType -> LiteralType # min :: LiteralType -> LiteralType -> LiteralType #
Read LiteralType Source #
Instance details Defined in Language.Cimple.Ast Methods readsPrec :: Int -> ReadS LiteralType # readList :: ReadS [LiteralType] # readPrec :: ReadPrec LiteralType # readListPrec :: ReadPrec [LiteralType] #
Show LiteralType Source #
Instance details Defined in Language.Cimple.Ast Methods showsPrec :: Int -> LiteralType -> ShowS # show :: LiteralType -> String # showList :: [LiteralType] -> ShowS #
Generic LiteralType Source #
Instance details 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 Source #
Instance details Defined in Language.Cimple.Ast Methods toJSON :: LiteralType -> Value # toEncoding :: LiteralType -> Encoding # toJSONList :: [LiteralType] -> Value # toEncodingList :: [LiteralType] -> Encoding # omitField :: LiteralType -> Bool #
FromJSON LiteralType Source #
Instance details Defined in Language.Cimple.Ast Methods parseJSON :: Value -> Parser LiteralType # parseJSONList :: Value -> Parser [LiteralType] # omittedField :: Maybe LiteralType #
type Rep LiteralType Source #
Instance details Defined in Language.Cimple.Ast type Rep LiteralType = D1 ('MetaData "LiteralType" "Language.Cimple.Ast" "cimple-0.0.21-inplace" '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))))

type Node lexeme = Fix (NodeF lexeme) Source #

data NodeF lexeme a Source #

Constructors

PreprocInclude lexeme
PreprocDefine lexeme
PreprocDefineConst lexeme a
PreprocDefineMacro lexeme [a] a
PreprocIf a [a] a
PreprocIfdef lexeme [a] a
PreprocIfndef lexeme [a] a
PreprocElse [a]
PreprocElif a [a] a
PreprocUndef lexeme
PreprocDefined lexeme
PreprocScopedDefine a [a] a
MacroBodyStmt a
MacroBodyFunCall a
MacroParam lexeme
StaticAssert a lexeme
LicenseDecl lexeme [a]
CopyrightDecl lexeme (Maybe lexeme) [lexeme]
Comment CommentStyle lexeme [lexeme] lexeme
CommentSection a [a] a
CommentSectionEnd lexeme
Commented a a
CommentInfo (Comment lexeme)
ExternC [a]
Group [a]
CompoundStmt [a]
Break
Goto lexeme
Continue
Return (Maybe a)
SwitchStmt a [a]
IfStmt a a (Maybe a)
ForStmt a a a a
WhileStmt a a
DoWhileStmt a a
Case a a
Default a
Label lexeme a
ExprStmt a
VLA a lexeme a
VarDeclStmt a (Maybe a)
VarDecl a lexeme [a]
DeclSpecArray (Maybe a)
InitialiserList [a]
UnaryExpr UnaryOp a
BinaryExpr a BinaryOp a
TernaryExpr a a a
AssignExpr a AssignOp a
ParenExpr a
CastExpr a a
CompoundExpr a a
CompoundLiteral a a
SizeofExpr a
SizeofType a
LiteralExpr LiteralType lexeme
VarExpr lexeme
MemberAccess a lexeme
PointerAccess a lexeme
ArrayAccess a a
FunctionCall a [a]
CommentExpr a a
EnumConsts (Maybe lexeme) [a]
EnumDecl lexeme [a] lexeme
Enumerator lexeme (Maybe a)
AggregateDecl a
Typedef a lexeme
TypedefFunction a
Struct lexeme [a]
Union lexeme [a]
MemberDecl a (Maybe lexeme)
TyBitwise a
TyForce a
TyConst a
TyOwner a
TyPointer a
TyStruct lexeme
TyFunc lexeme
TyStd lexeme
TyUserDefined lexeme
AttrPrintf lexeme lexeme a
FunctionDecl Scope a
FunctionDefn Scope a a
FunctionPrototype a lexeme [a]
CallbackDecl lexeme lexeme
Ellipsis
NonNull [lexeme] [lexeme] a
ConstDecl a lexeme
ConstDefn Scope a lexeme a

Instances

Instances details

Functor (NodeF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods fmap :: (a -> b) -> NodeF lexeme a -> NodeF lexeme b # (<$) :: a -> NodeF lexeme b -> NodeF lexeme a #
Foldable (NodeF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods fold :: Monoid m => NodeF lexeme m -> m # foldMap :: Monoid m => (a -> m) -> NodeF lexeme a -> m # foldMap' :: Monoid m => (a -> m) -> NodeF lexeme a -> m # foldr :: (a -> b -> b) -> b -> NodeF lexeme a -> b # foldr' :: (a -> b -> b) -> b -> NodeF lexeme a -> b # foldl :: (b -> a -> b) -> b -> NodeF lexeme a -> b # foldl' :: (b -> a -> b) -> b -> NodeF lexeme a -> b # foldr1 :: (a -> a -> a) -> NodeF lexeme a -> a # foldl1 :: (a -> a -> a) -> NodeF lexeme a -> a # toList :: NodeF lexeme a -> [a] # null :: NodeF lexeme a -> Bool # length :: NodeF lexeme a -> Int # elem :: Eq a => a -> NodeF lexeme a -> Bool # maximum :: Ord a => NodeF lexeme a -> a # minimum :: Ord a => NodeF lexeme a -> a # sum :: Num a => NodeF lexeme a -> a # product :: Num a => NodeF lexeme a -> a #
Traversable (NodeF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods traverse :: Applicative f => (a -> f b) -> NodeF lexeme a -> f (NodeF lexeme b) # sequenceA :: Applicative f => NodeF lexeme (f a) -> f (NodeF lexeme a) # mapM :: Monad m => (a -> m b) -> NodeF lexeme a -> m (NodeF lexeme b) # sequence :: Monad m => NodeF lexeme (m a) -> m (NodeF lexeme a) #
ToJSON lexeme => ToJSON1 (NodeF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftToJSON :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> NodeF lexeme a -> Value # liftToJSONList :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> [NodeF lexeme a] -> Value # liftToEncoding :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> NodeF lexeme a -> Encoding # liftToEncodingList :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> [NodeF lexeme a] -> Encoding # liftOmitField :: (a -> Bool) -> NodeF lexeme a -> Bool #
FromJSON lexeme => FromJSON1 (NodeF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftParseJSON :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (NodeF lexeme a) # liftParseJSONList :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [NodeF lexeme a] # liftOmittedField :: Maybe a -> Maybe (NodeF lexeme a) #
Eq lexeme => Eq1 (NodeF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftEq :: (a -> b -> Bool) -> NodeF lexeme a -> NodeF lexeme b -> Bool #
Ord lexeme => Ord1 (NodeF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftCompare :: (a -> b -> Ordering) -> NodeF lexeme a -> NodeF lexeme b -> Ordering #
Read lexeme => Read1 (NodeF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (NodeF lexeme a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [NodeF lexeme a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (NodeF lexeme a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [NodeF lexeme a] #
Show lexeme => Show1 (NodeF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> NodeF lexeme a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [NodeF lexeme a] -> ShowS #
Generic1 (NodeF lexeme :: Type -> Type) Source #
Instance details Defined in Language.Cimple.Ast Associated Types type Rep1 (NodeF lexeme) :: k -> Type # Methods from1 :: forall (a :: k). NodeF lexeme a -> Rep1 (NodeF lexeme) a # to1 :: forall (a :: k). Rep1 (NodeF lexeme) a -> NodeF lexeme a #
(Eq lexeme, Eq a) => Eq (NodeF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast Methods (==) :: NodeF lexeme a -> NodeF lexeme a -> Bool # (/=) :: NodeF lexeme a -> NodeF lexeme a -> Bool #
(Ord lexeme, Ord a) => Ord (NodeF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast Methods compare :: NodeF lexeme a -> NodeF lexeme a -> Ordering # (<) :: NodeF lexeme a -> NodeF lexeme a -> Bool # (<=) :: NodeF lexeme a -> NodeF lexeme a -> Bool # (>) :: NodeF lexeme a -> NodeF lexeme a -> Bool # (>=) :: NodeF lexeme a -> NodeF lexeme a -> Bool # max :: NodeF lexeme a -> NodeF lexeme a -> NodeF lexeme a # min :: NodeF lexeme a -> NodeF lexeme a -> NodeF lexeme a #
(Read lexeme, Read a) => Read (NodeF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast Methods readsPrec :: Int -> ReadS (NodeF lexeme a) # readList :: ReadS [NodeF lexeme a] # readPrec :: ReadPrec (NodeF lexeme a) # readListPrec :: ReadPrec [NodeF lexeme a] #
(Show lexeme, Show a) => Show (NodeF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast Methods showsPrec :: Int -> NodeF lexeme a -> ShowS # show :: NodeF lexeme a -> String # showList :: [NodeF lexeme a] -> ShowS #
Generic (NodeF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast Associated Types type Rep (NodeF lexeme a) :: Type -> Type # Methods from :: NodeF lexeme a -> Rep (NodeF lexeme a) x # to :: Rep (NodeF lexeme a) x -> NodeF lexeme a #
type Rep1 (NodeF lexeme :: Type -> Type) Source #
Instance details Defined in Language.Cimple.Ast type Rep1 (NodeF lexeme :: Type -> Type) = D1 ('MetaData "NodeF" "Language.Cimple.Ast" "cimple-0.0.21-inplace" 'False) ((((((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) Par1) :+: (C1 ('MetaCons "PreprocDefineMacro" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: C1 ('MetaCons "PreprocIf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1))))) :+: ((C1 ('MetaCons "PreprocIfdef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: (C1 ('MetaCons "PreprocIfndef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: C1 ('MetaCons "PreprocElse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])))) :+: (C1 ('MetaCons "PreprocElif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: (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) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: C1 ('MetaCons "MacroBodyStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: (C1 ('MetaCons "MacroBodyFunCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: (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) Par1 :: 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) (Rec1 [])) :+: (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 [lexeme]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))))) :+: (C1 ('MetaCons "CommentSection" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: (C1 ('MetaCons "CommentSectionEnd" '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) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)))))) :+: ((((C1 ('MetaCons "CommentInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Comment lexeme))) :+: C1 ('MetaCons "ExternC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []))) :+: (C1 ('MetaCons "Group" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: (C1 ('MetaCons "CompoundStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: 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) (Rec1 Maybe)))) :+: (C1 ('MetaCons "SwitchStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: (C1 ('MetaCons "IfStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 Maybe))) :+: C1 ('MetaCons "ForStmt" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)))))) :+: (((C1 ('MetaCons "WhileStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: C1 ('MetaCons "DoWhileStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: (C1 ('MetaCons "Case" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: (C1 ('MetaCons "Default" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: C1 ('MetaCons "Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)))) :+: ((C1 ('MetaCons "ExprStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: (C1 ('MetaCons "VLA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: C1 ('MetaCons "VarDeclStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 Maybe)))) :+: (C1 ('MetaCons "VarDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []))) :+: (C1 ('MetaCons "DeclSpecArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 Maybe)) :+: C1 ('MetaCons "InitialiserList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])))))))) :+: (((((C1 ('MetaCons "UnaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UnaryOp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: C1 ('MetaCons "BinaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BinaryOp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1))) :+: (C1 ('MetaCons "TernaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: (C1 ('MetaCons "AssignExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AssignOp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: C1 ('MetaCons "ParenExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)))) :+: ((C1 ('MetaCons "CastExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: (C1 ('MetaCons "CompoundExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: C1 ('MetaCons "CompoundLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1))) :+: (C1 ('MetaCons "SizeofExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: (C1 ('MetaCons "SizeofType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: 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) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))) :+: (C1 ('MetaCons "PointerAccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "ArrayAccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: C1 ('MetaCons "FunctionCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []))))) :+: ((C1 ('MetaCons "CommentExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: (C1 ('MetaCons "EnumConsts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe lexeme)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: C1 ('MetaCons "EnumDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: 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) (Rec1 Maybe)) :+: (C1 ('MetaCons "AggregateDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: C1 ('MetaCons "Typedef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))))))) :+: ((((C1 ('MetaCons "TypedefFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: C1 ('MetaCons "Struct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []))) :+: (C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: (C1 ('MetaCons "MemberDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe lexeme))) :+: C1 ('MetaCons "TyBitwise" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)))) :+: ((C1 ('MetaCons "TyForce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: (C1 ('MetaCons "TyConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: C1 ('MetaCons "TyOwner" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1))) :+: (C1 ('MetaCons "TyPointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: (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 "TyUserDefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))) :+: (C1 ('MetaCons "AttrPrintf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: (C1 ('MetaCons "FunctionDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scope) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: C1 ('MetaCons "FunctionDefn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scope) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1))))) :+: ((C1 ('MetaCons "FunctionPrototype" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []))) :+: (C1 ('MetaCons "CallbackDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "Ellipsis" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "NonNull" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [lexeme]) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [lexeme]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: (C1 ('MetaCons "ConstDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: 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) Par1) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)))))))))
type Rep (NodeF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast type Rep (NodeF lexeme a) = D1 ('MetaData "NodeF" "Language.Cimple.Ast" "cimple-0.0.21-inplace" 'False) ((((((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 a)) :+: (C1 ('MetaCons "PreprocDefineMacro" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: C1 ('MetaCons "PreprocIf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))))) :+: ((C1 ('MetaCons "PreprocIfdef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "PreprocIfndef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: C1 ('MetaCons "PreprocElse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])))) :+: (C1 ('MetaCons "PreprocElif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (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 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: C1 ('MetaCons "MacroBodyStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "MacroBodyFunCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (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 a) :: 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 [a])) :+: (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 [lexeme]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))))) :+: (C1 ('MetaCons "CommentSection" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "CommentSectionEnd" '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 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))))) :+: ((((C1 ('MetaCons "CommentInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Comment lexeme))) :+: C1 ('MetaCons "ExternC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]))) :+: (C1 ('MetaCons "Group" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])) :+: (C1 ('MetaCons "CompoundStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])) :+: 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 a))))) :+: (C1 ('MetaCons "SwitchStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])) :+: (C1 ('MetaCons "IfStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe a)))) :+: C1 ('MetaCons "ForStmt" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))))) :+: (((C1 ('MetaCons "WhileStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "DoWhileStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "Case" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "Default" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))) :+: ((C1 ('MetaCons "ExprStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "VLA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: C1 ('MetaCons "VarDeclStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe a))))) :+: (C1 ('MetaCons "VarDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]))) :+: (C1 ('MetaCons "DeclSpecArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe a))) :+: C1 ('MetaCons "InitialiserList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])))))))) :+: (((((C1 ('MetaCons "UnaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UnaryOp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "BinaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BinaryOp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))) :+: (C1 ('MetaCons "TernaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "AssignExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AssignOp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: C1 ('MetaCons "ParenExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))) :+: ((C1 ('MetaCons "CastExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "CompoundExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "CompoundLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))) :+: (C1 ('MetaCons "SizeofExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "SizeofType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: 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 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))) :+: (C1 ('MetaCons "PointerAccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "ArrayAccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "FunctionCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]))))) :+: ((C1 ('MetaCons "CommentExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (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 [a])) :+: C1 ('MetaCons "EnumDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: 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 a))) :+: (C1 ('MetaCons "AggregateDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "Typedef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))))))) :+: ((((C1 ('MetaCons "TypedefFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "Struct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]))) :+: (C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])) :+: (C1 ('MetaCons "MemberDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe lexeme))) :+: C1 ('MetaCons "TyBitwise" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))) :+: ((C1 ('MetaCons "TyForce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "TyConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "TyOwner" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))) :+: (C1 ('MetaCons "TyPointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (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 "TyUserDefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))) :+: (C1 ('MetaCons "AttrPrintf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "FunctionDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scope) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "FunctionDefn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scope) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))))) :+: ((C1 ('MetaCons "FunctionPrototype" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]))) :+: (C1 ('MetaCons "CallbackDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "Ellipsis" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "NonNull" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [lexeme]) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [lexeme]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "ConstDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: 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 a)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))))))))

data Scope Source #

Constructors

Global
Static

Instances

Instances details

Bounded Scope Source #
Instance details Defined in Language.Cimple.Ast Methods minBound :: Scope # maxBound :: Scope #
Enum Scope Source #
Instance details Defined in Language.Cimple.Ast Methods succ :: Scope -> Scope # pred :: Scope -> Scope # toEnum :: Int -> Scope # fromEnum :: Scope -> Int # enumFrom :: Scope -> [Scope] # enumFromThen :: Scope -> Scope -> [Scope] # enumFromTo :: Scope -> Scope -> [Scope] # enumFromThenTo :: Scope -> Scope -> Scope -> [Scope] #
Eq Scope Source #
Instance details Defined in Language.Cimple.Ast Methods (==) :: Scope -> Scope -> Bool # (/=) :: Scope -> Scope -> Bool #
Ord Scope Source #
Instance details Defined in Language.Cimple.Ast Methods compare :: Scope -> Scope -> Ordering # (<) :: Scope -> Scope -> Bool # (<=) :: Scope -> Scope -> Bool # (>) :: Scope -> Scope -> Bool # (>=) :: Scope -> Scope -> Bool # max :: Scope -> Scope -> Scope # min :: Scope -> Scope -> Scope #
Read Scope Source #
Instance details Defined in Language.Cimple.Ast Methods readsPrec :: Int -> ReadS Scope # readList :: ReadS [Scope] # readPrec :: ReadPrec Scope # readListPrec :: ReadPrec [Scope] #
Show Scope Source #
Instance details Defined in Language.Cimple.Ast Methods showsPrec :: Int -> Scope -> ShowS # show :: Scope -> String # showList :: [Scope] -> ShowS #
Generic Scope Source #
Instance details 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 Source #
Instance details Defined in Language.Cimple.Ast Methods toJSON :: Scope -> Value # toEncoding :: Scope -> Encoding # toJSONList :: [Scope] -> Value # toEncodingList :: [Scope] -> Encoding # omitField :: Scope -> Bool #
FromJSON Scope Source #
Instance details Defined in Language.Cimple.Ast Methods parseJSON :: Value -> Parser Scope # parseJSONList :: Value -> Parser [Scope] # omittedField :: Maybe Scope #
type Rep Scope Source #
Instance details Defined in Language.Cimple.Ast type Rep Scope = D1 ('MetaData "Scope" "Language.Cimple.Ast" "cimple-0.0.21-inplace" 'False) (C1 ('MetaCons "Global" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Static" 'PrefixI 'False) (U1 :: Type -> Type))

data CommentStyle Source #

Constructors

Regular
Doxygen
Section
Block
Ignore

Instances

Instances details

Bounded CommentStyle Source #
Instance details Defined in Language.Cimple.Ast Methods minBound :: CommentStyle # maxBound :: CommentStyle #
Enum CommentStyle Source #
Instance details Defined in Language.Cimple.Ast Methods succ :: CommentStyle -> CommentStyle # pred :: CommentStyle -> CommentStyle # toEnum :: Int -> CommentStyle # fromEnum :: CommentStyle -> Int # enumFrom :: CommentStyle -> [CommentStyle] # enumFromThen :: CommentStyle -> CommentStyle -> [CommentStyle] # enumFromTo :: CommentStyle -> CommentStyle -> [CommentStyle] # enumFromThenTo :: CommentStyle -> CommentStyle -> CommentStyle -> [CommentStyle] #
Eq CommentStyle Source #
Instance details Defined in Language.Cimple.Ast Methods (==) :: CommentStyle -> CommentStyle -> Bool # (/=) :: CommentStyle -> CommentStyle -> Bool #
Ord CommentStyle Source #
Instance details Defined in Language.Cimple.Ast Methods compare :: CommentStyle -> CommentStyle -> Ordering # (<) :: CommentStyle -> CommentStyle -> Bool # (<=) :: CommentStyle -> CommentStyle -> Bool # (>) :: CommentStyle -> CommentStyle -> Bool # (>=) :: CommentStyle -> CommentStyle -> Bool # max :: CommentStyle -> CommentStyle -> CommentStyle # min :: CommentStyle -> CommentStyle -> CommentStyle #
Read CommentStyle Source #
Instance details Defined in Language.Cimple.Ast Methods readsPrec :: Int -> ReadS CommentStyle # readList :: ReadS [CommentStyle] # readPrec :: ReadPrec CommentStyle # readListPrec :: ReadPrec [CommentStyle] #
Show CommentStyle Source #
Instance details Defined in Language.Cimple.Ast Methods showsPrec :: Int -> CommentStyle -> ShowS # show :: CommentStyle -> String # showList :: [CommentStyle] -> ShowS #
Generic CommentStyle Source #
Instance details 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 Source #
Instance details Defined in Language.Cimple.Ast Methods toJSON :: CommentStyle -> Value # toEncoding :: CommentStyle -> Encoding # toJSONList :: [CommentStyle] -> Value # toEncodingList :: [CommentStyle] -> Encoding # omitField :: CommentStyle -> Bool #
FromJSON CommentStyle Source #
Instance details Defined in Language.Cimple.Ast Methods parseJSON :: Value -> Parser CommentStyle # parseJSONList :: Value -> Parser [CommentStyle] # omittedField :: Maybe CommentStyle #
type Rep CommentStyle Source #
Instance details Defined in Language.Cimple.Ast type Rep CommentStyle = D1 ('MetaData "CommentStyle" "Language.Cimple.Ast" "cimple-0.0.21-inplace" 'False) ((C1 ('MetaCons "Regular" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Doxygen" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Section" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Block" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ignore" 'PrefixI 'False) (U1 :: Type -> Type))))

type Comment lexeme = Fix (CommentF lexeme) Source #

data CommentF lexeme a Source #

Constructors

DocComment [a]
DocWord lexeme
DocSentence [a] lexeme
DocNewline
DocAttention [a]
DocBrief [a]
DocDeprecated [a]
DocExtends lexeme
DocImplements lexeme
DocParam (Maybe lexeme) lexeme [a]
DocReturn [a]
DocRetval lexeme [a]
DocSee lexeme [a]
DocPrivate
DocParagraph [a]
DocLine [a]
DocCode lexeme [a] lexeme
DocList [a]
DocULItem [a] [a]
DocOLItem lexeme [a]
DocColon lexeme
DocRef lexeme
DocP lexeme
DocLParen a
DocRParen a
DocAssignOp AssignOp a a
DocBinaryOp BinaryOp a a

Instances

Instances details

Functor (CommentF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods fmap :: (a -> b) -> CommentF lexeme a -> CommentF lexeme b # (<$) :: a -> CommentF lexeme b -> CommentF lexeme a #
Foldable (CommentF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods fold :: Monoid m => CommentF lexeme m -> m # foldMap :: Monoid m => (a -> m) -> CommentF lexeme a -> m # foldMap' :: Monoid m => (a -> m) -> CommentF lexeme a -> m # foldr :: (a -> b -> b) -> b -> CommentF lexeme a -> b # foldr' :: (a -> b -> b) -> b -> CommentF lexeme a -> b # foldl :: (b -> a -> b) -> b -> CommentF lexeme a -> b # foldl' :: (b -> a -> b) -> b -> CommentF lexeme a -> b # foldr1 :: (a -> a -> a) -> CommentF lexeme a -> a # foldl1 :: (a -> a -> a) -> CommentF lexeme a -> a # toList :: CommentF lexeme a -> [a] # null :: CommentF lexeme a -> Bool # length :: CommentF lexeme a -> Int # elem :: Eq a => a -> CommentF lexeme a -> Bool # maximum :: Ord a => CommentF lexeme a -> a # minimum :: Ord a => CommentF lexeme a -> a # sum :: Num a => CommentF lexeme a -> a # product :: Num a => CommentF lexeme a -> a #
Traversable (CommentF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods traverse :: Applicative f => (a -> f b) -> CommentF lexeme a -> f (CommentF lexeme b) # sequenceA :: Applicative f => CommentF lexeme (f a) -> f (CommentF lexeme a) # mapM :: Monad m => (a -> m b) -> CommentF lexeme a -> m (CommentF lexeme b) # sequence :: Monad m => CommentF lexeme (m a) -> m (CommentF lexeme a) #
ToJSON lexeme => ToJSON1 (CommentF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftToJSON :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> CommentF lexeme a -> Value # liftToJSONList :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> [CommentF lexeme a] -> Value # liftToEncoding :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> CommentF lexeme a -> Encoding # liftToEncodingList :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> [CommentF lexeme a] -> Encoding # liftOmitField :: (a -> Bool) -> CommentF lexeme a -> Bool #
FromJSON lexeme => FromJSON1 (CommentF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftParseJSON :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (CommentF lexeme a) # liftParseJSONList :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [CommentF lexeme a] # liftOmittedField :: Maybe a -> Maybe (CommentF lexeme a) #
Eq lexeme => Eq1 (CommentF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftEq :: (a -> b -> Bool) -> CommentF lexeme a -> CommentF lexeme b -> Bool #
Ord lexeme => Ord1 (CommentF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftCompare :: (a -> b -> Ordering) -> CommentF lexeme a -> CommentF lexeme b -> Ordering #
Read lexeme => Read1 (CommentF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (CommentF lexeme a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [CommentF lexeme a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (CommentF lexeme a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [CommentF lexeme a] #
Show lexeme => Show1 (CommentF lexeme) Source #
Instance details Defined in Language.Cimple.Ast Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> CommentF lexeme a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [CommentF lexeme a] -> ShowS #
Generic1 (CommentF lexeme :: Type -> Type) Source #
Instance details Defined in Language.Cimple.Ast Associated Types type Rep1 (CommentF lexeme) :: k -> Type # Methods from1 :: forall (a :: k). CommentF lexeme a -> Rep1 (CommentF lexeme) a # to1 :: forall (a :: k). Rep1 (CommentF lexeme) a -> CommentF lexeme a #
(Eq a, Eq lexeme) => Eq (CommentF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast Methods (==) :: CommentF lexeme a -> CommentF lexeme a -> Bool # (/=) :: CommentF lexeme a -> CommentF lexeme a -> Bool #
(Ord a, Ord lexeme) => Ord (CommentF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast Methods compare :: CommentF lexeme a -> CommentF lexeme a -> Ordering # (<) :: CommentF lexeme a -> CommentF lexeme a -> Bool # (<=) :: CommentF lexeme a -> CommentF lexeme a -> Bool # (>) :: CommentF lexeme a -> CommentF lexeme a -> Bool # (>=) :: CommentF lexeme a -> CommentF lexeme a -> Bool # max :: CommentF lexeme a -> CommentF lexeme a -> CommentF lexeme a # min :: CommentF lexeme a -> CommentF lexeme a -> CommentF lexeme a #
(Read a, Read lexeme) => Read (CommentF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast Methods readsPrec :: Int -> ReadS (CommentF lexeme a) # readList :: ReadS [CommentF lexeme a] # readPrec :: ReadPrec (CommentF lexeme a) # readListPrec :: ReadPrec [CommentF lexeme a] #
(Show a, Show lexeme) => Show (CommentF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast Methods showsPrec :: Int -> CommentF lexeme a -> ShowS # show :: CommentF lexeme a -> String # showList :: [CommentF lexeme a] -> ShowS #
Generic (CommentF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast Associated Types type Rep (CommentF lexeme a) :: Type -> Type # Methods from :: CommentF lexeme a -> Rep (CommentF lexeme a) x # to :: Rep (CommentF lexeme a) x -> CommentF lexeme a #
type Rep1 (CommentF lexeme :: Type -> Type) Source #
Instance details Defined in Language.Cimple.Ast type Rep1 (CommentF lexeme :: Type -> Type) = D1 ('MetaData "CommentF" "Language.Cimple.Ast" "cimple-0.0.21-inplace" 'False) ((((C1 ('MetaCons "DocComment" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: (C1 ('MetaCons "DocWord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "DocSentence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))) :+: (C1 ('MetaCons "DocNewline" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DocAttention" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: C1 ('MetaCons "DocBrief" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []))))) :+: ((C1 ('MetaCons "DocDeprecated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: (C1 ('MetaCons "DocExtends" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "DocImplements" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))) :+: ((C1 ('MetaCons "DocParam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe lexeme)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []))) :+: C1 ('MetaCons "DocReturn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []))) :+: (C1 ('MetaCons "DocRetval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: C1 ('MetaCons "DocSee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])))))) :+: (((C1 ('MetaCons "DocPrivate" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DocParagraph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: C1 ('MetaCons "DocLine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])))) :+: ((C1 ('MetaCons "DocCode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))) :+: C1 ('MetaCons "DocList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []))) :+: (C1 ('MetaCons "DocULItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 [])) :+: C1 ('MetaCons "DocOLItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec1 []))))) :+: ((C1 ('MetaCons "DocColon" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "DocRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "DocP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))) :+: ((C1 ('MetaCons "DocLParen" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :+: C1 ('MetaCons "DocRParen" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: (C1 ('MetaCons "DocAssignOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AssignOp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :+: C1 ('MetaCons "DocBinaryOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BinaryOp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)))))))
type Rep (CommentF lexeme a) Source #
Instance details Defined in Language.Cimple.Ast type Rep (CommentF lexeme a) = D1 ('MetaData "CommentF" "Language.Cimple.Ast" "cimple-0.0.21-inplace" 'False) ((((C1 ('MetaCons "DocComment" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])) :+: (C1 ('MetaCons "DocWord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "DocSentence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))) :+: (C1 ('MetaCons "DocNewline" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DocAttention" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])) :+: C1 ('MetaCons "DocBrief" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]))))) :+: ((C1 ('MetaCons "DocDeprecated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])) :+: (C1 ('MetaCons "DocExtends" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "DocImplements" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))) :+: ((C1 ('MetaCons "DocParam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe lexeme)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]))) :+: C1 ('MetaCons "DocReturn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]))) :+: (C1 ('MetaCons "DocRetval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])) :+: C1 ('MetaCons "DocSee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])))))) :+: (((C1 ('MetaCons "DocPrivate" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DocParagraph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])) :+: C1 ('MetaCons "DocLine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])))) :+: ((C1 ('MetaCons "DocCode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme))) :+: C1 ('MetaCons "DocList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]))) :+: (C1 ('MetaCons "DocULItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a])) :+: C1 ('MetaCons "DocOLItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]))))) :+: ((C1 ('MetaCons "DocColon" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: (C1 ('MetaCons "DocRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)) :+: C1 ('MetaCons "DocP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 lexeme)))) :+: ((C1 ('MetaCons "DocLParen" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "DocRParen" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "DocAssignOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AssignOp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: C1 ('MetaCons "DocBinaryOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BinaryOp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))))))

data AnnotF attr a Source #

Constructors

Annot
Fields attr :: attr unAnnot :: a

Instances

Instances details

Functor (AnnotF attr) Source #
Instance details Defined in Language.Cimple.Annot Methods fmap :: (a -> b) -> AnnotF attr a -> AnnotF attr b # (<$) :: a -> AnnotF attr b -> AnnotF attr a #
Eq attr => Eq1 (AnnotF attr) Source #
Instance details Defined in Language.Cimple.Annot Methods liftEq :: (a -> b -> Bool) -> AnnotF attr a -> AnnotF attr b -> Bool #
Read attr => Read1 (AnnotF attr) Source #
Instance details Defined in Language.Cimple.Annot Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (AnnotF attr a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [AnnotF attr a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (AnnotF attr a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [AnnotF attr a] #
Show attr => Show1 (AnnotF attr) Source #
Instance details Defined in Language.Cimple.Annot Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> AnnotF attr a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [AnnotF attr a] -> ShowS #
Generic1 (AnnotF attr :: Type -> Type) Source #
Instance details Defined in Language.Cimple.Annot Associated Types type Rep1 (AnnotF attr) :: k -> Type # Methods from1 :: forall (a :: k). AnnotF attr a -> Rep1 (AnnotF attr) a # to1 :: forall (a :: k). Rep1 (AnnotF attr) a -> AnnotF attr a #
(Eq attr, Eq a) => Eq (AnnotF attr a) Source #
Instance details Defined in Language.Cimple.Annot Methods (==) :: AnnotF attr a -> AnnotF attr a -> Bool # (/=) :: AnnotF attr a -> AnnotF attr a -> Bool #
(Read attr, Read a) => Read (AnnotF attr a) Source #
Instance details Defined in Language.Cimple.Annot Methods readsPrec :: Int -> ReadS (AnnotF attr a) # readList :: ReadS [AnnotF attr a] # readPrec :: ReadPrec (AnnotF attr a) # readListPrec :: ReadPrec [AnnotF attr a] #
(Show attr, Show a) => Show (AnnotF attr a) Source #
Instance details Defined in Language.Cimple.Annot Methods showsPrec :: Int -> AnnotF attr a -> ShowS # show :: AnnotF attr a -> String # showList :: [AnnotF attr a] -> ShowS #
Generic (AnnotF attr a) Source #
Instance details Defined in Language.Cimple.Annot Associated Types type Rep (AnnotF attr a) :: Type -> Type # Methods from :: AnnotF attr a -> Rep (AnnotF attr a) x # to :: Rep (AnnotF attr a) x -> AnnotF attr a #
type Rep1 (AnnotF attr :: Type -> Type) Source #
Instance details Defined in Language.Cimple.Annot type Rep1 (AnnotF attr :: Type -> Type) = D1 ('MetaData "AnnotF" "Language.Cimple.Annot" "cimple-0.0.21-inplace" 'False) (C1 ('MetaCons "Annot" 'PrefixI 'True) (S1 ('MetaSel ('Just "attr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 attr) :*: S1 ('MetaSel ('Just "unAnnot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1))
type Rep (AnnotF attr a) Source #
Instance details Defined in Language.Cimple.Annot type Rep (AnnotF attr a) = D1 ('MetaData "AnnotF" "Language.Cimple.Annot" "cimple-0.0.21-inplace" 'False) (C1 ('MetaCons "Annot" 'PrefixI 'True) (S1 ('MetaSel ('Just "attr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 attr) :*: S1 ('MetaSel ('Just "unAnnot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))

type AnnotNode lexeme = Fix (AnnotF () `Compose` NodeF lexeme) Source #

addAnnot :: Node lexeme -> AnnotNode lexeme Source #

removeAnnot :: AnnotNode lexeme -> Node lexeme Source #

type DefaultActions a = IdentityActions (State a) Text Source #

defaultActions :: DefaultActions state Source #

removeSloc :: Node (Lexeme Text) -> Node (Lexeme Text) Source #