Language.C.Syntax

Documentation

data Extensions

Constructors

Antiquotation

C99

C11

Gcc

Blocks

ObjC

CUDA

OpenCL

Instances

Enum Extensions

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

Methods

(==) :: Extensions -> Extensions -> Bool

(/=) :: Extensions -> Extensions -> Bool

Ord Extensions

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

Methods

showsPrec :: Int -> Extensions -> ShowS

show :: Extensions -> String

showList :: [Extensions] -> ShowS

data Id

Constructors

Id String !SrcLoc

AntiId String !SrcLoc

Instances

Eq Id

Methods

(==) :: Id -> Id -> Bool

(/=) :: Id -> Id -> Bool

Data Id

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

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

Methods

showsPrec :: Int -> Id -> ShowS

show :: Id -> String

showList :: [Id] -> ShowS

IsString Id

Methods

fromString :: String -> Id

Located Id

Methods

locOf :: Id -> Loc

locOfList :: [Id] -> Loc

Relocatable Id

Methods

reloc :: Loc -> Id -> Id

ToIdent Id

Methods

toIdent :: Id -> SrcLoc -> Id

ToIdent (SrcLoc -> Id)

Methods

toIdent :: (SrcLoc -> Id) -> SrcLoc -> Id

data StringLit

Constructors

StringLit [String] String !SrcLoc

Instances

Eq StringLit

Methods

(==) :: StringLit -> StringLit -> Bool

(/=) :: StringLit -> StringLit -> Bool

Data StringLit

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

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

Methods

showsPrec :: Int -> StringLit -> ShowS

show :: StringLit -> String

showList :: [StringLit] -> ShowS

IsString StringLit

Methods

fromString :: String -> StringLit

Located StringLit

Methods

locOf :: StringLit -> Loc

locOfList :: [StringLit] -> Loc

Relocatable StringLit

Methods

reloc :: Loc -> StringLit -> StringLit

type Linkage = StringLit

data Storage

Constructors

Tauto !SrcLoc

Tregister !SrcLoc

Tstatic !SrcLoc

Textern (Maybe Linkage) !SrcLoc

Ttypedef !SrcLoc

T__block !SrcLoc

TObjC__weak !SrcLoc

TObjC__strong !SrcLoc

TObjC__unsafe_unretained !SrcLoc

Instances

Eq Storage

Methods

(==) :: Storage -> Storage -> Bool

(/=) :: Storage -> Storage -> Bool

Data Storage

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

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

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

Constructors

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

Instances

Eq TypeQual

Methods

(==) :: TypeQual -> TypeQual -> Bool

(/=) :: TypeQual -> TypeQual -> Bool

Data TypeQual

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

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

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

Constructors

Tsigned !SrcLoc

Tunsigned !SrcLoc

Instances

Eq Sign

Methods

(==) :: Sign -> Sign -> Bool

(/=) :: Sign -> Sign -> Bool

Data Sign

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

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

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

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

Methods

(==) :: TypeSpec -> TypeSpec -> Bool

(/=) :: TypeSpec -> TypeSpec -> Bool

Data TypeSpec

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

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

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

Constructors

DeclSpec [Storage] [TypeQual] TypeSpec !SrcLoc

AntiDeclSpec String !SrcLoc

AntiTypeDeclSpec [Storage] [TypeQual] String !SrcLoc

Instances

Eq DeclSpec

Methods

(==) :: DeclSpec -> DeclSpec -> Bool

(/=) :: DeclSpec -> DeclSpec -> Bool

Data DeclSpec

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

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

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

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

Methods

(==) :: ArraySize -> ArraySize -> Bool

(/=) :: ArraySize -> ArraySize -> Bool

Data ArraySize

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

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

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

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

Methods

(==) :: Decl -> Decl -> Bool

(/=) :: Decl -> Decl -> Bool

Data Decl

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

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

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

Constructors

Type DeclSpec Decl !SrcLoc

AntiType String !SrcLoc

Instances

Eq Type

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Data Type

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

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

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

Constructors

IndexDesignator Exp !SrcLoc

MemberDesignator Id !SrcLoc

Instances

Eq Designator

Methods

(==) :: Designator -> Designator -> Bool

(/=) :: Designator -> Designator -> Bool

Data Designator

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

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

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

Constructors

Designation [Designator] !SrcLoc

Instances

Eq Designation

Methods

(==) :: Designation -> Designation -> Bool

(/=) :: Designation -> Designation -> Bool

Data Designation

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

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

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

Constructors

ExpInitializer Exp !SrcLoc

CompoundInitializer [(Maybe Designation, Initializer)] !SrcLoc

AntiInit String !SrcLoc

AntiInits String !SrcLoc

Instances

Eq Initializer

Methods

(==) :: Initializer -> Initializer -> Bool

(/=) :: Initializer -> Initializer -> Bool

Data Initializer

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

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

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

data Init

Constructors

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

Instances

Eq Init

Methods

(==) :: Init -> Init -> Bool

(/=) :: Init -> Init -> Bool

Data Init

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

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

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

Constructors

Typedef Id Decl [Attr] !SrcLoc

Instances

Eq Typedef

Methods

(==) :: Typedef -> Typedef -> Bool

(/=) :: Typedef -> Typedef -> Bool

Data Typedef

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

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

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

Constructors

InitGroup DeclSpec [Attr] [Init] !SrcLoc

TypedefGroup DeclSpec [Attr] [Typedef] !SrcLoc

AntiDecl String !SrcLoc

AntiDecls String !SrcLoc

Instances

Eq InitGroup

Methods

(==) :: InitGroup -> InitGroup -> Bool

(/=) :: InitGroup -> InitGroup -> Bool

Data InitGroup

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

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

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

Constructors

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

Instances

Eq Field

Methods

(==) :: Field -> Field -> Bool

(/=) :: Field -> Field -> Bool

Data Field

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

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

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

Constructors

FieldGroup DeclSpec [Field] !SrcLoc

AntiSdecl String !SrcLoc

AntiSdecls String !SrcLoc

Instances

Eq FieldGroup

Methods

(==) :: FieldGroup -> FieldGroup -> Bool

(/=) :: FieldGroup -> FieldGroup -> Bool

Data FieldGroup

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

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

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

Constructors

CEnum Id (Maybe Exp) !SrcLoc

AntiEnum String !SrcLoc

AntiEnums String !SrcLoc

Instances

Eq CEnum

Methods

(==) :: CEnum -> CEnum -> Bool

(/=) :: CEnum -> CEnum -> Bool

Data CEnum

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

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

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

Constructors

Attr Id [Exp] !SrcLoc

Instances

Eq Attr

Methods

(==) :: Attr -> Attr -> Bool

(/=) :: Attr -> Attr -> Bool

Data Attr

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

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

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

Constructors

Param (Maybe Id) DeclSpec Decl !SrcLoc

AntiParam String !SrcLoc

AntiParams String !SrcLoc

Instances

Eq Param

Methods

(==) :: Param -> Param -> Bool

(/=) :: Param -> Param -> Bool

Data Param

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

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

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

Constructors

Params [Param] Bool !SrcLoc

Instances

Eq Params

Methods

(==) :: Params -> Params -> Bool

(/=) :: Params -> Params -> Bool

Data Params

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

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

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

Constructors

Func DeclSpec Id Decl Params [BlockItem] !SrcLoc

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

Instances

Eq Func

Methods

(==) :: Func -> Func -> Bool

(/=) :: Func -> Func -> Bool

Data Func

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

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

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

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

Methods

(==) :: Definition -> Definition -> Bool

(/=) :: Definition -> Definition -> Bool

Data Definition

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

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

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

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

Methods

(==) :: Stm -> Stm -> Bool

(/=) :: Stm -> Stm -> Bool

Data Stm

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

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

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

Constructors

BlockDecl InitGroup

BlockStm Stm

AntiBlockItem String !SrcLoc

AntiBlockItems String !SrcLoc

Instances

Eq BlockItem

Methods

(==) :: BlockItem -> BlockItem -> Bool

(/=) :: BlockItem -> BlockItem -> Bool

Data BlockItem

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

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

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

Constructors

Signed

Unsigned

Instances

Eq Signed

Methods

(==) :: Signed -> Signed -> Bool

(/=) :: Signed -> Signed -> Bool

Data Signed

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

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

Methods

showsPrec :: Int -> Signed -> ShowS

show :: Signed -> String

showList :: [Signed] -> ShowS

data Const

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

Constructors

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

Instances

Eq Const

Methods

(==) :: Const -> Const -> Bool

(/=) :: Const -> Const -> Bool

Data Const

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

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

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

Methods

toConst :: Const -> SrcLoc -> Const

data Exp

Constructors

Var Id !SrcLoc

Const Const !SrcLoc

BinOp BinOp Exp Exp !SrcLoc

Assign Exp AssignOp Exp !SrcLoc

PreInc Exp !SrcLoc

PostInc Exp !SrcLoc

PreDec Exp !SrcLoc

PostDec Exp !SrcLoc

UnOp UnOp Exp !SrcLoc

SizeofExp Exp !SrcLoc

SizeofType Type !SrcLoc

Cast Type Exp !SrcLoc

Cond Exp Exp Exp !SrcLoc

Member Exp Id !SrcLoc

PtrMember Exp Id !SrcLoc

Index Exp Exp !SrcLoc

FnCall Exp [Exp] !SrcLoc

CudaCall Exp ExeConfig [Exp] !SrcLoc

Seq Exp Exp !SrcLoc

CompoundLit Type [(Maybe Designation, Initializer)] !SrcLoc

StmExpr [BlockItem] !SrcLoc

EscExp String !SrcLoc

AntiEscExp String !SrcLoc

AntiExp String !SrcLoc

AntiArgs String !SrcLoc

BuiltinVaArg Exp Type !SrcLoc

BlockLit BlockType [Attr] [BlockItem] !SrcLoc

ObjCMsg ObjCRecv [ObjCArg] [Exp] !SrcLoc

Invariant: First argument must at least have either a selector or an expression; all other arguments must have an expression.

ObjCLitConst (Maybe UnOp) Const !SrcLoc

ObjCLitString [Const] !SrcLoc

ObjCLitBool Bool !SrcLoc

ObjCLitArray [Exp] !SrcLoc

ObjCLitDict [ObjCDictElem] !SrcLoc

ObjCLitBoxed Exp !SrcLoc

ObjCEncode Type !SrcLoc

ObjCProtocol Id !SrcLoc

ObjCSelector String !SrcLoc

Lambda LambdaIntroducer (Maybe LambdaDeclarator) [BlockItem] !SrcLoc

Instances

Eq Exp

Methods

(==) :: Exp -> Exp -> Bool

(/=) :: Exp -> Exp -> Bool

Data Exp

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

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

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

Methods

toExp :: Exp -> SrcLoc -> Exp

data BinOp

Constructors

Add

Sub

Mul

Div

Mod

Eq

Ne

Lt

Gt

Le

Ge

Land

Lor

And

Or

Xor

Lsh

Rsh

Instances

Eq BinOp

Methods

(==) :: BinOp -> BinOp -> Bool

(/=) :: BinOp -> BinOp -> Bool

Data BinOp

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

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

Methods

showsPrec :: Int -> BinOp -> ShowS

show :: BinOp -> String

showList :: [BinOp] -> ShowS

CFixity BinOp

Methods

fixity :: BinOp -> Fixity

parensOp :: Int -> BinOp -> Doc -> Doc

data AssignOp

Constructors

JustAssign

AddAssign

SubAssign

MulAssign

DivAssign

ModAssign

LshAssign

RshAssign

AndAssign

XorAssign

OrAssign

Instances

Eq AssignOp

Methods

(==) :: AssignOp -> AssignOp -> Bool

(/=) :: AssignOp -> AssignOp -> Bool

Data AssignOp

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

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

Methods

showsPrec :: Int -> AssignOp -> ShowS

show :: AssignOp -> String

showList :: [AssignOp] -> ShowS

CFixity AssignOp

Methods

fixity :: AssignOp -> Fixity

parensOp :: Int -> AssignOp -> Doc -> Doc

data UnOp

Constructors

AddrOf

Deref

Positive

Negate

Not

Lnot

Instances

Eq UnOp

Methods

(==) :: UnOp -> UnOp -> Bool

(/=) :: UnOp -> UnOp -> Bool

Data UnOp

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

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

Methods

showsPrec :: Int -> UnOp -> ShowS

show :: UnOp -> String

showList :: [UnOp] -> ShowS

CFixity UnOp

Methods

fixity :: UnOp -> Fixity

parensOp :: Int -> UnOp -> Doc -> Doc

type AsmTemplate = StringLit

data AsmOut

Constructors

AsmOut (Maybe Id) String Id

Instances

Eq AsmOut

Methods

(==) :: AsmOut -> AsmOut -> Bool

(/=) :: AsmOut -> AsmOut -> Bool

Data AsmOut

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

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

Methods

showsPrec :: Int -> AsmOut -> ShowS

show :: AsmOut -> String

showList :: [AsmOut] -> ShowS

data AsmIn

Constructors

AsmIn (Maybe Id) String Exp

Instances

Eq AsmIn

Methods

(==) :: AsmIn -> AsmIn -> Bool

(/=) :: AsmIn -> AsmIn -> Bool

Data AsmIn

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

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

Methods

showsPrec :: Int -> AsmIn -> ShowS

show :: AsmIn -> String

showList :: [AsmIn] -> ShowS

type AsmClobber = String

data BlockType

Constructors

BlockVoid !SrcLoc

BlockParam [Param] !SrcLoc

BlockType Type !SrcLoc

Instances

Eq BlockType

Methods

(==) :: BlockType -> BlockType -> Bool

(/=) :: BlockType -> BlockType -> Bool

Data BlockType

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

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

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

Constructors

ObjCIvarVisi ObjCVisibilitySpec !SrcLoc

ObjCIvarDecl FieldGroup !SrcLoc

Instances

Eq ObjCIvarDecl

Methods

(==) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool

(/=) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool

Data ObjCIvarDecl

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

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

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

Constructors

ObjCPrivate !SrcLoc

ObjCPublic !SrcLoc

ObjCProtected !SrcLoc

ObjCPackage !SrcLoc

Instances

Eq ObjCVisibilitySpec

Methods

(==) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool

(/=) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool

Data ObjCVisibilitySpec

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

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

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

Constructors

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

Instances

Eq ObjCIfaceDecl

Methods

(==) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool

(/=) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool

Data ObjCIfaceDecl

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

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

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

Constructors

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

Instances

Eq ObjCPropAttr

Methods

(==) :: ObjCPropAttr -> ObjCPropAttr -> Bool

(/=) :: ObjCPropAttr -> ObjCPropAttr -> Bool

Data ObjCPropAttr

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

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

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

Constructors

ObjCRequired !SrcLoc

ObjCOptional !SrcLoc

Instances

Eq ObjCMethodReq

Methods

(==) :: ObjCMethodReq -> ObjCMethodReq -> Bool

(/=) :: ObjCMethodReq -> ObjCMethodReq -> Bool

Data ObjCMethodReq

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

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

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

Constructors

ObjCParam (Maybe Id) (Maybe Type) [Attr] (Maybe Id) !SrcLoc

AntiObjCParam String !SrcLoc

AntiObjCParams String !SrcLoc

Instances

Eq ObjCParam

Methods

(==) :: ObjCParam -> ObjCParam -> Bool

(/=) :: ObjCParam -> ObjCParam -> Bool

Data ObjCParam

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

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

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

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

Methods

(==) :: ObjCMethodProto -> ObjCMethodProto -> Bool

(/=) :: ObjCMethodProto -> ObjCMethodProto -> Bool

Data ObjCMethodProto

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

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

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

Constructors

ObjCCatch (Maybe Param) [BlockItem] !SrcLoc

Instances

Eq ObjCCatch

Methods

(==) :: ObjCCatch -> ObjCCatch -> Bool

(/=) :: ObjCCatch -> ObjCCatch -> Bool

Data ObjCCatch

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

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

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

Constructors

ObjCDictElem Exp Exp !SrcLoc

AntiObjCDictElems String !SrcLoc

Instances

Eq ObjCDictElem

Methods

(==) :: ObjCDictElem -> ObjCDictElem -> Bool

(/=) :: ObjCDictElem -> ObjCDictElem -> Bool

Data ObjCDictElem

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

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

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

Constructors

ObjCRecvSuper !SrcLoc

ObjCRecvExp Exp !SrcLoc

AntiObjCRecv String !SrcLoc

Instances

Eq ObjCRecv

Methods

(==) :: ObjCRecv -> ObjCRecv -> Bool

(/=) :: ObjCRecv -> ObjCRecv -> Bool

Data ObjCRecv

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

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

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

Constructors

ObjCArg (Maybe Id) (Maybe Exp) !SrcLoc

AntiObjCArg String !SrcLoc

AntiObjCArgs String !SrcLoc

Instances

Eq ObjCArg

Methods

(==) :: ObjCArg -> ObjCArg -> Bool

(/=) :: ObjCArg -> ObjCArg -> Bool

Data ObjCArg

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

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

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

Constructors

LambdaIntroducer [CaptureListEntry] !SrcLoc

Instances

Eq LambdaIntroducer

Methods

(==) :: LambdaIntroducer -> LambdaIntroducer -> Bool

(/=) :: LambdaIntroducer -> LambdaIntroducer -> Bool

Data LambdaIntroducer

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

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

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

Constructors

LambdaDeclarator Params Bool (Maybe Type) !SrcLoc

Instances

Eq LambdaDeclarator

Methods

(==) :: LambdaDeclarator -> LambdaDeclarator -> Bool

(/=) :: LambdaDeclarator -> LambdaDeclarator -> Bool

Data LambdaDeclarator

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

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

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

Constructors

DefaultByReference

DefaultByValue

Instances

Eq CaptureListEntry

Methods

(==) :: CaptureListEntry -> CaptureListEntry -> Bool

(/=) :: CaptureListEntry -> CaptureListEntry -> Bool

Data CaptureListEntry

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

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

Methods

showsPrec :: Int -> CaptureListEntry -> ShowS

show :: CaptureListEntry -> String

showList :: [CaptureListEntry] -> ShowS

data ExeConfig

Constructors

ExeConfig

Fields

• exeGridDim :: Exp
• exeBlockDim :: Exp
• exeSharedSize :: Maybe Exp
• exeStream :: Maybe Exp
• exeLoc :: !SrcLoc

Instances

Eq ExeConfig

Methods

(==) :: ExeConfig -> ExeConfig -> Bool

(/=) :: ExeConfig -> ExeConfig -> Bool

Data ExeConfig

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

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

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

isPtr :: Type -> Bool

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

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

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

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