Language.C.Syntax

Documentation

data Extensions

Constructors

Antiquotation

C99

C11

Gcc

Blocks

ObjC

CUDA

OpenCL

Instances

Enum Extensions

Defined in Language.C.Syntax

Methods

succ :: Extensions -> Extensions

pred :: Extensions -> Extensions

toEnum :: Int -> Extensions

fromEnum :: Extensions -> Int

enumFrom :: Extensions -> [Extensions]

enumFromThen :: Extensions -> Extensions -> [Extensions]

enumFromTo :: Extensions -> Extensions -> [Extensions]

enumFromThenTo :: Extensions -> Extensions -> Extensions -> [Extensions]

Eq Extensions

Defined in Language.C.Syntax

Methods

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

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

Ord Extensions

Defined in Language.C.Syntax

Methods

compare :: Extensions -> Extensions -> Ordering

(<) :: Extensions -> Extensions -> Bool

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

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

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

max :: Extensions -> Extensions -> Extensions

min :: Extensions -> Extensions -> Extensions

Show Extensions

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Extensions -> ShowS

show :: Extensions -> String

showList :: [Extensions] -> ShowS

data Id

Constructors

Id String !SrcLoc

AntiId String !SrcLoc

Instances

Eq Id

Defined in Language.C.Syntax

Methods

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

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

Data Id

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Id -> c Id

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Id

toConstr :: Id -> Constr

dataTypeOf :: Id -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Id)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Id)

gmapT :: (forall b. Data b => b -> b) -> Id -> Id

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Id -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Id -> r

gmapQ :: (forall d. Data d => d -> u) -> Id -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Id -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Id -> m Id

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Id -> m Id

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Id -> m Id

Ord Id

Defined in Language.C.Syntax

Methods

compare :: Id -> Id -> Ordering

(<) :: Id -> Id -> Bool

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

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

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

max :: Id -> Id -> Id

min :: Id -> Id -> Id

Show Id

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Id -> ShowS

show :: Id -> String

showList :: [Id] -> ShowS

IsString Id

Defined in Language.C.Syntax

Methods

fromString :: String -> Id

Pretty Id

Defined in Language.C.Pretty

Methods

ppr :: Id -> Doc

pprPrec :: Int -> Id -> Doc

pprList :: [Id] -> Doc

Located Id

Defined in Language.C.Syntax

Methods

locOf :: Id -> Loc

locOfList :: [Id] -> Loc

Relocatable Id

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Id -> Id

ToIdent Id

Defined in Language.C.Quote.Base

Methods

toIdent :: Id -> SrcLoc -> Id

ToIdent (SrcLoc -> Id)

Defined in Language.C.Quote.Base

Methods

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

data StringLit

Constructors

StringLit [String] String !SrcLoc

Instances

Eq StringLit

Defined in Language.C.Syntax

Methods

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

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

Data StringLit

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StringLit -> c StringLit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StringLit

toConstr :: StringLit -> Constr

dataTypeOf :: StringLit -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c StringLit)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StringLit)

gmapT :: (forall b. Data b => b -> b) -> StringLit -> StringLit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StringLit -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StringLit -> r

gmapQ :: (forall d. Data d => d -> u) -> StringLit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> StringLit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> StringLit -> m StringLit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StringLit -> m StringLit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StringLit -> m StringLit

Ord StringLit

Defined in Language.C.Syntax

Methods

compare :: StringLit -> StringLit -> Ordering

(<) :: StringLit -> StringLit -> Bool

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

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

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

max :: StringLit -> StringLit -> StringLit

min :: StringLit -> StringLit -> StringLit

Show StringLit

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> StringLit -> ShowS

show :: StringLit -> String

showList :: [StringLit] -> ShowS

IsString StringLit

Defined in Language.C.Syntax

Methods

fromString :: String -> StringLit

Pretty StringLit

Defined in Language.C.Pretty

Methods

ppr :: StringLit -> Doc

pprPrec :: Int -> StringLit -> Doc

pprList :: [StringLit] -> Doc

Located StringLit

Defined in Language.C.Syntax

Methods

locOf :: StringLit -> Loc

locOfList :: [StringLit] -> Loc

Relocatable StringLit

Defined in Language.C.Syntax

Methods

reloc :: Loc -> StringLit -> StringLit

type Linkage = StringLit

data Storage

Constructors

Tauto !SrcLoc

Tregister !SrcLoc

Tstatic !SrcLoc

Textern (Maybe Linkage) !SrcLoc

Ttypedef !SrcLoc

T__block !SrcLoc

TObjC__weak !SrcLoc

TObjC__strong !SrcLoc

TObjC__unsafe_unretained !SrcLoc

Instances

Eq Storage

Defined in Language.C.Syntax

Methods

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

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

Data Storage

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Storage -> c Storage

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Storage

toConstr :: Storage -> Constr

dataTypeOf :: Storage -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Storage)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Storage)

gmapT :: (forall b. Data b => b -> b) -> Storage -> Storage

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Storage -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Storage -> r

gmapQ :: (forall d. Data d => d -> u) -> Storage -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Storage -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Storage -> m Storage

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Storage -> m Storage

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Storage -> m Storage

Ord Storage

Defined in Language.C.Syntax

Methods

compare :: Storage -> Storage -> Ordering

(<) :: Storage -> Storage -> Bool

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

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

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

max :: Storage -> Storage -> Storage

min :: Storage -> Storage -> Storage

Show Storage

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Storage -> ShowS

show :: Storage -> String

showList :: [Storage] -> ShowS

Pretty Storage

Defined in Language.C.Pretty

Methods

ppr :: Storage -> Doc

pprPrec :: Int -> Storage -> Doc

pprList :: [Storage] -> Doc

Located Storage

Defined in Language.C.Syntax

Methods

locOf :: Storage -> Loc

locOfList :: [Storage] -> Loc

Relocatable Storage

Defined in Language.C.Syntax

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

Defined in Language.C.Syntax

Methods

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

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

Data TypeQual

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeQual -> c TypeQual

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeQual

toConstr :: TypeQual -> Constr

dataTypeOf :: TypeQual -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeQual)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeQual)

gmapT :: (forall b. Data b => b -> b) -> TypeQual -> TypeQual

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeQual -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeQual -> r

gmapQ :: (forall d. Data d => d -> u) -> TypeQual -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeQual -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeQual -> m TypeQual

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeQual -> m TypeQual

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeQual -> m TypeQual

Ord TypeQual

Defined in Language.C.Syntax

Methods

compare :: TypeQual -> TypeQual -> Ordering

(<) :: TypeQual -> TypeQual -> Bool

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

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

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

max :: TypeQual -> TypeQual -> TypeQual

min :: TypeQual -> TypeQual -> TypeQual

Show TypeQual

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> TypeQual -> ShowS

show :: TypeQual -> String

showList :: [TypeQual] -> ShowS

Pretty TypeQual

Defined in Language.C.Pretty

Methods

ppr :: TypeQual -> Doc

pprPrec :: Int -> TypeQual -> Doc

pprList :: [TypeQual] -> Doc

Located TypeQual

Defined in Language.C.Syntax

Methods

locOf :: TypeQual -> Loc

locOfList :: [TypeQual] -> Loc

Relocatable TypeQual

Defined in Language.C.Syntax

Methods

reloc :: Loc -> TypeQual -> TypeQual

data Sign

Constructors

Tsigned !SrcLoc

Tunsigned !SrcLoc

Instances

Eq Sign

Defined in Language.C.Syntax

Methods

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

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

Data Sign

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sign -> c Sign

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Sign

toConstr :: Sign -> Constr

dataTypeOf :: Sign -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Sign)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Sign)

gmapT :: (forall b. Data b => b -> b) -> Sign -> Sign

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r

gmapQ :: (forall d. Data d => d -> u) -> Sign -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Sign -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sign -> m Sign

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sign -> m Sign

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sign -> m Sign

Ord Sign

Defined in Language.C.Syntax

Methods

compare :: Sign -> Sign -> Ordering

(<) :: Sign -> Sign -> Bool

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

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

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

max :: Sign -> Sign -> Sign

min :: Sign -> Sign -> Sign

Show Sign

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

Pretty Sign

Defined in Language.C.Pretty

Methods

ppr :: Sign -> Doc

pprPrec :: Int -> Sign -> Doc

pprList :: [Sign] -> Doc

Located Sign

Defined in Language.C.Syntax

Methods

locOf :: Sign -> Loc

locOfList :: [Sign] -> Loc

Relocatable Sign

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Sign -> Sign

data TypeSpec

Constructors

Tvoid !SrcLoc

Tchar (Maybe Sign) !SrcLoc

Tshort (Maybe Sign) !SrcLoc

Tint (Maybe Sign) !SrcLoc

Tlong (Maybe Sign) !SrcLoc

Tlong_long (Maybe Sign) !SrcLoc

Tfloat !SrcLoc

Tdouble !SrcLoc

Tlong_double !SrcLoc

Tstruct (Maybe Id) (Maybe [FieldGroup]) [Attr] !SrcLoc

Tunion (Maybe Id) (Maybe [FieldGroup]) [Attr] !SrcLoc

Tenum (Maybe Id) [CEnum] [Attr] !SrcLoc

Tnamed Id [Id] !SrcLoc

T_Bool !SrcLoc

Tfloat_Complex !SrcLoc

Tdouble_Complex !SrcLoc

Tlong_double_Complex !SrcLoc

Tfloat_Imaginary !SrcLoc

Tdouble_Imaginary !SrcLoc

Tlong_double_Imaginary !SrcLoc

TtypeofExp Exp !SrcLoc

TtypeofType Type !SrcLoc

Tva_list !SrcLoc

Instances

Eq TypeSpec

Defined in Language.C.Syntax

Methods

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

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

Data TypeSpec

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeSpec -> c TypeSpec

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeSpec

toConstr :: TypeSpec -> Constr

dataTypeOf :: TypeSpec -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeSpec)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeSpec)

gmapT :: (forall b. Data b => b -> b) -> TypeSpec -> TypeSpec

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeSpec -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeSpec -> r

gmapQ :: (forall d. Data d => d -> u) -> TypeSpec -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeSpec -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeSpec -> m TypeSpec

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSpec -> m TypeSpec

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSpec -> m TypeSpec

Ord TypeSpec

Defined in Language.C.Syntax

Methods

compare :: TypeSpec -> TypeSpec -> Ordering

(<) :: TypeSpec -> TypeSpec -> Bool

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

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

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

max :: TypeSpec -> TypeSpec -> TypeSpec

min :: TypeSpec -> TypeSpec -> TypeSpec

Show TypeSpec

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> TypeSpec -> ShowS

show :: TypeSpec -> String

showList :: [TypeSpec] -> ShowS

Pretty TypeSpec

Defined in Language.C.Pretty

Methods

ppr :: TypeSpec -> Doc

pprPrec :: Int -> TypeSpec -> Doc

pprList :: [TypeSpec] -> Doc

Located TypeSpec

Defined in Language.C.Syntax

Methods

locOf :: TypeSpec -> Loc

locOfList :: [TypeSpec] -> Loc

Relocatable TypeSpec

Defined in Language.C.Syntax

Methods

reloc :: Loc -> TypeSpec -> TypeSpec

data DeclSpec

Constructors

DeclSpec [Storage] [TypeQual] TypeSpec !SrcLoc

AntiDeclSpec String !SrcLoc

AntiTypeDeclSpec [Storage] [TypeQual] String !SrcLoc

Instances

Eq DeclSpec

Defined in Language.C.Syntax

Methods

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

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

Data DeclSpec

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DeclSpec -> c DeclSpec

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DeclSpec

toConstr :: DeclSpec -> Constr

dataTypeOf :: DeclSpec -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DeclSpec)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DeclSpec)

gmapT :: (forall b. Data b => b -> b) -> DeclSpec -> DeclSpec

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DeclSpec -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DeclSpec -> r

gmapQ :: (forall d. Data d => d -> u) -> DeclSpec -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DeclSpec -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DeclSpec -> m DeclSpec

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DeclSpec -> m DeclSpec

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DeclSpec -> m DeclSpec

Ord DeclSpec

Defined in Language.C.Syntax

Methods

compare :: DeclSpec -> DeclSpec -> Ordering

(<) :: DeclSpec -> DeclSpec -> Bool

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

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

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

max :: DeclSpec -> DeclSpec -> DeclSpec

min :: DeclSpec -> DeclSpec -> DeclSpec

Show DeclSpec

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> DeclSpec -> ShowS

show :: DeclSpec -> String

showList :: [DeclSpec] -> ShowS

Pretty DeclSpec

Defined in Language.C.Pretty

Methods

ppr :: DeclSpec -> Doc

pprPrec :: Int -> DeclSpec -> Doc

pprList :: [DeclSpec] -> Doc

Located DeclSpec

Defined in Language.C.Syntax

Methods

locOf :: DeclSpec -> Loc

locOfList :: [DeclSpec] -> Loc

Relocatable DeclSpec

Defined in Language.C.Syntax

Methods

reloc :: Loc -> DeclSpec -> DeclSpec

data ArraySize

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

Constructors

ArraySize Bool Exp !SrcLoc

VariableArraySize !SrcLoc

NoArraySize !SrcLoc

Instances

Eq ArraySize

Defined in Language.C.Syntax

Methods

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

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

Data ArraySize

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ArraySize -> c ArraySize

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ArraySize

toConstr :: ArraySize -> Constr

dataTypeOf :: ArraySize -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ArraySize)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ArraySize)

gmapT :: (forall b. Data b => b -> b) -> ArraySize -> ArraySize

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ArraySize -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArraySize -> r

gmapQ :: (forall d. Data d => d -> u) -> ArraySize -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ArraySize -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ArraySize -> m ArraySize

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ArraySize -> m ArraySize

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ArraySize -> m ArraySize

Ord ArraySize

Defined in Language.C.Syntax

Methods

compare :: ArraySize -> ArraySize -> Ordering

(<) :: ArraySize -> ArraySize -> Bool

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

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

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

max :: ArraySize -> ArraySize -> ArraySize

min :: ArraySize -> ArraySize -> ArraySize

Show ArraySize

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ArraySize -> ShowS

show :: ArraySize -> String

showList :: [ArraySize] -> ShowS

Pretty ArraySize

Defined in Language.C.Pretty

Methods

ppr :: ArraySize -> Doc

pprPrec :: Int -> ArraySize -> Doc

pprList :: [ArraySize] -> Doc

Located ArraySize

Defined in Language.C.Syntax

Methods

locOf :: ArraySize -> Loc

locOfList :: [ArraySize] -> Loc

Relocatable ArraySize

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ArraySize -> ArraySize

data Decl

Constructors

DeclRoot !SrcLoc

Ptr [TypeQual] Decl !SrcLoc

Array [TypeQual] ArraySize Decl !SrcLoc

Proto Decl Params !SrcLoc

OldProto Decl [Id] !SrcLoc

AntiTypeDecl String !SrcLoc

BlockPtr [TypeQual] Decl !SrcLoc

Instances

Eq Decl

Defined in Language.C.Syntax

Methods

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

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

Data Decl

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Decl -> c Decl

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Decl

toConstr :: Decl -> Constr

dataTypeOf :: Decl -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Decl)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Decl)

gmapT :: (forall b. Data b => b -> b) -> Decl -> Decl

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r

gmapQ :: (forall d. Data d => d -> u) -> Decl -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Decl -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Decl -> m Decl

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Decl -> m Decl

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Decl -> m Decl

Ord Decl

Defined in Language.C.Syntax

Methods

compare :: Decl -> Decl -> Ordering

(<) :: Decl -> Decl -> Bool

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

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

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

max :: Decl -> Decl -> Decl

min :: Decl -> Decl -> Decl

Show Decl

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Decl -> ShowS

show :: Decl -> String

showList :: [Decl] -> ShowS

Located Decl

Defined in Language.C.Syntax

Methods

locOf :: Decl -> Loc

locOfList :: [Decl] -> Loc

Relocatable Decl

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Decl -> Decl

data Type

Constructors

Type DeclSpec Decl !SrcLoc

AntiType String !SrcLoc

Instances

Eq Type

Defined in Language.C.Syntax

Methods

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

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

Data Type

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type

toConstr :: Type -> Constr

dataTypeOf :: Type -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type)

gmapT :: (forall b. Data b => b -> b) -> Type -> Type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r

gmapQ :: (forall d. Data d => d -> u) -> Type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type

Ord Type

Defined in Language.C.Syntax

Methods

compare :: Type -> Type -> Ordering

(<) :: Type -> Type -> Bool

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

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

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

max :: Type -> Type -> Type

min :: Type -> Type -> Type

Show Type

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Pretty Type

Defined in Language.C.Pretty

Methods

ppr :: Type -> Doc

pprPrec :: Int -> Type -> Doc

pprList :: [Type] -> Doc

Located Type

Defined in Language.C.Syntax

Methods

locOf :: Type -> Loc

locOfList :: [Type] -> Loc

Relocatable Type

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Type -> Type

data Designator

Constructors

IndexDesignator Exp !SrcLoc

MemberDesignator Id !SrcLoc

Instances

Eq Designator

Defined in Language.C.Syntax

Methods

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

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

Data Designator

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Designator -> c Designator

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Designator

toConstr :: Designator -> Constr

dataTypeOf :: Designator -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Designator)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Designator)

gmapT :: (forall b. Data b => b -> b) -> Designator -> Designator

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Designator -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Designator -> r

gmapQ :: (forall d. Data d => d -> u) -> Designator -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Designator -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Designator -> m Designator

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Designator -> m Designator

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Designator -> m Designator

Ord Designator

Defined in Language.C.Syntax

Methods

compare :: Designator -> Designator -> Ordering

(<) :: Designator -> Designator -> Bool

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

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

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

max :: Designator -> Designator -> Designator

min :: Designator -> Designator -> Designator

Show Designator

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Designator -> ShowS

show :: Designator -> String

showList :: [Designator] -> ShowS

Pretty Designator

Defined in Language.C.Pretty

Methods

ppr :: Designator -> Doc

pprPrec :: Int -> Designator -> Doc

pprList :: [Designator] -> Doc

Located Designator

Defined in Language.C.Syntax

Methods

locOf :: Designator -> Loc

locOfList :: [Designator] -> Loc

Relocatable Designator

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Designator -> Designator

data Designation

Constructors

Designation [Designator] !SrcLoc

Instances

Eq Designation

Defined in Language.C.Syntax

Methods

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

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

Data Designation

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Designation -> c Designation

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Designation

toConstr :: Designation -> Constr

dataTypeOf :: Designation -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Designation)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Designation)

gmapT :: (forall b. Data b => b -> b) -> Designation -> Designation

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Designation -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Designation -> r

gmapQ :: (forall d. Data d => d -> u) -> Designation -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Designation -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Designation -> m Designation

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Designation -> m Designation

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Designation -> m Designation

Ord Designation

Defined in Language.C.Syntax

Methods

compare :: Designation -> Designation -> Ordering

(<) :: Designation -> Designation -> Bool

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

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

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

max :: Designation -> Designation -> Designation

min :: Designation -> Designation -> Designation

Show Designation

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Designation -> ShowS

show :: Designation -> String

showList :: [Designation] -> ShowS

Pretty Designation

Defined in Language.C.Pretty

Methods

ppr :: Designation -> Doc

pprPrec :: Int -> Designation -> Doc

pprList :: [Designation] -> Doc

Located Designation

Defined in Language.C.Syntax

Methods

locOf :: Designation -> Loc

locOfList :: [Designation] -> Loc

Relocatable Designation

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Designation -> Designation

data Initializer

Constructors

ExpInitializer Exp !SrcLoc

CompoundInitializer [(Maybe Designation, Initializer)] !SrcLoc

AntiInit String !SrcLoc

AntiInits String !SrcLoc

Instances

Eq Initializer

Defined in Language.C.Syntax

Methods

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

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

Data Initializer

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Initializer -> c Initializer

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Initializer

toConstr :: Initializer -> Constr

dataTypeOf :: Initializer -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Initializer)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Initializer)

gmapT :: (forall b. Data b => b -> b) -> Initializer -> Initializer

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Initializer -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Initializer -> r

gmapQ :: (forall d. Data d => d -> u) -> Initializer -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Initializer -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Initializer -> m Initializer

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Initializer -> m Initializer

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Initializer -> m Initializer

Ord Initializer

Defined in Language.C.Syntax

Methods

compare :: Initializer -> Initializer -> Ordering

(<) :: Initializer -> Initializer -> Bool

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

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

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

max :: Initializer -> Initializer -> Initializer

min :: Initializer -> Initializer -> Initializer

Show Initializer

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Initializer -> ShowS

show :: Initializer -> String

showList :: [Initializer] -> ShowS

Pretty Initializer

Defined in Language.C.Pretty

Methods

ppr :: Initializer -> Doc

pprPrec :: Int -> Initializer -> Doc

pprList :: [Initializer] -> Doc

Located Initializer

Defined in Language.C.Syntax

Methods

locOf :: Initializer -> Loc

locOfList :: [Initializer] -> Loc

Relocatable Initializer

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Initializer -> Initializer

type AsmLabel = StringLit

data Init

Constructors

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

Instances

Eq Init

Defined in Language.C.Syntax

Methods

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

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

Data Init

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Init -> c Init

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Init

toConstr :: Init -> Constr

dataTypeOf :: Init -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Init)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Init)

gmapT :: (forall b. Data b => b -> b) -> Init -> Init

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Init -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Init -> r

gmapQ :: (forall d. Data d => d -> u) -> Init -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Init -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Init -> m Init

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Init -> m Init

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Init -> m Init

Ord Init

Defined in Language.C.Syntax

Methods

compare :: Init -> Init -> Ordering

(<) :: Init -> Init -> Bool

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

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

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

max :: Init -> Init -> Init

min :: Init -> Init -> Init

Show Init

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Init -> ShowS

show :: Init -> String

showList :: [Init] -> ShowS

Pretty Init

Defined in Language.C.Pretty

Methods

ppr :: Init -> Doc

pprPrec :: Int -> Init -> Doc

pprList :: [Init] -> Doc

Located Init

Defined in Language.C.Syntax

Methods

locOf :: Init -> Loc

locOfList :: [Init] -> Loc

Relocatable Init

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Init -> Init

data Typedef

Constructors

Typedef Id Decl [Attr] !SrcLoc

Instances

Eq Typedef

Defined in Language.C.Syntax

Methods

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

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

Data Typedef

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Typedef -> c Typedef

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Typedef

toConstr :: Typedef -> Constr

dataTypeOf :: Typedef -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Typedef)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Typedef)

gmapT :: (forall b. Data b => b -> b) -> Typedef -> Typedef

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Typedef -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Typedef -> r

gmapQ :: (forall d. Data d => d -> u) -> Typedef -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Typedef -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Typedef -> m Typedef

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Typedef -> m Typedef

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Typedef -> m Typedef

Ord Typedef

Defined in Language.C.Syntax

Methods

compare :: Typedef -> Typedef -> Ordering

(<) :: Typedef -> Typedef -> Bool

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

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

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

max :: Typedef -> Typedef -> Typedef

min :: Typedef -> Typedef -> Typedef

Show Typedef

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Typedef -> ShowS

show :: Typedef -> String

showList :: [Typedef] -> ShowS

Pretty Typedef

Defined in Language.C.Pretty

Methods

ppr :: Typedef -> Doc

pprPrec :: Int -> Typedef -> Doc

pprList :: [Typedef] -> Doc

Located Typedef

Defined in Language.C.Syntax

Methods

locOf :: Typedef -> Loc

locOfList :: [Typedef] -> Loc

Relocatable Typedef

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Typedef -> Typedef

data InitGroup

Constructors

InitGroup DeclSpec [Attr] [Init] !SrcLoc

TypedefGroup DeclSpec [Attr] [Typedef] !SrcLoc

AntiDecl String !SrcLoc

AntiDecls String !SrcLoc

Instances

Eq InitGroup

Defined in Language.C.Syntax

Methods

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

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

Data InitGroup

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InitGroup -> c InitGroup

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InitGroup

toConstr :: InitGroup -> Constr

dataTypeOf :: InitGroup -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InitGroup)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InitGroup)

gmapT :: (forall b. Data b => b -> b) -> InitGroup -> InitGroup

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InitGroup -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InitGroup -> r

gmapQ :: (forall d. Data d => d -> u) -> InitGroup -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> InitGroup -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InitGroup -> m InitGroup

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InitGroup -> m InitGroup

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InitGroup -> m InitGroup

Ord InitGroup

Defined in Language.C.Syntax

Methods

compare :: InitGroup -> InitGroup -> Ordering

(<) :: InitGroup -> InitGroup -> Bool

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

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

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

max :: InitGroup -> InitGroup -> InitGroup

min :: InitGroup -> InitGroup -> InitGroup

Show InitGroup

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> InitGroup -> ShowS

show :: InitGroup -> String

showList :: [InitGroup] -> ShowS

Pretty InitGroup

Defined in Language.C.Pretty

Methods

ppr :: InitGroup -> Doc

pprPrec :: Int -> InitGroup -> Doc

pprList :: [InitGroup] -> Doc

Located InitGroup

Defined in Language.C.Syntax

Methods

locOf :: InitGroup -> Loc

locOfList :: [InitGroup] -> Loc

Relocatable InitGroup

Defined in Language.C.Syntax

Methods

reloc :: Loc -> InitGroup -> InitGroup

data Field

Constructors

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

Instances

Eq Field

Defined in Language.C.Syntax

Methods

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

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

Data Field

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Field -> c Field

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Field

toConstr :: Field -> Constr

dataTypeOf :: Field -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Field)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Field)

gmapT :: (forall b. Data b => b -> b) -> Field -> Field

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r

gmapQ :: (forall d. Data d => d -> u) -> Field -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Field -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Field -> m Field

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Field -> m Field

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Field -> m Field

Ord Field

Defined in Language.C.Syntax

Methods

compare :: Field -> Field -> Ordering

(<) :: Field -> Field -> Bool

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

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

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

max :: Field -> Field -> Field

min :: Field -> Field -> Field

Show Field

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Field -> ShowS

show :: Field -> String

showList :: [Field] -> ShowS

Pretty Field

Defined in Language.C.Pretty

Methods

ppr :: Field -> Doc

pprPrec :: Int -> Field -> Doc

pprList :: [Field] -> Doc

Located Field

Defined in Language.C.Syntax

Methods

locOf :: Field -> Loc

locOfList :: [Field] -> Loc

Relocatable Field

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Field -> Field

data FieldGroup

Constructors

FieldGroup DeclSpec [Field] !SrcLoc

AntiSdecl String !SrcLoc

AntiSdecls String !SrcLoc

Instances

Eq FieldGroup

Defined in Language.C.Syntax

Methods

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

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

Data FieldGroup

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldGroup -> c FieldGroup

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldGroup

toConstr :: FieldGroup -> Constr

dataTypeOf :: FieldGroup -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldGroup)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldGroup)

gmapT :: (forall b. Data b => b -> b) -> FieldGroup -> FieldGroup

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldGroup -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldGroup -> r

gmapQ :: (forall d. Data d => d -> u) -> FieldGroup -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldGroup -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldGroup -> m FieldGroup

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldGroup -> m FieldGroup

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldGroup -> m FieldGroup

Ord FieldGroup

Defined in Language.C.Syntax

Methods

compare :: FieldGroup -> FieldGroup -> Ordering

(<) :: FieldGroup -> FieldGroup -> Bool

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

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

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

max :: FieldGroup -> FieldGroup -> FieldGroup

min :: FieldGroup -> FieldGroup -> FieldGroup

Show FieldGroup

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> FieldGroup -> ShowS

show :: FieldGroup -> String

showList :: [FieldGroup] -> ShowS

Pretty FieldGroup

Defined in Language.C.Pretty

Methods

ppr :: FieldGroup -> Doc

pprPrec :: Int -> FieldGroup -> Doc

pprList :: [FieldGroup] -> Doc

Located FieldGroup

Defined in Language.C.Syntax

Methods

locOf :: FieldGroup -> Loc

locOfList :: [FieldGroup] -> Loc

Relocatable FieldGroup

Defined in Language.C.Syntax

Methods

reloc :: Loc -> FieldGroup -> FieldGroup

data CEnum

Constructors

CEnum Id (Maybe Exp) !SrcLoc

AntiEnum String !SrcLoc

AntiEnums String !SrcLoc

Instances

Eq CEnum

Defined in Language.C.Syntax

Methods

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

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

Data CEnum

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CEnum -> c CEnum

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CEnum

toConstr :: CEnum -> Constr

dataTypeOf :: CEnum -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CEnum)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CEnum)

gmapT :: (forall b. Data b => b -> b) -> CEnum -> CEnum

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CEnum -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CEnum -> r

gmapQ :: (forall d. Data d => d -> u) -> CEnum -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CEnum -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CEnum -> m CEnum

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CEnum -> m CEnum

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CEnum -> m CEnum

Ord CEnum

Defined in Language.C.Syntax

Methods

compare :: CEnum -> CEnum -> Ordering

(<) :: CEnum -> CEnum -> Bool

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

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

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

max :: CEnum -> CEnum -> CEnum

min :: CEnum -> CEnum -> CEnum

Show CEnum

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> CEnum -> ShowS

show :: CEnum -> String

showList :: [CEnum] -> ShowS

Pretty CEnum

Defined in Language.C.Pretty

Methods

ppr :: CEnum -> Doc

pprPrec :: Int -> CEnum -> Doc

pprList :: [CEnum] -> Doc

Located CEnum

Defined in Language.C.Syntax

Methods

locOf :: CEnum -> Loc

locOfList :: [CEnum] -> Loc

Relocatable CEnum

Defined in Language.C.Syntax

Methods

reloc :: Loc -> CEnum -> CEnum

data Attr

Constructors

Attr Id [Exp] !SrcLoc

AntiAttr String !SrcLoc

AntiAttrs String !SrcLoc

Instances

Eq Attr

Defined in Language.C.Syntax

Methods

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

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

Data Attr

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attr -> c Attr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr

toConstr :: Attr -> Constr

dataTypeOf :: Attr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr)

gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r

gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr

Ord Attr

Defined in Language.C.Syntax

Methods

compare :: Attr -> Attr -> Ordering

(<) :: Attr -> Attr -> Bool

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

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

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

max :: Attr -> Attr -> Attr

min :: Attr -> Attr -> Attr

Show Attr

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Attr -> ShowS

show :: Attr -> String

showList :: [Attr] -> ShowS

Pretty Attr

Defined in Language.C.Pretty

Methods

ppr :: Attr -> Doc

pprPrec :: Int -> Attr -> Doc

pprList :: [Attr] -> Doc

Located Attr

Defined in Language.C.Syntax

Methods

locOf :: Attr -> Loc

locOfList :: [Attr] -> Loc

Relocatable Attr

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Attr -> Attr

data Param

Constructors

Param (Maybe Id) DeclSpec Decl !SrcLoc

AntiParam String !SrcLoc

AntiParams String !SrcLoc

Instances

Eq Param

Defined in Language.C.Syntax

Methods

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

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

Data Param

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Param -> c Param

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Param

toConstr :: Param -> Constr

dataTypeOf :: Param -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Param)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Param)

gmapT :: (forall b. Data b => b -> b) -> Param -> Param

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r

gmapQ :: (forall d. Data d => d -> u) -> Param -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Param -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Param -> m Param

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Param -> m Param

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Param -> m Param

Ord Param

Defined in Language.C.Syntax

Methods

compare :: Param -> Param -> Ordering

(<) :: Param -> Param -> Bool

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

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

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

max :: Param -> Param -> Param

min :: Param -> Param -> Param

Show Param

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Param -> ShowS

show :: Param -> String

showList :: [Param] -> ShowS

Pretty Param

Defined in Language.C.Pretty

Methods

ppr :: Param -> Doc

pprPrec :: Int -> Param -> Doc

pprList :: [Param] -> Doc

Located Param

Defined in Language.C.Syntax

Methods

locOf :: Param -> Loc

locOfList :: [Param] -> Loc

Relocatable Param

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Param -> Param

data Params

Constructors

Params [Param] Bool !SrcLoc

Instances

Eq Params

Defined in Language.C.Syntax

Methods

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

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

Data Params

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Params -> c Params

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Params

toConstr :: Params -> Constr

dataTypeOf :: Params -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Params)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Params)

gmapT :: (forall b. Data b => b -> b) -> Params -> Params

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Params -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Params -> r

gmapQ :: (forall d. Data d => d -> u) -> Params -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Params -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Params -> m Params

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Params -> m Params

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Params -> m Params

Ord Params

Defined in Language.C.Syntax

Methods

compare :: Params -> Params -> Ordering

(<) :: Params -> Params -> Bool

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

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

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

max :: Params -> Params -> Params

min :: Params -> Params -> Params

Show Params

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Params -> ShowS

show :: Params -> String

showList :: [Params] -> ShowS

Pretty Params

Defined in Language.C.Pretty

Methods

ppr :: Params -> Doc

pprPrec :: Int -> Params -> Doc

pprList :: [Params] -> Doc

Located Params

Defined in Language.C.Syntax

Methods

locOf :: Params -> Loc

locOfList :: [Params] -> Loc

Relocatable Params

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Params -> Params

data Func

Constructors

Func DeclSpec Id Decl Params [BlockItem] !SrcLoc

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

Instances

Eq Func

Defined in Language.C.Syntax

Methods

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

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

Data Func

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Func -> c Func

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Func

toConstr :: Func -> Constr

dataTypeOf :: Func -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Func)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Func)

gmapT :: (forall b. Data b => b -> b) -> Func -> Func

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Func -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Func -> r

gmapQ :: (forall d. Data d => d -> u) -> Func -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Func -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Func -> m Func

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Func -> m Func

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Func -> m Func

Ord Func

Defined in Language.C.Syntax

Methods

compare :: Func -> Func -> Ordering

(<) :: Func -> Func -> Bool

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

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

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

max :: Func -> Func -> Func

min :: Func -> Func -> Func

Show Func

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Func -> ShowS

show :: Func -> String

showList :: [Func] -> ShowS

Pretty Func

Defined in Language.C.Pretty

Methods

ppr :: Func -> Doc

pprPrec :: Int -> Func -> Doc

pprList :: [Func] -> Doc

Located Func

Defined in Language.C.Syntax

Methods

locOf :: Func -> Loc

locOfList :: [Func] -> Loc

Relocatable Func

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Func -> Func

data Definition

Constructors

FuncDef Func !SrcLoc

DecDef InitGroup !SrcLoc

EscDef String !SrcLoc

AntiFunc String !SrcLoc

AntiEsc String !SrcLoc

AntiEdecl String !SrcLoc

AntiEdecls String !SrcLoc

ObjCClassDec [Id] !SrcLoc

ObjCClassIface Id (Maybe Id) [Id] [ObjCIvarDecl] [ObjCIfaceDecl] [Attr] !SrcLoc

ObjCCatIface Id (Maybe Id) [Id] [ObjCIvarDecl] [ObjCIfaceDecl] !SrcLoc

ObjCProtDec [Id] !SrcLoc

ObjCProtDef Id [Id] [ObjCIfaceDecl] !SrcLoc

ObjCClassImpl Id (Maybe Id) [ObjCIvarDecl] [Definition] !SrcLoc

ObjCCatImpl Id Id [Definition] !SrcLoc

ObjCSynDef [(Id, Maybe Id)] !SrcLoc

ObjCDynDef [Id] !SrcLoc

ObjCMethDef ObjCMethodProto [BlockItem] !SrcLoc

ObjCCompAlias Id Id !SrcLoc

AntiObjCMeth String !SrcLoc

AntiObjCMeths String !SrcLoc

Instances

Eq Definition

Defined in Language.C.Syntax

Methods

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

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

Data Definition

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Definition -> c Definition

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Definition

toConstr :: Definition -> Constr

dataTypeOf :: Definition -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Definition)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Definition)

gmapT :: (forall b. Data b => b -> b) -> Definition -> Definition

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Definition -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Definition -> r

gmapQ :: (forall d. Data d => d -> u) -> Definition -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Definition -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Definition -> m Definition

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Definition -> m Definition

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Definition -> m Definition

Ord Definition

Defined in Language.C.Syntax

Methods

compare :: Definition -> Definition -> Ordering

(<) :: Definition -> Definition -> Bool

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

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

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

max :: Definition -> Definition -> Definition

min :: Definition -> Definition -> Definition

Show Definition

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Definition -> ShowS

show :: Definition -> String

showList :: [Definition] -> ShowS

Pretty Definition

Defined in Language.C.Pretty

Methods

ppr :: Definition -> Doc

pprPrec :: Int -> Definition -> Doc

pprList :: [Definition] -> Doc

Located Definition

Defined in Language.C.Syntax

Methods

locOf :: Definition -> Loc

locOfList :: [Definition] -> Loc

Relocatable Definition

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Definition -> Definition

data Stm

Constructors

Label Id [Attr] Stm !SrcLoc

Case Exp Stm !SrcLoc

CaseRange Exp Exp Stm !SrcLoc

Default Stm !SrcLoc

Exp (Maybe Exp) !SrcLoc

Block [BlockItem] !SrcLoc

If Exp Stm (Maybe Stm) !SrcLoc

Switch Exp Stm !SrcLoc

While Exp Stm !SrcLoc

DoWhile Stm Exp !SrcLoc

For (Either InitGroup (Maybe Exp)) (Maybe Exp) (Maybe Exp) Stm !SrcLoc

Goto Id !SrcLoc

Continue !SrcLoc

Break !SrcLoc

Return (Maybe Exp) !SrcLoc

Pragma String !SrcLoc

Comment String Stm !SrcLoc

EscStm String !SrcLoc

AntiEscStm String !SrcLoc

AntiPragma String !SrcLoc

AntiComment String Stm !SrcLoc

AntiStm String !SrcLoc

AntiStms String !SrcLoc

Asm Bool [Attr] AsmTemplate [AsmOut] [AsmIn] [AsmClobber] !SrcLoc

AsmGoto Bool [Attr] AsmTemplate [AsmIn] [AsmClobber] [Id] !SrcLoc

ObjCTry [BlockItem] [ObjCCatch] (Maybe [BlockItem]) !SrcLoc

Invariant: There is either at least one ObjCCatch or the finally block is present.

ObjCThrow (Maybe Exp) !SrcLoc

ObjCSynchronized Exp [BlockItem] !SrcLoc

ObjCAutoreleasepool [BlockItem] !SrcLoc

Instances

Eq Stm

Defined in Language.C.Syntax

Methods

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

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

Data Stm

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Stm -> c Stm

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Stm

toConstr :: Stm -> Constr

dataTypeOf :: Stm -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Stm)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Stm)

gmapT :: (forall b. Data b => b -> b) -> Stm -> Stm

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Stm -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Stm -> r

gmapQ :: (forall d. Data d => d -> u) -> Stm -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Stm -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Stm -> m Stm

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Stm -> m Stm

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Stm -> m Stm

Ord Stm

Defined in Language.C.Syntax

Methods

compare :: Stm -> Stm -> Ordering

(<) :: Stm -> Stm -> Bool

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

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

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

max :: Stm -> Stm -> Stm

min :: Stm -> Stm -> Stm

Show Stm

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Stm -> ShowS

show :: Stm -> String

showList :: [Stm] -> ShowS

Pretty Stm

Defined in Language.C.Pretty

Methods

ppr :: Stm -> Doc

pprPrec :: Int -> Stm -> Doc

pprList :: [Stm] -> Doc

Located Stm

Defined in Language.C.Syntax

Methods

locOf :: Stm -> Loc

locOfList :: [Stm] -> Loc

Relocatable Stm

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Stm -> Stm

data BlockItem

Constructors

BlockDecl InitGroup

BlockStm Stm

AntiBlockItem String !SrcLoc

AntiBlockItems String !SrcLoc

Instances

Eq BlockItem

Defined in Language.C.Syntax

Methods

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

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

Data BlockItem

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BlockItem -> c BlockItem

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BlockItem

toConstr :: BlockItem -> Constr

dataTypeOf :: BlockItem -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BlockItem)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BlockItem)

gmapT :: (forall b. Data b => b -> b) -> BlockItem -> BlockItem

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BlockItem -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockItem -> r

gmapQ :: (forall d. Data d => d -> u) -> BlockItem -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> BlockItem -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BlockItem -> m BlockItem

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockItem -> m BlockItem

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockItem -> m BlockItem

Ord BlockItem

Defined in Language.C.Syntax

Methods

compare :: BlockItem -> BlockItem -> Ordering

(<) :: BlockItem -> BlockItem -> Bool

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

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

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

max :: BlockItem -> BlockItem -> BlockItem

min :: BlockItem -> BlockItem -> BlockItem

Show BlockItem

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> BlockItem -> ShowS

show :: BlockItem -> String

showList :: [BlockItem] -> ShowS

Pretty BlockItem

Defined in Language.C.Pretty

Methods

ppr :: BlockItem -> Doc

pprPrec :: Int -> BlockItem -> Doc

pprList :: [BlockItem] -> Doc

Located BlockItem

Defined in Language.C.Syntax

Methods

locOf :: BlockItem -> Loc

locOfList :: [BlockItem] -> Loc

Relocatable BlockItem

Defined in Language.C.Syntax

Methods

reloc :: Loc -> BlockItem -> BlockItem

data Signed

Constructors

Signed

Unsigned

Instances

Eq Signed

Defined in Language.C.Syntax

Methods

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

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

Data Signed

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Signed -> c Signed

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Signed

toConstr :: Signed -> Constr

dataTypeOf :: Signed -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Signed)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Signed)

gmapT :: (forall b. Data b => b -> b) -> Signed -> Signed

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Signed -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Signed -> r

gmapQ :: (forall d. Data d => d -> u) -> Signed -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Signed -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Signed -> m Signed

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Signed -> m Signed

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Signed -> m Signed

Ord Signed

Defined in Language.C.Syntax

Methods

compare :: Signed -> Signed -> Ordering

(<) :: Signed -> Signed -> Bool

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

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

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

max :: Signed -> Signed -> Signed

min :: Signed -> Signed -> Signed

Show Signed

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Signed -> ShowS

show :: Signed -> String

showList :: [Signed] -> ShowS

data Const

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

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

Defined in Language.C.Syntax

Methods

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

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

Data Const

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Const -> c Const

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Const

toConstr :: Const -> Constr

dataTypeOf :: Const -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Const)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Const)

gmapT :: (forall b. Data b => b -> b) -> Const -> Const

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Const -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Const -> r

gmapQ :: (forall d. Data d => d -> u) -> Const -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Const -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Const -> m Const

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Const -> m Const

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Const -> m Const

Ord Const

Defined in Language.C.Syntax

Methods

compare :: Const -> Const -> Ordering

(<) :: Const -> Const -> Bool

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

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

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

max :: Const -> Const -> Const

min :: Const -> Const -> Const

Show Const

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Const -> ShowS

show :: Const -> String

showList :: [Const] -> ShowS

Pretty Const

Defined in Language.C.Pretty

Methods

ppr :: Const -> Doc

pprPrec :: Int -> Const -> Doc

pprList :: [Const] -> Doc

Located Const

Defined in Language.C.Syntax

Methods

locOf :: Const -> Loc

locOfList :: [Const] -> Loc

Relocatable Const

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Const -> Const

ToConst Const

Defined in Language.C.Quote.Base

Methods

toConst :: Const -> SrcLoc -> Const

data Exp

Constructors

Var Id !SrcLoc

Const Const !SrcLoc

BinOp BinOp Exp Exp !SrcLoc

Assign Exp AssignOp Exp !SrcLoc

PreInc Exp !SrcLoc

PostInc Exp !SrcLoc

PreDec Exp !SrcLoc

PostDec Exp !SrcLoc

UnOp UnOp Exp !SrcLoc

SizeofExp Exp !SrcLoc

SizeofType Type !SrcLoc

Cast Type Exp !SrcLoc

Cond Exp Exp Exp !SrcLoc

Member Exp Id !SrcLoc

PtrMember Exp Id !SrcLoc

Index Exp Exp !SrcLoc

FnCall Exp [Exp] !SrcLoc

CudaCall Exp ExeConfig [Exp] !SrcLoc

Seq Exp Exp !SrcLoc

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

StmExpr [BlockItem] !SrcLoc

EscExp String !SrcLoc

AntiEscExp String !SrcLoc

AntiExp String !SrcLoc

AntiArgs String !SrcLoc

BuiltinVaArg Exp Type !SrcLoc

BlockLit BlockType [Attr] [BlockItem] !SrcLoc

ObjCMsg ObjCRecv [ObjCArg] [Exp] !SrcLoc

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

ObjCLitConst (Maybe UnOp) Const !SrcLoc

ObjCLitString [Const] !SrcLoc

ObjCLitBool Bool !SrcLoc

ObjCLitArray [Exp] !SrcLoc

ObjCLitDict [ObjCDictElem] !SrcLoc

ObjCLitBoxed Exp !SrcLoc

ObjCEncode Type !SrcLoc

ObjCProtocol Id !SrcLoc

ObjCSelector String !SrcLoc

Lambda LambdaIntroducer (Maybe LambdaDeclarator) [BlockItem] !SrcLoc

Instances

Enum Exp

Defined in Language.C.Smart

Methods

succ :: Exp -> Exp

pred :: Exp -> Exp

toEnum :: Int -> Exp

fromEnum :: Exp -> Int

enumFrom :: Exp -> [Exp]

enumFromThen :: Exp -> Exp -> [Exp]

enumFromTo :: Exp -> Exp -> [Exp]

enumFromThenTo :: Exp -> Exp -> Exp -> [Exp]

Eq Exp

Defined in Language.C.Syntax

Methods

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

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

Floating Exp

Defined in Language.C.Smart

Methods

pi :: Exp

exp :: Exp -> Exp

log :: Exp -> Exp

sqrt :: Exp -> Exp

(**) :: Exp -> Exp -> Exp

logBase :: Exp -> Exp -> Exp

sin :: Exp -> Exp

cos :: Exp -> Exp

tan :: Exp -> Exp

asin :: Exp -> Exp

acos :: Exp -> Exp

atan :: Exp -> Exp

sinh :: Exp -> Exp

cosh :: Exp -> Exp

tanh :: Exp -> Exp

asinh :: Exp -> Exp

acosh :: Exp -> Exp

atanh :: Exp -> Exp

log1p :: Exp -> Exp

expm1 :: Exp -> Exp

log1pexp :: Exp -> Exp

log1mexp :: Exp -> Exp

Fractional Exp

Defined in Language.C.Smart

Methods

(/) :: Exp -> Exp -> Exp

recip :: Exp -> Exp

fromRational :: Rational -> Exp

Integral Exp

Defined in Language.C.Smart

Methods

quot :: Exp -> Exp -> Exp

rem :: Exp -> Exp -> Exp

div :: Exp -> Exp -> Exp

mod :: Exp -> Exp -> Exp

quotRem :: Exp -> Exp -> (Exp, Exp)

divMod :: Exp -> Exp -> (Exp, Exp)

toInteger :: Exp -> Integer

Data Exp

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exp -> c Exp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Exp

toConstr :: Exp -> Constr

dataTypeOf :: Exp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Exp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Exp)

gmapT :: (forall b. Data b => b -> b) -> Exp -> Exp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r

gmapQ :: (forall d. Data d => d -> u) -> Exp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Exp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exp -> m Exp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp

Num Exp

Defined in Language.C.Smart

Methods

(+) :: Exp -> Exp -> Exp

(-) :: Exp -> Exp -> Exp

(*) :: Exp -> Exp -> Exp

negate :: Exp -> Exp

abs :: Exp -> Exp

signum :: Exp -> Exp

fromInteger :: Integer -> Exp

Ord Exp

Defined in Language.C.Syntax

Methods

compare :: Exp -> Exp -> Ordering

(<) :: Exp -> Exp -> Bool

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

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

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

max :: Exp -> Exp -> Exp

min :: Exp -> Exp -> Exp

Real Exp

Defined in Language.C.Smart

Methods

toRational :: Exp -> Rational

Show Exp

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Exp -> ShowS

show :: Exp -> String

showList :: [Exp] -> ShowS

Pretty Exp

Defined in Language.C.Pretty

Methods

ppr :: Exp -> Doc

pprPrec :: Int -> Exp -> Doc

pprList :: [Exp] -> Doc

Located Exp

Defined in Language.C.Syntax

Methods

locOf :: Exp -> Loc

locOfList :: [Exp] -> Loc

Relocatable Exp

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Exp -> Exp

ToExp Exp

Defined in Language.C.Quote.Base

Methods

toExp :: Exp -> SrcLoc -> Exp

data BinOp

Constructors

Add

Sub

Mul

Div

Mod

Eq

Ne

Lt

Gt

Le

Ge

Land

Lor

And

Or

Xor

Lsh

Rsh

Instances

Eq BinOp

Defined in Language.C.Syntax

Methods

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

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

Data BinOp

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BinOp -> c BinOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BinOp

toConstr :: BinOp -> Constr

dataTypeOf :: BinOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BinOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BinOp)

gmapT :: (forall b. Data b => b -> b) -> BinOp -> BinOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r

gmapQ :: (forall d. Data d => d -> u) -> BinOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> BinOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp

Ord BinOp

Defined in Language.C.Syntax

Methods

compare :: BinOp -> BinOp -> Ordering

(<) :: BinOp -> BinOp -> Bool

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

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

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

max :: BinOp -> BinOp -> BinOp

min :: BinOp -> BinOp -> BinOp

Show BinOp

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> BinOp -> ShowS

show :: BinOp -> String

showList :: [BinOp] -> ShowS

Pretty BinOp

Defined in Language.C.Pretty

Methods

ppr :: BinOp -> Doc

pprPrec :: Int -> BinOp -> Doc

pprList :: [BinOp] -> Doc

CFixity BinOp

Defined in Language.C.Pretty

Methods

fixity :: BinOp -> Fixity

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

data AssignOp

Constructors

JustAssign

AddAssign

SubAssign

MulAssign

DivAssign

ModAssign

LshAssign

RshAssign

AndAssign

XorAssign

OrAssign

Instances

Eq AssignOp

Defined in Language.C.Syntax

Methods

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

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

Data AssignOp

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AssignOp -> c AssignOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AssignOp

toConstr :: AssignOp -> Constr

dataTypeOf :: AssignOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AssignOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AssignOp)

gmapT :: (forall b. Data b => b -> b) -> AssignOp -> AssignOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AssignOp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AssignOp -> r

gmapQ :: (forall d. Data d => d -> u) -> AssignOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AssignOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp

Ord AssignOp

Defined in Language.C.Syntax

Methods

compare :: AssignOp -> AssignOp -> Ordering

(<) :: AssignOp -> AssignOp -> Bool

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

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

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

max :: AssignOp -> AssignOp -> AssignOp

min :: AssignOp -> AssignOp -> AssignOp

Show AssignOp

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> AssignOp -> ShowS

show :: AssignOp -> String

showList :: [AssignOp] -> ShowS

Pretty AssignOp

Defined in Language.C.Pretty

Methods

ppr :: AssignOp -> Doc

pprPrec :: Int -> AssignOp -> Doc

pprList :: [AssignOp] -> Doc

CFixity AssignOp

Defined in Language.C.Pretty

Methods

fixity :: AssignOp -> Fixity

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

data UnOp

Constructors

AddrOf

Deref

Positive

Negate

Not

Lnot

Instances

Eq UnOp

Defined in Language.C.Syntax

Methods

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

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

Data UnOp

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnOp -> c UnOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnOp

toConstr :: UnOp -> Constr

dataTypeOf :: UnOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UnOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnOp)

gmapT :: (forall b. Data b => b -> b) -> UnOp -> UnOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnOp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnOp -> r

gmapQ :: (forall d. Data d => d -> u) -> UnOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> UnOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnOp -> m UnOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnOp -> m UnOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnOp -> m UnOp

Ord UnOp

Defined in Language.C.Syntax

Methods

compare :: UnOp -> UnOp -> Ordering

(<) :: UnOp -> UnOp -> Bool

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

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

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

max :: UnOp -> UnOp -> UnOp

min :: UnOp -> UnOp -> UnOp

Show UnOp

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> UnOp -> ShowS

show :: UnOp -> String

showList :: [UnOp] -> ShowS

Pretty UnOp

Defined in Language.C.Pretty

Methods

ppr :: UnOp -> Doc

pprPrec :: Int -> UnOp -> Doc

pprList :: [UnOp] -> Doc

CFixity UnOp

Defined in Language.C.Pretty

Methods

fixity :: UnOp -> Fixity

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

type AsmTemplate = StringLit

data AsmOut

Constructors

AsmOut (Maybe Id) String Id

Instances

Eq AsmOut

Defined in Language.C.Syntax

Methods

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

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

Data AsmOut

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AsmOut -> c AsmOut

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AsmOut

toConstr :: AsmOut -> Constr

dataTypeOf :: AsmOut -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AsmOut)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AsmOut)

gmapT :: (forall b. Data b => b -> b) -> AsmOut -> AsmOut

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AsmOut -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AsmOut -> r

gmapQ :: (forall d. Data d => d -> u) -> AsmOut -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AsmOut -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AsmOut -> m AsmOut

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AsmOut -> m AsmOut

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AsmOut -> m AsmOut

Ord AsmOut

Defined in Language.C.Syntax

Methods

compare :: AsmOut -> AsmOut -> Ordering

(<) :: AsmOut -> AsmOut -> Bool

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

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

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

max :: AsmOut -> AsmOut -> AsmOut

min :: AsmOut -> AsmOut -> AsmOut

Show AsmOut

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> AsmOut -> ShowS

show :: AsmOut -> String

showList :: [AsmOut] -> ShowS

Pretty AsmOut

Defined in Language.C.Pretty

Methods

ppr :: AsmOut -> Doc

pprPrec :: Int -> AsmOut -> Doc

pprList :: [AsmOut] -> Doc

data AsmIn

Constructors

AsmIn (Maybe Id) String Exp

Instances

Eq AsmIn

Defined in Language.C.Syntax

Methods

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

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

Data AsmIn

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AsmIn -> c AsmIn

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AsmIn

toConstr :: AsmIn -> Constr

dataTypeOf :: AsmIn -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AsmIn)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AsmIn)

gmapT :: (forall b. Data b => b -> b) -> AsmIn -> AsmIn

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AsmIn -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AsmIn -> r

gmapQ :: (forall d. Data d => d -> u) -> AsmIn -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AsmIn -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AsmIn -> m AsmIn

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AsmIn -> m AsmIn

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AsmIn -> m AsmIn

Ord AsmIn

Defined in Language.C.Syntax

Methods

compare :: AsmIn -> AsmIn -> Ordering

(<) :: AsmIn -> AsmIn -> Bool

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

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

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

max :: AsmIn -> AsmIn -> AsmIn

min :: AsmIn -> AsmIn -> AsmIn

Show AsmIn

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> AsmIn -> ShowS

show :: AsmIn -> String

showList :: [AsmIn] -> ShowS

Pretty AsmIn

Defined in Language.C.Pretty

Methods

ppr :: AsmIn -> Doc

pprPrec :: Int -> AsmIn -> Doc

pprList :: [AsmIn] -> Doc

type AsmClobber = String

data BlockType

Constructors

BlockVoid !SrcLoc

BlockParam [Param] !SrcLoc

BlockType Type !SrcLoc

Instances

Eq BlockType

Defined in Language.C.Syntax

Methods

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

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

Data BlockType

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BlockType -> c BlockType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BlockType

toConstr :: BlockType -> Constr

dataTypeOf :: BlockType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BlockType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BlockType)

gmapT :: (forall b. Data b => b -> b) -> BlockType -> BlockType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r

gmapQ :: (forall d. Data d => d -> u) -> BlockType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> BlockType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType

Ord BlockType

Defined in Language.C.Syntax

Methods

compare :: BlockType -> BlockType -> Ordering

(<) :: BlockType -> BlockType -> Bool

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

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

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

max :: BlockType -> BlockType -> BlockType

min :: BlockType -> BlockType -> BlockType

Show BlockType

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> BlockType -> ShowS

show :: BlockType -> String

showList :: [BlockType] -> ShowS

Pretty BlockType

Defined in Language.C.Pretty

Methods

ppr :: BlockType -> Doc

pprPrec :: Int -> BlockType -> Doc

pprList :: [BlockType] -> Doc

Located BlockType

Defined in Language.C.Syntax

Methods

locOf :: BlockType -> Loc

locOfList :: [BlockType] -> Loc

Relocatable BlockType

Defined in Language.C.Syntax

Methods

reloc :: Loc -> BlockType -> BlockType

data ObjCIvarDecl

Constructors

ObjCIvarVisi ObjCVisibilitySpec !SrcLoc

ObjCIvarDecl FieldGroup !SrcLoc

Instances

Eq ObjCIvarDecl

Defined in Language.C.Syntax

Methods

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

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

Data ObjCIvarDecl

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCIvarDecl -> c ObjCIvarDecl

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCIvarDecl

toConstr :: ObjCIvarDecl -> Constr

dataTypeOf :: ObjCIvarDecl -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCIvarDecl)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCIvarDecl)

gmapT :: (forall b. Data b => b -> b) -> ObjCIvarDecl -> ObjCIvarDecl

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCIvarDecl -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCIvarDecl -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCIvarDecl -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCIvarDecl -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCIvarDecl -> m ObjCIvarDecl

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCIvarDecl -> m ObjCIvarDecl

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCIvarDecl -> m ObjCIvarDecl

Ord ObjCIvarDecl

Defined in Language.C.Syntax

Methods

compare :: ObjCIvarDecl -> ObjCIvarDecl -> Ordering

(<) :: ObjCIvarDecl -> ObjCIvarDecl -> Bool

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

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

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

max :: ObjCIvarDecl -> ObjCIvarDecl -> ObjCIvarDecl

min :: ObjCIvarDecl -> ObjCIvarDecl -> ObjCIvarDecl

Show ObjCIvarDecl

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCIvarDecl -> ShowS

show :: ObjCIvarDecl -> String

showList :: [ObjCIvarDecl] -> ShowS

Pretty ObjCIvarDecl

Defined in Language.C.Pretty

Methods

ppr :: ObjCIvarDecl -> Doc

pprPrec :: Int -> ObjCIvarDecl -> Doc

pprList :: [ObjCIvarDecl] -> Doc

Located ObjCIvarDecl

Defined in Language.C.Syntax

Methods

locOf :: ObjCIvarDecl -> Loc

locOfList :: [ObjCIvarDecl] -> Loc

Relocatable ObjCIvarDecl

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCIvarDecl -> ObjCIvarDecl

data ObjCVisibilitySpec

Constructors

ObjCPrivate !SrcLoc

ObjCPublic !SrcLoc

ObjCProtected !SrcLoc

ObjCPackage !SrcLoc

Instances

Eq ObjCVisibilitySpec

Defined in Language.C.Syntax

Methods

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

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

Data ObjCVisibilitySpec

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCVisibilitySpec -> c ObjCVisibilitySpec

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCVisibilitySpec

toConstr :: ObjCVisibilitySpec -> Constr

dataTypeOf :: ObjCVisibilitySpec -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCVisibilitySpec)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCVisibilitySpec)

gmapT :: (forall b. Data b => b -> b) -> ObjCVisibilitySpec -> ObjCVisibilitySpec

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCVisibilitySpec -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCVisibilitySpec -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCVisibilitySpec -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCVisibilitySpec -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCVisibilitySpec -> m ObjCVisibilitySpec

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCVisibilitySpec -> m ObjCVisibilitySpec

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCVisibilitySpec -> m ObjCVisibilitySpec

Ord ObjCVisibilitySpec

Defined in Language.C.Syntax

Methods

compare :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Ordering

(<) :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> Bool

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

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

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

max :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> ObjCVisibilitySpec

min :: ObjCVisibilitySpec -> ObjCVisibilitySpec -> ObjCVisibilitySpec

Show ObjCVisibilitySpec

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCVisibilitySpec -> ShowS

show :: ObjCVisibilitySpec -> String

showList :: [ObjCVisibilitySpec] -> ShowS

Pretty ObjCVisibilitySpec

Defined in Language.C.Pretty

Methods

ppr :: ObjCVisibilitySpec -> Doc

pprPrec :: Int -> ObjCVisibilitySpec -> Doc

pprList :: [ObjCVisibilitySpec] -> Doc

Located ObjCVisibilitySpec

Defined in Language.C.Syntax

Methods

locOf :: ObjCVisibilitySpec -> Loc

locOfList :: [ObjCVisibilitySpec] -> Loc

Relocatable ObjCVisibilitySpec

Defined in Language.C.Syntax

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

Defined in Language.C.Syntax

Methods

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

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

Data ObjCIfaceDecl

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCIfaceDecl -> c ObjCIfaceDecl

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCIfaceDecl

toConstr :: ObjCIfaceDecl -> Constr

dataTypeOf :: ObjCIfaceDecl -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCIfaceDecl)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCIfaceDecl)

gmapT :: (forall b. Data b => b -> b) -> ObjCIfaceDecl -> ObjCIfaceDecl

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCIfaceDecl -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCIfaceDecl -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCIfaceDecl -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCIfaceDecl -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCIfaceDecl -> m ObjCIfaceDecl

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCIfaceDecl -> m ObjCIfaceDecl

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCIfaceDecl -> m ObjCIfaceDecl

Ord ObjCIfaceDecl

Defined in Language.C.Syntax

Methods

compare :: ObjCIfaceDecl -> ObjCIfaceDecl -> Ordering

(<) :: ObjCIfaceDecl -> ObjCIfaceDecl -> Bool

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

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

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

max :: ObjCIfaceDecl -> ObjCIfaceDecl -> ObjCIfaceDecl

min :: ObjCIfaceDecl -> ObjCIfaceDecl -> ObjCIfaceDecl

Show ObjCIfaceDecl

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCIfaceDecl -> ShowS

show :: ObjCIfaceDecl -> String

showList :: [ObjCIfaceDecl] -> ShowS

Pretty ObjCIfaceDecl

Defined in Language.C.Pretty

Methods

ppr :: ObjCIfaceDecl -> Doc

pprPrec :: Int -> ObjCIfaceDecl -> Doc

pprList :: [ObjCIfaceDecl] -> Doc

Located ObjCIfaceDecl

Defined in Language.C.Syntax

Methods

locOf :: ObjCIfaceDecl -> Loc

locOfList :: [ObjCIfaceDecl] -> Loc

Relocatable ObjCIfaceDecl

Defined in Language.C.Syntax

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

Defined in Language.C.Syntax

Methods

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

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

Data ObjCPropAttr

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCPropAttr -> c ObjCPropAttr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCPropAttr

toConstr :: ObjCPropAttr -> Constr

dataTypeOf :: ObjCPropAttr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCPropAttr)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCPropAttr)

gmapT :: (forall b. Data b => b -> b) -> ObjCPropAttr -> ObjCPropAttr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCPropAttr -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCPropAttr -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCPropAttr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCPropAttr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCPropAttr -> m ObjCPropAttr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCPropAttr -> m ObjCPropAttr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCPropAttr -> m ObjCPropAttr

Ord ObjCPropAttr

Defined in Language.C.Syntax

Methods

compare :: ObjCPropAttr -> ObjCPropAttr -> Ordering

(<) :: ObjCPropAttr -> ObjCPropAttr -> Bool

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

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

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

max :: ObjCPropAttr -> ObjCPropAttr -> ObjCPropAttr

min :: ObjCPropAttr -> ObjCPropAttr -> ObjCPropAttr

Show ObjCPropAttr

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCPropAttr -> ShowS

show :: ObjCPropAttr -> String

showList :: [ObjCPropAttr] -> ShowS

Pretty ObjCPropAttr

Defined in Language.C.Pretty

Methods

ppr :: ObjCPropAttr -> Doc

pprPrec :: Int -> ObjCPropAttr -> Doc

pprList :: [ObjCPropAttr] -> Doc

Located ObjCPropAttr

Defined in Language.C.Syntax

Methods

locOf :: ObjCPropAttr -> Loc

locOfList :: [ObjCPropAttr] -> Loc

Relocatable ObjCPropAttr

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCPropAttr -> ObjCPropAttr

data ObjCMethodReq

Constructors

ObjCRequired !SrcLoc

ObjCOptional !SrcLoc

Instances

Eq ObjCMethodReq

Defined in Language.C.Syntax

Methods

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

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

Data ObjCMethodReq

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCMethodReq -> c ObjCMethodReq

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCMethodReq

toConstr :: ObjCMethodReq -> Constr

dataTypeOf :: ObjCMethodReq -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCMethodReq)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCMethodReq)

gmapT :: (forall b. Data b => b -> b) -> ObjCMethodReq -> ObjCMethodReq

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCMethodReq -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCMethodReq -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCMethodReq -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCMethodReq -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCMethodReq -> m ObjCMethodReq

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCMethodReq -> m ObjCMethodReq

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCMethodReq -> m ObjCMethodReq

Ord ObjCMethodReq

Defined in Language.C.Syntax

Methods

compare :: ObjCMethodReq -> ObjCMethodReq -> Ordering

(<) :: ObjCMethodReq -> ObjCMethodReq -> Bool

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

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

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

max :: ObjCMethodReq -> ObjCMethodReq -> ObjCMethodReq

min :: ObjCMethodReq -> ObjCMethodReq -> ObjCMethodReq

Show ObjCMethodReq

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCMethodReq -> ShowS

show :: ObjCMethodReq -> String

showList :: [ObjCMethodReq] -> ShowS

Pretty ObjCMethodReq

Defined in Language.C.Pretty

Methods

ppr :: ObjCMethodReq -> Doc

pprPrec :: Int -> ObjCMethodReq -> Doc

pprList :: [ObjCMethodReq] -> Doc

Located ObjCMethodReq

Defined in Language.C.Syntax

Methods

locOf :: ObjCMethodReq -> Loc

locOfList :: [ObjCMethodReq] -> Loc

Relocatable ObjCMethodReq

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCMethodReq -> ObjCMethodReq

data ObjCParam

Constructors

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

AntiObjCParam String !SrcLoc

AntiObjCParams String !SrcLoc

Instances

Eq ObjCParam

Defined in Language.C.Syntax

Methods

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

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

Data ObjCParam

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCParam -> c ObjCParam

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCParam

toConstr :: ObjCParam -> Constr

dataTypeOf :: ObjCParam -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCParam)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCParam)

gmapT :: (forall b. Data b => b -> b) -> ObjCParam -> ObjCParam

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCParam -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCParam -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCParam -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCParam -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCParam -> m ObjCParam

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCParam -> m ObjCParam

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCParam -> m ObjCParam

Ord ObjCParam

Defined in Language.C.Syntax

Methods

compare :: ObjCParam -> ObjCParam -> Ordering

(<) :: ObjCParam -> ObjCParam -> Bool

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

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

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

max :: ObjCParam -> ObjCParam -> ObjCParam

min :: ObjCParam -> ObjCParam -> ObjCParam

Show ObjCParam

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCParam -> ShowS

show :: ObjCParam -> String

showList :: [ObjCParam] -> ShowS

Pretty ObjCParam

Defined in Language.C.Pretty

Methods

ppr :: ObjCParam -> Doc

pprPrec :: Int -> ObjCParam -> Doc

pprList :: [ObjCParam] -> Doc

Located ObjCParam

Defined in Language.C.Syntax

Methods

locOf :: ObjCParam -> Loc

locOfList :: [ObjCParam] -> Loc

Relocatable ObjCParam

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCParam -> ObjCParam

data ObjCMethodProto

Constructors

ObjCMethodProto Bool (Maybe Type) [Attr] [ObjCParam] Bool [Attr] !SrcLoc

Invariant: First parameter must at least either have a selector or an identifier; all other parameters must have an identifier.

AntiObjCMethodProto String !SrcLoc

Instances

Eq ObjCMethodProto

Defined in Language.C.Syntax

Methods

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

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

Data ObjCMethodProto

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCMethodProto -> c ObjCMethodProto

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCMethodProto

toConstr :: ObjCMethodProto -> Constr

dataTypeOf :: ObjCMethodProto -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCMethodProto)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCMethodProto)

gmapT :: (forall b. Data b => b -> b) -> ObjCMethodProto -> ObjCMethodProto

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCMethodProto -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCMethodProto -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCMethodProto -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCMethodProto -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCMethodProto -> m ObjCMethodProto

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCMethodProto -> m ObjCMethodProto

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCMethodProto -> m ObjCMethodProto

Ord ObjCMethodProto

Defined in Language.C.Syntax

Methods

compare :: ObjCMethodProto -> ObjCMethodProto -> Ordering

(<) :: ObjCMethodProto -> ObjCMethodProto -> Bool

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

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

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

max :: ObjCMethodProto -> ObjCMethodProto -> ObjCMethodProto

min :: ObjCMethodProto -> ObjCMethodProto -> ObjCMethodProto

Show ObjCMethodProto

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCMethodProto -> ShowS

show :: ObjCMethodProto -> String

showList :: [ObjCMethodProto] -> ShowS

Pretty ObjCMethodProto

Defined in Language.C.Pretty

Methods

ppr :: ObjCMethodProto -> Doc

pprPrec :: Int -> ObjCMethodProto -> Doc

pprList :: [ObjCMethodProto] -> Doc

Located ObjCMethodProto

Defined in Language.C.Syntax

Methods

locOf :: ObjCMethodProto -> Loc

locOfList :: [ObjCMethodProto] -> Loc

Relocatable ObjCMethodProto

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCMethodProto -> ObjCMethodProto

data ObjCCatch

Constructors

ObjCCatch (Maybe Param) [BlockItem] !SrcLoc

Instances

Eq ObjCCatch

Defined in Language.C.Syntax

Methods

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

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

Data ObjCCatch

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCCatch -> c ObjCCatch

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCCatch

toConstr :: ObjCCatch -> Constr

dataTypeOf :: ObjCCatch -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCCatch)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCCatch)

gmapT :: (forall b. Data b => b -> b) -> ObjCCatch -> ObjCCatch

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCCatch -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCCatch -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCCatch -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCCatch -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCCatch -> m ObjCCatch

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCCatch -> m ObjCCatch

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCCatch -> m ObjCCatch

Ord ObjCCatch

Defined in Language.C.Syntax

Methods

compare :: ObjCCatch -> ObjCCatch -> Ordering

(<) :: ObjCCatch -> ObjCCatch -> Bool

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

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

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

max :: ObjCCatch -> ObjCCatch -> ObjCCatch

min :: ObjCCatch -> ObjCCatch -> ObjCCatch

Show ObjCCatch

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCCatch -> ShowS

show :: ObjCCatch -> String

showList :: [ObjCCatch] -> ShowS

Pretty ObjCCatch

Defined in Language.C.Pretty

Methods

ppr :: ObjCCatch -> Doc

pprPrec :: Int -> ObjCCatch -> Doc

pprList :: [ObjCCatch] -> Doc

Located ObjCCatch

Defined in Language.C.Syntax

Methods

locOf :: ObjCCatch -> Loc

locOfList :: [ObjCCatch] -> Loc

Relocatable ObjCCatch

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCCatch -> ObjCCatch

data ObjCDictElem

Constructors

ObjCDictElem Exp Exp !SrcLoc

AntiObjCDictElems String !SrcLoc

Instances

Eq ObjCDictElem

Defined in Language.C.Syntax

Methods

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

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

Data ObjCDictElem

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCDictElem -> c ObjCDictElem

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCDictElem

toConstr :: ObjCDictElem -> Constr

dataTypeOf :: ObjCDictElem -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCDictElem)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCDictElem)

gmapT :: (forall b. Data b => b -> b) -> ObjCDictElem -> ObjCDictElem

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCDictElem -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCDictElem -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCDictElem -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCDictElem -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCDictElem -> m ObjCDictElem

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCDictElem -> m ObjCDictElem

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCDictElem -> m ObjCDictElem

Ord ObjCDictElem

Defined in Language.C.Syntax

Methods

compare :: ObjCDictElem -> ObjCDictElem -> Ordering

(<) :: ObjCDictElem -> ObjCDictElem -> Bool

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

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

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

max :: ObjCDictElem -> ObjCDictElem -> ObjCDictElem

min :: ObjCDictElem -> ObjCDictElem -> ObjCDictElem

Show ObjCDictElem

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCDictElem -> ShowS

show :: ObjCDictElem -> String

showList :: [ObjCDictElem] -> ShowS

Pretty ObjCDictElem

Defined in Language.C.Pretty

Methods

ppr :: ObjCDictElem -> Doc

pprPrec :: Int -> ObjCDictElem -> Doc

pprList :: [ObjCDictElem] -> Doc

Located ObjCDictElem

Defined in Language.C.Syntax

Methods

locOf :: ObjCDictElem -> Loc

locOfList :: [ObjCDictElem] -> Loc

Relocatable ObjCDictElem

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCDictElem -> ObjCDictElem

data ObjCRecv

Constructors

ObjCRecvSuper !SrcLoc

ObjCRecvExp Exp !SrcLoc

AntiObjCRecv String !SrcLoc

Instances

Eq ObjCRecv

Defined in Language.C.Syntax

Methods

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

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

Data ObjCRecv

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCRecv -> c ObjCRecv

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCRecv

toConstr :: ObjCRecv -> Constr

dataTypeOf :: ObjCRecv -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCRecv)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCRecv)

gmapT :: (forall b. Data b => b -> b) -> ObjCRecv -> ObjCRecv

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCRecv -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCRecv -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCRecv -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCRecv -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCRecv -> m ObjCRecv

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCRecv -> m ObjCRecv

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCRecv -> m ObjCRecv

Ord ObjCRecv

Defined in Language.C.Syntax

Methods

compare :: ObjCRecv -> ObjCRecv -> Ordering

(<) :: ObjCRecv -> ObjCRecv -> Bool

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

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

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

max :: ObjCRecv -> ObjCRecv -> ObjCRecv

min :: ObjCRecv -> ObjCRecv -> ObjCRecv

Show ObjCRecv

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCRecv -> ShowS

show :: ObjCRecv -> String

showList :: [ObjCRecv] -> ShowS

Pretty ObjCRecv

Defined in Language.C.Pretty

Methods

ppr :: ObjCRecv -> Doc

pprPrec :: Int -> ObjCRecv -> Doc

pprList :: [ObjCRecv] -> Doc

Located ObjCRecv

Defined in Language.C.Syntax

Methods

locOf :: ObjCRecv -> Loc

locOfList :: [ObjCRecv] -> Loc

Relocatable ObjCRecv

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCRecv -> ObjCRecv

data ObjCArg

Constructors

ObjCArg (Maybe Id) (Maybe Exp) !SrcLoc

AntiObjCArg String !SrcLoc

AntiObjCArgs String !SrcLoc

Instances

Eq ObjCArg

Defined in Language.C.Syntax

Methods

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

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

Data ObjCArg

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjCArg -> c ObjCArg

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjCArg

toConstr :: ObjCArg -> Constr

dataTypeOf :: ObjCArg -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjCArg)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjCArg)

gmapT :: (forall b. Data b => b -> b) -> ObjCArg -> ObjCArg

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjCArg -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCArg -> r

gmapQ :: (forall d. Data d => d -> u) -> ObjCArg -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjCArg -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjCArg -> m ObjCArg

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCArg -> m ObjCArg

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjCArg -> m ObjCArg

Ord ObjCArg

Defined in Language.C.Syntax

Methods

compare :: ObjCArg -> ObjCArg -> Ordering

(<) :: ObjCArg -> ObjCArg -> Bool

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

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

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

max :: ObjCArg -> ObjCArg -> ObjCArg

min :: ObjCArg -> ObjCArg -> ObjCArg

Show ObjCArg

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ObjCArg -> ShowS

show :: ObjCArg -> String

showList :: [ObjCArg] -> ShowS

Located ObjCArg

Defined in Language.C.Syntax

Methods

locOf :: ObjCArg -> Loc

locOfList :: [ObjCArg] -> Loc

Relocatable ObjCArg

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCArg -> ObjCArg

data LambdaIntroducer

Constructors

LambdaIntroducer [CaptureListEntry] !SrcLoc

Instances

Eq LambdaIntroducer

Defined in Language.C.Syntax

Methods

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

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

Data LambdaIntroducer

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LambdaIntroducer -> c LambdaIntroducer

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LambdaIntroducer

toConstr :: LambdaIntroducer -> Constr

dataTypeOf :: LambdaIntroducer -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LambdaIntroducer)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LambdaIntroducer)

gmapT :: (forall b. Data b => b -> b) -> LambdaIntroducer -> LambdaIntroducer

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LambdaIntroducer -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LambdaIntroducer -> r

gmapQ :: (forall d. Data d => d -> u) -> LambdaIntroducer -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LambdaIntroducer -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LambdaIntroducer -> m LambdaIntroducer

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LambdaIntroducer -> m LambdaIntroducer

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LambdaIntroducer -> m LambdaIntroducer

Ord LambdaIntroducer

Defined in Language.C.Syntax

Methods

compare :: LambdaIntroducer -> LambdaIntroducer -> Ordering

(<) :: LambdaIntroducer -> LambdaIntroducer -> Bool

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

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

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

max :: LambdaIntroducer -> LambdaIntroducer -> LambdaIntroducer

min :: LambdaIntroducer -> LambdaIntroducer -> LambdaIntroducer

Show LambdaIntroducer

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> LambdaIntroducer -> ShowS

show :: LambdaIntroducer -> String

showList :: [LambdaIntroducer] -> ShowS

Pretty LambdaIntroducer

Defined in Language.C.Pretty

Methods

ppr :: LambdaIntroducer -> Doc

pprPrec :: Int -> LambdaIntroducer -> Doc

pprList :: [LambdaIntroducer] -> Doc

Located LambdaIntroducer

Defined in Language.C.Syntax

Methods

locOf :: LambdaIntroducer -> Loc

locOfList :: [LambdaIntroducer] -> Loc

Relocatable LambdaIntroducer

Defined in Language.C.Syntax

Methods

reloc :: Loc -> LambdaIntroducer -> LambdaIntroducer

data LambdaDeclarator

Constructors

LambdaDeclarator Params Bool (Maybe Type) !SrcLoc

Instances

Eq LambdaDeclarator

Defined in Language.C.Syntax

Methods

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

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

Data LambdaDeclarator

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LambdaDeclarator -> c LambdaDeclarator

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LambdaDeclarator

toConstr :: LambdaDeclarator -> Constr

dataTypeOf :: LambdaDeclarator -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LambdaDeclarator)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LambdaDeclarator)

gmapT :: (forall b. Data b => b -> b) -> LambdaDeclarator -> LambdaDeclarator

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LambdaDeclarator -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LambdaDeclarator -> r

gmapQ :: (forall d. Data d => d -> u) -> LambdaDeclarator -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LambdaDeclarator -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LambdaDeclarator -> m LambdaDeclarator

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LambdaDeclarator -> m LambdaDeclarator

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LambdaDeclarator -> m LambdaDeclarator

Ord LambdaDeclarator

Defined in Language.C.Syntax

Methods

compare :: LambdaDeclarator -> LambdaDeclarator -> Ordering

(<) :: LambdaDeclarator -> LambdaDeclarator -> Bool

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

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

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

max :: LambdaDeclarator -> LambdaDeclarator -> LambdaDeclarator

min :: LambdaDeclarator -> LambdaDeclarator -> LambdaDeclarator

Show LambdaDeclarator

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> LambdaDeclarator -> ShowS

show :: LambdaDeclarator -> String

showList :: [LambdaDeclarator] -> ShowS

Pretty LambdaDeclarator

Defined in Language.C.Pretty

Methods

ppr :: LambdaDeclarator -> Doc

pprPrec :: Int -> LambdaDeclarator -> Doc

pprList :: [LambdaDeclarator] -> Doc

Located LambdaDeclarator

Defined in Language.C.Syntax

Methods

locOf :: LambdaDeclarator -> Loc

locOfList :: [LambdaDeclarator] -> Loc

Relocatable LambdaDeclarator

Defined in Language.C.Syntax

Methods

reloc :: Loc -> LambdaDeclarator -> LambdaDeclarator

data CaptureListEntry

Constructors

DefaultByReference

DefaultByValue

Instances

Eq CaptureListEntry

Defined in Language.C.Syntax

Methods

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

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

Data CaptureListEntry

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CaptureListEntry -> c CaptureListEntry

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CaptureListEntry

toConstr :: CaptureListEntry -> Constr

dataTypeOf :: CaptureListEntry -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CaptureListEntry)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CaptureListEntry)

gmapT :: (forall b. Data b => b -> b) -> CaptureListEntry -> CaptureListEntry

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CaptureListEntry -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaptureListEntry -> r

gmapQ :: (forall d. Data d => d -> u) -> CaptureListEntry -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CaptureListEntry -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CaptureListEntry -> m CaptureListEntry

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CaptureListEntry -> m CaptureListEntry

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CaptureListEntry -> m CaptureListEntry

Ord CaptureListEntry

Defined in Language.C.Syntax

Methods

compare :: CaptureListEntry -> CaptureListEntry -> Ordering

(<) :: CaptureListEntry -> CaptureListEntry -> Bool

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

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

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

max :: CaptureListEntry -> CaptureListEntry -> CaptureListEntry

min :: CaptureListEntry -> CaptureListEntry -> CaptureListEntry

Show CaptureListEntry

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> CaptureListEntry -> ShowS

show :: CaptureListEntry -> String

showList :: [CaptureListEntry] -> ShowS

Pretty CaptureListEntry

Defined in Language.C.Pretty

Methods

ppr :: CaptureListEntry -> Doc

pprPrec :: Int -> CaptureListEntry -> Doc

pprList :: [CaptureListEntry] -> Doc

data ExeConfig

Constructors

ExeConfig

Fields

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

Instances

Eq ExeConfig

Defined in Language.C.Syntax

Methods

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

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

Data ExeConfig

Defined in Language.C.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExeConfig -> c ExeConfig

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExeConfig

toConstr :: ExeConfig -> Constr

dataTypeOf :: ExeConfig -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExeConfig)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExeConfig)

gmapT :: (forall b. Data b => b -> b) -> ExeConfig -> ExeConfig

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExeConfig -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExeConfig -> r

gmapQ :: (forall d. Data d => d -> u) -> ExeConfig -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ExeConfig -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExeConfig -> m ExeConfig

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExeConfig -> m ExeConfig

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExeConfig -> m ExeConfig

Ord ExeConfig

Defined in Language.C.Syntax

Methods

compare :: ExeConfig -> ExeConfig -> Ordering

(<) :: ExeConfig -> ExeConfig -> Bool

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

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

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

max :: ExeConfig -> ExeConfig -> ExeConfig

min :: ExeConfig -> ExeConfig -> ExeConfig

Show ExeConfig

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> ExeConfig -> ShowS

show :: ExeConfig -> String

showList :: [ExeConfig] -> ShowS

Located ExeConfig

Defined in Language.C.Syntax

Methods

locOf :: ExeConfig -> Loc

locOfList :: [ExeConfig] -> Loc

Relocatable ExeConfig

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ExeConfig -> ExeConfig

funcProto :: Func -> InitGroup

isPtr :: Type -> Bool

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

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

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

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