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

Documentation

data Extensions Source #

Constructors

Antiquotation
C99
C11
Gcc
Blocks
ObjC
CUDA
OpenCL

Instances

Enum Extensions Source #
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 Source #
Methods (==) :: Extensions -> Extensions -> Bool # (/=) :: Extensions -> Extensions -> Bool #
Ord Extensions Source #
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 Source #
Methods showsPrec :: Int -> Extensions -> ShowS # show :: Extensions -> String # showList :: [Extensions] -> ShowS #

data Id Source #

Constructors

Id String !SrcLoc
AntiId String !SrcLoc

Instances

Eq Id Source #
Methods (==) :: Id -> Id -> Bool # (/=) :: Id -> Id -> Bool #
Data Id Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Id -> ShowS # show :: Id -> String # showList :: [Id] -> ShowS #
IsString Id Source #
Methods fromString :: String -> Id #
Located Id #
Methods locOf :: Id -> Loc # locOfList :: [Id] -> Loc #
Relocatable Id #
Methods reloc :: Loc -> Id -> Id #
ToIdent Id Source #
Methods toIdent :: Id -> SrcLoc -> Id Source #
ToIdent (SrcLoc -> Id) Source #
Methods toIdent :: (SrcLoc -> Id) -> SrcLoc -> Id Source #

data StringLit Source #

Constructors

StringLit [String] String !SrcLoc

Instances

Eq StringLit Source #
Methods (==) :: StringLit -> StringLit -> Bool # (/=) :: StringLit -> StringLit -> Bool #
Data StringLit Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> StringLit -> ShowS # show :: StringLit -> String # showList :: [StringLit] -> ShowS #
IsString StringLit Source #
Methods fromString :: String -> StringLit #
Located StringLit #
Methods locOf :: StringLit -> Loc # locOfList :: [StringLit] -> Loc #
Relocatable StringLit #
Methods reloc :: Loc -> StringLit -> StringLit #

type Linkage = StringLit Source #

data Storage Source #

Constructors

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

Instances

Eq Storage Source #
Methods (==) :: Storage -> Storage -> Bool # (/=) :: Storage -> Storage -> Bool #
Data Storage Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Storage -> ShowS # show :: Storage -> String # showList :: [Storage] -> ShowS #
Located Storage #
Methods locOf :: Storage -> Loc # locOfList :: [Storage] -> Loc #
Relocatable Storage #
Methods reloc :: Loc -> Storage -> Storage #

data TypeQual Source #

Instances

Eq TypeQual Source #
Methods (==) :: TypeQual -> TypeQual -> Bool # (/=) :: TypeQual -> TypeQual -> Bool #
Data TypeQual Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> TypeQual -> ShowS # show :: TypeQual -> String # showList :: [TypeQual] -> ShowS #
Located TypeQual #
Methods locOf :: TypeQual -> Loc # locOfList :: [TypeQual] -> Loc #
Relocatable TypeQual #
Methods reloc :: Loc -> TypeQual -> TypeQual #

data Sign Source #

Constructors

Tsigned !SrcLoc
Tunsigned !SrcLoc

Instances

Eq Sign Source #
Methods (==) :: Sign -> Sign -> Bool # (/=) :: Sign -> Sign -> Bool #
Data Sign Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Sign -> ShowS # show :: Sign -> String # showList :: [Sign] -> ShowS #
Located Sign #
Methods locOf :: Sign -> Loc # locOfList :: [Sign] -> Loc #
Relocatable Sign #
Methods reloc :: Loc -> Sign -> Sign #

data TypeSpec Source #

Constructors

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

Instances

Eq TypeSpec Source #
Methods (==) :: TypeSpec -> TypeSpec -> Bool # (/=) :: TypeSpec -> TypeSpec -> Bool #
Data TypeSpec Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> TypeSpec -> ShowS # show :: TypeSpec -> String # showList :: [TypeSpec] -> ShowS #
Located TypeSpec #
Methods locOf :: TypeSpec -> Loc # locOfList :: [TypeSpec] -> Loc #
Relocatable TypeSpec #
Methods reloc :: Loc -> TypeSpec -> TypeSpec #

data DeclSpec Source #

Constructors

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

Instances

Eq DeclSpec Source #
Methods (==) :: DeclSpec -> DeclSpec -> Bool # (/=) :: DeclSpec -> DeclSpec -> Bool #
Data DeclSpec Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> DeclSpec -> ShowS # show :: DeclSpec -> String # showList :: [DeclSpec] -> ShowS #
Located DeclSpec #
Methods locOf :: DeclSpec -> Loc # locOfList :: [DeclSpec] -> Loc #
Relocatable DeclSpec #
Methods reloc :: Loc -> DeclSpec -> DeclSpec #

data ArraySize Source #

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

Constructors

ArraySize Bool Exp !SrcLoc
VariableArraySize !SrcLoc
NoArraySize !SrcLoc

Instances

Eq ArraySize Source #
Methods (==) :: ArraySize -> ArraySize -> Bool # (/=) :: ArraySize -> ArraySize -> Bool #
Data ArraySize Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ArraySize -> ShowS # show :: ArraySize -> String # showList :: [ArraySize] -> ShowS #
Located ArraySize #
Methods locOf :: ArraySize -> Loc # locOfList :: [ArraySize] -> Loc #
Relocatable ArraySize #
Methods reloc :: Loc -> ArraySize -> ArraySize #

data Decl Source #

Constructors

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

Instances

Eq Decl Source #
Methods (==) :: Decl -> Decl -> Bool # (/=) :: Decl -> Decl -> Bool #
Data Decl Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Decl -> ShowS # show :: Decl -> String # showList :: [Decl] -> ShowS #
Located Decl #
Methods locOf :: Decl -> Loc # locOfList :: [Decl] -> Loc #
Relocatable Decl #
Methods reloc :: Loc -> Decl -> Decl #

data Type Source #

Constructors

Type DeclSpec Decl !SrcLoc
AntiType String !SrcLoc

Instances

Eq Type Source #
Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Data Type Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Located Type #
Methods locOf :: Type -> Loc # locOfList :: [Type] -> Loc #
Relocatable Type #
Methods reloc :: Loc -> Type -> Type #

data Designator Source #

Constructors

IndexDesignator Exp !SrcLoc
MemberDesignator Id !SrcLoc

Instances

Eq Designator Source #
Methods (==) :: Designator -> Designator -> Bool # (/=) :: Designator -> Designator -> Bool #
Data Designator Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Designator -> ShowS # show :: Designator -> String # showList :: [Designator] -> ShowS #
Located Designator #
Methods locOf :: Designator -> Loc # locOfList :: [Designator] -> Loc #
Relocatable Designator #
Methods reloc :: Loc -> Designator -> Designator #

data Designation Source #

Constructors

Designation [Designator] !SrcLoc

Instances

Eq Designation Source #
Methods (==) :: Designation -> Designation -> Bool # (/=) :: Designation -> Designation -> Bool #
Data Designation Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Designation -> ShowS # show :: Designation -> String # showList :: [Designation] -> ShowS #
Located Designation #
Methods locOf :: Designation -> Loc # locOfList :: [Designation] -> Loc #
Relocatable Designation #
Methods reloc :: Loc -> Designation -> Designation #

data Initializer Source #

Constructors

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

Instances

Eq Initializer Source #
Methods (==) :: Initializer -> Initializer -> Bool # (/=) :: Initializer -> Initializer -> Bool #
Data Initializer Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Initializer -> ShowS # show :: Initializer -> String # showList :: [Initializer] -> ShowS #
Located Initializer #
Methods locOf :: Initializer -> Loc # locOfList :: [Initializer] -> Loc #
Relocatable Initializer #
Methods reloc :: Loc -> Initializer -> Initializer #

type AsmLabel = StringLit Source #

data Init Source #

Constructors

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

Instances

Eq Init Source #
Methods (==) :: Init -> Init -> Bool # (/=) :: Init -> Init -> Bool #
Data Init Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Init -> ShowS # show :: Init -> String # showList :: [Init] -> ShowS #
Located Init #
Methods locOf :: Init -> Loc # locOfList :: [Init] -> Loc #
Relocatable Init #
Methods reloc :: Loc -> Init -> Init #

data Typedef Source #

Constructors

Typedef Id Decl [Attr] !SrcLoc

Instances

Eq Typedef Source #
Methods (==) :: Typedef -> Typedef -> Bool # (/=) :: Typedef -> Typedef -> Bool #
Data Typedef Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Typedef -> ShowS # show :: Typedef -> String # showList :: [Typedef] -> ShowS #
Located Typedef #
Methods locOf :: Typedef -> Loc # locOfList :: [Typedef] -> Loc #
Relocatable Typedef #
Methods reloc :: Loc -> Typedef -> Typedef #

data InitGroup Source #

Constructors

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

Instances

Eq InitGroup Source #
Methods (==) :: InitGroup -> InitGroup -> Bool # (/=) :: InitGroup -> InitGroup -> Bool #
Data InitGroup Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> InitGroup -> ShowS # show :: InitGroup -> String # showList :: [InitGroup] -> ShowS #
Located InitGroup #
Methods locOf :: InitGroup -> Loc # locOfList :: [InitGroup] -> Loc #
Relocatable InitGroup #
Methods reloc :: Loc -> InitGroup -> InitGroup #

data Field Source #

Constructors

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

Instances

Eq Field Source #
Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Data Field Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #
Located Field #
Methods locOf :: Field -> Loc # locOfList :: [Field] -> Loc #
Relocatable Field #
Methods reloc :: Loc -> Field -> Field #

data FieldGroup Source #

Constructors

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

Instances

Eq FieldGroup Source #
Methods (==) :: FieldGroup -> FieldGroup -> Bool # (/=) :: FieldGroup -> FieldGroup -> Bool #
Data FieldGroup Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> FieldGroup -> ShowS # show :: FieldGroup -> String # showList :: [FieldGroup] -> ShowS #
Located FieldGroup #
Methods locOf :: FieldGroup -> Loc # locOfList :: [FieldGroup] -> Loc #
Relocatable FieldGroup #
Methods reloc :: Loc -> FieldGroup -> FieldGroup #

data CEnum Source #

Constructors

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

Instances

Eq CEnum Source #
Methods (==) :: CEnum -> CEnum -> Bool # (/=) :: CEnum -> CEnum -> Bool #
Data CEnum Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> CEnum -> ShowS # show :: CEnum -> String # showList :: [CEnum] -> ShowS #
Located CEnum #
Methods locOf :: CEnum -> Loc # locOfList :: [CEnum] -> Loc #
Relocatable CEnum #
Methods reloc :: Loc -> CEnum -> CEnum #

data Attr Source #

Constructors

Attr Id [Exp] !SrcLoc

Instances

Eq Attr Source #
Methods (==) :: Attr -> Attr -> Bool # (/=) :: Attr -> Attr -> Bool #
Data Attr Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Attr -> ShowS # show :: Attr -> String # showList :: [Attr] -> ShowS #
Located Attr #
Methods locOf :: Attr -> Loc # locOfList :: [Attr] -> Loc #
Relocatable Attr #
Methods reloc :: Loc -> Attr -> Attr #

data Param Source #

Constructors

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

Instances

Eq Param Source #
Methods (==) :: Param -> Param -> Bool # (/=) :: Param -> Param -> Bool #
Data Param Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Param -> ShowS # show :: Param -> String # showList :: [Param] -> ShowS #
Located Param #
Methods locOf :: Param -> Loc # locOfList :: [Param] -> Loc #
Relocatable Param #
Methods reloc :: Loc -> Param -> Param #

data Params Source #

Constructors

Params [Param] Bool !SrcLoc

Instances

Eq Params Source #
Methods (==) :: Params -> Params -> Bool # (/=) :: Params -> Params -> Bool #
Data Params Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Params -> ShowS # show :: Params -> String # showList :: [Params] -> ShowS #
Located Params #
Methods locOf :: Params -> Loc # locOfList :: [Params] -> Loc #
Relocatable Params #
Methods reloc :: Loc -> Params -> Params #

data Func Source #

Constructors

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

Instances

Eq Func Source #
Methods (==) :: Func -> Func -> Bool # (/=) :: Func -> Func -> Bool #
Data Func Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Func -> ShowS # show :: Func -> String # showList :: [Func] -> ShowS #
Located Func #
Methods locOf :: Func -> Loc # locOfList :: [Func] -> Loc #
Relocatable Func #
Methods reloc :: Loc -> Func -> Func #

data Definition Source #

Constructors

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

Instances

Eq Definition Source #
Methods (==) :: Definition -> Definition -> Bool # (/=) :: Definition -> Definition -> Bool #
Data Definition Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Definition -> ShowS # show :: Definition -> String # showList :: [Definition] -> ShowS #
Located Definition #
Methods locOf :: Definition -> Loc # locOfList :: [Definition] -> Loc #
Relocatable Definition #
Methods reloc :: Loc -> Definition -> 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
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 Source #
Methods (==) :: Stm -> Stm -> Bool # (/=) :: Stm -> Stm -> Bool #
Data Stm Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Stm -> ShowS # show :: Stm -> String # showList :: [Stm] -> ShowS #
Located Stm #
Methods locOf :: Stm -> Loc # locOfList :: [Stm] -> Loc #
Relocatable Stm #
Methods reloc :: Loc -> Stm -> Stm #

data BlockItem Source #

Constructors

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

Instances

Eq BlockItem Source #
Methods (==) :: BlockItem -> BlockItem -> Bool # (/=) :: BlockItem -> BlockItem -> Bool #
Data BlockItem Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> BlockItem -> ShowS # show :: BlockItem -> String # showList :: [BlockItem] -> ShowS #
Located BlockItem #
Methods locOf :: BlockItem -> Loc # locOfList :: [BlockItem] -> Loc #
Relocatable BlockItem #
Methods reloc :: Loc -> BlockItem -> BlockItem #

data Signed Source #

Constructors

Signed
Unsigned

Instances

Eq Signed Source #
Methods (==) :: Signed -> Signed -> Bool # (/=) :: Signed -> Signed -> Bool #
Data Signed Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Signed -> ShowS # show :: Signed -> String # showList :: [Signed] -> ShowS #

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 Source #
Methods (==) :: Const -> Const -> Bool # (/=) :: Const -> Const -> Bool #
Data Const Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Const -> ShowS # show :: Const -> String # showList :: [Const] -> ShowS #
Located Const #
Methods locOf :: Const -> Loc # locOfList :: [Const] -> Loc #
Relocatable Const #
Methods reloc :: Loc -> Const -> Const #
ToConst Const Source #
Methods toConst :: Const -> SrcLoc -> Const Source #

data Exp Source #

Constructors

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

Instances

Eq Exp Source #
Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
Data Exp Source #
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 #
Ord Exp Source #
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 #
Show Exp Source #
Methods showsPrec :: Int -> Exp -> ShowS # show :: Exp -> String # showList :: [Exp] -> ShowS #
Located Exp #
Methods locOf :: Exp -> Loc # locOfList :: [Exp] -> Loc #
Relocatable Exp #
Methods reloc :: Loc -> Exp -> Exp #
ToExp Exp Source #
Methods toExp :: Exp -> SrcLoc -> Exp Source #

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 Source #
Methods (==) :: BinOp -> BinOp -> Bool # (/=) :: BinOp -> BinOp -> Bool #
Data BinOp Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> BinOp -> ShowS # show :: BinOp -> String # showList :: [BinOp] -> ShowS #
CFixity BinOp Source #
Methods fixity :: BinOp -> Fixity Source # parensOp :: Int -> BinOp -> Doc -> Doc Source #

data AssignOp Source #

Constructors

JustAssign
AddAssign
SubAssign
MulAssign
DivAssign
ModAssign
LshAssign
RshAssign
AndAssign
XorAssign
OrAssign

Instances

Eq AssignOp Source #
Methods (==) :: AssignOp -> AssignOp -> Bool # (/=) :: AssignOp -> AssignOp -> Bool #
Data AssignOp Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> AssignOp -> ShowS # show :: AssignOp -> String # showList :: [AssignOp] -> ShowS #
CFixity AssignOp Source #
Methods fixity :: AssignOp -> Fixity Source # parensOp :: Int -> AssignOp -> Doc -> Doc Source #

data UnOp Source #

Constructors

AddrOf
Deref
Positive
Negate
Not
Lnot

Instances

Eq UnOp Source #
Methods (==) :: UnOp -> UnOp -> Bool # (/=) :: UnOp -> UnOp -> Bool #
Data UnOp Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> UnOp -> ShowS # show :: UnOp -> String # showList :: [UnOp] -> ShowS #
CFixity UnOp Source #
Methods fixity :: UnOp -> Fixity Source # parensOp :: Int -> UnOp -> Doc -> Doc Source #

type AsmTemplate = StringLit Source #

data AsmOut Source #

Constructors

AsmOut (Maybe Id) String Id

Instances

Eq AsmOut Source #
Methods (==) :: AsmOut -> AsmOut -> Bool # (/=) :: AsmOut -> AsmOut -> Bool #
Data AsmOut Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> AsmOut -> ShowS # show :: AsmOut -> String # showList :: [AsmOut] -> ShowS #

data AsmIn Source #

Constructors

AsmIn (Maybe Id) String Exp

Instances

Eq AsmIn Source #
Methods (==) :: AsmIn -> AsmIn -> Bool # (/=) :: AsmIn -> AsmIn -> Bool #
Data AsmIn Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> AsmIn -> ShowS # show :: AsmIn -> String # showList :: [AsmIn] -> ShowS #

type AsmClobber = String Source #

data BlockType Source #

Constructors

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

Instances

Eq BlockType Source #
Methods (==) :: BlockType -> BlockType -> Bool # (/=) :: BlockType -> BlockType -> Bool #
Data BlockType Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> BlockType -> ShowS # show :: BlockType -> String # showList :: [BlockType] -> ShowS #
Located BlockType #
Methods locOf :: BlockType -> Loc # locOfList :: [BlockType] -> Loc #
Relocatable BlockType #
Methods reloc :: Loc -> BlockType -> BlockType #

data ObjCIvarDecl Source #

Constructors

ObjCIvarVisi ObjCVisibilitySpec !SrcLoc
ObjCIvarDecl FieldGroup !SrcLoc

Instances

Eq ObjCIvarDecl Source #
Methods (==) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool # (/=) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool #
Data ObjCIvarDecl Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCIvarDecl -> ShowS # show :: ObjCIvarDecl -> String # showList :: [ObjCIvarDecl] -> ShowS #
Located ObjCIvarDecl #
Methods locOf :: ObjCIvarDecl -> Loc # locOfList :: [ObjCIvarDecl] -> Loc #
Relocatable ObjCIvarDecl #
Methods reloc :: Loc -> ObjCIvarDecl -> ObjCIvarDecl #

data ObjCVisibilitySpec Source #

Constructors

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

Instances

Eq ObjCVisibilitySpec Source #
Methods (==) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool # (/=) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool #
Data ObjCVisibilitySpec Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCVisibilitySpec -> ShowS # show :: ObjCVisibilitySpec -> String # showList :: [ObjCVisibilitySpec] -> ShowS #
Located ObjCVisibilitySpec #
Methods locOf :: ObjCVisibilitySpec -> Loc # locOfList :: [ObjCVisibilitySpec] -> Loc #
Relocatable ObjCVisibilitySpec #
Methods reloc :: Loc -> ObjCVisibilitySpec -> ObjCVisibilitySpec #

data ObjCIfaceDecl Source #

Instances

Eq ObjCIfaceDecl Source #
Methods (==) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool # (/=) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool #
Data ObjCIfaceDecl Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCIfaceDecl -> ShowS # show :: ObjCIfaceDecl -> String # showList :: [ObjCIfaceDecl] -> ShowS #
Located ObjCIfaceDecl #
Methods locOf :: ObjCIfaceDecl -> Loc # locOfList :: [ObjCIfaceDecl] -> Loc #
Relocatable ObjCIfaceDecl #
Methods reloc :: Loc -> ObjCIfaceDecl -> ObjCIfaceDecl #

data ObjCPropAttr Source #

Instances

Eq ObjCPropAttr Source #
Methods (==) :: ObjCPropAttr -> ObjCPropAttr -> Bool # (/=) :: ObjCPropAttr -> ObjCPropAttr -> Bool #
Data ObjCPropAttr Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCPropAttr -> ShowS # show :: ObjCPropAttr -> String # showList :: [ObjCPropAttr] -> ShowS #
Located ObjCPropAttr #
Methods locOf :: ObjCPropAttr -> Loc # locOfList :: [ObjCPropAttr] -> Loc #
Relocatable ObjCPropAttr #
Methods reloc :: Loc -> ObjCPropAttr -> ObjCPropAttr #

data ObjCMethodReq Source #

Constructors

ObjCRequired !SrcLoc
ObjCOptional !SrcLoc

Instances

Eq ObjCMethodReq Source #
Methods (==) :: ObjCMethodReq -> ObjCMethodReq -> Bool # (/=) :: ObjCMethodReq -> ObjCMethodReq -> Bool #
Data ObjCMethodReq Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCMethodReq -> ShowS # show :: ObjCMethodReq -> String # showList :: [ObjCMethodReq] -> ShowS #
Located ObjCMethodReq #
Methods locOf :: ObjCMethodReq -> Loc # locOfList :: [ObjCMethodReq] -> Loc #
Relocatable ObjCMethodReq #
Methods reloc :: Loc -> ObjCMethodReq -> ObjCMethodReq #

data ObjCParam Source #

Constructors

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

Instances

Eq ObjCParam Source #
Methods (==) :: ObjCParam -> ObjCParam -> Bool # (/=) :: ObjCParam -> ObjCParam -> Bool #
Data ObjCParam Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCParam -> ShowS # show :: ObjCParam -> String # showList :: [ObjCParam] -> ShowS #
Located ObjCParam #
Methods locOf :: ObjCParam -> Loc # locOfList :: [ObjCParam] -> Loc #
Relocatable ObjCParam #
Methods reloc :: Loc -> ObjCParam -> ObjCParam #

data ObjCMethodProto Source #

Constructors

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

Instances

Eq ObjCMethodProto Source #
Methods (==) :: ObjCMethodProto -> ObjCMethodProto -> Bool # (/=) :: ObjCMethodProto -> ObjCMethodProto -> Bool #
Data ObjCMethodProto Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCMethodProto -> ShowS # show :: ObjCMethodProto -> String # showList :: [ObjCMethodProto] -> ShowS #
Located ObjCMethodProto #
Methods locOf :: ObjCMethodProto -> Loc # locOfList :: [ObjCMethodProto] -> Loc #
Relocatable ObjCMethodProto #
Methods reloc :: Loc -> ObjCMethodProto -> ObjCMethodProto #

data ObjCCatch Source #

Constructors

ObjCCatch (Maybe Param) [BlockItem] !SrcLoc

Instances

Eq ObjCCatch Source #
Methods (==) :: ObjCCatch -> ObjCCatch -> Bool # (/=) :: ObjCCatch -> ObjCCatch -> Bool #
Data ObjCCatch Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCCatch -> ShowS # show :: ObjCCatch -> String # showList :: [ObjCCatch] -> ShowS #
Located ObjCCatch #
Methods locOf :: ObjCCatch -> Loc # locOfList :: [ObjCCatch] -> Loc #
Relocatable ObjCCatch #
Methods reloc :: Loc -> ObjCCatch -> ObjCCatch #

data ObjCDictElem Source #

Constructors

ObjCDictElem Exp Exp !SrcLoc
AntiObjCDictElems String !SrcLoc

Instances

Eq ObjCDictElem Source #
Methods (==) :: ObjCDictElem -> ObjCDictElem -> Bool # (/=) :: ObjCDictElem -> ObjCDictElem -> Bool #
Data ObjCDictElem Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCDictElem -> ShowS # show :: ObjCDictElem -> String # showList :: [ObjCDictElem] -> ShowS #
Located ObjCDictElem #
Methods locOf :: ObjCDictElem -> Loc # locOfList :: [ObjCDictElem] -> Loc #
Relocatable ObjCDictElem #
Methods reloc :: Loc -> ObjCDictElem -> ObjCDictElem #

data ObjCRecv Source #

Constructors

ObjCRecvSuper !SrcLoc
ObjCRecvExp Exp !SrcLoc
AntiObjCRecv String !SrcLoc

Instances

Eq ObjCRecv Source #
Methods (==) :: ObjCRecv -> ObjCRecv -> Bool # (/=) :: ObjCRecv -> ObjCRecv -> Bool #
Data ObjCRecv Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCRecv -> ShowS # show :: ObjCRecv -> String # showList :: [ObjCRecv] -> ShowS #
Located ObjCRecv #
Methods locOf :: ObjCRecv -> Loc # locOfList :: [ObjCRecv] -> Loc #
Relocatable ObjCRecv #
Methods reloc :: Loc -> ObjCRecv -> ObjCRecv #

data ObjCArg Source #

Constructors

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

Instances

Eq ObjCArg Source #
Methods (==) :: ObjCArg -> ObjCArg -> Bool # (/=) :: ObjCArg -> ObjCArg -> Bool #
Data ObjCArg Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ObjCArg -> ShowS # show :: ObjCArg -> String # showList :: [ObjCArg] -> ShowS #
Located ObjCArg #
Methods locOf :: ObjCArg -> Loc # locOfList :: [ObjCArg] -> Loc #
Relocatable ObjCArg #
Methods reloc :: Loc -> ObjCArg -> ObjCArg #

data LambdaIntroducer Source #

Constructors

LambdaIntroducer [CaptureListEntry] !SrcLoc

Instances

Eq LambdaIntroducer Source #
Methods (==) :: LambdaIntroducer -> LambdaIntroducer -> Bool # (/=) :: LambdaIntroducer -> LambdaIntroducer -> Bool #
Data LambdaIntroducer Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> LambdaIntroducer -> ShowS # show :: LambdaIntroducer -> String # showList :: [LambdaIntroducer] -> ShowS #
Located LambdaIntroducer #
Methods locOf :: LambdaIntroducer -> Loc # locOfList :: [LambdaIntroducer] -> Loc #
Relocatable LambdaIntroducer #
Methods reloc :: Loc -> LambdaIntroducer -> LambdaIntroducer #

data LambdaDeclarator Source #

Constructors

LambdaDeclarator Params Bool (Maybe Type) !SrcLoc

Instances

Eq LambdaDeclarator Source #
Methods (==) :: LambdaDeclarator -> LambdaDeclarator -> Bool # (/=) :: LambdaDeclarator -> LambdaDeclarator -> Bool #
Data LambdaDeclarator Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> LambdaDeclarator -> ShowS # show :: LambdaDeclarator -> String # showList :: [LambdaDeclarator] -> ShowS #
Located LambdaDeclarator #
Methods locOf :: LambdaDeclarator -> Loc # locOfList :: [LambdaDeclarator] -> Loc #
Relocatable LambdaDeclarator #
Methods reloc :: Loc -> LambdaDeclarator -> LambdaDeclarator #

data CaptureListEntry Source #

Constructors

DefaultByReference
DefaultByValue

Instances

Eq CaptureListEntry Source #
Methods (==) :: CaptureListEntry -> CaptureListEntry -> Bool # (/=) :: CaptureListEntry -> CaptureListEntry -> Bool #
Data CaptureListEntry Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> CaptureListEntry -> ShowS # show :: CaptureListEntry -> String # showList :: [CaptureListEntry] -> ShowS #

data ExeConfig Source #

Constructors

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

Instances

Eq ExeConfig Source #
Methods (==) :: ExeConfig -> ExeConfig -> Bool # (/=) :: ExeConfig -> ExeConfig -> Bool #
Data ExeConfig Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> ExeConfig -> ShowS # show :: ExeConfig -> String # showList :: [ExeConfig] -> ShowS #
Located ExeConfig #
Methods locOf :: ExeConfig -> Loc # locOfList :: [ExeConfig] -> Loc #
Relocatable ExeConfig #
Methods reloc :: Loc -> ExeConfig -> ExeConfig #

funcProto :: Func -> InitGroup Source #

isPtr :: Type -> Bool Source #

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

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

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

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

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

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

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

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