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

Language.C.Syntax

Description

Synopsis

Documentation

data Extensions Source

Constructors

Antiquotation
C99
C11
Gcc
Blocks
ObjC
CUDA
OpenCL

Instances

Enum Extensions
Eq Extensions
Ord Extensions
Show Extensions

data Id Source

Constructors

Id String !SrcLoc
AntiId String !SrcLoc

Instances

Eq Id
Data Id
Ord Id
Show Id
Pretty Id
Located Id
ToIdent Id
Typeable * Id
ToIdent (SrcLoc -> Id)

data StringLit Source

Constructors

StringLit [String] String !SrcLoc

Instances

Eq StringLit
Data StringLit
Ord StringLit
Show StringLit
Pretty StringLit
Located StringLit
Typeable * StringLit

type Linkage = StringLit Source

data Storage Source

Constructors

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

Instances

Eq Storage
Data Storage
Ord Storage
Show Storage
Pretty Storage
Located Storage
Typeable * Storage

data TypeQual Source

Instances

Eq TypeQual
Data TypeQual
Ord TypeQual
Show TypeQual
Pretty TypeQual
Located TypeQual
Typeable * TypeQual

data Sign Source

Constructors

Tsigned !SrcLoc
Tunsigned !SrcLoc

Instances

Eq Sign
Data Sign
Ord Sign
Show Sign
Pretty Sign
Located Sign
Typeable * Sign

data TypeSpec Source

Constructors

Tvoid !SrcLoc
Tchar (Maybe Sign) !SrcLoc
Tshort (Maybe Sign) !SrcLoc
Tint (Maybe Sign) !SrcLoc
Tlong (Maybe Sign) !SrcLoc
Tlong_long (Maybe Sign) !SrcLoc
Tfloat !SrcLoc
Tdouble !SrcLoc
Tlong_double !SrcLoc
Tstruct (Maybe Id) (Maybe [FieldGroup]) [Attr] !SrcLoc
Tunion (Maybe Id) (Maybe [FieldGroup]) [Attr] !SrcLoc
Tenum (Maybe Id) [CEnum] [Attr] !SrcLoc
Tnamed Id [Id] !SrcLoc
T_Bool !SrcLoc
T_Complex !SrcLoc
T_Imaginary !SrcLoc
TtypeofExp Exp !SrcLoc
TtypeofType Type !SrcLoc
Tva_list !SrcLoc

Instances

Eq TypeSpec
Data TypeSpec
Ord TypeSpec
Show TypeSpec
Pretty TypeSpec
Located TypeSpec
Typeable * TypeSpec

data DeclSpec Source

Constructors

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

Instances

Eq DeclSpec
Data DeclSpec
Ord DeclSpec
Show DeclSpec
Pretty DeclSpec
Located DeclSpec
Typeable * DeclSpec

data ArraySize Source

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

Constructors

ArraySize Bool Exp !SrcLoc
VariableArraySize !SrcLoc
NoArraySize !SrcLoc

Instances

Eq ArraySize
Data ArraySize
Ord ArraySize
Show ArraySize
Pretty ArraySize
Located ArraySize
Typeable * ArraySize

data Decl Source

Constructors

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

Instances

Eq Decl
Data Decl
Ord Decl
Show Decl
Located Decl
Typeable * Decl

data Type Source

Constructors

Type DeclSpec Decl !SrcLoc
AntiType String !SrcLoc

Instances

Eq Type
Data Type
Ord Type
Show Type
Pretty Type
Located Type
Typeable * Type

data Designator Source

Constructors

IndexDesignator Exp !SrcLoc
MemberDesignator Id !SrcLoc

Instances

Eq Designator
Data Designator
Ord Designator
Show Designator
Pretty Designator
Located Designator
Typeable * Designator

data Designation Source

Constructors

Designation [Designator] !SrcLoc

Instances

Eq Designation
Data Designation
Ord Designation
Show Designation
Pretty Designation
Located Designation
Typeable * Designation

data Initializer Source

Constructors

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

Instances

Eq Initializer
Data Initializer
Ord Initializer
Show Initializer
Pretty Initializer
Located Initializer
Typeable * Initializer

type AsmLabel = StringLit Source

data Init Source

Constructors

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

Instances

Eq Init
Data Init
Ord Init
Show Init
Pretty Init
Located Init
Typeable * Init

data Typedef Source

Constructors

Typedef Id Decl [Attr] !SrcLoc

Instances

Eq Typedef
Data Typedef
Ord Typedef
Show Typedef
Pretty Typedef
Located Typedef
Typeable * Typedef

data InitGroup Source

Constructors

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

Instances

Eq InitGroup
Data InitGroup
Ord InitGroup
Show InitGroup
Pretty InitGroup
Located InitGroup
Typeable * InitGroup

data Field Source

Constructors

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

Instances

Eq Field
Data Field
Ord Field
Show Field
Pretty Field
Located Field
Typeable * Field

data FieldGroup Source

Constructors

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

Instances

Eq FieldGroup
Data FieldGroup
Ord FieldGroup
Show FieldGroup
Pretty FieldGroup
Located FieldGroup
Typeable * FieldGroup

data CEnum Source

Constructors

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

Instances

Eq CEnum
Data CEnum
Ord CEnum
Show CEnum
Pretty CEnum
Located CEnum
Typeable * CEnum

data Attr Source

Constructors

Attr Id [Exp] !SrcLoc

Instances

Eq Attr
Data Attr
Ord Attr
Show Attr
Pretty Attr
Located Attr
Typeable * Attr

data Param Source

Constructors

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

Instances

Eq Param
Data Param
Ord Param
Show Param
Pretty Param
Located Param
Typeable * Param

data Params Source

Constructors

Params [Param] Bool !SrcLoc

Instances

Eq Params
Data Params
Ord Params
Show Params
Pretty Params
Located Params
Typeable * Params

data Func Source

Constructors

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

Instances

Eq Func
Data Func
Ord Func
Show Func
Pretty Func
Located Func
Typeable * Func

data Definition Source

Constructors

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

Instances

Eq Definition
Data Definition
Ord Definition
Show Definition
Pretty Definition
Located Definition
Typeable * Definition

data Stm Source

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
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
Data Stm
Ord Stm
Show Stm
Pretty Stm
Located Stm
Typeable * Stm

data BlockItem Source

Constructors

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

Instances

Eq BlockItem
Data BlockItem
Ord BlockItem
Show BlockItem
Pretty BlockItem
Located BlockItem
Typeable * BlockItem

data Signed Source

Constructors

Signed
Unsigned

Instances

Eq Signed
Data Signed
Ord Signed
Show Signed
Typeable * Signed

data Const Source

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

Instances

Eq Const
Data Const
Ord Const
Show Const
Pretty Const
Located Const
ToConst Const
Typeable * Const

data Exp Source

Constructors

Var Id !SrcLoc
Const Const !SrcLoc
BinOp BinOp Exp Exp !SrcLoc
Assign Exp AssignOp Exp !SrcLoc
PreInc Exp !SrcLoc
PostInc Exp !SrcLoc
PreDec Exp !SrcLoc
PostDec Exp !SrcLoc
UnOp UnOp Exp !SrcLoc
SizeofExp Exp !SrcLoc
SizeofType Type !SrcLoc
Cast Type Exp !SrcLoc
Cond Exp Exp Exp !SrcLoc
Member Exp Id !SrcLoc
PtrMember Exp Id !SrcLoc
Index Exp Exp !SrcLoc
FnCall Exp [Exp] !SrcLoc
CudaCall Exp ExeConfig [Exp] !SrcLoc
Seq Exp Exp !SrcLoc
CompoundLit Type [(Maybe Designation, Initializer)] !SrcLoc
StmExpr [BlockItem] !SrcLoc
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

Instances

Enum Exp
Eq Exp
Floating Exp
Fractional Exp
Integral Exp
Data Exp
Num Exp
Ord Exp
Real Exp
Show Exp
Pretty Exp
Located Exp
ToExp Exp
Typeable * Exp

data BinOp Source

Constructors

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

Instances

Eq BinOp
Data BinOp
Ord BinOp
Show BinOp
Pretty BinOp
CFixity BinOp
Typeable * BinOp

data AssignOp Source

Constructors

JustAssign
AddAssign
SubAssign
MulAssign
DivAssign
ModAssign
LshAssign
RshAssign
AndAssign
XorAssign
OrAssign

Instances

Eq AssignOp
Data AssignOp
Ord AssignOp
Show AssignOp
Pretty AssignOp
CFixity AssignOp
Typeable * AssignOp

data UnOp Source

Constructors

AddrOf
Deref
Positive
Negate
Not
Lnot

Instances

Eq UnOp
Data UnOp
Ord UnOp
Show UnOp
Pretty UnOp
CFixity UnOp
Typeable * UnOp

type AsmTemplate = StringLit Source

data AsmOut Source

Constructors

AsmOut (Maybe Id) String Id

Instances

Eq AsmOut
Data AsmOut
Ord AsmOut
Show AsmOut
Pretty AsmOut
Typeable * AsmOut

data AsmIn Source

Constructors

AsmIn (Maybe Id) String Exp

Instances

Eq AsmIn
Data AsmIn
Ord AsmIn
Show AsmIn
Pretty AsmIn
Typeable * AsmIn

type AsmClobber = String Source

data BlockType Source

Constructors

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

Instances

Eq BlockType
Data BlockType
Ord BlockType
Show BlockType
Pretty BlockType
Located BlockType
Typeable * BlockType

data ObjCIvarDecl Source

Constructors

ObjCIvarVisi ObjCVisibilitySpec !SrcLoc
ObjCIvarDecl FieldGroup !SrcLoc

Instances

Eq ObjCIvarDecl
Data ObjCIvarDecl
Ord ObjCIvarDecl
Show ObjCIvarDecl
Pretty ObjCIvarDecl
Located ObjCIvarDecl
Typeable * ObjCIvarDecl

data ObjCMethodReq Source

Constructors

ObjCRequired !SrcLoc
ObjCOptional !SrcLoc

Instances

Eq ObjCMethodReq
Data ObjCMethodReq
Ord ObjCMethodReq
Show ObjCMethodReq
Pretty ObjCMethodReq
Located ObjCMethodReq
Typeable * ObjCMethodReq

data ObjCParam Source

Constructors

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

Instances

Eq ObjCParam
Data ObjCParam
Ord ObjCParam
Show ObjCParam
Pretty ObjCParam
Located ObjCParam
Typeable * ObjCParam

data ObjCMethodProto Source

Constructors

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

Instances

Eq ObjCMethodProto
Data ObjCMethodProto
Ord ObjCMethodProto
Show ObjCMethodProto
Pretty ObjCMethodProto
Located ObjCMethodProto
Typeable * ObjCMethodProto

data ObjCCatch Source

Constructors

ObjCCatch (Maybe Param) [BlockItem] !SrcLoc

Instances

Eq ObjCCatch
Data ObjCCatch
Ord ObjCCatch
Show ObjCCatch
Pretty ObjCCatch
Located ObjCCatch
Typeable * ObjCCatch

data ObjCDictElem Source

Constructors

ObjCDictElem Exp Exp !SrcLoc
AntiObjCDictElems String !SrcLoc

Instances

Eq ObjCDictElem
Data ObjCDictElem
Ord ObjCDictElem
Show ObjCDictElem
Pretty ObjCDictElem
Located ObjCDictElem
Typeable * ObjCDictElem

data ObjCRecv Source

Constructors

ObjCRecvSuper !SrcLoc
ObjCRecvExp Exp !SrcLoc
ObjCRecvClassName Id !SrcLoc
ObjCRecvTypeName Id !SrcLoc
AntiObjCRecv String !SrcLoc

Instances

Eq ObjCRecv
Data ObjCRecv
Ord ObjCRecv
Show ObjCRecv
Pretty ObjCRecv
Located ObjCRecv
Typeable * ObjCRecv

data ObjCArg Source

Constructors

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

Instances

Eq ObjCArg
Data ObjCArg
Ord ObjCArg
Show ObjCArg
Located ObjCArg
Typeable * ObjCArg

data ExeConfig Source

Constructors

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

Instances

Eq ExeConfig
Data ExeConfig
Ord ExeConfig
Show ExeConfig
Located ExeConfig
Typeable * ExeConfig

funcProto :: Func -> InitGroup Source

isPtr :: Type -> Bool Source

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

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

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

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

Tconst !SrcLoc
Tvolatile !SrcLoc
Tinline !SrcLoc
Trestrict !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 Rational !SrcLoc
DoubleConst String Rational !SrcLoc
LongDoubleConst String Rational !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

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

Eq ObjCVisibilitySpec
Data ObjCVisibilitySpec
Ord ObjCVisibilitySpec
Show ObjCVisibilitySpec
Pretty ObjCVisibilitySpec
Located ObjCVisibilitySpec
Typeable * ObjCVisibilitySpec

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

Eq ObjCIfaceDecl
Data ObjCIfaceDecl
Ord ObjCIfaceDecl
Show ObjCIfaceDecl
Pretty ObjCIfaceDecl
Located ObjCIfaceDecl
Typeable * ObjCIfaceDecl

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

Eq ObjCPropAttr
Data ObjCPropAttr
Ord ObjCPropAttr
Show ObjCPropAttr
Pretty ObjCPropAttr
Located ObjCPropAttr
Typeable * ObjCPropAttr