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	None
Language	Haskell98

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
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
- | 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 #

Constructors

Antiquotation
C99
C11
Gcc
Blocks
ObjC
CUDA
OpenCL

Instances

Enum Extensions #
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] #
Eq Extensions #
Instance details Defined in Language.C.Syntax Methods (==) :: Extensions -> Extensions -> Bool # (/=) :: Extensions -> Extensions -> Bool #
Ord Extensions #
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 #
Show Extensions #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Extensions -> ShowS # show :: Extensions -> String # showList :: [Extensions] -> ShowS #

data Id #

Constructors

Id String !SrcLoc
AntiId String !SrcLoc

Instances

Eq Id #
Instance details Defined in Language.C.Syntax Methods (==) :: Id -> Id -> Bool # (/=) :: Id -> Id -> Bool #
Data Id #
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 :: (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 #
Ord Id #
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 #
Show Id #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Id -> ShowS # show :: Id -> String # showList :: [Id] -> ShowS #
IsString Id #
Instance details Defined in Language.C.Syntax Methods fromString :: String -> Id #
Pretty Id #
Instance details Defined in Language.C.Pretty Methods ppr :: Id -> Doc # pprPrec :: Int -> Id -> Doc # pprList :: [Id] -> Doc #
Located Id #
Instance details Defined in Language.C.Syntax Methods locOf :: Id -> Loc # locOfList :: [Id] -> Loc #
Relocatable Id #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Id -> Id #
ToIdent Id #
Instance details Defined in Language.C.Quote.Base Methods toIdent :: Id -> SrcLoc -> Id #
ToIdent (SrcLoc -> Id) #
Instance details Defined in Language.C.Quote.Base Methods toIdent :: (SrcLoc -> Id) -> SrcLoc -> Id #

data StringLit #

Constructors

StringLit [String] String !SrcLoc

Instances

Eq StringLit #
Instance details Defined in Language.C.Syntax Methods (==) :: StringLit -> StringLit -> Bool # (/=) :: StringLit -> StringLit -> Bool #
Data StringLit #
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 :: (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 #
Ord StringLit #
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 #
Show StringLit #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> StringLit -> ShowS # show :: StringLit -> String # showList :: [StringLit] -> ShowS #
IsString StringLit #
Instance details Defined in Language.C.Syntax Methods fromString :: String -> StringLit #
Pretty StringLit #
Instance details Defined in Language.C.Pretty Methods ppr :: StringLit -> Doc # pprPrec :: Int -> StringLit -> Doc # pprList :: [StringLit] -> Doc #
Located StringLit #
Instance details Defined in Language.C.Syntax Methods locOf :: StringLit -> Loc # locOfList :: [StringLit] -> Loc #
Relocatable StringLit #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> StringLit -> StringLit #

type Linkage = StringLit #

data Storage #

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

Eq Storage #
Instance details Defined in Language.C.Syntax Methods (==) :: Storage -> Storage -> Bool # (/=) :: Storage -> Storage -> Bool #
Data Storage #
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 :: (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 #
Ord Storage #
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 #
Show Storage #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Storage -> ShowS # show :: Storage -> String # showList :: [Storage] -> ShowS #
Pretty Storage #
Instance details Defined in Language.C.Pretty Methods ppr :: Storage -> Doc # pprPrec :: Int -> Storage -> Doc # pprList :: [Storage] -> Doc #
Located Storage #
Instance details Defined in Language.C.Syntax Methods locOf :: Storage -> Loc # locOfList :: [Storage] -> Loc #
Relocatable Storage #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Storage -> Storage #

data TypeQual #

Instances

Eq TypeQual #
Instance details Defined in Language.C.Syntax Methods (==) :: TypeQual -> TypeQual -> Bool # (/=) :: TypeQual -> TypeQual -> Bool #
Data TypeQual #
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 :: (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 #
Ord TypeQual #
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 #
Show TypeQual #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> TypeQual -> ShowS # show :: TypeQual -> String # showList :: [TypeQual] -> ShowS #
Pretty TypeQual #
Instance details Defined in Language.C.Pretty Methods ppr :: TypeQual -> Doc # pprPrec :: Int -> TypeQual -> Doc # pprList :: [TypeQual] -> Doc #
Located TypeQual #
Instance details Defined in Language.C.Syntax Methods locOf :: TypeQual -> Loc # locOfList :: [TypeQual] -> Loc #
Relocatable TypeQual #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> TypeQual -> TypeQual #

data Sign #

Constructors

Tsigned !SrcLoc
Tunsigned !SrcLoc

Instances

Eq Sign #
Instance details Defined in Language.C.Syntax Methods (==) :: Sign -> Sign -> Bool # (/=) :: Sign -> Sign -> Bool #
Data Sign #
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 :: (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 #
Ord Sign #
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 #
Show Sign #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Sign -> ShowS # show :: Sign -> String # showList :: [Sign] -> ShowS #
Pretty Sign #
Instance details Defined in Language.C.Pretty Methods ppr :: Sign -> Doc # pprPrec :: Int -> Sign -> Doc # pprList :: [Sign] -> Doc #
Located Sign #
Instance details Defined in Language.C.Syntax Methods locOf :: Sign -> Loc # locOfList :: [Sign] -> Loc #
Relocatable Sign #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Sign -> Sign #

data TypeSpec #

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

Eq TypeSpec #
Instance details Defined in Language.C.Syntax Methods (==) :: TypeSpec -> TypeSpec -> Bool # (/=) :: TypeSpec -> TypeSpec -> Bool #
Data TypeSpec #
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 :: (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 #
Ord TypeSpec #
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 #
Show TypeSpec #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> TypeSpec -> ShowS # show :: TypeSpec -> String # showList :: [TypeSpec] -> ShowS #
Pretty TypeSpec #
Instance details Defined in Language.C.Pretty Methods ppr :: TypeSpec -> Doc # pprPrec :: Int -> TypeSpec -> Doc # pprList :: [TypeSpec] -> Doc #
Located TypeSpec #
Instance details Defined in Language.C.Syntax Methods locOf :: TypeSpec -> Loc # locOfList :: [TypeSpec] -> Loc #
Relocatable TypeSpec #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> TypeSpec -> TypeSpec #

data DeclSpec #

Constructors

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

Instances

Eq DeclSpec #
Instance details Defined in Language.C.Syntax Methods (==) :: DeclSpec -> DeclSpec -> Bool # (/=) :: DeclSpec -> DeclSpec -> Bool #
Data DeclSpec #
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 :: (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 #
Ord DeclSpec #
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 #
Show DeclSpec #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> DeclSpec -> ShowS # show :: DeclSpec -> String # showList :: [DeclSpec] -> ShowS #
Pretty DeclSpec #
Instance details Defined in Language.C.Pretty Methods ppr :: DeclSpec -> Doc # pprPrec :: Int -> DeclSpec -> Doc # pprList :: [DeclSpec] -> Doc #
Located DeclSpec #
Instance details Defined in Language.C.Syntax Methods locOf :: DeclSpec -> Loc # locOfList :: [DeclSpec] -> Loc #
Relocatable DeclSpec #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> DeclSpec -> DeclSpec #

data ArraySize #

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

Eq ArraySize #
Instance details Defined in Language.C.Syntax Methods (==) :: ArraySize -> ArraySize -> Bool # (/=) :: ArraySize -> ArraySize -> Bool #
Data ArraySize #
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 :: (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 #
Ord ArraySize #
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 #
Show ArraySize #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ArraySize -> ShowS # show :: ArraySize -> String # showList :: [ArraySize] -> ShowS #
Pretty ArraySize #
Instance details Defined in Language.C.Pretty Methods ppr :: ArraySize -> Doc # pprPrec :: Int -> ArraySize -> Doc # pprList :: [ArraySize] -> Doc #
Located ArraySize #
Instance details Defined in Language.C.Syntax Methods locOf :: ArraySize -> Loc # locOfList :: [ArraySize] -> Loc #
Relocatable ArraySize #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ArraySize -> ArraySize #

data Decl #

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

Eq Decl #
Instance details Defined in Language.C.Syntax Methods (==) :: Decl -> Decl -> Bool # (/=) :: Decl -> Decl -> Bool #
Data Decl #
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 :: (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 #
Ord Decl #
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 #
Show Decl #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Decl -> ShowS # show :: Decl -> String # showList :: [Decl] -> ShowS #
Located Decl #
Instance details Defined in Language.C.Syntax Methods locOf :: Decl -> Loc # locOfList :: [Decl] -> Loc #
Relocatable Decl #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Decl -> Decl #

data Type #

Constructors

Type DeclSpec Decl !SrcLoc
AntiType String !SrcLoc

Instances

Eq Type #
Instance details Defined in Language.C.Syntax Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Data Type #
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 :: (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 #
Ord Type #
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 #
Show Type #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Pretty Type #
Instance details Defined in Language.C.Pretty Methods ppr :: Type -> Doc # pprPrec :: Int -> Type -> Doc # pprList :: [Type] -> Doc #
Located Type #
Instance details Defined in Language.C.Syntax Methods locOf :: Type -> Loc # locOfList :: [Type] -> Loc #
Relocatable Type #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Type -> Type #

data Designator #

Constructors

IndexDesignator Exp !SrcLoc
MemberDesignator Id !SrcLoc

Instances

Eq Designator #
Instance details Defined in Language.C.Syntax Methods (==) :: Designator -> Designator -> Bool # (/=) :: Designator -> Designator -> Bool #
Data Designator #
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 :: (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 #
Ord Designator #
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 #
Show Designator #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Designator -> ShowS # show :: Designator -> String # showList :: [Designator] -> ShowS #
Pretty Designator #
Instance details Defined in Language.C.Pretty Methods ppr :: Designator -> Doc # pprPrec :: Int -> Designator -> Doc # pprList :: [Designator] -> Doc #
Located Designator #
Instance details Defined in Language.C.Syntax Methods locOf :: Designator -> Loc # locOfList :: [Designator] -> Loc #
Relocatable Designator #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Designator -> Designator #

data Designation #

Constructors

Designation [Designator] !SrcLoc

Instances

Eq Designation #
Instance details Defined in Language.C.Syntax Methods (==) :: Designation -> Designation -> Bool # (/=) :: Designation -> Designation -> Bool #
Data Designation #
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 :: (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 #
Ord Designation #
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 #
Show Designation #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Designation -> ShowS # show :: Designation -> String # showList :: [Designation] -> ShowS #
Pretty Designation #
Instance details Defined in Language.C.Pretty Methods ppr :: Designation -> Doc # pprPrec :: Int -> Designation -> Doc # pprList :: [Designation] -> Doc #
Located Designation #
Instance details Defined in Language.C.Syntax Methods locOf :: Designation -> Loc # locOfList :: [Designation] -> Loc #
Relocatable Designation #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Designation -> Designation #

data Initializer #

Constructors

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

Instances

Eq Initializer #
Instance details Defined in Language.C.Syntax Methods (==) :: Initializer -> Initializer -> Bool # (/=) :: Initializer -> Initializer -> Bool #
Data Initializer #
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 :: (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 #
Ord Initializer #
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 #
Show Initializer #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Initializer -> ShowS # show :: Initializer -> String # showList :: [Initializer] -> ShowS #
Pretty Initializer #
Instance details Defined in Language.C.Pretty Methods ppr :: Initializer -> Doc # pprPrec :: Int -> Initializer -> Doc # pprList :: [Initializer] -> Doc #
Located Initializer #
Instance details Defined in Language.C.Syntax Methods locOf :: Initializer -> Loc # locOfList :: [Initializer] -> Loc #
Relocatable Initializer #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Initializer -> Initializer #

type AsmLabel = StringLit #

data Init #

Constructors

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

Instances

Eq Init #
Instance details Defined in Language.C.Syntax Methods (==) :: Init -> Init -> Bool # (/=) :: Init -> Init -> Bool #
Data Init #
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 :: (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 #
Ord Init #
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 #
Show Init #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Init -> ShowS # show :: Init -> String # showList :: [Init] -> ShowS #
Pretty Init #
Instance details Defined in Language.C.Pretty Methods ppr :: Init -> Doc # pprPrec :: Int -> Init -> Doc # pprList :: [Init] -> Doc #
Located Init #
Instance details Defined in Language.C.Syntax Methods locOf :: Init -> Loc # locOfList :: [Init] -> Loc #
Relocatable Init #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Init -> Init #

data Typedef #

Constructors

Typedef Id Decl [Attr] !SrcLoc

Instances

Eq Typedef #
Instance details Defined in Language.C.Syntax Methods (==) :: Typedef -> Typedef -> Bool # (/=) :: Typedef -> Typedef -> Bool #
Data Typedef #
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 :: (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 #
Ord Typedef #
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 #
Show Typedef #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Typedef -> ShowS # show :: Typedef -> String # showList :: [Typedef] -> ShowS #
Pretty Typedef #
Instance details Defined in Language.C.Pretty Methods ppr :: Typedef -> Doc # pprPrec :: Int -> Typedef -> Doc # pprList :: [Typedef] -> Doc #
Located Typedef #
Instance details Defined in Language.C.Syntax Methods locOf :: Typedef -> Loc # locOfList :: [Typedef] -> Loc #
Relocatable Typedef #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Typedef -> Typedef #

data InitGroup #

Constructors

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

Instances

Eq InitGroup #
Instance details Defined in Language.C.Syntax Methods (==) :: InitGroup -> InitGroup -> Bool # (/=) :: InitGroup -> InitGroup -> Bool #
Data InitGroup #
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 :: (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 #
Ord InitGroup #
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 #
Show InitGroup #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> InitGroup -> ShowS # show :: InitGroup -> String # showList :: [InitGroup] -> ShowS #
Pretty InitGroup #
Instance details Defined in Language.C.Pretty Methods ppr :: InitGroup -> Doc # pprPrec :: Int -> InitGroup -> Doc # pprList :: [InitGroup] -> Doc #
Located InitGroup #
Instance details Defined in Language.C.Syntax Methods locOf :: InitGroup -> Loc # locOfList :: [InitGroup] -> Loc #
Relocatable InitGroup #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> InitGroup -> InitGroup #

data Field #

Constructors

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

Instances

Eq Field #
Instance details Defined in Language.C.Syntax Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Data Field #
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 :: (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 #
Ord Field #
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 #
Show Field #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #
Pretty Field #
Instance details Defined in Language.C.Pretty Methods ppr :: Field -> Doc # pprPrec :: Int -> Field -> Doc # pprList :: [Field] -> Doc #
Located Field #
Instance details Defined in Language.C.Syntax Methods locOf :: Field -> Loc # locOfList :: [Field] -> Loc #
Relocatable Field #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Field -> Field #

data FieldGroup #

Constructors

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

Instances

Eq FieldGroup #
Instance details Defined in Language.C.Syntax Methods (==) :: FieldGroup -> FieldGroup -> Bool # (/=) :: FieldGroup -> FieldGroup -> Bool #
Data FieldGroup #
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 :: (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 #
Ord FieldGroup #
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 #
Show FieldGroup #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> FieldGroup -> ShowS # show :: FieldGroup -> String # showList :: [FieldGroup] -> ShowS #
Pretty FieldGroup #
Instance details Defined in Language.C.Pretty Methods ppr :: FieldGroup -> Doc # pprPrec :: Int -> FieldGroup -> Doc # pprList :: [FieldGroup] -> Doc #
Located FieldGroup #
Instance details Defined in Language.C.Syntax Methods locOf :: FieldGroup -> Loc # locOfList :: [FieldGroup] -> Loc #
Relocatable FieldGroup #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> FieldGroup -> FieldGroup #

data CEnum #

Constructors

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

Instances

Eq CEnum #
Instance details Defined in Language.C.Syntax Methods (==) :: CEnum -> CEnum -> Bool # (/=) :: CEnum -> CEnum -> Bool #
Data CEnum #
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 :: (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 #
Ord CEnum #
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 #
Show CEnum #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> CEnum -> ShowS # show :: CEnum -> String # showList :: [CEnum] -> ShowS #
Pretty CEnum #
Instance details Defined in Language.C.Pretty Methods ppr :: CEnum -> Doc # pprPrec :: Int -> CEnum -> Doc # pprList :: [CEnum] -> Doc #
Located CEnum #
Instance details Defined in Language.C.Syntax Methods locOf :: CEnum -> Loc # locOfList :: [CEnum] -> Loc #
Relocatable CEnum #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> CEnum -> CEnum #

data Attr #

Constructors

Attr Id [Exp] !SrcLoc

Instances

Eq Attr #
Instance details Defined in Language.C.Syntax Methods (==) :: Attr -> Attr -> Bool # (/=) :: Attr -> Attr -> Bool #
Data Attr #
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 :: (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 #
Ord Attr #
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 #
Show Attr #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Attr -> ShowS # show :: Attr -> String # showList :: [Attr] -> ShowS #
Pretty Attr #
Instance details Defined in Language.C.Pretty Methods ppr :: Attr -> Doc # pprPrec :: Int -> Attr -> Doc # pprList :: [Attr] -> Doc #
Located Attr #
Instance details Defined in Language.C.Syntax Methods locOf :: Attr -> Loc # locOfList :: [Attr] -> Loc #
Relocatable Attr #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Attr -> Attr #

data Param #

Constructors

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

Instances

Eq Param #
Instance details Defined in Language.C.Syntax Methods (==) :: Param -> Param -> Bool # (/=) :: Param -> Param -> Bool #
Data Param #
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 :: (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 #
Ord Param #
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 #
Show Param #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Param -> ShowS # show :: Param -> String # showList :: [Param] -> ShowS #
Pretty Param #
Instance details Defined in Language.C.Pretty Methods ppr :: Param -> Doc # pprPrec :: Int -> Param -> Doc # pprList :: [Param] -> Doc #
Located Param #
Instance details Defined in Language.C.Syntax Methods locOf :: Param -> Loc # locOfList :: [Param] -> Loc #
Relocatable Param #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Param -> Param #

data Params #

Constructors

Params [Param] Bool !SrcLoc

Instances

Eq Params #
Instance details Defined in Language.C.Syntax Methods (==) :: Params -> Params -> Bool # (/=) :: Params -> Params -> Bool #
Data Params #
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 :: (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 #
Ord Params #
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 #
Show Params #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Params -> ShowS # show :: Params -> String # showList :: [Params] -> ShowS #
Pretty Params #
Instance details Defined in Language.C.Pretty Methods ppr :: Params -> Doc # pprPrec :: Int -> Params -> Doc # pprList :: [Params] -> Doc #
Located Params #
Instance details Defined in Language.C.Syntax Methods locOf :: Params -> Loc # locOfList :: [Params] -> Loc #
Relocatable Params #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Params -> Params #

data Func #

Constructors

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

Instances

Eq Func #
Instance details Defined in Language.C.Syntax Methods (==) :: Func -> Func -> Bool # (/=) :: Func -> Func -> Bool #
Data Func #
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 :: (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 #
Ord Func #
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 #
Show Func #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Func -> ShowS # show :: Func -> String # showList :: [Func] -> ShowS #
Pretty Func #
Instance details Defined in Language.C.Pretty Methods ppr :: Func -> Doc # pprPrec :: Int -> Func -> Doc # pprList :: [Func] -> Doc #
Located Func #
Instance details Defined in Language.C.Syntax Methods locOf :: Func -> Loc # locOfList :: [Func] -> Loc #
Relocatable Func #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Func -> Func #

data Definition #

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

Eq Definition #
Instance details Defined in Language.C.Syntax Methods (==) :: Definition -> Definition -> Bool # (/=) :: Definition -> Definition -> Bool #
Data Definition #
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 :: (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 #
Ord Definition #
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 #
Show Definition #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Definition -> ShowS # show :: Definition -> String # showList :: [Definition] -> ShowS #
Pretty Definition #
Instance details Defined in Language.C.Pretty Methods ppr :: Definition -> Doc # pprPrec :: Int -> Definition -> Doc # pprList :: [Definition] -> Doc #
Located Definition #
Instance details Defined in Language.C.Syntax Methods locOf :: Definition -> Loc # locOfList :: [Definition] -> Loc #
Relocatable Definition #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Definition -> Definition #

data Stm #

Constructors

Label Id [Attr] Stm !SrcLoc
Case 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

Eq Stm #
Instance details Defined in Language.C.Syntax Methods (==) :: Stm -> Stm -> Bool # (/=) :: Stm -> Stm -> Bool #
Data Stm #
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 :: (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 #
Ord Stm #
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 #
Show Stm #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Stm -> ShowS # show :: Stm -> String # showList :: [Stm] -> ShowS #
Pretty Stm #
Instance details Defined in Language.C.Pretty Methods ppr :: Stm -> Doc # pprPrec :: Int -> Stm -> Doc # pprList :: [Stm] -> Doc #
Located Stm #
Instance details Defined in Language.C.Syntax Methods locOf :: Stm -> Loc # locOfList :: [Stm] -> Loc #
Relocatable Stm #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Stm -> Stm #

data BlockItem #

Constructors

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

Instances

Eq BlockItem #
Instance details Defined in Language.C.Syntax Methods (==) :: BlockItem -> BlockItem -> Bool # (/=) :: BlockItem -> BlockItem -> Bool #
Data BlockItem #
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 :: (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 #
Ord BlockItem #
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 #
Show BlockItem #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> BlockItem -> ShowS # show :: BlockItem -> String # showList :: [BlockItem] -> ShowS #
Pretty BlockItem #
Instance details Defined in Language.C.Pretty Methods ppr :: BlockItem -> Doc # pprPrec :: Int -> BlockItem -> Doc # pprList :: [BlockItem] -> Doc #
Located BlockItem #
Instance details Defined in Language.C.Syntax Methods locOf :: BlockItem -> Loc # locOfList :: [BlockItem] -> Loc #
Relocatable BlockItem #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> BlockItem -> BlockItem #

data Signed #

Constructors

Signed
Unsigned

Instances

Eq Signed #
Instance details Defined in Language.C.Syntax Methods (==) :: Signed -> Signed -> Bool # (/=) :: Signed -> Signed -> Bool #
Data Signed #
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 :: (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 #
Ord Signed #
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 #
Show Signed #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Signed -> ShowS # show :: Signed -> String # showList :: [Signed] -> ShowS #

data Const #

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

Instances

Eq Const #
Instance details Defined in Language.C.Syntax Methods (==) :: Const -> Const -> Bool # (/=) :: Const -> Const -> Bool #
Data Const #
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 :: (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 #
Ord Const #
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 #
Show Const #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Const -> ShowS # show :: Const -> String # showList :: [Const] -> ShowS #
Pretty Const #
Instance details Defined in Language.C.Pretty Methods ppr :: Const -> Doc # pprPrec :: Int -> Const -> Doc # pprList :: [Const] -> Doc #
Located Const #
Instance details Defined in Language.C.Syntax Methods locOf :: Const -> Loc # locOfList :: [Const] -> Loc #
Relocatable Const #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Const -> Const #
ToConst Const #
Instance details Defined in Language.C.Quote.Base Methods toConst :: Const -> SrcLoc -> Const #

data Exp #

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

Enum Exp #
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] #
Eq Exp #
Instance details Defined in Language.C.Syntax Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
Floating Exp #
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 #
Fractional Exp #
Instance details Defined in Language.C.Smart Methods (/) :: Exp -> Exp -> Exp # recip :: Exp -> Exp # fromRational :: Rational -> Exp #
Integral Exp #
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 #
Data Exp #
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 :: (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 #
Num Exp #
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 #
Ord Exp #
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 #
Real Exp #
Instance details Defined in Language.C.Smart Methods toRational :: Exp -> Rational #
Show Exp #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> Exp -> ShowS # show :: Exp -> String # showList :: [Exp] -> ShowS #
Pretty Exp #
Instance details Defined in Language.C.Pretty Methods ppr :: Exp -> Doc # pprPrec :: Int -> Exp -> Doc # pprList :: [Exp] -> Doc #
Located Exp #
Instance details Defined in Language.C.Syntax Methods locOf :: Exp -> Loc # locOfList :: [Exp] -> Loc #
Relocatable Exp #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Exp -> Exp #
ToExp Exp #
Instance details Defined in Language.C.Quote.Base Methods toExp :: Exp -> SrcLoc -> Exp #

data BinOp #

Constructors

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

Instances

Eq BinOp #
Instance details Defined in Language.C.Syntax Methods (==) :: BinOp -> BinOp -> Bool # (/=) :: BinOp -> BinOp -> Bool #
Data BinOp #
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 :: (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 #
Ord BinOp #
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 #
Show BinOp #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> BinOp -> ShowS # show :: BinOp -> String # showList :: [BinOp] -> ShowS #
Pretty BinOp #
Instance details Defined in Language.C.Pretty Methods ppr :: BinOp -> Doc # pprPrec :: Int -> BinOp -> Doc # pprList :: [BinOp] -> Doc #
CFixity BinOp #
Instance details Defined in Language.C.Pretty Methods fixity :: BinOp -> Fixity # parensOp :: Int -> BinOp -> Doc -> Doc #

data AssignOp #

Constructors

JustAssign
AddAssign
SubAssign
MulAssign
DivAssign
ModAssign
LshAssign
RshAssign
AndAssign
XorAssign
OrAssign

Instances

Eq AssignOp #
Instance details Defined in Language.C.Syntax Methods (==) :: AssignOp -> AssignOp -> Bool # (/=) :: AssignOp -> AssignOp -> Bool #
Data AssignOp #
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 :: (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 #
Ord AssignOp #
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 #
Show AssignOp #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> AssignOp -> ShowS # show :: AssignOp -> String # showList :: [AssignOp] -> ShowS #
Pretty AssignOp #
Instance details Defined in Language.C.Pretty Methods ppr :: AssignOp -> Doc # pprPrec :: Int -> AssignOp -> Doc # pprList :: [AssignOp] -> Doc #
CFixity AssignOp #
Instance details Defined in Language.C.Pretty Methods fixity :: AssignOp -> Fixity # parensOp :: Int -> AssignOp -> Doc -> Doc #

data UnOp #

Constructors

AddrOf
Deref
Positive
Negate
Not
Lnot

Instances

Eq UnOp #
Instance details Defined in Language.C.Syntax Methods (==) :: UnOp -> UnOp -> Bool # (/=) :: UnOp -> UnOp -> Bool #
Data UnOp #
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 :: (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 #
Ord UnOp #
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 #
Show UnOp #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> UnOp -> ShowS # show :: UnOp -> String # showList :: [UnOp] -> ShowS #
Pretty UnOp #
Instance details Defined in Language.C.Pretty Methods ppr :: UnOp -> Doc # pprPrec :: Int -> UnOp -> Doc # pprList :: [UnOp] -> Doc #
CFixity UnOp #
Instance details Defined in Language.C.Pretty Methods fixity :: UnOp -> Fixity # parensOp :: Int -> UnOp -> Doc -> Doc #

type AsmTemplate = StringLit #

data AsmOut #

Constructors

AsmOut (Maybe Id) String Id

Instances

Eq AsmOut #
Instance details Defined in Language.C.Syntax Methods (==) :: AsmOut -> AsmOut -> Bool # (/=) :: AsmOut -> AsmOut -> Bool #
Data AsmOut #
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 :: (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 #
Ord AsmOut #
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 #
Show AsmOut #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> AsmOut -> ShowS # show :: AsmOut -> String # showList :: [AsmOut] -> ShowS #
Pretty AsmOut #
Instance details Defined in Language.C.Pretty Methods ppr :: AsmOut -> Doc # pprPrec :: Int -> AsmOut -> Doc # pprList :: [AsmOut] -> Doc #

data AsmIn #

Constructors

AsmIn (Maybe Id) String Exp

Instances

Eq AsmIn #
Instance details Defined in Language.C.Syntax Methods (==) :: AsmIn -> AsmIn -> Bool # (/=) :: AsmIn -> AsmIn -> Bool #
Data AsmIn #
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 :: (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 #
Ord AsmIn #
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 #
Show AsmIn #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> AsmIn -> ShowS # show :: AsmIn -> String # showList :: [AsmIn] -> ShowS #
Pretty AsmIn #
Instance details Defined in Language.C.Pretty Methods ppr :: AsmIn -> Doc # pprPrec :: Int -> AsmIn -> Doc # pprList :: [AsmIn] -> Doc #

type AsmClobber = String #

data BlockType #

Constructors

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

Instances

Eq BlockType #
Instance details Defined in Language.C.Syntax Methods (==) :: BlockType -> BlockType -> Bool # (/=) :: BlockType -> BlockType -> Bool #
Data BlockType #
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 :: (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 #
Ord BlockType #
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 #
Show BlockType #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> BlockType -> ShowS # show :: BlockType -> String # showList :: [BlockType] -> ShowS #
Pretty BlockType #
Instance details Defined in Language.C.Pretty Methods ppr :: BlockType -> Doc # pprPrec :: Int -> BlockType -> Doc # pprList :: [BlockType] -> Doc #
Located BlockType #
Instance details Defined in Language.C.Syntax Methods locOf :: BlockType -> Loc # locOfList :: [BlockType] -> Loc #
Relocatable BlockType #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> BlockType -> BlockType #

data ObjCIvarDecl #

Constructors

ObjCIvarVisi ObjCVisibilitySpec !SrcLoc
ObjCIvarDecl FieldGroup !SrcLoc

Instances

Eq ObjCIvarDecl #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool # (/=) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool #
Data ObjCIvarDecl #
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 :: (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 #
Ord ObjCIvarDecl #
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 #
Show ObjCIvarDecl #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCIvarDecl -> ShowS # show :: ObjCIvarDecl -> String # showList :: [ObjCIvarDecl] -> ShowS #
Pretty ObjCIvarDecl #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCIvarDecl -> Doc # pprPrec :: Int -> ObjCIvarDecl -> Doc # pprList :: [ObjCIvarDecl] -> Doc #
Located ObjCIvarDecl #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCIvarDecl -> Loc # locOfList :: [ObjCIvarDecl] -> Loc #
Relocatable ObjCIvarDecl #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCIvarDecl -> ObjCIvarDecl #

data ObjCVisibilitySpec #

Constructors

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

Instances

Eq ObjCVisibilitySpec #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool # (/=) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool #
Data ObjCVisibilitySpec #
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 :: (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 #
Ord ObjCVisibilitySpec #
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 #
Show ObjCVisibilitySpec #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCVisibilitySpec -> ShowS # show :: ObjCVisibilitySpec -> String # showList :: [ObjCVisibilitySpec] -> ShowS #
Pretty ObjCVisibilitySpec #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCVisibilitySpec -> Doc # pprPrec :: Int -> ObjCVisibilitySpec -> Doc # pprList :: [ObjCVisibilitySpec] -> Doc #
Located ObjCVisibilitySpec #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCVisibilitySpec -> Loc # locOfList :: [ObjCVisibilitySpec] -> Loc #
Relocatable ObjCVisibilitySpec #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCVisibilitySpec -> ObjCVisibilitySpec #

data ObjCIfaceDecl #

Instances

Eq ObjCIfaceDecl #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool # (/=) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool #
Data ObjCIfaceDecl #
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 :: (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 #
Ord ObjCIfaceDecl #
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 #
Show ObjCIfaceDecl #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCIfaceDecl -> ShowS # show :: ObjCIfaceDecl -> String # showList :: [ObjCIfaceDecl] -> ShowS #
Pretty ObjCIfaceDecl #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCIfaceDecl -> Doc # pprPrec :: Int -> ObjCIfaceDecl -> Doc # pprList :: [ObjCIfaceDecl] -> Doc #
Located ObjCIfaceDecl #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCIfaceDecl -> Loc # locOfList :: [ObjCIfaceDecl] -> Loc #
Relocatable ObjCIfaceDecl #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCIfaceDecl -> ObjCIfaceDecl #

data ObjCPropAttr #

Instances

Eq ObjCPropAttr #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCPropAttr -> ObjCPropAttr -> Bool # (/=) :: ObjCPropAttr -> ObjCPropAttr -> Bool #
Data ObjCPropAttr #
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 :: (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 #
Ord ObjCPropAttr #
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 #
Show ObjCPropAttr #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCPropAttr -> ShowS # show :: ObjCPropAttr -> String # showList :: [ObjCPropAttr] -> ShowS #
Pretty ObjCPropAttr #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCPropAttr -> Doc # pprPrec :: Int -> ObjCPropAttr -> Doc # pprList :: [ObjCPropAttr] -> Doc #
Located ObjCPropAttr #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCPropAttr -> Loc # locOfList :: [ObjCPropAttr] -> Loc #
Relocatable ObjCPropAttr #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCPropAttr -> ObjCPropAttr #

data ObjCMethodReq #

Constructors

ObjCRequired !SrcLoc
ObjCOptional !SrcLoc

Instances

Eq ObjCMethodReq #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCMethodReq -> ObjCMethodReq -> Bool # (/=) :: ObjCMethodReq -> ObjCMethodReq -> Bool #
Data ObjCMethodReq #
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 :: (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 #
Ord ObjCMethodReq #
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 #
Show ObjCMethodReq #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCMethodReq -> ShowS # show :: ObjCMethodReq -> String # showList :: [ObjCMethodReq] -> ShowS #
Pretty ObjCMethodReq #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCMethodReq -> Doc # pprPrec :: Int -> ObjCMethodReq -> Doc # pprList :: [ObjCMethodReq] -> Doc #
Located ObjCMethodReq #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCMethodReq -> Loc # locOfList :: [ObjCMethodReq] -> Loc #
Relocatable ObjCMethodReq #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCMethodReq -> ObjCMethodReq #

data ObjCParam #

Constructors

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

Instances

Eq ObjCParam #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCParam -> ObjCParam -> Bool # (/=) :: ObjCParam -> ObjCParam -> Bool #
Data ObjCParam #
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 :: (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 #
Ord ObjCParam #
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 #
Show ObjCParam #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCParam -> ShowS # show :: ObjCParam -> String # showList :: [ObjCParam] -> ShowS #
Pretty ObjCParam #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCParam -> Doc # pprPrec :: Int -> ObjCParam -> Doc # pprList :: [ObjCParam] -> Doc #
Located ObjCParam #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCParam -> Loc # locOfList :: [ObjCParam] -> Loc #
Relocatable ObjCParam #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCParam -> ObjCParam #

data ObjCMethodProto #

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

Eq ObjCMethodProto #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCMethodProto -> ObjCMethodProto -> Bool # (/=) :: ObjCMethodProto -> ObjCMethodProto -> Bool #
Data ObjCMethodProto #
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 :: (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 #
Ord ObjCMethodProto #
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 #
Show ObjCMethodProto #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCMethodProto -> ShowS # show :: ObjCMethodProto -> String # showList :: [ObjCMethodProto] -> ShowS #
Pretty ObjCMethodProto #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCMethodProto -> Doc # pprPrec :: Int -> ObjCMethodProto -> Doc # pprList :: [ObjCMethodProto] -> Doc #
Located ObjCMethodProto #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCMethodProto -> Loc # locOfList :: [ObjCMethodProto] -> Loc #
Relocatable ObjCMethodProto #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCMethodProto -> ObjCMethodProto #

data ObjCCatch #

Constructors

ObjCCatch (Maybe Param) [BlockItem] !SrcLoc

Instances

Eq ObjCCatch #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCCatch -> ObjCCatch -> Bool # (/=) :: ObjCCatch -> ObjCCatch -> Bool #
Data ObjCCatch #
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 :: (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 #
Ord ObjCCatch #
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 #
Show ObjCCatch #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCCatch -> ShowS # show :: ObjCCatch -> String # showList :: [ObjCCatch] -> ShowS #
Pretty ObjCCatch #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCCatch -> Doc # pprPrec :: Int -> ObjCCatch -> Doc # pprList :: [ObjCCatch] -> Doc #
Located ObjCCatch #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCCatch -> Loc # locOfList :: [ObjCCatch] -> Loc #
Relocatable ObjCCatch #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCCatch -> ObjCCatch #

data ObjCDictElem #

Constructors

ObjCDictElem Exp Exp !SrcLoc
AntiObjCDictElems String !SrcLoc

Instances

Eq ObjCDictElem #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCDictElem -> ObjCDictElem -> Bool # (/=) :: ObjCDictElem -> ObjCDictElem -> Bool #
Data ObjCDictElem #
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 :: (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 #
Ord ObjCDictElem #
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 #
Show ObjCDictElem #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCDictElem -> ShowS # show :: ObjCDictElem -> String # showList :: [ObjCDictElem] -> ShowS #
Pretty ObjCDictElem #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCDictElem -> Doc # pprPrec :: Int -> ObjCDictElem -> Doc # pprList :: [ObjCDictElem] -> Doc #
Located ObjCDictElem #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCDictElem -> Loc # locOfList :: [ObjCDictElem] -> Loc #
Relocatable ObjCDictElem #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCDictElem -> ObjCDictElem #

data ObjCRecv #

Constructors

ObjCRecvSuper !SrcLoc
ObjCRecvExp Exp !SrcLoc
AntiObjCRecv String !SrcLoc

Instances

Eq ObjCRecv #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCRecv -> ObjCRecv -> Bool # (/=) :: ObjCRecv -> ObjCRecv -> Bool #
Data ObjCRecv #
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 :: (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 #
Ord ObjCRecv #
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 #
Show ObjCRecv #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCRecv -> ShowS # show :: ObjCRecv -> String # showList :: [ObjCRecv] -> ShowS #
Pretty ObjCRecv #
Instance details Defined in Language.C.Pretty Methods ppr :: ObjCRecv -> Doc # pprPrec :: Int -> ObjCRecv -> Doc # pprList :: [ObjCRecv] -> Doc #
Located ObjCRecv #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCRecv -> Loc # locOfList :: [ObjCRecv] -> Loc #
Relocatable ObjCRecv #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCRecv -> ObjCRecv #

data ObjCArg #

Constructors

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

Instances

Eq ObjCArg #
Instance details Defined in Language.C.Syntax Methods (==) :: ObjCArg -> ObjCArg -> Bool # (/=) :: ObjCArg -> ObjCArg -> Bool #
Data ObjCArg #
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 :: (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 #
Ord ObjCArg #
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 #
Show ObjCArg #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ObjCArg -> ShowS # show :: ObjCArg -> String # showList :: [ObjCArg] -> ShowS #
Located ObjCArg #
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCArg -> Loc # locOfList :: [ObjCArg] -> Loc #
Relocatable ObjCArg #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCArg -> ObjCArg #

data LambdaIntroducer #

Constructors

LambdaIntroducer [CaptureListEntry] !SrcLoc

Instances

Eq LambdaIntroducer #
Instance details Defined in Language.C.Syntax Methods (==) :: LambdaIntroducer -> LambdaIntroducer -> Bool # (/=) :: LambdaIntroducer -> LambdaIntroducer -> Bool #
Data LambdaIntroducer #
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 :: (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 #
Ord LambdaIntroducer #
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 #
Show LambdaIntroducer #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> LambdaIntroducer -> ShowS # show :: LambdaIntroducer -> String # showList :: [LambdaIntroducer] -> ShowS #
Pretty LambdaIntroducer #
Instance details Defined in Language.C.Pretty Methods ppr :: LambdaIntroducer -> Doc # pprPrec :: Int -> LambdaIntroducer -> Doc # pprList :: [LambdaIntroducer] -> Doc #
Located LambdaIntroducer #
Instance details Defined in Language.C.Syntax Methods locOf :: LambdaIntroducer -> Loc # locOfList :: [LambdaIntroducer] -> Loc #
Relocatable LambdaIntroducer #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> LambdaIntroducer -> LambdaIntroducer #

data LambdaDeclarator #

Constructors

LambdaDeclarator Params Bool (Maybe Type) !SrcLoc

Instances

Eq LambdaDeclarator #
Instance details Defined in Language.C.Syntax Methods (==) :: LambdaDeclarator -> LambdaDeclarator -> Bool # (/=) :: LambdaDeclarator -> LambdaDeclarator -> Bool #
Data LambdaDeclarator #
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 :: (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 #
Ord LambdaDeclarator #
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 #
Show LambdaDeclarator #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> LambdaDeclarator -> ShowS # show :: LambdaDeclarator -> String # showList :: [LambdaDeclarator] -> ShowS #
Pretty LambdaDeclarator #
Instance details Defined in Language.C.Pretty Methods ppr :: LambdaDeclarator -> Doc # pprPrec :: Int -> LambdaDeclarator -> Doc # pprList :: [LambdaDeclarator] -> Doc #
Located LambdaDeclarator #
Instance details Defined in Language.C.Syntax Methods locOf :: LambdaDeclarator -> Loc # locOfList :: [LambdaDeclarator] -> Loc #
Relocatable LambdaDeclarator #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> LambdaDeclarator -> LambdaDeclarator #

data CaptureListEntry #

Constructors

DefaultByReference
DefaultByValue

Instances

Eq CaptureListEntry #
Instance details Defined in Language.C.Syntax Methods (==) :: CaptureListEntry -> CaptureListEntry -> Bool # (/=) :: CaptureListEntry -> CaptureListEntry -> Bool #
Data CaptureListEntry #
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 :: (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 #
Ord CaptureListEntry #
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 #
Show CaptureListEntry #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> CaptureListEntry -> ShowS # show :: CaptureListEntry -> String # showList :: [CaptureListEntry] -> ShowS #
Pretty CaptureListEntry #
Instance details Defined in Language.C.Pretty Methods ppr :: CaptureListEntry -> Doc # pprPrec :: Int -> CaptureListEntry -> Doc # pprList :: [CaptureListEntry] -> Doc #

data ExeConfig #

Constructors

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

Instances

Eq ExeConfig #
Instance details Defined in Language.C.Syntax Methods (==) :: ExeConfig -> ExeConfig -> Bool # (/=) :: ExeConfig -> ExeConfig -> Bool #
Data ExeConfig #
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 :: (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 #
Ord ExeConfig #
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 #
Show ExeConfig #
Instance details Defined in Language.C.Syntax Methods showsPrec :: Int -> ExeConfig -> ShowS # show :: ExeConfig -> String # showList :: [ExeConfig] -> ShowS #
Located ExeConfig #
Instance details Defined in Language.C.Syntax Methods locOf :: ExeConfig -> Loc # locOfList :: [ExeConfig] -> Loc #
Relocatable ExeConfig #
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ExeConfig -> ExeConfig #

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 #

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