Copyright	(c) 2006-2011 Harvard University (c) 2011-2013 Geoffrey Mainland (c) 2013 Manuel M T Chakravarty : (c) 2013-2016 Drexel University
License	BSD-style
Maintainer	mainland@drexel.edu
Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.C.Syntax

Description

Synopsis

data Extensions
- = Antiquotation
- | C99
- | C11
- | Gcc
- | Blocks
- | ObjC
- | CUDA
- | OpenCL
data Id
- = Id String !SrcLoc
- | AntiId String !SrcLoc
data StringLit = StringLit [String] String !SrcLoc
type Linkage = StringLit
data Storage
- = Tauto !SrcLoc
- | Tregister !SrcLoc
- | Tstatic !SrcLoc
- | Textern (Maybe Linkage) !SrcLoc
- | Ttypedef !SrcLoc
- | T__block !SrcLoc
- | TObjC__weak !SrcLoc
- | TObjC__strong !SrcLoc
- | TObjC__unsafe_unretained !SrcLoc
data TypeQual
- = Tconst !SrcLoc
- | Tvolatile !SrcLoc
- | EscTypeQual String !SrcLoc
- | AntiTypeQual String !SrcLoc
- | AntiTypeQuals String !SrcLoc
- | Tinline !SrcLoc
- | Trestrict !SrcLoc
- | T__restrict !SrcLoc
- | TAttr Attr
- | TCUDAdevice !SrcLoc
- | TCUDAglobal !SrcLoc
- | TCUDAhost !SrcLoc
- | TCUDAconstant !SrcLoc
- | TCUDAshared !SrcLoc
- | TCUDArestrict !SrcLoc
- | TCUDAnoinline !SrcLoc
- | TCLprivate !SrcLoc
- | TCLlocal !SrcLoc
- | TCLglobal !SrcLoc
- | TCLconstant !SrcLoc
- | TCLreadonly !SrcLoc
- | TCLwriteonly !SrcLoc
- | TCLkernel !SrcLoc
data Sign
- = Tsigned !SrcLoc
- | Tunsigned !SrcLoc
data TypeSpec
- = Tvoid !SrcLoc
- | Tchar (Maybe Sign) !SrcLoc
- | Tshort (Maybe Sign) !SrcLoc
- | Tint (Maybe Sign) !SrcLoc
- | Tlong (Maybe Sign) !SrcLoc
- | Tlong_long (Maybe Sign) !SrcLoc
- | Tfloat !SrcLoc
- | Tdouble !SrcLoc
- | Tlong_double !SrcLoc
- | Tstruct (Maybe Id) (Maybe [FieldGroup]) [Attr] !SrcLoc
- | Tunion (Maybe Id) (Maybe [FieldGroup]) [Attr] !SrcLoc
- | Tenum (Maybe Id) [CEnum] [Attr] !SrcLoc
- | Tnamed Id [Id] !SrcLoc
- | T_Bool !SrcLoc
- | Tfloat_Complex !SrcLoc
- | Tdouble_Complex !SrcLoc
- | Tlong_double_Complex !SrcLoc
- | Tfloat_Imaginary !SrcLoc
- | Tdouble_Imaginary !SrcLoc
- | Tlong_double_Imaginary !SrcLoc
- | TtypeofExp Exp !SrcLoc
- | TtypeofType Type !SrcLoc
- | Tva_list !SrcLoc
data DeclSpec
- = DeclSpec [Storage] [TypeQual] TypeSpec !SrcLoc
- | AntiDeclSpec String !SrcLoc
- | AntiTypeDeclSpec [Storage] [TypeQual] String !SrcLoc
data ArraySize
- = ArraySize Bool Exp !SrcLoc
- | VariableArraySize !SrcLoc
- | NoArraySize !SrcLoc
data Decl
- = DeclRoot !SrcLoc
- | Ptr [TypeQual] Decl !SrcLoc
- | Array [TypeQual] ArraySize Decl !SrcLoc
- | Proto Decl Params !SrcLoc
- | OldProto Decl [Id] !SrcLoc
- | AntiTypeDecl String !SrcLoc
- | BlockPtr [TypeQual] Decl !SrcLoc
data Type
- = Type DeclSpec Decl !SrcLoc
- | AntiType String !SrcLoc
data Designator
- = IndexDesignator Exp !SrcLoc
- | MemberDesignator Id !SrcLoc
data Designation = Designation [Designator] !SrcLoc
data Initializer
- = ExpInitializer Exp !SrcLoc
- | CompoundInitializer [(Maybe Designation, Initializer)] !SrcLoc
- | AntiInit String !SrcLoc
- | AntiInits String !SrcLoc
type AsmLabel = StringLit
data Init = Init Id Decl (Maybe AsmLabel) (Maybe Initializer) [Attr] !SrcLoc
data Typedef = Typedef Id Decl [Attr] !SrcLoc
data InitGroup
- = InitGroup DeclSpec [Attr] [Init] !SrcLoc
- | TypedefGroup DeclSpec [Attr] [Typedef] !SrcLoc
- | AntiDecl String !SrcLoc
- | AntiDecls String !SrcLoc
data Field = Field (Maybe Id) (Maybe Decl) (Maybe Exp) !SrcLoc
data FieldGroup
- = FieldGroup DeclSpec [Field] !SrcLoc
- | AntiSdecl String !SrcLoc
- | AntiSdecls String !SrcLoc
data CEnum
- = CEnum Id (Maybe Exp) !SrcLoc
- | AntiEnum String !SrcLoc
- | AntiEnums String !SrcLoc
data Attr
- = Attr Id [Exp] !SrcLoc
- | AntiAttr String !SrcLoc
- | AntiAttrs String !SrcLoc
data Param
- = Param (Maybe Id) DeclSpec Decl !SrcLoc
- | AntiParam String !SrcLoc
- | AntiParams String !SrcLoc
data Params = Params [Param] Bool !SrcLoc
data Func
- = Func DeclSpec Id Decl Params [BlockItem] !SrcLoc
- | OldFunc DeclSpec Id Decl [Id] (Maybe [InitGroup]) [BlockItem] !SrcLoc
data Definition
- = FuncDef Func !SrcLoc
- | DecDef InitGroup !SrcLoc
- | EscDef String !SrcLoc
- | AntiFunc String !SrcLoc
- | AntiEsc String !SrcLoc
- | AntiEdecl String !SrcLoc
- | AntiEdecls String !SrcLoc
- | ObjCClassDec [Id] !SrcLoc
- | ObjCClassIface Id (Maybe Id) [Id] [ObjCIvarDecl] [ObjCIfaceDecl] [Attr] !SrcLoc
- | ObjCCatIface Id (Maybe Id) [Id] [ObjCIvarDecl] [ObjCIfaceDecl] !SrcLoc
- | ObjCProtDec [Id] !SrcLoc
- | ObjCProtDef Id [Id] [ObjCIfaceDecl] !SrcLoc
- | ObjCClassImpl Id (Maybe Id) [ObjCIvarDecl] [Definition] !SrcLoc
- | ObjCCatImpl Id Id [Definition] !SrcLoc
- | ObjCSynDef [(Id, Maybe Id)] !SrcLoc
- | ObjCDynDef [Id] !SrcLoc
- | ObjCMethDef ObjCMethodProto [BlockItem] !SrcLoc
- | ObjCCompAlias Id Id !SrcLoc
- | AntiObjCMeth String !SrcLoc
- | AntiObjCMeths String !SrcLoc
data Stm
- = Label Id [Attr] Stm !SrcLoc
- | Case Exp Stm !SrcLoc
- | CaseRange Exp Exp Stm !SrcLoc
- | Default Stm !SrcLoc
- | Exp (Maybe Exp) !SrcLoc
- | Block [BlockItem] !SrcLoc
- | If Exp Stm (Maybe Stm) !SrcLoc
- | Switch Exp Stm !SrcLoc
- | While Exp Stm !SrcLoc
- | DoWhile Stm Exp !SrcLoc
- | For (Either InitGroup (Maybe Exp)) (Maybe Exp) (Maybe Exp) Stm !SrcLoc
- | Goto Id !SrcLoc
- | Continue !SrcLoc
- | Break !SrcLoc
- | Return (Maybe Exp) !SrcLoc
- | Pragma String !SrcLoc
- | Comment String Stm !SrcLoc
- | EscStm String !SrcLoc
- | AntiEscStm String !SrcLoc
- | AntiPragma String !SrcLoc
- | AntiComment String Stm !SrcLoc
- | AntiStm String !SrcLoc
- | AntiStms String !SrcLoc
- | Asm Bool [Attr] AsmTemplate [AsmOut] [AsmIn] [AsmClobber] !SrcLoc
- | AsmGoto Bool [Attr] AsmTemplate [AsmIn] [AsmClobber] [Id] !SrcLoc
- | ObjCTry [BlockItem] [ObjCCatch] (Maybe [BlockItem]) !SrcLoc
- | ObjCThrow (Maybe Exp) !SrcLoc
- | ObjCSynchronized Exp [BlockItem] !SrcLoc
- | ObjCAutoreleasepool [BlockItem] !SrcLoc
data BlockItem
- = BlockDecl InitGroup
- | BlockStm Stm
- | AntiBlockItem String !SrcLoc
- | AntiBlockItems String !SrcLoc
data Signed
- = Signed
- | Unsigned
data Const
- = IntConst String Signed Integer !SrcLoc
- | LongIntConst String Signed Integer !SrcLoc
- | LongLongIntConst String Signed Integer !SrcLoc
- | FloatConst String Float !SrcLoc
- | DoubleConst String Double !SrcLoc
- | LongDoubleConst String Double !SrcLoc
- | CharConst String Char !SrcLoc
- | StringConst [String] String !SrcLoc
- | AntiConst String !SrcLoc
- | AntiInt String !SrcLoc
- | AntiUInt String !SrcLoc
- | AntiLInt String !SrcLoc
- | AntiULInt String !SrcLoc
- | AntiLLInt String !SrcLoc
- | AntiULLInt String !SrcLoc
- | AntiFloat String !SrcLoc
- | AntiDouble String !SrcLoc
- | AntiLongDouble String !SrcLoc
- | AntiChar String !SrcLoc
- | AntiString String !SrcLoc
data Exp
- = Var Id !SrcLoc
- | Const Const !SrcLoc
- | BinOp BinOp Exp Exp !SrcLoc
- | Assign Exp AssignOp Exp !SrcLoc
- | PreInc Exp !SrcLoc
- | PostInc Exp !SrcLoc
- | PreDec Exp !SrcLoc
- | PostDec Exp !SrcLoc
- | UnOp UnOp Exp !SrcLoc
- | SizeofExp Exp !SrcLoc
- | SizeofType Type !SrcLoc
- | Cast Type Exp !SrcLoc
- | Cond Exp Exp Exp !SrcLoc
- | Member Exp Id !SrcLoc
- | PtrMember Exp Id !SrcLoc
- | Index Exp Exp !SrcLoc
- | FnCall Exp [Exp] !SrcLoc
- | CudaCall Exp ExeConfig [Exp] !SrcLoc
- | Seq Exp Exp !SrcLoc
- | CompoundLit Type [(Maybe Designation, Initializer)] !SrcLoc
- | StmExpr [BlockItem] !SrcLoc
- | EscExp String !SrcLoc
- | AntiEscExp String !SrcLoc
- | AntiExp String !SrcLoc
- | AntiArgs String !SrcLoc
- | BuiltinVaArg Exp Type !SrcLoc
- | BlockLit BlockType [Attr] [BlockItem] !SrcLoc
- | ObjCMsg ObjCRecv [ObjCArg] [Exp] !SrcLoc
- | ObjCLitConst (Maybe UnOp) Const !SrcLoc
- | ObjCLitString [Const] !SrcLoc
- | ObjCLitBool Bool !SrcLoc
- | ObjCLitArray [Exp] !SrcLoc
- | ObjCLitDict [ObjCDictElem] !SrcLoc
- | ObjCLitBoxed Exp !SrcLoc
- | ObjCEncode Type !SrcLoc
- | ObjCProtocol Id !SrcLoc
- | ObjCSelector String !SrcLoc
- | Lambda LambdaIntroducer (Maybe LambdaDeclarator) [BlockItem] !SrcLoc
data BinOp
- = Add
- | Sub
- | Mul
- | Div
- | Mod
- | Eq
- | Ne
- | Lt
- | Gt
- | Le
- | Ge
- | Land
- | Lor
- | And
- | Or
- | Xor
- | Lsh
- | Rsh
data AssignOp
- = JustAssign
- | AddAssign
- | SubAssign
- | MulAssign
- | DivAssign
- | ModAssign
- | LshAssign
- | RshAssign
- | AndAssign
- | XorAssign
- | OrAssign
data UnOp
- = AddrOf
- | Deref
- | Positive
- | Negate
- | Not
- | Lnot
type AsmTemplate = StringLit
data AsmOut = AsmOut (Maybe Id) String Id
data AsmIn = AsmIn (Maybe Id) String Exp
type AsmClobber = String
data BlockType
- = BlockVoid !SrcLoc
- | BlockParam [Param] !SrcLoc
- | BlockType Type !SrcLoc
data ObjCIvarDecl
- = ObjCIvarVisi ObjCVisibilitySpec !SrcLoc
- | ObjCIvarDecl FieldGroup !SrcLoc
data ObjCVisibilitySpec
- = ObjCPrivate !SrcLoc
- | ObjCPublic !SrcLoc
- | ObjCProtected !SrcLoc
- | ObjCPackage !SrcLoc
data ObjCIfaceDecl
- = ObjCIfaceProp [ObjCPropAttr] FieldGroup !SrcLoc
- | ObjCIfaceReq ObjCMethodReq !SrcLoc
- | ObjCIfaceMeth ObjCMethodProto !SrcLoc
- | ObjCIfaceDecl InitGroup !SrcLoc
- | AntiObjCProp String !SrcLoc
- | AntiObjCProps String !SrcLoc
- | AntiObjCIfaceDecl String !SrcLoc
- | AntiObjCIfaceDecls String !SrcLoc
data ObjCPropAttr
- = ObjCGetter Id !SrcLoc
- | ObjCSetter Id !SrcLoc
- | ObjCReadonly !SrcLoc
- | ObjCReadwrite !SrcLoc
- | ObjCAssign !SrcLoc
- | ObjCRetain !SrcLoc
- | ObjCCopy !SrcLoc
- | ObjCNonatomic !SrcLoc
- | ObjCAtomic !SrcLoc
- | ObjCStrong !SrcLoc
- | ObjCWeak !SrcLoc
- | ObjCUnsafeUnretained !SrcLoc
- | AntiObjCAttr String !SrcLoc
- | AntiObjCAttrs String !SrcLoc
data ObjCMethodReq
- = ObjCRequired !SrcLoc
- | ObjCOptional !SrcLoc
data ObjCParam
- = ObjCParam (Maybe Id) (Maybe Type) [Attr] (Maybe Id) !SrcLoc
- | AntiObjCParam String !SrcLoc
- | AntiObjCParams String !SrcLoc
data ObjCMethodProto
- = ObjCMethodProto Bool (Maybe Type) [Attr] [ObjCParam] Bool [Attr] !SrcLoc
- | AntiObjCMethodProto String !SrcLoc
data ObjCCatch = ObjCCatch (Maybe Param) [BlockItem] !SrcLoc
data ObjCDictElem
- = ObjCDictElem Exp Exp !SrcLoc
- | AntiObjCDictElems String !SrcLoc
data ObjCRecv
- = ObjCRecvSuper !SrcLoc
- | ObjCRecvExp Exp !SrcLoc
- | AntiObjCRecv String !SrcLoc
data ObjCArg
- = ObjCArg (Maybe Id) (Maybe Exp) !SrcLoc
- | AntiObjCArg String !SrcLoc
- | AntiObjCArgs String !SrcLoc
data LambdaIntroducer = LambdaIntroducer [CaptureListEntry] !SrcLoc
data LambdaDeclarator = LambdaDeclarator Params Bool (Maybe Type) !SrcLoc
data CaptureListEntry
- = DefaultByReference
- | DefaultByValue
data ExeConfig = ExeConfig {
- exeGridDim :: Exp
- exeBlockDim :: Exp
- exeSharedSize :: Maybe Exp
- exeStream :: Maybe Exp
- exeLoc :: !SrcLoc
}
funcProto :: Func -> InitGroup
isPtr :: Type -> Bool
ctypedef :: Id -> Decl -> [Attr] -> Typedef
cdeclSpec :: [Storage] -> [TypeQual] -> TypeSpec -> DeclSpec
cinitGroup :: DeclSpec -> [Attr] -> [Init] -> InitGroup
ctypedefGroup :: DeclSpec -> [Attr] -> [Typedef] -> InitGroup

Documentation

data Extensions Source #

Constructors

Antiquotation
C99
C11
Gcc
Blocks
ObjC
CUDA
OpenCL

Instances

Instances details

Enum Extensions Source #
Instance details Defined in Language.C.Syntax Methods succ :: Extensions -> Extensions # pred :: Extensions -> Extensions # toEnum :: Int -> Extensions # fromEnum :: Extensions -> Int # enumFrom :: Extensions -> [Extensions] # enumFromThen :: Extensions -> Extensions -> [Extensions] # enumFromTo :: Extensions -> Extensions -> [Extensions] # enumFromThenTo :: Extensions -> Extensions -> Extensions -> [Extensions] #
Show Extensions Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Extensions -> ShowS # show :: Extensions -> String # showList :: [Extensions] -> ShowS #
Eq Extensions Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Extensions -> Extensions -> Bool # (/=) :: Extensions -> Extensions -> Bool #
Ord Extensions Source #
Instance details Defined in Language.C.Syntax Methods compare :: Extensions -> Extensions -> Ordering # (<) :: Extensions -> Extensions -> Bool # (<=) :: Extensions -> Extensions -> Bool # (>) :: Extensions -> Extensions -> Bool # (>=) :: Extensions -> Extensions -> Bool # max :: Extensions -> Extensions -> Extensions # min :: Extensions -> Extensions -> Extensions #

data Id Source #

Constructors

Id String !SrcLoc
AntiId String !SrcLoc

Instances

Instances details

Data Id Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Id -> c Id # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Id # toConstr :: Id -> Constr # dataTypeOf :: Id -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Id) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Id) # gmapT :: (forall b. Data b => b -> b) -> Id -> Id # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Id -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Id -> r # gmapQ :: (forall d. Data d => d -> u) -> Id -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Id -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Id -> m Id # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Id -> m Id # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Id -> m Id #
IsString Id Source #
Instance details Defined in Language.C.Syntax Methods fromString :: String -> Id #
Show Id Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Id -> ShowS # show :: Id -> String # showList :: [Id] -> ShowS #
Eq Id Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Id -> Id -> Bool # (/=) :: Id -> Id -> Bool #
Ord Id Source #
Instance details Defined in Language.C.Syntax Methods compare :: Id -> Id -> Ordering # (<) :: Id -> Id -> Bool # (<=) :: Id -> Id -> Bool # (>) :: Id -> Id -> Bool # (>=) :: Id -> Id -> Bool # max :: Id -> Id -> Id # min :: Id -> Id -> Id #
ToIdent Id Source #
Instance details Defined in Language.C.Quote.Base Methods toIdent :: Id -> SrcLoc -> Id Source #
Pretty Id Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Id -> Doc # pprPrec :: Int -> Id -> Doc # pprList :: [Id] -> Doc #
Located Id Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Id -> Loc # locOfList :: [Id] -> Loc #
Relocatable Id Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Id -> Id #
ToIdent (SrcLoc -> Id) Source #
Instance details Defined in Language.C.Quote.Base Methods toIdent :: (SrcLoc -> Id) -> SrcLoc -> Id Source #

data StringLit Source #

Constructors

StringLit [String] String !SrcLoc

Instances

Instances details

Data StringLit Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StringLit -> c StringLit # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StringLit # toConstr :: StringLit -> Constr # dataTypeOf :: StringLit -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c StringLit) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StringLit) # gmapT :: (forall b. Data b => b -> b) -> StringLit -> StringLit # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StringLit -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StringLit -> r # gmapQ :: (forall d. Data d => d -> u) -> StringLit -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> StringLit -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> StringLit -> m StringLit # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StringLit -> m StringLit # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StringLit -> m StringLit #
IsString StringLit Source #
Instance details Defined in Language.C.Syntax Methods fromString :: String -> StringLit #
Show StringLit Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> StringLit -> ShowS # show :: StringLit -> String # showList :: [StringLit] -> ShowS #
Eq StringLit Source #
Instance details Defined in Language.C.Syntax Methods (==) :: StringLit -> StringLit -> Bool # (/=) :: StringLit -> StringLit -> Bool #
Ord StringLit Source #
Instance details Defined in Language.C.Syntax Methods compare :: StringLit -> StringLit -> Ordering # (<) :: StringLit -> StringLit -> Bool # (<=) :: StringLit -> StringLit -> Bool # (>) :: StringLit -> StringLit -> Bool # (>=) :: StringLit -> StringLit -> Bool # max :: StringLit -> StringLit -> StringLit # min :: StringLit -> StringLit -> StringLit #
Pretty StringLit Source #
Instance details Defined in Language.C.Pretty Methods ppr :: StringLit -> Doc # pprPrec :: Int -> StringLit -> Doc # pprList :: [StringLit] -> Doc #
Located StringLit Source #
Instance details Defined in Language.C.Syntax Methods locOf :: StringLit -> Loc # locOfList :: [StringLit] -> Loc #
Relocatable StringLit Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> StringLit -> StringLit #

type Linkage = StringLit Source #

data Storage Source #

Constructors

Tauto !SrcLoc
Tregister !SrcLoc
Tstatic !SrcLoc
Textern (Maybe Linkage) !SrcLoc
Ttypedef !SrcLoc
T__block !SrcLoc
TObjC__weak !SrcLoc
TObjC__strong !SrcLoc
TObjC__unsafe_unretained !SrcLoc

Instances

Instances details

Data Storage Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Storage -> c Storage # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Storage # toConstr :: Storage -> Constr # dataTypeOf :: Storage -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Storage) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Storage) # gmapT :: (forall b. Data b => b -> b) -> Storage -> Storage # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Storage -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Storage -> r # gmapQ :: (forall d. Data d => d -> u) -> Storage -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Storage -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Storage -> m Storage # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Storage -> m Storage # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Storage -> m Storage #
Show Storage Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Storage -> ShowS # show :: Storage -> String # showList :: [Storage] -> ShowS #
Eq Storage Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Storage -> Storage -> Bool # (/=) :: Storage -> Storage -> Bool #
Ord Storage Source #
Instance details Defined in Language.C.Syntax Methods compare :: Storage -> Storage -> Ordering # (<) :: Storage -> Storage -> Bool # (<=) :: Storage -> Storage -> Bool # (>) :: Storage -> Storage -> Bool # (>=) :: Storage -> Storage -> Bool # max :: Storage -> Storage -> Storage # min :: Storage -> Storage -> Storage #
Pretty Storage Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Storage -> Doc # pprPrec :: Int -> Storage -> Doc # pprList :: [Storage] -> Doc #
Located Storage Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Storage -> Loc # locOfList :: [Storage] -> Loc #
Relocatable Storage Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Storage -> Storage #

data TypeQual Source #

Instances

Instances details

Data TypeQual Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeQual -> c TypeQual # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeQual # toConstr :: TypeQual -> Constr # dataTypeOf :: TypeQual -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeQual) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeQual) # gmapT :: (forall b. Data b => b -> b) -> TypeQual -> TypeQual # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeQual -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeQual -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeQual -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeQual -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeQual -> m TypeQual # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeQual -> m TypeQual # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeQual -> m TypeQual #
Show TypeQual Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> TypeQual -> ShowS # show :: TypeQual -> String # showList :: [TypeQual] -> ShowS #
Eq TypeQual Source #
Instance details Defined in Language.C.Syntax Methods (==) :: TypeQual -> TypeQual -> Bool # (/=) :: TypeQual -> TypeQual -> Bool #
Ord TypeQual Source #
Instance details Defined in Language.C.Syntax Methods compare :: TypeQual -> TypeQual -> Ordering # (<) :: TypeQual -> TypeQual -> Bool # (<=) :: TypeQual -> TypeQual -> Bool # (>) :: TypeQual -> TypeQual -> Bool # (>=) :: TypeQual -> TypeQual -> Bool # max :: TypeQual -> TypeQual -> TypeQual # min :: TypeQual -> TypeQual -> TypeQual #
Pretty TypeQual Source #
Instance details Defined in Language.C.Pretty Methods ppr :: TypeQual -> Doc # pprPrec :: Int -> TypeQual -> Doc # pprList :: [TypeQual] -> Doc #
Located TypeQual Source #
Instance details Defined in Language.C.Syntax Methods locOf :: TypeQual -> Loc # locOfList :: [TypeQual] -> Loc #
Relocatable TypeQual Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> TypeQual -> TypeQual #

data Sign Source #

Constructors

Tsigned !SrcLoc
Tunsigned !SrcLoc

Instances

Instances details

Data Sign Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sign -> c Sign # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Sign # toConstr :: Sign -> Constr # dataTypeOf :: Sign -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Sign) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Sign) # gmapT :: (forall b. Data b => b -> b) -> Sign -> Sign # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r # gmapQ :: (forall d. Data d => d -> u) -> Sign -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Sign -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sign -> m Sign # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sign -> m Sign # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sign -> m Sign #
Show Sign Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Sign -> ShowS # show :: Sign -> String # showList :: [Sign] -> ShowS #
Eq Sign Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Sign -> Sign -> Bool # (/=) :: Sign -> Sign -> Bool #
Ord Sign Source #
Instance details Defined in Language.C.Syntax Methods compare :: Sign -> Sign -> Ordering # (<) :: Sign -> Sign -> Bool # (<=) :: Sign -> Sign -> Bool # (>) :: Sign -> Sign -> Bool # (>=) :: Sign -> Sign -> Bool # max :: Sign -> Sign -> Sign # min :: Sign -> Sign -> Sign #
Pretty Sign Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Sign -> Doc # pprPrec :: Int -> Sign -> Doc # pprList :: [Sign] -> Doc #
Located Sign Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Sign -> Loc # locOfList :: [Sign] -> Loc #
Relocatable Sign Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Sign -> Sign #

data TypeSpec Source #

Constructors

Tvoid !SrcLoc
Tchar (Maybe Sign) !SrcLoc
Tshort (Maybe Sign) !SrcLoc
Tint (Maybe Sign) !SrcLoc
Tlong (Maybe Sign) !SrcLoc
Tlong_long (Maybe Sign) !SrcLoc
Tfloat !SrcLoc
Tdouble !SrcLoc
Tlong_double !SrcLoc
Tstruct (Maybe Id) (Maybe [FieldGroup]) [Attr] !SrcLoc
Tunion (Maybe Id) (Maybe [FieldGroup]) [Attr] !SrcLoc
Tenum (Maybe Id) [CEnum] [Attr] !SrcLoc
Tnamed Id [Id] !SrcLoc
T_Bool !SrcLoc
Tfloat_Complex !SrcLoc
Tdouble_Complex !SrcLoc
Tlong_double_Complex !SrcLoc
Tfloat_Imaginary !SrcLoc
Tdouble_Imaginary !SrcLoc
Tlong_double_Imaginary !SrcLoc
TtypeofExp Exp !SrcLoc
TtypeofType Type !SrcLoc
Tva_list !SrcLoc

Instances

Instances details

Data TypeSpec Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeSpec -> c TypeSpec # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeSpec # toConstr :: TypeSpec -> Constr # dataTypeOf :: TypeSpec -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeSpec) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeSpec) # gmapT :: (forall b. Data b => b -> b) -> TypeSpec -> TypeSpec # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeSpec -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeSpec -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeSpec -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeSpec -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeSpec -> m TypeSpec # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSpec -> m TypeSpec # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSpec -> m TypeSpec #
Show TypeSpec Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> TypeSpec -> ShowS # show :: TypeSpec -> String # showList :: [TypeSpec] -> ShowS #
Eq TypeSpec Source #
Instance details Defined in Language.C.Syntax Methods (==) :: TypeSpec -> TypeSpec -> Bool # (/=) :: TypeSpec -> TypeSpec -> Bool #
Ord TypeSpec Source #
Instance details Defined in Language.C.Syntax Methods compare :: TypeSpec -> TypeSpec -> Ordering # (<) :: TypeSpec -> TypeSpec -> Bool # (<=) :: TypeSpec -> TypeSpec -> Bool # (>) :: TypeSpec -> TypeSpec -> Bool # (>=) :: TypeSpec -> TypeSpec -> Bool # max :: TypeSpec -> TypeSpec -> TypeSpec # min :: TypeSpec -> TypeSpec -> TypeSpec #
Pretty TypeSpec Source #
Instance details Defined in Language.C.Pretty Methods ppr :: TypeSpec -> Doc # pprPrec :: Int -> TypeSpec -> Doc # pprList :: [TypeSpec] -> Doc #
Located TypeSpec Source #
Instance details Defined in Language.C.Syntax Methods locOf :: TypeSpec -> Loc # locOfList :: [TypeSpec] -> Loc #
Relocatable TypeSpec Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> TypeSpec -> TypeSpec #

data DeclSpec Source #

Constructors

DeclSpec [Storage] [TypeQual] TypeSpec !SrcLoc
AntiDeclSpec String !SrcLoc
AntiTypeDeclSpec [Storage] [TypeQual] String !SrcLoc

Instances

Instances details

Data DeclSpec Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DeclSpec -> c DeclSpec # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DeclSpec # toConstr :: DeclSpec -> Constr # dataTypeOf :: DeclSpec -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DeclSpec) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DeclSpec) # gmapT :: (forall b. Data b => b -> b) -> DeclSpec -> DeclSpec # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DeclSpec -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DeclSpec -> r # gmapQ :: (forall d. Data d => d -> u) -> DeclSpec -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DeclSpec -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DeclSpec -> m DeclSpec # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DeclSpec -> m DeclSpec # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DeclSpec -> m DeclSpec #
Show DeclSpec Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> DeclSpec -> ShowS # show :: DeclSpec -> String # showList :: [DeclSpec] -> ShowS #
Eq DeclSpec Source #
Instance details Defined in Language.C.Syntax Methods (==) :: DeclSpec -> DeclSpec -> Bool # (/=) :: DeclSpec -> DeclSpec -> Bool #
Ord DeclSpec Source #
Instance details Defined in Language.C.Syntax Methods compare :: DeclSpec -> DeclSpec -> Ordering # (<) :: DeclSpec -> DeclSpec -> Bool # (<=) :: DeclSpec -> DeclSpec -> Bool # (>) :: DeclSpec -> DeclSpec -> Bool # (>=) :: DeclSpec -> DeclSpec -> Bool # max :: DeclSpec -> DeclSpec -> DeclSpec # min :: DeclSpec -> DeclSpec -> DeclSpec #
Pretty DeclSpec Source #
Instance details Defined in Language.C.Pretty Methods ppr :: DeclSpec -> Doc # pprPrec :: Int -> DeclSpec -> Doc # pprList :: [DeclSpec] -> Doc #
Located DeclSpec Source #
Instance details Defined in Language.C.Syntax Methods locOf :: DeclSpec -> Loc # locOfList :: [DeclSpec] -> Loc #
Relocatable DeclSpec Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> DeclSpec -> DeclSpec #

data ArraySize Source #

There are two types of declarators in C, regular declarators and abstract declarators. The former is for declaring variables, function parameters, typedefs, etc. and the latter for abstract types---typedef int ({*}foo)(void) vs. tt int ({*})(void). The difference between the two is just whether or not an identifier is attached to the declarator. We therefore only define one Decl type and use it for both cases.

Constructors

ArraySize Bool Exp !SrcLoc
VariableArraySize !SrcLoc
NoArraySize !SrcLoc

Instances

Instances details

Data ArraySize Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ArraySize -> c ArraySize # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ArraySize # toConstr :: ArraySize -> Constr # dataTypeOf :: ArraySize -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ArraySize) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ArraySize) # gmapT :: (forall b. Data b => b -> b) -> ArraySize -> ArraySize # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ArraySize -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArraySize -> r # gmapQ :: (forall d. Data d => d -> u) -> ArraySize -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ArraySize -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ArraySize -> m ArraySize # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ArraySize -> m ArraySize # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ArraySize -> m ArraySize #
Show ArraySize Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ArraySize -> ShowS # show :: ArraySize -> String # showList :: [ArraySize] -> ShowS #
Eq ArraySize Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ArraySize -> ArraySize -> Bool # (/=) :: ArraySize -> ArraySize -> Bool #
Ord ArraySize Source #
Instance details Defined in Language.C.Syntax Methods compare :: ArraySize -> ArraySize -> Ordering # (<) :: ArraySize -> ArraySize -> Bool # (<=) :: ArraySize -> ArraySize -> Bool # (>) :: ArraySize -> ArraySize -> Bool # (>=) :: ArraySize -> ArraySize -> Bool # max :: ArraySize -> ArraySize -> ArraySize # min :: ArraySize -> ArraySize -> ArraySize #
Pretty ArraySize Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ArraySize -> Doc # pprPrec :: Int -> ArraySize -> Doc # pprList :: [ArraySize] -> Doc #
Located ArraySize Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ArraySize -> Loc # locOfList :: [ArraySize] -> Loc #
Relocatable ArraySize Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ArraySize -> ArraySize #

data Decl Source #

Constructors

DeclRoot !SrcLoc
Ptr [TypeQual] Decl !SrcLoc
Array [TypeQual] ArraySize Decl !SrcLoc
Proto Decl Params !SrcLoc
OldProto Decl [Id] !SrcLoc
AntiTypeDecl String !SrcLoc
BlockPtr [TypeQual] Decl !SrcLoc

Instances

Instances details

Data Decl Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Decl -> c Decl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Decl # toConstr :: Decl -> Constr # dataTypeOf :: Decl -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Decl) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Decl) # gmapT :: (forall b. Data b => b -> b) -> Decl -> Decl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r # gmapQ :: (forall d. Data d => d -> u) -> Decl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Decl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Decl -> m Decl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Decl -> m Decl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Decl -> m Decl #
Show Decl Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Decl -> ShowS # show :: Decl -> String # showList :: [Decl] -> ShowS #
Eq Decl Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Decl -> Decl -> Bool # (/=) :: Decl -> Decl -> Bool #
Ord Decl Source #
Instance details Defined in Language.C.Syntax Methods compare :: Decl -> Decl -> Ordering # (<) :: Decl -> Decl -> Bool # (<=) :: Decl -> Decl -> Bool # (>) :: Decl -> Decl -> Bool # (>=) :: Decl -> Decl -> Bool # max :: Decl -> Decl -> Decl # min :: Decl -> Decl -> Decl #
Located Decl Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Decl -> Loc # locOfList :: [Decl] -> Loc #
Relocatable Decl Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Decl -> Decl #

data Type Source #

Constructors

Type DeclSpec Decl !SrcLoc
AntiType String !SrcLoc

Instances

Instances details

Data Type Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type # toConstr :: Type -> Constr # dataTypeOf :: Type -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) # gmapT :: (forall b. Data b => b -> b) -> Type -> Type # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #
Show Type Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Eq Type Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Instance details Defined in Language.C.Syntax Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #
Pretty Type Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Type -> Doc # pprPrec :: Int -> Type -> Doc # pprList :: [Type] -> Doc #
Located Type Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Type -> Loc # locOfList :: [Type] -> Loc #
Relocatable Type Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Type -> Type #

data Designator Source #

Constructors

IndexDesignator Exp !SrcLoc
MemberDesignator Id !SrcLoc

Instances

Instances details

Data Designator Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Designator -> c Designator # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Designator # toConstr :: Designator -> Constr # dataTypeOf :: Designator -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Designator) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Designator) # gmapT :: (forall b. Data b => b -> b) -> Designator -> Designator # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Designator -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Designator -> r # gmapQ :: (forall d. Data d => d -> u) -> Designator -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Designator -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Designator -> m Designator # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Designator -> m Designator # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Designator -> m Designator #
Show Designator Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Designator -> ShowS # show :: Designator -> String # showList :: [Designator] -> ShowS #
Eq Designator Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Designator -> Designator -> Bool # (/=) :: Designator -> Designator -> Bool #
Ord Designator Source #
Instance details Defined in Language.C.Syntax Methods compare :: Designator -> Designator -> Ordering # (<) :: Designator -> Designator -> Bool # (<=) :: Designator -> Designator -> Bool # (>) :: Designator -> Designator -> Bool # (>=) :: Designator -> Designator -> Bool # max :: Designator -> Designator -> Designator # min :: Designator -> Designator -> Designator #
Pretty Designator Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Designator -> Doc # pprPrec :: Int -> Designator -> Doc # pprList :: [Designator] -> Doc #
Located Designator Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Designator -> Loc # locOfList :: [Designator] -> Loc #
Relocatable Designator Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Designator -> Designator #

data Designation Source #

Constructors

Designation [Designator] !SrcLoc

Instances

Instances details

Data Designation Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Designation -> c Designation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Designation # toConstr :: Designation -> Constr # dataTypeOf :: Designation -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Designation) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Designation) # gmapT :: (forall b. Data b => b -> b) -> Designation -> Designation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Designation -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Designation -> r # gmapQ :: (forall d. Data d => d -> u) -> Designation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Designation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Designation -> m Designation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Designation -> m Designation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Designation -> m Designation #
Show Designation Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Designation -> ShowS # show :: Designation -> String # showList :: [Designation] -> ShowS #
Eq Designation Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Designation -> Designation -> Bool # (/=) :: Designation -> Designation -> Bool #
Ord Designation Source #
Instance details Defined in Language.C.Syntax Methods compare :: Designation -> Designation -> Ordering # (<) :: Designation -> Designation -> Bool # (<=) :: Designation -> Designation -> Bool # (>) :: Designation -> Designation -> Bool # (>=) :: Designation -> Designation -> Bool # max :: Designation -> Designation -> Designation # min :: Designation -> Designation -> Designation #
Pretty Designation Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Designation -> Doc # pprPrec :: Int -> Designation -> Doc # pprList :: [Designation] -> Doc #
Located Designation Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Designation -> Loc # locOfList :: [Designation] -> Loc #
Relocatable Designation Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Designation -> Designation #

data Initializer Source #

Constructors

ExpInitializer Exp !SrcLoc
CompoundInitializer [(Maybe Designation, Initializer)] !SrcLoc
AntiInit String !SrcLoc
AntiInits String !SrcLoc

Instances

Instances details

Data Initializer Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Initializer -> c Initializer # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Initializer # toConstr :: Initializer -> Constr # dataTypeOf :: Initializer -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Initializer) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Initializer) # gmapT :: (forall b. Data b => b -> b) -> Initializer -> Initializer # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Initializer -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Initializer -> r # gmapQ :: (forall d. Data d => d -> u) -> Initializer -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Initializer -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Initializer -> m Initializer # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Initializer -> m Initializer # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Initializer -> m Initializer #
Show Initializer Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Initializer -> ShowS # show :: Initializer -> String # showList :: [Initializer] -> ShowS #
Eq Initializer Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Initializer -> Initializer -> Bool # (/=) :: Initializer -> Initializer -> Bool #
Ord Initializer Source #
Instance details Defined in Language.C.Syntax Methods compare :: Initializer -> Initializer -> Ordering # (<) :: Initializer -> Initializer -> Bool # (<=) :: Initializer -> Initializer -> Bool # (>) :: Initializer -> Initializer -> Bool # (>=) :: Initializer -> Initializer -> Bool # max :: Initializer -> Initializer -> Initializer # min :: Initializer -> Initializer -> Initializer #
Pretty Initializer Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Initializer -> Doc # pprPrec :: Int -> Initializer -> Doc # pprList :: [Initializer] -> Doc #
Located Initializer Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Initializer -> Loc # locOfList :: [Initializer] -> Loc #
Relocatable Initializer Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Initializer -> Initializer #

type AsmLabel = StringLit Source #

data Init Source #

Constructors

Init Id Decl (Maybe AsmLabel) (Maybe Initializer) [Attr] !SrcLoc

Instances

Instances details

Data Init Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Init -> c Init # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Init # toConstr :: Init -> Constr # dataTypeOf :: Init -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Init) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Init) # gmapT :: (forall b. Data b => b -> b) -> Init -> Init # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Init -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Init -> r # gmapQ :: (forall d. Data d => d -> u) -> Init -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Init -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Init -> m Init # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Init -> m Init # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Init -> m Init #
Show Init Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Init -> ShowS # show :: Init -> String # showList :: [Init] -> ShowS #
Eq Init Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Init -> Init -> Bool # (/=) :: Init -> Init -> Bool #
Ord Init Source #
Instance details Defined in Language.C.Syntax Methods compare :: Init -> Init -> Ordering # (<) :: Init -> Init -> Bool # (<=) :: Init -> Init -> Bool # (>) :: Init -> Init -> Bool # (>=) :: Init -> Init -> Bool # max :: Init -> Init -> Init # min :: Init -> Init -> Init #
Pretty Init Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Init -> Doc # pprPrec :: Int -> Init -> Doc # pprList :: [Init] -> Doc #
Located Init Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Init -> Loc # locOfList :: [Init] -> Loc #
Relocatable Init Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Init -> Init #

data Typedef Source #

Constructors

Typedef Id Decl [Attr] !SrcLoc

Instances

Instances details

Data Typedef Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Typedef -> c Typedef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Typedef # toConstr :: Typedef -> Constr # dataTypeOf :: Typedef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Typedef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Typedef) # gmapT :: (forall b. Data b => b -> b) -> Typedef -> Typedef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Typedef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Typedef -> r # gmapQ :: (forall d. Data d => d -> u) -> Typedef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Typedef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Typedef -> m Typedef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Typedef -> m Typedef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Typedef -> m Typedef #
Show Typedef Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Typedef -> ShowS # show :: Typedef -> String # showList :: [Typedef] -> ShowS #
Eq Typedef Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Typedef -> Typedef -> Bool # (/=) :: Typedef -> Typedef -> Bool #
Ord Typedef Source #
Instance details Defined in Language.C.Syntax Methods compare :: Typedef -> Typedef -> Ordering # (<) :: Typedef -> Typedef -> Bool # (<=) :: Typedef -> Typedef -> Bool # (>) :: Typedef -> Typedef -> Bool # (>=) :: Typedef -> Typedef -> Bool # max :: Typedef -> Typedef -> Typedef # min :: Typedef -> Typedef -> Typedef #
Pretty Typedef Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Typedef -> Doc # pprPrec :: Int -> Typedef -> Doc # pprList :: [Typedef] -> Doc #
Located Typedef Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Typedef -> Loc # locOfList :: [Typedef] -> Loc #
Relocatable Typedef Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Typedef -> Typedef #

data InitGroup Source #

Constructors

InitGroup DeclSpec [Attr] [Init] !SrcLoc
TypedefGroup DeclSpec [Attr] [Typedef] !SrcLoc
AntiDecl String !SrcLoc
AntiDecls String !SrcLoc

Instances

Instances details

Data InitGroup Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InitGroup -> c InitGroup # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InitGroup # toConstr :: InitGroup -> Constr # dataTypeOf :: InitGroup -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InitGroup) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InitGroup) # gmapT :: (forall b. Data b => b -> b) -> InitGroup -> InitGroup # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InitGroup -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InitGroup -> r # gmapQ :: (forall d. Data d => d -> u) -> InitGroup -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InitGroup -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InitGroup -> m InitGroup # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InitGroup -> m InitGroup # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InitGroup -> m InitGroup #
Show InitGroup Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> InitGroup -> ShowS # show :: InitGroup -> String # showList :: [InitGroup] -> ShowS #
Eq InitGroup Source #
Instance details Defined in Language.C.Syntax Methods (==) :: InitGroup -> InitGroup -> Bool # (/=) :: InitGroup -> InitGroup -> Bool #
Ord InitGroup Source #
Instance details Defined in Language.C.Syntax Methods compare :: InitGroup -> InitGroup -> Ordering # (<) :: InitGroup -> InitGroup -> Bool # (<=) :: InitGroup -> InitGroup -> Bool # (>) :: InitGroup -> InitGroup -> Bool # (>=) :: InitGroup -> InitGroup -> Bool # max :: InitGroup -> InitGroup -> InitGroup # min :: InitGroup -> InitGroup -> InitGroup #
Pretty InitGroup Source #
Instance details Defined in Language.C.Pretty Methods ppr :: InitGroup -> Doc # pprPrec :: Int -> InitGroup -> Doc # pprList :: [InitGroup] -> Doc #
Located InitGroup Source #
Instance details Defined in Language.C.Syntax Methods locOf :: InitGroup -> Loc # locOfList :: [InitGroup] -> Loc #
Relocatable InitGroup Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> InitGroup -> InitGroup #

data Field Source #

Constructors

Field (Maybe Id) (Maybe Decl) (Maybe Exp) !SrcLoc

Instances

Instances details

Data Field Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Field -> c Field # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Field # toConstr :: Field -> Constr # dataTypeOf :: Field -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Field) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Field) # gmapT :: (forall b. Data b => b -> b) -> Field -> Field # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r # gmapQ :: (forall d. Data d => d -> u) -> Field -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Field -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Field -> m Field # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Field -> m Field # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Field -> m Field #
Show Field Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #
Eq Field Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Ord Field Source #
Instance details Defined in Language.C.Syntax Methods compare :: Field -> Field -> Ordering # (<) :: Field -> Field -> Bool # (<=) :: Field -> Field -> Bool # (>) :: Field -> Field -> Bool # (>=) :: Field -> Field -> Bool # max :: Field -> Field -> Field # min :: Field -> Field -> Field #
Pretty Field Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Field -> Doc # pprPrec :: Int -> Field -> Doc # pprList :: [Field] -> Doc #
Located Field Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Field -> Loc # locOfList :: [Field] -> Loc #
Relocatable Field Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Field -> Field #

data FieldGroup Source #

Constructors

FieldGroup DeclSpec [Field] !SrcLoc
AntiSdecl String !SrcLoc
AntiSdecls String !SrcLoc

Instances

Instances details

Data FieldGroup Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldGroup -> c FieldGroup # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldGroup # toConstr :: FieldGroup -> Constr # dataTypeOf :: FieldGroup -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldGroup) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldGroup) # gmapT :: (forall b. Data b => b -> b) -> FieldGroup -> FieldGroup # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldGroup -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldGroup -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldGroup -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldGroup -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldGroup -> m FieldGroup # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldGroup -> m FieldGroup # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldGroup -> m FieldGroup #
Show FieldGroup Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> FieldGroup -> ShowS # show :: FieldGroup -> String # showList :: [FieldGroup] -> ShowS #
Eq FieldGroup Source #
Instance details Defined in Language.C.Syntax Methods (==) :: FieldGroup -> FieldGroup -> Bool # (/=) :: FieldGroup -> FieldGroup -> Bool #
Ord FieldGroup Source #
Instance details Defined in Language.C.Syntax Methods compare :: FieldGroup -> FieldGroup -> Ordering # (<) :: FieldGroup -> FieldGroup -> Bool # (<=) :: FieldGroup -> FieldGroup -> Bool # (>) :: FieldGroup -> FieldGroup -> Bool # (>=) :: FieldGroup -> FieldGroup -> Bool # max :: FieldGroup -> FieldGroup -> FieldGroup # min :: FieldGroup -> FieldGroup -> FieldGroup #
Pretty FieldGroup Source #
Instance details Defined in Language.C.Pretty Methods ppr :: FieldGroup -> Doc # pprPrec :: Int -> FieldGroup -> Doc # pprList :: [FieldGroup] -> Doc #
Located FieldGroup Source #
Instance details Defined in Language.C.Syntax Methods locOf :: FieldGroup -> Loc # locOfList :: [FieldGroup] -> Loc #
Relocatable FieldGroup Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> FieldGroup -> FieldGroup #

data CEnum Source #

Constructors

CEnum Id (Maybe Exp) !SrcLoc
AntiEnum String !SrcLoc
AntiEnums String !SrcLoc

Instances

Instances details

Data CEnum Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CEnum -> c CEnum # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CEnum # toConstr :: CEnum -> Constr # dataTypeOf :: CEnum -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CEnum) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CEnum) # gmapT :: (forall b. Data b => b -> b) -> CEnum -> CEnum # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CEnum -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CEnum -> r # gmapQ :: (forall d. Data d => d -> u) -> CEnum -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CEnum -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CEnum -> m CEnum # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CEnum -> m CEnum # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CEnum -> m CEnum #
Show CEnum Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> CEnum -> ShowS # show :: CEnum -> String # showList :: [CEnum] -> ShowS #
Eq CEnum Source #
Instance details Defined in Language.C.Syntax Methods (==) :: CEnum -> CEnum -> Bool # (/=) :: CEnum -> CEnum -> Bool #
Ord CEnum Source #
Instance details Defined in Language.C.Syntax Methods compare :: CEnum -> CEnum -> Ordering # (<) :: CEnum -> CEnum -> Bool # (<=) :: CEnum -> CEnum -> Bool # (>) :: CEnum -> CEnum -> Bool # (>=) :: CEnum -> CEnum -> Bool # max :: CEnum -> CEnum -> CEnum # min :: CEnum -> CEnum -> CEnum #
Pretty CEnum Source #
Instance details Defined in Language.C.Pretty Methods ppr :: CEnum -> Doc # pprPrec :: Int -> CEnum -> Doc # pprList :: [CEnum] -> Doc #
Located CEnum Source #
Instance details Defined in Language.C.Syntax Methods locOf :: CEnum -> Loc # locOfList :: [CEnum] -> Loc #
Relocatable CEnum Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> CEnum -> CEnum #

data Attr Source #

Constructors

Attr Id [Exp] !SrcLoc
AntiAttr String !SrcLoc
AntiAttrs String !SrcLoc

Instances

Instances details

Data Attr Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attr -> c Attr # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr # toConstr :: Attr -> Constr # dataTypeOf :: Attr -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr) # gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r # gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr #
Show Attr Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Attr -> ShowS # show :: Attr -> String # showList :: [Attr] -> ShowS #
Eq Attr Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Attr -> Attr -> Bool # (/=) :: Attr -> Attr -> Bool #
Ord Attr Source #
Instance details Defined in Language.C.Syntax Methods compare :: Attr -> Attr -> Ordering # (<) :: Attr -> Attr -> Bool # (<=) :: Attr -> Attr -> Bool # (>) :: Attr -> Attr -> Bool # (>=) :: Attr -> Attr -> Bool # max :: Attr -> Attr -> Attr # min :: Attr -> Attr -> Attr #
Pretty Attr Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Attr -> Doc # pprPrec :: Int -> Attr -> Doc # pprList :: [Attr] -> Doc #
Located Attr Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Attr -> Loc # locOfList :: [Attr] -> Loc #
Relocatable Attr Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Attr -> Attr #

data Param Source #

Constructors

Param (Maybe Id) DeclSpec Decl !SrcLoc
AntiParam String !SrcLoc
AntiParams String !SrcLoc

Instances

Instances details

Data Param Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Param -> c Param # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Param # toConstr :: Param -> Constr # dataTypeOf :: Param -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Param) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Param) # gmapT :: (forall b. Data b => b -> b) -> Param -> Param # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r # gmapQ :: (forall d. Data d => d -> u) -> Param -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Param -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Param -> m Param # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Param -> m Param # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Param -> m Param #
Show Param Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Param -> ShowS # show :: Param -> String # showList :: [Param] -> ShowS #
Eq Param Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Param -> Param -> Bool # (/=) :: Param -> Param -> Bool #
Ord Param Source #
Instance details Defined in Language.C.Syntax Methods compare :: Param -> Param -> Ordering # (<) :: Param -> Param -> Bool # (<=) :: Param -> Param -> Bool # (>) :: Param -> Param -> Bool # (>=) :: Param -> Param -> Bool # max :: Param -> Param -> Param # min :: Param -> Param -> Param #
Pretty Param Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Param -> Doc # pprPrec :: Int -> Param -> Doc # pprList :: [Param] -> Doc #
Located Param Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Param -> Loc # locOfList :: [Param] -> Loc #
Relocatable Param Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Param -> Param #

data Params Source #

Constructors

Params [Param] Bool !SrcLoc

Instances

Instances details

Data Params Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Params -> c Params # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Params # toConstr :: Params -> Constr # dataTypeOf :: Params -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Params) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Params) # gmapT :: (forall b. Data b => b -> b) -> Params -> Params # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Params -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Params -> r # gmapQ :: (forall d. Data d => d -> u) -> Params -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Params -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Params -> m Params # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Params -> m Params # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Params -> m Params #
Show Params Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Params -> ShowS # show :: Params -> String # showList :: [Params] -> ShowS #
Eq Params Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Params -> Params -> Bool # (/=) :: Params -> Params -> Bool #
Ord Params Source #
Instance details Defined in Language.C.Syntax Methods compare :: Params -> Params -> Ordering # (<) :: Params -> Params -> Bool # (<=) :: Params -> Params -> Bool # (>) :: Params -> Params -> Bool # (>=) :: Params -> Params -> Bool # max :: Params -> Params -> Params # min :: Params -> Params -> Params #
Pretty Params Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Params -> Doc # pprPrec :: Int -> Params -> Doc # pprList :: [Params] -> Doc #
Located Params Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Params -> Loc # locOfList :: [Params] -> Loc #
Relocatable Params Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Params -> Params #

data Func Source #

Constructors

Func DeclSpec Id Decl Params [BlockItem] !SrcLoc
OldFunc DeclSpec Id Decl [Id] (Maybe [InitGroup]) [BlockItem] !SrcLoc

Instances

Instances details

Data Func Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Func -> c Func # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Func # toConstr :: Func -> Constr # dataTypeOf :: Func -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Func) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Func) # gmapT :: (forall b. Data b => b -> b) -> Func -> Func # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Func -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Func -> r # gmapQ :: (forall d. Data d => d -> u) -> Func -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Func -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Func -> m Func # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Func -> m Func # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Func -> m Func #
Show Func Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Func -> ShowS # show :: Func -> String # showList :: [Func] -> ShowS #
Eq Func Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Func -> Func -> Bool # (/=) :: Func -> Func -> Bool #
Ord Func Source #
Instance details Defined in Language.C.Syntax Methods compare :: Func -> Func -> Ordering # (<) :: Func -> Func -> Bool # (<=) :: Func -> Func -> Bool # (>) :: Func -> Func -> Bool # (>=) :: Func -> Func -> Bool # max :: Func -> Func -> Func # min :: Func -> Func -> Func #
Pretty Func Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Func -> Doc # pprPrec :: Int -> Func -> Doc # pprList :: [Func] -> Doc #
Located Func Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Func -> Loc # locOfList :: [Func] -> Loc #
Relocatable Func Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Func -> Func #

data Definition Source #

Constructors

FuncDef Func !SrcLoc
DecDef InitGroup !SrcLoc
EscDef String !SrcLoc
AntiFunc String !SrcLoc
AntiEsc String !SrcLoc
AntiEdecl String !SrcLoc
AntiEdecls String !SrcLoc
ObjCClassDec [Id] !SrcLoc
ObjCClassIface Id (Maybe Id) [Id] [ObjCIvarDecl] [ObjCIfaceDecl] [Attr] !SrcLoc
ObjCCatIface Id (Maybe Id) [Id] [ObjCIvarDecl] [ObjCIfaceDecl] !SrcLoc
ObjCProtDec [Id] !SrcLoc
ObjCProtDef Id [Id] [ObjCIfaceDecl] !SrcLoc
ObjCClassImpl Id (Maybe Id) [ObjCIvarDecl] [Definition] !SrcLoc
ObjCCatImpl Id Id [Definition] !SrcLoc
ObjCSynDef [(Id, Maybe Id)] !SrcLoc
ObjCDynDef [Id] !SrcLoc
ObjCMethDef ObjCMethodProto [BlockItem] !SrcLoc
ObjCCompAlias Id Id !SrcLoc
AntiObjCMeth String !SrcLoc
AntiObjCMeths String !SrcLoc

Instances

Instances details

Data Definition Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Definition -> c Definition # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Definition # toConstr :: Definition -> Constr # dataTypeOf :: Definition -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Definition) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Definition) # gmapT :: (forall b. Data b => b -> b) -> Definition -> Definition # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Definition -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Definition -> r # gmapQ :: (forall d. Data d => d -> u) -> Definition -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Definition -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Definition -> m Definition # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Definition -> m Definition # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Definition -> m Definition #
Show Definition Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Definition -> ShowS # show :: Definition -> String # showList :: [Definition] -> ShowS #
Eq Definition Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Definition -> Definition -> Bool # (/=) :: Definition -> Definition -> Bool #
Ord Definition Source #
Instance details Defined in Language.C.Syntax Methods compare :: Definition -> Definition -> Ordering # (<) :: Definition -> Definition -> Bool # (<=) :: Definition -> Definition -> Bool # (>) :: Definition -> Definition -> Bool # (>=) :: Definition -> Definition -> Bool # max :: Definition -> Definition -> Definition # min :: Definition -> Definition -> Definition #
Pretty Definition Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Definition -> Doc # pprPrec :: Int -> Definition -> Doc # pprList :: [Definition] -> Doc #
Located Definition Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Definition -> Loc # locOfList :: [Definition] -> Loc #
Relocatable Definition Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Definition -> Definition #

data Stm Source #

Constructors

Label Id [Attr] Stm !SrcLoc
Case Exp Stm !SrcLoc
CaseRange Exp Exp Stm !SrcLoc
Default Stm !SrcLoc
Exp (Maybe Exp) !SrcLoc
Block [BlockItem] !SrcLoc
If Exp Stm (Maybe Stm) !SrcLoc
Switch Exp Stm !SrcLoc
While Exp Stm !SrcLoc
DoWhile Stm Exp !SrcLoc
For (Either InitGroup (Maybe Exp)) (Maybe Exp) (Maybe Exp) Stm !SrcLoc
Goto Id !SrcLoc
Continue !SrcLoc
Break !SrcLoc
Return (Maybe Exp) !SrcLoc
Pragma String !SrcLoc
Comment String Stm !SrcLoc
EscStm String !SrcLoc
AntiEscStm String !SrcLoc
AntiPragma String !SrcLoc
AntiComment String Stm !SrcLoc
AntiStm String !SrcLoc
AntiStms String !SrcLoc
Asm Bool [Attr] AsmTemplate [AsmOut] [AsmIn] [AsmClobber] !SrcLoc
AsmGoto Bool [Attr] AsmTemplate [AsmIn] [AsmClobber] [Id] !SrcLoc
ObjCTry [BlockItem] [ObjCCatch] (Maybe [BlockItem]) !SrcLoc	Invariant: There is either at least one `ObjCCatch` or the finally block is present.
ObjCThrow (Maybe Exp) !SrcLoc
ObjCSynchronized Exp [BlockItem] !SrcLoc
ObjCAutoreleasepool [BlockItem] !SrcLoc

Instances

Instances details

Data Stm Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Stm -> c Stm # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Stm # toConstr :: Stm -> Constr # dataTypeOf :: Stm -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Stm) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Stm) # gmapT :: (forall b. Data b => b -> b) -> Stm -> Stm # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Stm -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Stm -> r # gmapQ :: (forall d. Data d => d -> u) -> Stm -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Stm -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Stm -> m Stm # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Stm -> m Stm # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Stm -> m Stm #
Show Stm Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Stm -> ShowS # show :: Stm -> String # showList :: [Stm] -> ShowS #
Eq Stm Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Stm -> Stm -> Bool # (/=) :: Stm -> Stm -> Bool #
Ord Stm Source #
Instance details Defined in Language.C.Syntax Methods compare :: Stm -> Stm -> Ordering # (<) :: Stm -> Stm -> Bool # (<=) :: Stm -> Stm -> Bool # (>) :: Stm -> Stm -> Bool # (>=) :: Stm -> Stm -> Bool # max :: Stm -> Stm -> Stm # min :: Stm -> Stm -> Stm #
Pretty Stm Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Stm -> Doc # pprPrec :: Int -> Stm -> Doc # pprList :: [Stm] -> Doc #
Located Stm Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Stm -> Loc # locOfList :: [Stm] -> Loc #
Relocatable Stm Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Stm -> Stm #

data BlockItem Source #

Constructors

BlockDecl InitGroup
BlockStm Stm
AntiBlockItem String !SrcLoc
AntiBlockItems String !SrcLoc

Instances

Instances details

Data BlockItem Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BlockItem -> c BlockItem # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BlockItem # toConstr :: BlockItem -> Constr # dataTypeOf :: BlockItem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BlockItem) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BlockItem) # gmapT :: (forall b. Data b => b -> b) -> BlockItem -> BlockItem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BlockItem -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockItem -> r # gmapQ :: (forall d. Data d => d -> u) -> BlockItem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BlockItem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BlockItem -> m BlockItem # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockItem -> m BlockItem # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockItem -> m BlockItem #
Show BlockItem Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> BlockItem -> ShowS # show :: BlockItem -> String # showList :: [BlockItem] -> ShowS #
Eq BlockItem Source #
Instance details Defined in Language.C.Syntax Methods (==) :: BlockItem -> BlockItem -> Bool # (/=) :: BlockItem -> BlockItem -> Bool #
Ord BlockItem Source #
Instance details Defined in Language.C.Syntax Methods compare :: BlockItem -> BlockItem -> Ordering # (<) :: BlockItem -> BlockItem -> Bool # (<=) :: BlockItem -> BlockItem -> Bool # (>) :: BlockItem -> BlockItem -> Bool # (>=) :: BlockItem -> BlockItem -> Bool # max :: BlockItem -> BlockItem -> BlockItem # min :: BlockItem -> BlockItem -> BlockItem #
Pretty BlockItem Source #
Instance details Defined in Language.C.Pretty Methods ppr :: BlockItem -> Doc # pprPrec :: Int -> BlockItem -> Doc # pprList :: [BlockItem] -> Doc #
Located BlockItem Source #
Instance details Defined in Language.C.Syntax Methods locOf :: BlockItem -> Loc # locOfList :: [BlockItem] -> Loc #
Relocatable BlockItem Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> BlockItem -> BlockItem #

data Signed Source #

Constructors

Signed
Unsigned

Instances

Instances details

Data Signed Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Signed -> c Signed # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Signed # toConstr :: Signed -> Constr # dataTypeOf :: Signed -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Signed) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Signed) # gmapT :: (forall b. Data b => b -> b) -> Signed -> Signed # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Signed -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Signed -> r # gmapQ :: (forall d. Data d => d -> u) -> Signed -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Signed -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Signed -> m Signed # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Signed -> m Signed # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Signed -> m Signed #
Show Signed Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Signed -> ShowS # show :: Signed -> String # showList :: [Signed] -> ShowS #
Eq Signed Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Signed -> Signed -> Bool # (/=) :: Signed -> Signed -> Bool #
Ord Signed Source #
Instance details Defined in Language.C.Syntax Methods compare :: Signed -> Signed -> Ordering # (<) :: Signed -> Signed -> Bool # (<=) :: Signed -> Signed -> Bool # (>) :: Signed -> Signed -> Bool # (>=) :: Signed -> Signed -> Bool # max :: Signed -> Signed -> Signed # min :: Signed -> Signed -> Signed #

data Const Source #

The String parameter to Const data constructors is the raw string representation of the constant as it was parsed.

Instances

Instances details

Data Const Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Const -> c Const # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Const # toConstr :: Const -> Constr # dataTypeOf :: Const -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Const) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Const) # gmapT :: (forall b. Data b => b -> b) -> Const -> Const # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Const -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Const -> r # gmapQ :: (forall d. Data d => d -> u) -> Const -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Const -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Const -> m Const # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Const -> m Const # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Const -> m Const #
Show Const Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Const -> ShowS # show :: Const -> String # showList :: [Const] -> ShowS #
Eq Const Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Const -> Const -> Bool # (/=) :: Const -> Const -> Bool #
Ord Const Source #
Instance details Defined in Language.C.Syntax Methods compare :: Const -> Const -> Ordering # (<) :: Const -> Const -> Bool # (<=) :: Const -> Const -> Bool # (>) :: Const -> Const -> Bool # (>=) :: Const -> Const -> Bool # max :: Const -> Const -> Const # min :: Const -> Const -> Const #
ToConst Const Source #
Instance details Defined in Language.C.Quote.Base Methods toConst :: Const -> SrcLoc -> Const Source #
Pretty Const Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Const -> Doc # pprPrec :: Int -> Const -> Doc # pprList :: [Const] -> Doc #
Located Const Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Const -> Loc # locOfList :: [Const] -> Loc #
Relocatable Const Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Const -> Const #

data Exp Source #

Constructors

Var Id !SrcLoc
Const Const !SrcLoc
BinOp BinOp Exp Exp !SrcLoc
Assign Exp AssignOp Exp !SrcLoc
PreInc Exp !SrcLoc
PostInc Exp !SrcLoc
PreDec Exp !SrcLoc
PostDec Exp !SrcLoc
UnOp UnOp Exp !SrcLoc
SizeofExp Exp !SrcLoc
SizeofType Type !SrcLoc
Cast Type Exp !SrcLoc
Cond Exp Exp Exp !SrcLoc
Member Exp Id !SrcLoc
PtrMember Exp Id !SrcLoc
Index Exp Exp !SrcLoc
FnCall Exp [Exp] !SrcLoc
CudaCall Exp ExeConfig [Exp] !SrcLoc
Seq Exp Exp !SrcLoc
CompoundLit Type [(Maybe Designation, Initializer)] !SrcLoc
StmExpr [BlockItem] !SrcLoc
EscExp String !SrcLoc
AntiEscExp String !SrcLoc
AntiExp String !SrcLoc
AntiArgs String !SrcLoc
BuiltinVaArg Exp Type !SrcLoc
BlockLit BlockType [Attr] [BlockItem] !SrcLoc
ObjCMsg ObjCRecv [ObjCArg] [Exp] !SrcLoc	Invariant: First argument must at least have either a selector or an expression; all other arguments must have an expression.
ObjCLitConst (Maybe UnOp) Const !SrcLoc
ObjCLitString [Const] !SrcLoc
ObjCLitBool Bool !SrcLoc
ObjCLitArray [Exp] !SrcLoc
ObjCLitDict [ObjCDictElem] !SrcLoc
ObjCLitBoxed Exp !SrcLoc
ObjCEncode Type !SrcLoc
ObjCProtocol Id !SrcLoc
ObjCSelector String !SrcLoc
Lambda LambdaIntroducer (Maybe LambdaDeclarator) [BlockItem] !SrcLoc

Instances

Instances details

Data Exp Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exp -> c Exp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Exp # toConstr :: Exp -> Constr # dataTypeOf :: Exp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Exp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Exp) # gmapT :: (forall b. Data b => b -> b) -> Exp -> Exp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r # gmapQ :: (forall d. Data d => d -> u) -> Exp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Exp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exp -> m Exp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp #
Enum Exp Source #
Instance details Defined in Language.C.Smart Methods succ :: Exp -> Exp # pred :: Exp -> Exp # toEnum :: Int -> Exp # fromEnum :: Exp -> Int # enumFrom :: Exp -> [Exp] # enumFromThen :: Exp -> Exp -> [Exp] # enumFromTo :: Exp -> Exp -> [Exp] # enumFromThenTo :: Exp -> Exp -> Exp -> [Exp] #
Floating Exp Source #
Instance details Defined in Language.C.Smart Methods pi :: Exp # exp :: Exp -> Exp # log :: Exp -> Exp # sqrt :: Exp -> Exp # (**) :: Exp -> Exp -> Exp # logBase :: Exp -> Exp -> Exp # sin :: Exp -> Exp # cos :: Exp -> Exp # tan :: Exp -> Exp # asin :: Exp -> Exp # acos :: Exp -> Exp # atan :: Exp -> Exp # sinh :: Exp -> Exp # cosh :: Exp -> Exp # tanh :: Exp -> Exp # asinh :: Exp -> Exp # acosh :: Exp -> Exp # atanh :: Exp -> Exp # log1p :: Exp -> Exp # expm1 :: Exp -> Exp # log1pexp :: Exp -> Exp # log1mexp :: Exp -> Exp #
Num Exp Source #
Instance details Defined in Language.C.Smart Methods (+) :: Exp -> Exp -> Exp # (-) :: Exp -> Exp -> Exp # (*) :: Exp -> Exp -> Exp # negate :: Exp -> Exp # abs :: Exp -> Exp # signum :: Exp -> Exp # fromInteger :: Integer -> Exp #
Fractional Exp Source #
Instance details Defined in Language.C.Smart Methods (/) :: Exp -> Exp -> Exp # recip :: Exp -> Exp # fromRational :: Rational -> Exp #
Integral Exp Source #
Instance details Defined in Language.C.Smart Methods quot :: Exp -> Exp -> Exp # rem :: Exp -> Exp -> Exp # div :: Exp -> Exp -> Exp # mod :: Exp -> Exp -> Exp # quotRem :: Exp -> Exp -> (Exp, Exp) # divMod :: Exp -> Exp -> (Exp, Exp) # toInteger :: Exp -> Integer #
Real Exp Source #
Instance details Defined in Language.C.Smart Methods toRational :: Exp -> Rational #
Show Exp Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Exp -> ShowS # show :: Exp -> String # showList :: [Exp] -> ShowS #
Eq Exp Source #
Instance details Defined in Language.C.Syntax Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
Ord Exp Source #
Instance details Defined in Language.C.Syntax Methods compare :: Exp -> Exp -> Ordering # (<) :: Exp -> Exp -> Bool # (<=) :: Exp -> Exp -> Bool # (>) :: Exp -> Exp -> Bool # (>=) :: Exp -> Exp -> Bool # max :: Exp -> Exp -> Exp # min :: Exp -> Exp -> Exp #
ToExp Exp Source #
Instance details Defined in Language.C.Quote.Base Methods toExp :: Exp -> SrcLoc -> Exp Source #
Pretty Exp Source #
Instance details Defined in Language.C.Pretty Methods ppr :: Exp -> Doc # pprPrec :: Int -> Exp -> Doc # pprList :: [Exp] -> Doc #
Located Exp Source #
Instance details Defined in Language.C.Syntax Methods locOf :: Exp -> Loc # locOfList :: [Exp] -> Loc #
Relocatable Exp Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Exp -> Exp #

data BinOp Source #

Constructors

Add
Sub
Mul
Div
Mod
Eq
Ne
Lt
Gt
Le
Ge
Land
Lor
And
Or
Xor
Lsh
Rsh

Instances

Instances details

Data BinOp Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BinOp -> c BinOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BinOp # toConstr :: BinOp -> Constr # dataTypeOf :: BinOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BinOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BinOp) # gmapT :: (forall b. Data b => b -> b) -> BinOp -> BinOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r # gmapQ :: (forall d. Data d => d -> u) -> BinOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BinOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp #
Show BinOp Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> BinOp -> ShowS # show :: BinOp -> String # showList :: [BinOp] -> ShowS #
Eq BinOp Source #
Instance details Defined in Language.C.Syntax Methods (==) :: BinOp -> BinOp -> Bool # (/=) :: BinOp -> BinOp -> Bool #
Ord BinOp Source #
Instance details Defined in Language.C.Syntax Methods compare :: BinOp -> BinOp -> Ordering # (<) :: BinOp -> BinOp -> Bool # (<=) :: BinOp -> BinOp -> Bool # (>) :: BinOp -> BinOp -> Bool # (>=) :: BinOp -> BinOp -> Bool # max :: BinOp -> BinOp -> BinOp # min :: BinOp -> BinOp -> BinOp #
CFixity BinOp Source #
Instance details Defined in Language.C.Pretty Methods fixity :: BinOp -> Fixity Source # parensOp :: Int -> BinOp -> Doc -> Doc Source #
Pretty BinOp Source #
Instance details Defined in Language.C.Pretty Methods ppr :: BinOp -> Doc # pprPrec :: Int -> BinOp -> Doc # pprList :: [BinOp] -> Doc #

data AssignOp Source #

Constructors

JustAssign
AddAssign
SubAssign
MulAssign
DivAssign
ModAssign
LshAssign
RshAssign
AndAssign
XorAssign
OrAssign

Instances

Instances details

Data AssignOp Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AssignOp -> c AssignOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AssignOp # toConstr :: AssignOp -> Constr # dataTypeOf :: AssignOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AssignOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AssignOp) # gmapT :: (forall b. Data b => b -> b) -> AssignOp -> AssignOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AssignOp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AssignOp -> r # gmapQ :: (forall d. Data d => d -> u) -> AssignOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AssignOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp #
Show AssignOp Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> AssignOp -> ShowS # show :: AssignOp -> String # showList :: [AssignOp] -> ShowS #
Eq AssignOp Source #
Instance details Defined in Language.C.Syntax Methods (==) :: AssignOp -> AssignOp -> Bool # (/=) :: AssignOp -> AssignOp -> Bool #
Ord AssignOp Source #
Instance details Defined in Language.C.Syntax 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 #
CFixity AssignOp Source #
Instance details Defined in Language.C.Pretty Methods fixity :: AssignOp -> Fixity Source # parensOp :: Int -> AssignOp -> Doc -> Doc Source #
Pretty AssignOp Source #
Instance details Defined in Language.C.Pretty Methods ppr :: AssignOp -> Doc # pprPrec :: Int -> AssignOp -> Doc # pprList :: [AssignOp] -> Doc #

data UnOp Source #

Constructors

AddrOf
Deref
Positive
Negate
Not
Lnot

Instances

Instances details

Data UnOp Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnOp -> c UnOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnOp # toConstr :: UnOp -> Constr # dataTypeOf :: UnOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UnOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnOp) # gmapT :: (forall b. Data b => b -> b) -> UnOp -> UnOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnOp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnOp -> r # gmapQ :: (forall d. Data d => d -> u) -> UnOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnOp -> m UnOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnOp -> m UnOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnOp -> m UnOp #
Show UnOp Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> UnOp -> ShowS # show :: UnOp -> String # showList :: [UnOp] -> ShowS #
Eq UnOp Source #
Instance details Defined in Language.C.Syntax Methods (==) :: UnOp -> UnOp -> Bool # (/=) :: UnOp -> UnOp -> Bool #
Ord UnOp Source #
Instance details Defined in Language.C.Syntax Methods compare :: UnOp -> UnOp -> Ordering # (<) :: UnOp -> UnOp -> Bool # (<=) :: UnOp -> UnOp -> Bool # (>) :: UnOp -> UnOp -> Bool # (>=) :: UnOp -> UnOp -> Bool # max :: UnOp -> UnOp -> UnOp # min :: UnOp -> UnOp -> UnOp #
CFixity UnOp Source #
Instance details Defined in Language.C.Pretty Methods fixity :: UnOp -> Fixity Source # parensOp :: Int -> UnOp -> Doc -> Doc Source #
Pretty UnOp Source #
Instance details Defined in Language.C.Pretty Methods ppr :: UnOp -> Doc # pprPrec :: Int -> UnOp -> Doc # pprList :: [UnOp] -> Doc #

type AsmTemplate = StringLit Source #

data AsmOut Source #

Constructors

AsmOut (Maybe Id) String Id

Instances

Instances details

Data AsmOut Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AsmOut -> c AsmOut # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AsmOut # toConstr :: AsmOut -> Constr # dataTypeOf :: AsmOut -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AsmOut) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AsmOut) # gmapT :: (forall b. Data b => b -> b) -> AsmOut -> AsmOut # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AsmOut -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AsmOut -> r # gmapQ :: (forall d. Data d => d -> u) -> AsmOut -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AsmOut -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AsmOut -> m AsmOut # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AsmOut -> m AsmOut # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AsmOut -> m AsmOut #
Show AsmOut Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> AsmOut -> ShowS # show :: AsmOut -> String # showList :: [AsmOut] -> ShowS #
Eq AsmOut Source #
Instance details Defined in Language.C.Syntax Methods (==) :: AsmOut -> AsmOut -> Bool # (/=) :: AsmOut -> AsmOut -> Bool #
Ord AsmOut Source #
Instance details Defined in Language.C.Syntax Methods compare :: AsmOut -> AsmOut -> Ordering # (<) :: AsmOut -> AsmOut -> Bool # (<=) :: AsmOut -> AsmOut -> Bool # (>) :: AsmOut -> AsmOut -> Bool # (>=) :: AsmOut -> AsmOut -> Bool # max :: AsmOut -> AsmOut -> AsmOut # min :: AsmOut -> AsmOut -> AsmOut #
Pretty AsmOut Source #
Instance details Defined in Language.C.Pretty Methods ppr :: AsmOut -> Doc # pprPrec :: Int -> AsmOut -> Doc # pprList :: [AsmOut] -> Doc #

data AsmIn Source #

Constructors

AsmIn (Maybe Id) String Exp

Instances

Instances details

Data AsmIn Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AsmIn -> c AsmIn # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AsmIn # toConstr :: AsmIn -> Constr # dataTypeOf :: AsmIn -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AsmIn) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AsmIn) # gmapT :: (forall b. Data b => b -> b) -> AsmIn -> AsmIn # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AsmIn -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AsmIn -> r # gmapQ :: (forall d. Data d => d -> u) -> AsmIn -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AsmIn -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AsmIn -> m AsmIn # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AsmIn -> m AsmIn # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AsmIn -> m AsmIn #
Show AsmIn Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> AsmIn -> ShowS # show :: AsmIn -> String # showList :: [AsmIn] -> ShowS #
Eq AsmIn Source #
Instance details Defined in Language.C.Syntax Methods (==) :: AsmIn -> AsmIn -> Bool # (/=) :: AsmIn -> AsmIn -> Bool #
Ord AsmIn Source #
Instance details Defined in Language.C.Syntax Methods compare :: AsmIn -> AsmIn -> Ordering # (<) :: AsmIn -> AsmIn -> Bool # (<=) :: AsmIn -> AsmIn -> Bool # (>) :: AsmIn -> AsmIn -> Bool # (>=) :: AsmIn -> AsmIn -> Bool # max :: AsmIn -> AsmIn -> AsmIn # min :: AsmIn -> AsmIn -> AsmIn #
Pretty AsmIn Source #
Instance details Defined in Language.C.Pretty Methods ppr :: AsmIn -> Doc # pprPrec :: Int -> AsmIn -> Doc # pprList :: [AsmIn] -> Doc #

type AsmClobber = String Source #

data BlockType Source #

Constructors

BlockVoid !SrcLoc
BlockParam [Param] !SrcLoc
BlockType Type !SrcLoc

Instances

Instances details

Data BlockType Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BlockType -> c BlockType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BlockType # toConstr :: BlockType -> Constr # dataTypeOf :: BlockType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BlockType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BlockType) # gmapT :: (forall b. Data b => b -> b) -> BlockType -> BlockType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r # gmapQ :: (forall d. Data d => d -> u) -> BlockType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BlockType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType #
Show BlockType Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> BlockType -> ShowS # show :: BlockType -> String # showList :: [BlockType] -> ShowS #
Eq BlockType Source #
Instance details Defined in Language.C.Syntax Methods (==) :: BlockType -> BlockType -> Bool # (/=) :: BlockType -> BlockType -> Bool #
Ord BlockType Source #
Instance details Defined in Language.C.Syntax Methods compare :: BlockType -> BlockType -> Ordering # (<) :: BlockType -> BlockType -> Bool # (<=) :: BlockType -> BlockType -> Bool # (>) :: BlockType -> BlockType -> Bool # (>=) :: BlockType -> BlockType -> Bool # max :: BlockType -> BlockType -> BlockType # min :: BlockType -> BlockType -> BlockType #
Pretty BlockType Source #
Instance details Defined in Language.C.Pretty Methods ppr :: BlockType -> Doc # pprPrec :: Int -> BlockType -> Doc # pprList :: [BlockType] -> Doc #
Located BlockType Source #
Instance details Defined in Language.C.Syntax Methods locOf :: BlockType -> Loc # locOfList :: [BlockType] -> Loc #
Relocatable BlockType Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> BlockType -> BlockType #

data ObjCIvarDecl Source #

Constructors

ObjCIvarVisi ObjCVisibilitySpec !SrcLoc
ObjCIvarDecl FieldGroup !SrcLoc

Instances

Instances details

Data ObjCIvarDecl Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCIvarDecl -> c ObjCIvarDecl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCIvarDecl # toConstr :: ObjCIvarDecl -> Constr # dataTypeOf :: ObjCIvarDecl -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCIvarDecl) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCIvarDecl) # gmapT :: (forall b. Data b => b -> b) -> ObjCIvarDecl -> ObjCIvarDecl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCIvarDecl -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCIvarDecl -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCIvarDecl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCIvarDecl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCIvarDecl -> m ObjCIvarDecl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCIvarDecl -> m ObjCIvarDecl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCIvarDecl -> m ObjCIvarDecl #
Show ObjCIvarDecl Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCIvarDecl -> ShowS # show :: ObjCIvarDecl -> String # showList :: [ObjCIvarDecl] -> ShowS #
Eq ObjCIvarDecl Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool # (/=) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool #
Ord ObjCIvarDecl Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCIvarDecl -> ObjCIvarDecl -> Ordering # (<) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool # (<=) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool # (>) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool # (>=) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool # max :: ObjCIvarDecl -> ObjCIvarDecl -> ObjCIvarDecl # min :: ObjCIvarDecl -> ObjCIvarDecl -> ObjCIvarDecl #
Pretty ObjCIvarDecl Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCIvarDecl -> Doc # pprPrec :: Int -> ObjCIvarDecl -> Doc # pprList :: [ObjCIvarDecl] -> Doc #
Located ObjCIvarDecl Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCIvarDecl -> Loc # locOfList :: [ObjCIvarDecl] -> Loc #
Relocatable ObjCIvarDecl Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCIvarDecl -> ObjCIvarDecl #

data ObjCVisibilitySpec Source #

Constructors

ObjCPrivate !SrcLoc
ObjCPublic !SrcLoc
ObjCProtected !SrcLoc
ObjCPackage !SrcLoc

Instances

Instances details

Data ObjCVisibilitySpec Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCVisibilitySpec -> c ObjCVisibilitySpec # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCVisibilitySpec # toConstr :: ObjCVisibilitySpec -> Constr # dataTypeOf :: ObjCVisibilitySpec -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCVisibilitySpec) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCVisibilitySpec) # gmapT :: (forall b. Data b => b -> b) -> ObjCVisibilitySpec -> ObjCVisibilitySpec # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCVisibilitySpec -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCVisibilitySpec -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCVisibilitySpec -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCVisibilitySpec -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCVisibilitySpec -> m ObjCVisibilitySpec # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCVisibilitySpec -> m ObjCVisibilitySpec # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCVisibilitySpec -> m ObjCVisibilitySpec #
Show ObjCVisibilitySpec Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCVisibilitySpec -> ShowS # show :: ObjCVisibilitySpec -> String # showList :: [ObjCVisibilitySpec] -> ShowS #
Eq ObjCVisibilitySpec Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool # (/=) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool #
Ord ObjCVisibilitySpec Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Ordering # (<) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool # (<=) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool # (>) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool # (>=) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool # max :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> ObjCVisibilitySpec # min :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> ObjCVisibilitySpec #
Pretty ObjCVisibilitySpec Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCVisibilitySpec -> Doc # pprPrec :: Int -> ObjCVisibilitySpec -> Doc # pprList :: [ObjCVisibilitySpec] -> Doc #
Located ObjCVisibilitySpec Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCVisibilitySpec -> Loc # locOfList :: [ObjCVisibilitySpec] -> Loc #
Relocatable ObjCVisibilitySpec Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCVisibilitySpec -> ObjCVisibilitySpec #

data ObjCIfaceDecl Source #

Instances

Instances details

Data ObjCIfaceDecl Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCIfaceDecl -> c ObjCIfaceDecl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCIfaceDecl # toConstr :: ObjCIfaceDecl -> Constr # dataTypeOf :: ObjCIfaceDecl -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCIfaceDecl) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCIfaceDecl) # gmapT :: (forall b. Data b => b -> b) -> ObjCIfaceDecl -> ObjCIfaceDecl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCIfaceDecl -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCIfaceDecl -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCIfaceDecl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCIfaceDecl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCIfaceDecl -> m ObjCIfaceDecl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCIfaceDecl -> m ObjCIfaceDecl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCIfaceDecl -> m ObjCIfaceDecl #
Show ObjCIfaceDecl Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCIfaceDecl -> ShowS # show :: ObjCIfaceDecl -> String # showList :: [ObjCIfaceDecl] -> ShowS #
Eq ObjCIfaceDecl Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool # (/=) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool #
Ord ObjCIfaceDecl Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCIfaceDecl -> ObjCIfaceDecl -> Ordering # (<) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool # (<=) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool # (>) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool # (>=) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool # max :: ObjCIfaceDecl -> ObjCIfaceDecl -> ObjCIfaceDecl # min :: ObjCIfaceDecl -> ObjCIfaceDecl -> ObjCIfaceDecl #
Pretty ObjCIfaceDecl Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCIfaceDecl -> Doc # pprPrec :: Int -> ObjCIfaceDecl -> Doc # pprList :: [ObjCIfaceDecl] -> Doc #
Located ObjCIfaceDecl Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCIfaceDecl -> Loc # locOfList :: [ObjCIfaceDecl] -> Loc #
Relocatable ObjCIfaceDecl Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCIfaceDecl -> ObjCIfaceDecl #

data ObjCPropAttr Source #

Instances

Instances details

Data ObjCPropAttr Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCPropAttr -> c ObjCPropAttr # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCPropAttr # toConstr :: ObjCPropAttr -> Constr # dataTypeOf :: ObjCPropAttr -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCPropAttr) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCPropAttr) # gmapT :: (forall b. Data b => b -> b) -> ObjCPropAttr -> ObjCPropAttr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCPropAttr -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCPropAttr -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCPropAttr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCPropAttr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCPropAttr -> m ObjCPropAttr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCPropAttr -> m ObjCPropAttr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCPropAttr -> m ObjCPropAttr #
Show ObjCPropAttr Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCPropAttr -> ShowS # show :: ObjCPropAttr -> String # showList :: [ObjCPropAttr] -> ShowS #
Eq ObjCPropAttr Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCPropAttr -> ObjCPropAttr -> Bool # (/=) :: ObjCPropAttr -> ObjCPropAttr -> Bool #
Ord ObjCPropAttr Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCPropAttr -> ObjCPropAttr -> Ordering # (<) :: ObjCPropAttr -> ObjCPropAttr -> Bool # (<=) :: ObjCPropAttr -> ObjCPropAttr -> Bool # (>) :: ObjCPropAttr -> ObjCPropAttr -> Bool # (>=) :: ObjCPropAttr -> ObjCPropAttr -> Bool # max :: ObjCPropAttr -> ObjCPropAttr -> ObjCPropAttr # min :: ObjCPropAttr -> ObjCPropAttr -> ObjCPropAttr #
Pretty ObjCPropAttr Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCPropAttr -> Doc # pprPrec :: Int -> ObjCPropAttr -> Doc # pprList :: [ObjCPropAttr] -> Doc #
Located ObjCPropAttr Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCPropAttr -> Loc # locOfList :: [ObjCPropAttr] -> Loc #
Relocatable ObjCPropAttr Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCPropAttr -> ObjCPropAttr #

data ObjCMethodReq Source #

Constructors

ObjCRequired !SrcLoc
ObjCOptional !SrcLoc

Instances

Instances details

Data ObjCMethodReq Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCMethodReq -> c ObjCMethodReq # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCMethodReq # toConstr :: ObjCMethodReq -> Constr # dataTypeOf :: ObjCMethodReq -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCMethodReq) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCMethodReq) # gmapT :: (forall b. Data b => b -> b) -> ObjCMethodReq -> ObjCMethodReq # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCMethodReq -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCMethodReq -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCMethodReq -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCMethodReq -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCMethodReq -> m ObjCMethodReq # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCMethodReq -> m ObjCMethodReq # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCMethodReq -> m ObjCMethodReq #
Show ObjCMethodReq Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCMethodReq -> ShowS # show :: ObjCMethodReq -> String # showList :: [ObjCMethodReq] -> ShowS #
Eq ObjCMethodReq Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCMethodReq -> ObjCMethodReq -> Bool # (/=) :: ObjCMethodReq -> ObjCMethodReq -> Bool #
Ord ObjCMethodReq Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCMethodReq -> ObjCMethodReq -> Ordering # (<) :: ObjCMethodReq -> ObjCMethodReq -> Bool # (<=) :: ObjCMethodReq -> ObjCMethodReq -> Bool # (>) :: ObjCMethodReq -> ObjCMethodReq -> Bool # (>=) :: ObjCMethodReq -> ObjCMethodReq -> Bool # max :: ObjCMethodReq -> ObjCMethodReq -> ObjCMethodReq # min :: ObjCMethodReq -> ObjCMethodReq -> ObjCMethodReq #
Pretty ObjCMethodReq Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCMethodReq -> Doc # pprPrec :: Int -> ObjCMethodReq -> Doc # pprList :: [ObjCMethodReq] -> Doc #
Located ObjCMethodReq Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCMethodReq -> Loc # locOfList :: [ObjCMethodReq] -> Loc #
Relocatable ObjCMethodReq Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCMethodReq -> ObjCMethodReq #

data ObjCParam Source #

Constructors

ObjCParam (Maybe Id) (Maybe Type) [Attr] (Maybe Id) !SrcLoc
AntiObjCParam String !SrcLoc
AntiObjCParams String !SrcLoc

Instances

Instances details

Data ObjCParam Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCParam -> c ObjCParam # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCParam # toConstr :: ObjCParam -> Constr # dataTypeOf :: ObjCParam -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCParam) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCParam) # gmapT :: (forall b. Data b => b -> b) -> ObjCParam -> ObjCParam # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCParam -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCParam -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCParam -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCParam -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCParam -> m ObjCParam # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCParam -> m ObjCParam # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCParam -> m ObjCParam #
Show ObjCParam Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCParam -> ShowS # show :: ObjCParam -> String # showList :: [ObjCParam] -> ShowS #
Eq ObjCParam Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCParam -> ObjCParam -> Bool # (/=) :: ObjCParam -> ObjCParam -> Bool #
Ord ObjCParam Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCParam -> ObjCParam -> Ordering # (<) :: ObjCParam -> ObjCParam -> Bool # (<=) :: ObjCParam -> ObjCParam -> Bool # (>) :: ObjCParam -> ObjCParam -> Bool # (>=) :: ObjCParam -> ObjCParam -> Bool # max :: ObjCParam -> ObjCParam -> ObjCParam # min :: ObjCParam -> ObjCParam -> ObjCParam #
Pretty ObjCParam Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCParam -> Doc # pprPrec :: Int -> ObjCParam -> Doc # pprList :: [ObjCParam] -> Doc #
Located ObjCParam Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCParam -> Loc # locOfList :: [ObjCParam] -> Loc #
Relocatable ObjCParam Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCParam -> ObjCParam #

data ObjCMethodProto Source #

Constructors

ObjCMethodProto Bool (Maybe Type) [Attr] [ObjCParam] Bool [Attr] !SrcLoc	Invariant: First parameter must at least either have a selector or an identifier; all other parameters must have an identifier.
AntiObjCMethodProto String !SrcLoc

Instances

Instances details

Data ObjCMethodProto Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCMethodProto -> c ObjCMethodProto # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCMethodProto # toConstr :: ObjCMethodProto -> Constr # dataTypeOf :: ObjCMethodProto -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCMethodProto) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCMethodProto) # gmapT :: (forall b. Data b => b -> b) -> ObjCMethodProto -> ObjCMethodProto # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCMethodProto -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCMethodProto -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCMethodProto -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCMethodProto -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCMethodProto -> m ObjCMethodProto # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCMethodProto -> m ObjCMethodProto # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCMethodProto -> m ObjCMethodProto #
Show ObjCMethodProto Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCMethodProto -> ShowS # show :: ObjCMethodProto -> String # showList :: [ObjCMethodProto] -> ShowS #
Eq ObjCMethodProto Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCMethodProto -> ObjCMethodProto -> Bool # (/=) :: ObjCMethodProto -> ObjCMethodProto -> Bool #
Ord ObjCMethodProto Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCMethodProto -> ObjCMethodProto -> Ordering # (<) :: ObjCMethodProto -> ObjCMethodProto -> Bool # (<=) :: ObjCMethodProto -> ObjCMethodProto -> Bool # (>) :: ObjCMethodProto -> ObjCMethodProto -> Bool # (>=) :: ObjCMethodProto -> ObjCMethodProto -> Bool # max :: ObjCMethodProto -> ObjCMethodProto -> ObjCMethodProto # min :: ObjCMethodProto -> ObjCMethodProto -> ObjCMethodProto #
Pretty ObjCMethodProto Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCMethodProto -> Doc # pprPrec :: Int -> ObjCMethodProto -> Doc # pprList :: [ObjCMethodProto] -> Doc #
Located ObjCMethodProto Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCMethodProto -> Loc # locOfList :: [ObjCMethodProto] -> Loc #
Relocatable ObjCMethodProto Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCMethodProto -> ObjCMethodProto #

data ObjCCatch Source #

Constructors

ObjCCatch (Maybe Param) [BlockItem] !SrcLoc

Instances

Instances details

Data ObjCCatch Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCCatch -> c ObjCCatch # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCCatch # toConstr :: ObjCCatch -> Constr # dataTypeOf :: ObjCCatch -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCCatch) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCCatch) # gmapT :: (forall b. Data b => b -> b) -> ObjCCatch -> ObjCCatch # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCCatch -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCCatch -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCCatch -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCCatch -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCCatch -> m ObjCCatch # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCCatch -> m ObjCCatch # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCCatch -> m ObjCCatch #
Show ObjCCatch Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCCatch -> ShowS # show :: ObjCCatch -> String # showList :: [ObjCCatch] -> ShowS #
Eq ObjCCatch Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCCatch -> ObjCCatch -> Bool # (/=) :: ObjCCatch -> ObjCCatch -> Bool #
Ord ObjCCatch Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCCatch -> ObjCCatch -> Ordering # (<) :: ObjCCatch -> ObjCCatch -> Bool # (<=) :: ObjCCatch -> ObjCCatch -> Bool # (>) :: ObjCCatch -> ObjCCatch -> Bool # (>=) :: ObjCCatch -> ObjCCatch -> Bool # max :: ObjCCatch -> ObjCCatch -> ObjCCatch # min :: ObjCCatch -> ObjCCatch -> ObjCCatch #
Pretty ObjCCatch Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCCatch -> Doc # pprPrec :: Int -> ObjCCatch -> Doc # pprList :: [ObjCCatch] -> Doc #
Located ObjCCatch Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCCatch -> Loc # locOfList :: [ObjCCatch] -> Loc #
Relocatable ObjCCatch Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCCatch -> ObjCCatch #

data ObjCDictElem Source #

Constructors

ObjCDictElem Exp Exp !SrcLoc
AntiObjCDictElems String !SrcLoc

Instances

Instances details

Data ObjCDictElem Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCDictElem -> c ObjCDictElem # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCDictElem # toConstr :: ObjCDictElem -> Constr # dataTypeOf :: ObjCDictElem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCDictElem) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCDictElem) # gmapT :: (forall b. Data b => b -> b) -> ObjCDictElem -> ObjCDictElem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCDictElem -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCDictElem -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCDictElem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCDictElem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCDictElem -> m ObjCDictElem # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCDictElem -> m ObjCDictElem # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCDictElem -> m ObjCDictElem #
Show ObjCDictElem Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCDictElem -> ShowS # show :: ObjCDictElem -> String # showList :: [ObjCDictElem] -> ShowS #
Eq ObjCDictElem Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCDictElem -> ObjCDictElem -> Bool # (/=) :: ObjCDictElem -> ObjCDictElem -> Bool #
Ord ObjCDictElem Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCDictElem -> ObjCDictElem -> Ordering # (<) :: ObjCDictElem -> ObjCDictElem -> Bool # (<=) :: ObjCDictElem -> ObjCDictElem -> Bool # (>) :: ObjCDictElem -> ObjCDictElem -> Bool # (>=) :: ObjCDictElem -> ObjCDictElem -> Bool # max :: ObjCDictElem -> ObjCDictElem -> ObjCDictElem # min :: ObjCDictElem -> ObjCDictElem -> ObjCDictElem #
Pretty ObjCDictElem Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCDictElem -> Doc # pprPrec :: Int -> ObjCDictElem -> Doc # pprList :: [ObjCDictElem] -> Doc #
Located ObjCDictElem Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCDictElem -> Loc # locOfList :: [ObjCDictElem] -> Loc #
Relocatable ObjCDictElem Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCDictElem -> ObjCDictElem #

data ObjCRecv Source #

Constructors

ObjCRecvSuper !SrcLoc
ObjCRecvExp Exp !SrcLoc
AntiObjCRecv String !SrcLoc

Instances

Instances details

Data ObjCRecv Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCRecv -> c ObjCRecv # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCRecv # toConstr :: ObjCRecv -> Constr # dataTypeOf :: ObjCRecv -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCRecv) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCRecv) # gmapT :: (forall b. Data b => b -> b) -> ObjCRecv -> ObjCRecv # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCRecv -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCRecv -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCRecv -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCRecv -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCRecv -> m ObjCRecv # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCRecv -> m ObjCRecv # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCRecv -> m ObjCRecv #
Show ObjCRecv Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCRecv -> ShowS # show :: ObjCRecv -> String # showList :: [ObjCRecv] -> ShowS #
Eq ObjCRecv Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCRecv -> ObjCRecv -> Bool # (/=) :: ObjCRecv -> ObjCRecv -> Bool #
Ord ObjCRecv Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCRecv -> ObjCRecv -> Ordering # (<) :: ObjCRecv -> ObjCRecv -> Bool # (<=) :: ObjCRecv -> ObjCRecv -> Bool # (>) :: ObjCRecv -> ObjCRecv -> Bool # (>=) :: ObjCRecv -> ObjCRecv -> Bool # max :: ObjCRecv -> ObjCRecv -> ObjCRecv # min :: ObjCRecv -> ObjCRecv -> ObjCRecv #
Pretty ObjCRecv Source #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCRecv -> Doc # pprPrec :: Int -> ObjCRecv -> Doc # pprList :: [ObjCRecv] -> Doc #
Located ObjCRecv Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCRecv -> Loc # locOfList :: [ObjCRecv] -> Loc #
Relocatable ObjCRecv Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCRecv -> ObjCRecv #

data ObjCArg Source #

Constructors

ObjCArg (Maybe Id) (Maybe Exp) !SrcLoc
AntiObjCArg String !SrcLoc
AntiObjCArgs String !SrcLoc

Instances

Instances details

Data ObjCArg Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCArg -> c ObjCArg # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCArg # toConstr :: ObjCArg -> Constr # dataTypeOf :: ObjCArg -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCArg) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCArg) # gmapT :: (forall b. Data b => b -> b) -> ObjCArg -> ObjCArg # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCArg -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCArg -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjCArg -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCArg -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCArg -> m ObjCArg # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCArg -> m ObjCArg # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCArg -> m ObjCArg #
Show ObjCArg Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCArg -> ShowS # show :: ObjCArg -> String # showList :: [ObjCArg] -> ShowS #
Eq ObjCArg Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCArg -> ObjCArg -> Bool # (/=) :: ObjCArg -> ObjCArg -> Bool #
Ord ObjCArg Source #
Instance details Defined in Language.C.Syntax Methods compare :: ObjCArg -> ObjCArg -> Ordering # (<) :: ObjCArg -> ObjCArg -> Bool # (<=) :: ObjCArg -> ObjCArg -> Bool # (>) :: ObjCArg -> ObjCArg -> Bool # (>=) :: ObjCArg -> ObjCArg -> Bool # max :: ObjCArg -> ObjCArg -> ObjCArg # min :: ObjCArg -> ObjCArg -> ObjCArg #
Located ObjCArg Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCArg -> Loc # locOfList :: [ObjCArg] -> Loc #
Relocatable ObjCArg Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCArg -> ObjCArg #

data LambdaIntroducer Source #

Constructors

LambdaIntroducer [CaptureListEntry] !SrcLoc

Instances

Instances details

Data LambdaIntroducer Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LambdaIntroducer -> c LambdaIntroducer # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LambdaIntroducer # toConstr :: LambdaIntroducer -> Constr # dataTypeOf :: LambdaIntroducer -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LambdaIntroducer) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LambdaIntroducer) # gmapT :: (forall b. Data b => b -> b) -> LambdaIntroducer -> LambdaIntroducer # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LambdaIntroducer -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LambdaIntroducer -> r # gmapQ :: (forall d. Data d => d -> u) -> LambdaIntroducer -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LambdaIntroducer -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LambdaIntroducer -> m LambdaIntroducer # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LambdaIntroducer -> m LambdaIntroducer # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LambdaIntroducer -> m LambdaIntroducer #
Show LambdaIntroducer Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> LambdaIntroducer -> ShowS # show :: LambdaIntroducer -> String # showList :: [LambdaIntroducer] -> ShowS #
Eq LambdaIntroducer Source #
Instance details Defined in Language.C.Syntax Methods (==) :: LambdaIntroducer -> LambdaIntroducer -> Bool # (/=) :: LambdaIntroducer -> LambdaIntroducer -> Bool #
Ord LambdaIntroducer Source #
Instance details Defined in Language.C.Syntax Methods compare :: LambdaIntroducer -> LambdaIntroducer -> Ordering # (<) :: LambdaIntroducer -> LambdaIntroducer -> Bool # (<=) :: LambdaIntroducer -> LambdaIntroducer -> Bool # (>) :: LambdaIntroducer -> LambdaIntroducer -> Bool # (>=) :: LambdaIntroducer -> LambdaIntroducer -> Bool # max :: LambdaIntroducer -> LambdaIntroducer -> LambdaIntroducer # min :: LambdaIntroducer -> LambdaIntroducer -> LambdaIntroducer #
Pretty LambdaIntroducer Source #
Instance details Defined in Language.C.Pretty Methods ppr :: LambdaIntroducer -> Doc # pprPrec :: Int -> LambdaIntroducer -> Doc # pprList :: [LambdaIntroducer] -> Doc #
Located LambdaIntroducer Source #
Instance details Defined in Language.C.Syntax Methods locOf :: LambdaIntroducer -> Loc # locOfList :: [LambdaIntroducer] -> Loc #
Relocatable LambdaIntroducer Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> LambdaIntroducer -> LambdaIntroducer #

data LambdaDeclarator Source #

Constructors

LambdaDeclarator Params Bool (Maybe Type) !SrcLoc

Instances

Instances details

Data LambdaDeclarator Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LambdaDeclarator -> c LambdaDeclarator # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LambdaDeclarator # toConstr :: LambdaDeclarator -> Constr # dataTypeOf :: LambdaDeclarator -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LambdaDeclarator) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LambdaDeclarator) # gmapT :: (forall b. Data b => b -> b) -> LambdaDeclarator -> LambdaDeclarator # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LambdaDeclarator -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LambdaDeclarator -> r # gmapQ :: (forall d. Data d => d -> u) -> LambdaDeclarator -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LambdaDeclarator -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LambdaDeclarator -> m LambdaDeclarator # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LambdaDeclarator -> m LambdaDeclarator # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LambdaDeclarator -> m LambdaDeclarator #
Show LambdaDeclarator Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> LambdaDeclarator -> ShowS # show :: LambdaDeclarator -> String # showList :: [LambdaDeclarator] -> ShowS #
Eq LambdaDeclarator Source #
Instance details Defined in Language.C.Syntax Methods (==) :: LambdaDeclarator -> LambdaDeclarator -> Bool # (/=) :: LambdaDeclarator -> LambdaDeclarator -> Bool #
Ord LambdaDeclarator Source #
Instance details Defined in Language.C.Syntax Methods compare :: LambdaDeclarator -> LambdaDeclarator -> Ordering # (<) :: LambdaDeclarator -> LambdaDeclarator -> Bool # (<=) :: LambdaDeclarator -> LambdaDeclarator -> Bool # (>) :: LambdaDeclarator -> LambdaDeclarator -> Bool # (>=) :: LambdaDeclarator -> LambdaDeclarator -> Bool # max :: LambdaDeclarator -> LambdaDeclarator -> LambdaDeclarator # min :: LambdaDeclarator -> LambdaDeclarator -> LambdaDeclarator #
Pretty LambdaDeclarator Source #
Instance details Defined in Language.C.Pretty Methods ppr :: LambdaDeclarator -> Doc # pprPrec :: Int -> LambdaDeclarator -> Doc # pprList :: [LambdaDeclarator] -> Doc #
Located LambdaDeclarator Source #
Instance details Defined in Language.C.Syntax Methods locOf :: LambdaDeclarator -> Loc # locOfList :: [LambdaDeclarator] -> Loc #
Relocatable LambdaDeclarator Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> LambdaDeclarator -> LambdaDeclarator #

data CaptureListEntry Source #

Constructors

DefaultByReference
DefaultByValue

Instances

Instances details

Data CaptureListEntry Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CaptureListEntry -> c CaptureListEntry # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CaptureListEntry # toConstr :: CaptureListEntry -> Constr # dataTypeOf :: CaptureListEntry -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CaptureListEntry) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CaptureListEntry) # gmapT :: (forall b. Data b => b -> b) -> CaptureListEntry -> CaptureListEntry # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CaptureListEntry -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaptureListEntry -> r # gmapQ :: (forall d. Data d => d -> u) -> CaptureListEntry -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CaptureListEntry -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CaptureListEntry -> m CaptureListEntry # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CaptureListEntry -> m CaptureListEntry # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CaptureListEntry -> m CaptureListEntry #
Show CaptureListEntry Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> CaptureListEntry -> ShowS # show :: CaptureListEntry -> String # showList :: [CaptureListEntry] -> ShowS #
Eq CaptureListEntry Source #
Instance details Defined in Language.C.Syntax Methods (==) :: CaptureListEntry -> CaptureListEntry -> Bool # (/=) :: CaptureListEntry -> CaptureListEntry -> Bool #
Ord CaptureListEntry Source #
Instance details Defined in Language.C.Syntax Methods compare :: CaptureListEntry -> CaptureListEntry -> Ordering # (<) :: CaptureListEntry -> CaptureListEntry -> Bool # (<=) :: CaptureListEntry -> CaptureListEntry -> Bool # (>) :: CaptureListEntry -> CaptureListEntry -> Bool # (>=) :: CaptureListEntry -> CaptureListEntry -> Bool # max :: CaptureListEntry -> CaptureListEntry -> CaptureListEntry # min :: CaptureListEntry -> CaptureListEntry -> CaptureListEntry #
Pretty CaptureListEntry Source #
Instance details Defined in Language.C.Pretty Methods ppr :: CaptureListEntry -> Doc # pprPrec :: Int -> CaptureListEntry -> Doc # pprList :: [CaptureListEntry] -> Doc #

data ExeConfig Source #

Constructors

ExeConfig
Fields exeGridDim :: Exp exeBlockDim :: Exp exeSharedSize :: Maybe Exp exeStream :: Maybe Exp exeLoc :: !SrcLoc

Instances

Instances details

Data ExeConfig Source #
Instance details Defined in Language.C.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExeConfig -> c ExeConfig # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExeConfig # toConstr :: ExeConfig -> Constr # dataTypeOf :: ExeConfig -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExeConfig) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExeConfig) # gmapT :: (forall b. Data b => b -> b) -> ExeConfig -> ExeConfig # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExeConfig -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExeConfig -> r # gmapQ :: (forall d. Data d => d -> u) -> ExeConfig -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ExeConfig -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExeConfig -> m ExeConfig # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExeConfig -> m ExeConfig # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExeConfig -> m ExeConfig #
Show ExeConfig Source #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ExeConfig -> ShowS # show :: ExeConfig -> String # showList :: [ExeConfig] -> ShowS #
Eq ExeConfig Source #
Instance details Defined in Language.C.Syntax Methods (==) :: ExeConfig -> ExeConfig -> Bool # (/=) :: ExeConfig -> ExeConfig -> Bool #
Ord ExeConfig Source #
Instance details Defined in Language.C.Syntax Methods compare :: ExeConfig -> ExeConfig -> Ordering # (<) :: ExeConfig -> ExeConfig -> Bool # (<=) :: ExeConfig -> ExeConfig -> Bool # (>) :: ExeConfig -> ExeConfig -> Bool # (>=) :: ExeConfig -> ExeConfig -> Bool # max :: ExeConfig -> ExeConfig -> ExeConfig # min :: ExeConfig -> ExeConfig -> ExeConfig #
Located ExeConfig Source #
Instance details Defined in Language.C.Syntax Methods locOf :: ExeConfig -> Loc # locOfList :: [ExeConfig] -> Loc #
Relocatable ExeConfig Source #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ExeConfig -> ExeConfig #

funcProto :: Func -> InitGroup Source #

isPtr :: Type -> Bool Source #

ctypedef :: Id -> Decl -> [Attr] -> Typedef Source #

cdeclSpec :: [Storage] -> [TypeQual] -> TypeSpec -> DeclSpec Source #

cinitGroup :: DeclSpec -> [Attr] -> [Init] -> InitGroup Source #

ctypedefGroup :: DeclSpec -> [Attr] -> [Typedef] -> InitGroup Source #

Tconst !SrcLoc
Tvolatile !SrcLoc
EscTypeQual String !SrcLoc
AntiTypeQual String !SrcLoc
AntiTypeQuals String !SrcLoc
Tinline !SrcLoc
Trestrict !SrcLoc
T__restrict !SrcLoc
TAttr Attr
TCUDAdevice !SrcLoc
TCUDAglobal !SrcLoc
TCUDAhost !SrcLoc
TCUDAconstant !SrcLoc
TCUDAshared !SrcLoc
TCUDArestrict !SrcLoc
TCUDAnoinline !SrcLoc
TCLprivate !SrcLoc
TCLlocal !SrcLoc
TCLglobal !SrcLoc
TCLconstant !SrcLoc
TCLreadonly !SrcLoc
TCLwriteonly !SrcLoc
TCLkernel !SrcLoc

IntConst String Signed Integer !SrcLoc
LongIntConst String Signed Integer !SrcLoc
LongLongIntConst String Signed Integer !SrcLoc
FloatConst String Float !SrcLoc
DoubleConst String Double !SrcLoc
LongDoubleConst String Double !SrcLoc
CharConst String Char !SrcLoc
StringConst [String] String !SrcLoc
AntiConst String !SrcLoc
AntiInt String !SrcLoc
AntiUInt String !SrcLoc
AntiLInt String !SrcLoc
AntiULInt String !SrcLoc
AntiLLInt String !SrcLoc
AntiULLInt String !SrcLoc
AntiFloat String !SrcLoc
AntiDouble String !SrcLoc
AntiLongDouble String !SrcLoc
AntiChar String !SrcLoc
AntiString String !SrcLoc

ObjCIfaceProp [ObjCPropAttr] FieldGroup !SrcLoc
ObjCIfaceReq ObjCMethodReq !SrcLoc
ObjCIfaceMeth ObjCMethodProto !SrcLoc
ObjCIfaceDecl InitGroup !SrcLoc
AntiObjCProp String !SrcLoc
AntiObjCProps String !SrcLoc
AntiObjCIfaceDecl String !SrcLoc
AntiObjCIfaceDecls String !SrcLoc

ObjCGetter Id !SrcLoc
ObjCSetter Id !SrcLoc
ObjCReadonly !SrcLoc
ObjCReadwrite !SrcLoc
ObjCAssign !SrcLoc
ObjCRetain !SrcLoc
ObjCCopy !SrcLoc
ObjCNonatomic !SrcLoc
ObjCAtomic !SrcLoc
ObjCStrong !SrcLoc
ObjCWeak !SrcLoc
ObjCUnsafeUnretained !SrcLoc
AntiObjCAttr String !SrcLoc
AntiObjCAttrs String !SrcLoc