language-c-quote-0.13.0.2: C/CUDA/OpenCL/Objective-C quasiquoting library.
Copyright(c) 2006-2011 Harvard University
(c) 2011-2013 Geoffrey Mainland
(c) 2013 Manuel M T Chakravarty
: (c) 2013-2016 Drexel University
LicenseBSD-style
Maintainermainland@drexel.edu
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.C.Syntax

Description

 
Synopsis

Documentation

data Id Source #

Constructors

Id String !SrcLoc 
AntiId String !SrcLoc 

Instances

Instances details
Data Id Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Id -> Constr #

dataTypeOf :: Id -> DataType #

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

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

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

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

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

IsString Id Source # 
Instance details

Defined in Language.C.Syntax

Methods

fromString :: String -> Id #

Show Id Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Id -> ShowS #

show :: Id -> String #

showList :: [Id] -> ShowS #

Eq Id Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Id Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Id -> Id -> Ordering #

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

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

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

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

max :: Id -> Id -> Id #

min :: Id -> Id -> Id #

ToIdent Id Source # 
Instance details

Defined in Language.C.Quote.Base

Methods

toIdent :: Id -> SrcLoc -> Id Source #

Pretty Id Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Id -> Doc #

pprPrec :: Int -> Id -> Doc #

pprList :: [Id] -> Doc #

Located Id Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Id -> Loc #

locOfList :: [Id] -> Loc #

Relocatable Id Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Id -> Id #

ToIdent (SrcLoc -> Id) Source # 
Instance details

Defined in Language.C.Quote.Base

Methods

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

data StringLit Source #

Constructors

StringLit [String] String !SrcLoc 

Instances

Instances details
Data StringLit Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: StringLit -> Constr #

dataTypeOf :: StringLit -> DataType #

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

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

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

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

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

IsString StringLit Source # 
Instance details

Defined in Language.C.Syntax

Show StringLit Source # 
Instance details

Defined in Language.C.Syntax

Eq StringLit Source # 
Instance details

Defined in Language.C.Syntax

Ord StringLit Source # 
Instance details

Defined in Language.C.Syntax

Pretty StringLit Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: StringLit -> Doc #

pprPrec :: Int -> StringLit -> Doc #

pprList :: [StringLit] -> Doc #

Located StringLit Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: StringLit -> Loc #

locOfList :: [StringLit] -> Loc #

Relocatable StringLit Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> StringLit -> StringLit #

data Storage Source #

Instances

Instances details
Data Storage Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Storage -> Constr #

dataTypeOf :: Storage -> DataType #

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

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

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

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

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

Show Storage Source # 
Instance details

Defined in Language.C.Syntax

Eq Storage Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Storage Source # 
Instance details

Defined in Language.C.Syntax

Pretty Storage Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Storage -> Doc #

pprPrec :: Int -> Storage -> Doc #

pprList :: [Storage] -> Doc #

Located Storage Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Storage -> Loc #

locOfList :: [Storage] -> Loc #

Relocatable Storage Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Storage -> Storage #

data TypeQual Source #

Instances

Instances details
Data TypeQual Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: TypeQual -> Constr #

dataTypeOf :: TypeQual -> DataType #

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

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

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

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

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

Show TypeQual Source # 
Instance details

Defined in Language.C.Syntax

Eq TypeQual Source # 
Instance details

Defined in Language.C.Syntax

Ord TypeQual Source # 
Instance details

Defined in Language.C.Syntax

Pretty TypeQual Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: TypeQual -> Doc #

pprPrec :: Int -> TypeQual -> Doc #

pprList :: [TypeQual] -> Doc #

Located TypeQual Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: TypeQual -> Loc #

locOfList :: [TypeQual] -> Loc #

Relocatable TypeQual Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> TypeQual -> TypeQual #

data Sign Source #

Constructors

Tsigned !SrcLoc 
Tunsigned !SrcLoc 

Instances

Instances details
Data Sign Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Sign -> Constr #

dataTypeOf :: Sign -> DataType #

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

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

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

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

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

Show Sign Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Sign -> ShowS #

show :: Sign -> String #

showList :: [Sign] -> ShowS #

Eq Sign Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Sign Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Sign -> Sign -> Ordering #

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

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

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

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

max :: Sign -> Sign -> Sign #

min :: Sign -> Sign -> Sign #

Pretty Sign Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Sign -> Doc #

pprPrec :: Int -> Sign -> Doc #

pprList :: [Sign] -> Doc #

Located Sign Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Sign -> Loc #

locOfList :: [Sign] -> Loc #

Relocatable Sign Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Sign -> Sign #

data TypeSpec Source #

Instances

Instances details
Data TypeSpec Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: TypeSpec -> Constr #

dataTypeOf :: TypeSpec -> DataType #

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

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

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

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

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

Show TypeSpec Source # 
Instance details

Defined in Language.C.Syntax

Eq TypeSpec Source # 
Instance details

Defined in Language.C.Syntax

Ord TypeSpec Source # 
Instance details

Defined in Language.C.Syntax

Pretty TypeSpec Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: TypeSpec -> Doc #

pprPrec :: Int -> TypeSpec -> Doc #

pprList :: [TypeSpec] -> Doc #

Located TypeSpec Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: TypeSpec -> Loc #

locOfList :: [TypeSpec] -> Loc #

Relocatable TypeSpec Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> TypeSpec -> TypeSpec #

data DeclSpec Source #

Instances

Instances details
Data DeclSpec Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: DeclSpec -> Constr #

dataTypeOf :: DeclSpec -> DataType #

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

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

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

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

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

Show DeclSpec Source # 
Instance details

Defined in Language.C.Syntax

Eq DeclSpec Source # 
Instance details

Defined in Language.C.Syntax

Ord DeclSpec Source # 
Instance details

Defined in Language.C.Syntax

Pretty DeclSpec Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: DeclSpec -> Doc #

pprPrec :: Int -> DeclSpec -> Doc #

pprList :: [DeclSpec] -> Doc #

Located DeclSpec Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: DeclSpec -> Loc #

locOfList :: [DeclSpec] -> Loc #

Relocatable DeclSpec Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> DeclSpec -> DeclSpec #

data ArraySize Source #

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

Instances

Instances details
Data ArraySize Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ArraySize -> Constr #

dataTypeOf :: ArraySize -> DataType #

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

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

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

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

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

Show ArraySize Source # 
Instance details

Defined in Language.C.Syntax

Eq ArraySize Source # 
Instance details

Defined in Language.C.Syntax

Ord ArraySize Source # 
Instance details

Defined in Language.C.Syntax

Pretty ArraySize Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: ArraySize -> Doc #

pprPrec :: Int -> ArraySize -> Doc #

pprList :: [ArraySize] -> Doc #

Located ArraySize Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: ArraySize -> Loc #

locOfList :: [ArraySize] -> Loc #

Relocatable ArraySize Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ArraySize -> ArraySize #

data Decl Source #

Instances

Instances details
Data Decl Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Decl -> Constr #

dataTypeOf :: Decl -> DataType #

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

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

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

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

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

Show Decl Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Decl -> ShowS #

show :: Decl -> String #

showList :: [Decl] -> ShowS #

Eq Decl Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Decl Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Decl -> Decl -> Ordering #

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

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

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

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

max :: Decl -> Decl -> Decl #

min :: Decl -> Decl -> Decl #

Located Decl Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Decl -> Loc #

locOfList :: [Decl] -> Loc #

Relocatable Decl Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Decl -> Decl #

data Type Source #

Instances

Instances details
Data Type Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Type -> Constr #

dataTypeOf :: Type -> DataType #

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

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

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

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

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

Show Type Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

Eq Type Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Type Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Type -> Type -> Ordering #

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

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

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

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

max :: Type -> Type -> Type #

min :: Type -> Type -> Type #

Pretty Type Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Type -> Doc #

pprPrec :: Int -> Type -> Doc #

pprList :: [Type] -> Doc #

Located Type Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Type -> Loc #

locOfList :: [Type] -> Loc #

Relocatable Type Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Type -> Type #

data Designator Source #

Instances

Instances details
Data Designator Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Designator -> Constr #

dataTypeOf :: Designator -> DataType #

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

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

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

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

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

Show Designator Source # 
Instance details

Defined in Language.C.Syntax

Eq Designator Source # 
Instance details

Defined in Language.C.Syntax

Ord Designator Source # 
Instance details

Defined in Language.C.Syntax

Pretty Designator Source # 
Instance details

Defined in Language.C.Pretty

Located Designator Source # 
Instance details

Defined in Language.C.Syntax

Relocatable Designator Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Designator -> Designator #

data Designation Source #

Constructors

Designation [Designator] !SrcLoc 

Instances

Instances details
Data Designation Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Designation -> Constr #

dataTypeOf :: Designation -> DataType #

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

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

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

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

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

Show Designation Source # 
Instance details

Defined in Language.C.Syntax

Eq Designation Source # 
Instance details

Defined in Language.C.Syntax

Ord Designation Source # 
Instance details

Defined in Language.C.Syntax

Pretty Designation Source # 
Instance details

Defined in Language.C.Pretty

Located Designation Source # 
Instance details

Defined in Language.C.Syntax

Relocatable Designation Source # 
Instance details

Defined in Language.C.Syntax

data Initializer Source #

Instances

Instances details
Data Initializer Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Initializer -> Constr #

dataTypeOf :: Initializer -> DataType #

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

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

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

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

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

Show Initializer Source # 
Instance details

Defined in Language.C.Syntax

Eq Initializer Source # 
Instance details

Defined in Language.C.Syntax

Ord Initializer Source # 
Instance details

Defined in Language.C.Syntax

Pretty Initializer Source # 
Instance details

Defined in Language.C.Pretty

Located Initializer Source # 
Instance details

Defined in Language.C.Syntax

Relocatable Initializer Source # 
Instance details

Defined in Language.C.Syntax

data Init Source #

Instances

Instances details
Data Init Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Init -> Constr #

dataTypeOf :: Init -> DataType #

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

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

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

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

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

Show Init Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Init -> ShowS #

show :: Init -> String #

showList :: [Init] -> ShowS #

Eq Init Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Init Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Init -> Init -> Ordering #

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

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

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

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

max :: Init -> Init -> Init #

min :: Init -> Init -> Init #

Pretty Init Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Init -> Doc #

pprPrec :: Int -> Init -> Doc #

pprList :: [Init] -> Doc #

Located Init Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Init -> Loc #

locOfList :: [Init] -> Loc #

Relocatable Init Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Init -> Init #

data Typedef Source #

Constructors

Typedef Id Decl [Attr] !SrcLoc 

Instances

Instances details
Data Typedef Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Typedef -> Constr #

dataTypeOf :: Typedef -> DataType #

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

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

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

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

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

Show Typedef Source # 
Instance details

Defined in Language.C.Syntax

Eq Typedef Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Typedef Source # 
Instance details

Defined in Language.C.Syntax

Pretty Typedef Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Typedef -> Doc #

pprPrec :: Int -> Typedef -> Doc #

pprList :: [Typedef] -> Doc #

Located Typedef Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Typedef -> Loc #

locOfList :: [Typedef] -> Loc #

Relocatable Typedef Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Typedef -> Typedef #

data InitGroup Source #

Instances

Instances details
Data InitGroup Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: InitGroup -> Constr #

dataTypeOf :: InitGroup -> DataType #

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

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

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

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

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

Show InitGroup Source # 
Instance details

Defined in Language.C.Syntax

Eq InitGroup Source # 
Instance details

Defined in Language.C.Syntax

Ord InitGroup Source # 
Instance details

Defined in Language.C.Syntax

Pretty InitGroup Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: InitGroup -> Doc #

pprPrec :: Int -> InitGroup -> Doc #

pprList :: [InitGroup] -> Doc #

Located InitGroup Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: InitGroup -> Loc #

locOfList :: [InitGroup] -> Loc #

Relocatable InitGroup Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> InitGroup -> InitGroup #

data Field Source #

Constructors

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

Instances

Instances details
Data Field Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Field -> Constr #

dataTypeOf :: Field -> DataType #

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

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

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

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

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

Show Field Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Field -> ShowS #

show :: Field -> String #

showList :: [Field] -> ShowS #

Eq Field Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Field Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Field -> Field -> Ordering #

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

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

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

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

max :: Field -> Field -> Field #

min :: Field -> Field -> Field #

Pretty Field Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Field -> Doc #

pprPrec :: Int -> Field -> Doc #

pprList :: [Field] -> Doc #

Located Field Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Field -> Loc #

locOfList :: [Field] -> Loc #

Relocatable Field Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Field -> Field #

data FieldGroup Source #

Instances

Instances details
Data FieldGroup Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: FieldGroup -> Constr #

dataTypeOf :: FieldGroup -> DataType #

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

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

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

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

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

Show FieldGroup Source # 
Instance details

Defined in Language.C.Syntax

Eq FieldGroup Source # 
Instance details

Defined in Language.C.Syntax

Ord FieldGroup Source # 
Instance details

Defined in Language.C.Syntax

Pretty FieldGroup Source # 
Instance details

Defined in Language.C.Pretty

Located FieldGroup Source # 
Instance details

Defined in Language.C.Syntax

Relocatable FieldGroup Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> FieldGroup -> FieldGroup #

data CEnum Source #

Instances

Instances details
Data CEnum Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: CEnum -> Constr #

dataTypeOf :: CEnum -> DataType #

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

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

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

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

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

Show CEnum Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> CEnum -> ShowS #

show :: CEnum -> String #

showList :: [CEnum] -> ShowS #

Eq CEnum Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord CEnum Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: CEnum -> CEnum -> Ordering #

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

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

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

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

max :: CEnum -> CEnum -> CEnum #

min :: CEnum -> CEnum -> CEnum #

Pretty CEnum Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: CEnum -> Doc #

pprPrec :: Int -> CEnum -> Doc #

pprList :: [CEnum] -> Doc #

Located CEnum Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: CEnum -> Loc #

locOfList :: [CEnum] -> Loc #

Relocatable CEnum Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> CEnum -> CEnum #

data Attr Source #

Instances

Instances details
Data Attr Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Attr -> Constr #

dataTypeOf :: Attr -> DataType #

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

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

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

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

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

Show Attr Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Attr -> ShowS #

show :: Attr -> String #

showList :: [Attr] -> ShowS #

Eq Attr Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Attr Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Attr -> Attr -> Ordering #

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

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

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

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

max :: Attr -> Attr -> Attr #

min :: Attr -> Attr -> Attr #

Pretty Attr Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Attr -> Doc #

pprPrec :: Int -> Attr -> Doc #

pprList :: [Attr] -> Doc #

Located Attr Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Attr -> Loc #

locOfList :: [Attr] -> Loc #

Relocatable Attr Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Attr -> Attr #

data Param Source #

Instances

Instances details
Data Param Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Param -> Constr #

dataTypeOf :: Param -> DataType #

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

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

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

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

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

Show Param Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Param -> ShowS #

show :: Param -> String #

showList :: [Param] -> ShowS #

Eq Param Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Param Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Param -> Param -> Ordering #

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

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

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

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

max :: Param -> Param -> Param #

min :: Param -> Param -> Param #

Pretty Param Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Param -> Doc #

pprPrec :: Int -> Param -> Doc #

pprList :: [Param] -> Doc #

Located Param Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Param -> Loc #

locOfList :: [Param] -> Loc #

Relocatable Param Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Param -> Param #

data Params Source #

Constructors

Params [Param] Bool !SrcLoc 

Instances

Instances details
Data Params Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Params -> Constr #

dataTypeOf :: Params -> DataType #

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

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

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

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

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

Show Params Source # 
Instance details

Defined in Language.C.Syntax

Eq Params Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Params Source # 
Instance details

Defined in Language.C.Syntax

Pretty Params Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Params -> Doc #

pprPrec :: Int -> Params -> Doc #

pprList :: [Params] -> Doc #

Located Params Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Params -> Loc #

locOfList :: [Params] -> Loc #

Relocatable Params Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Params -> Params #

data Func Source #

Instances

Instances details
Data Func Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Func -> Constr #

dataTypeOf :: Func -> DataType #

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

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

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

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

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

Show Func Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Func -> ShowS #

show :: Func -> String #

showList :: [Func] -> ShowS #

Eq Func Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Func Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Func -> Func -> Ordering #

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

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

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

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

max :: Func -> Func -> Func #

min :: Func -> Func -> Func #

Pretty Func Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Func -> Doc #

pprPrec :: Int -> Func -> Doc #

pprList :: [Func] -> Doc #

Located Func Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Func -> Loc #

locOfList :: [Func] -> Loc #

Relocatable Func Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Func -> Func #

data Definition Source #

Instances

Instances details
Data Definition Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Definition -> Constr #

dataTypeOf :: Definition -> DataType #

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

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

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

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

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

Show Definition Source # 
Instance details

Defined in Language.C.Syntax

Eq Definition Source # 
Instance details

Defined in Language.C.Syntax

Ord Definition Source # 
Instance details

Defined in Language.C.Syntax

Pretty Definition Source # 
Instance details

Defined in Language.C.Pretty

Located Definition Source # 
Instance details

Defined in Language.C.Syntax

Relocatable Definition Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Definition -> Definition #

data Stm Source #

Instances

Instances details
Data Stm Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Stm -> Constr #

dataTypeOf :: Stm -> DataType #

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

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

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

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

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

Show Stm Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Stm -> ShowS #

show :: Stm -> String #

showList :: [Stm] -> ShowS #

Eq Stm Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Stm Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Stm -> Stm -> Ordering #

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

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

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

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

max :: Stm -> Stm -> Stm #

min :: Stm -> Stm -> Stm #

Pretty Stm Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Stm -> Doc #

pprPrec :: Int -> Stm -> Doc #

pprList :: [Stm] -> Doc #

Located Stm Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Stm -> Loc #

locOfList :: [Stm] -> Loc #

Relocatable Stm Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Stm -> Stm #

data BlockItem Source #

Instances

Instances details
Data BlockItem Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: BlockItem -> Constr #

dataTypeOf :: BlockItem -> DataType #

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

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

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

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

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

Show BlockItem Source # 
Instance details

Defined in Language.C.Syntax

Eq BlockItem Source # 
Instance details

Defined in Language.C.Syntax

Ord BlockItem Source # 
Instance details

Defined in Language.C.Syntax

Pretty BlockItem Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: BlockItem -> Doc #

pprPrec :: Int -> BlockItem -> Doc #

pprList :: [BlockItem] -> Doc #

Located BlockItem Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: BlockItem -> Loc #

locOfList :: [BlockItem] -> Loc #

Relocatable BlockItem Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> BlockItem -> BlockItem #

data Signed Source #

Constructors

Signed 
Unsigned 

Instances

Instances details
Data Signed Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Signed -> Constr #

dataTypeOf :: Signed -> DataType #

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

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

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

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

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

Show Signed Source # 
Instance details

Defined in Language.C.Syntax

Eq Signed Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Signed Source # 
Instance details

Defined in Language.C.Syntax

data Const Source #

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

Instances

Instances details
Data Const Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Const -> Constr #

dataTypeOf :: Const -> DataType #

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

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

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

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

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

Show Const Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Const -> ShowS #

show :: Const -> String #

showList :: [Const] -> ShowS #

Eq Const Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Const Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Const -> Const -> Ordering #

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

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

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

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

max :: Const -> Const -> Const #

min :: Const -> Const -> Const #

ToConst Const Source # 
Instance details

Defined in Language.C.Quote.Base

Methods

toConst :: Const -> SrcLoc -> Const Source #

Pretty Const Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Const -> Doc #

pprPrec :: Int -> Const -> Doc #

pprList :: [Const] -> Doc #

Located Const Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Const -> Loc #

locOfList :: [Const] -> Loc #

Relocatable Const Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Const -> Const #

data Exp Source #

Instances

Instances details
Data Exp Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Exp -> Constr #

dataTypeOf :: Exp -> DataType #

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

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

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

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

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

Enum Exp Source # 
Instance details

Defined in Language.C.Smart

Methods

succ :: Exp -> Exp #

pred :: Exp -> Exp #

toEnum :: Int -> Exp #

fromEnum :: Exp -> Int #

enumFrom :: Exp -> [Exp] #

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

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

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

Floating Exp Source # 
Instance details

Defined in Language.C.Smart

Methods

pi :: Exp #

exp :: Exp -> Exp #

log :: Exp -> Exp #

sqrt :: Exp -> Exp #

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

logBase :: Exp -> Exp -> Exp #

sin :: Exp -> Exp #

cos :: Exp -> Exp #

tan :: Exp -> Exp #

asin :: Exp -> Exp #

acos :: Exp -> Exp #

atan :: Exp -> Exp #

sinh :: Exp -> Exp #

cosh :: Exp -> Exp #

tanh :: Exp -> Exp #

asinh :: Exp -> Exp #

acosh :: Exp -> Exp #

atanh :: Exp -> Exp #

log1p :: Exp -> Exp #

expm1 :: Exp -> Exp #

log1pexp :: Exp -> Exp #

log1mexp :: Exp -> Exp #

Num Exp Source # 
Instance details

Defined in Language.C.Smart

Methods

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

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

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

negate :: Exp -> Exp #

abs :: Exp -> Exp #

signum :: Exp -> Exp #

fromInteger :: Integer -> Exp #

Fractional Exp Source # 
Instance details

Defined in Language.C.Smart

Methods

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

recip :: Exp -> Exp #

fromRational :: Rational -> Exp #

Integral Exp Source # 
Instance details

Defined in Language.C.Smart

Methods

quot :: Exp -> Exp -> Exp #

rem :: Exp -> Exp -> Exp #

div :: Exp -> Exp -> Exp #

mod :: Exp -> Exp -> Exp #

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

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

toInteger :: Exp -> Integer #

Real Exp Source # 
Instance details

Defined in Language.C.Smart

Methods

toRational :: Exp -> Rational #

Show Exp Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Exp -> ShowS #

show :: Exp -> String #

showList :: [Exp] -> ShowS #

Eq Exp Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord Exp Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: Exp -> Exp -> Ordering #

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

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

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

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

max :: Exp -> Exp -> Exp #

min :: Exp -> Exp -> Exp #

ToExp Exp Source # 
Instance details

Defined in Language.C.Quote.Base

Methods

toExp :: Exp -> SrcLoc -> Exp Source #

Pretty Exp Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: Exp -> Doc #

pprPrec :: Int -> Exp -> Doc #

pprList :: [Exp] -> Doc #

Located Exp Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Exp -> Loc #

locOfList :: [Exp] -> Loc #

Relocatable Exp Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Exp -> Exp #

data BinOp Source #

Constructors

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

Instances

Instances details
Data BinOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: BinOp -> Constr #

dataTypeOf :: BinOp -> DataType #

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

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

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

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

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

Show BinOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> BinOp -> ShowS #

show :: BinOp -> String #

showList :: [BinOp] -> ShowS #

Eq BinOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord BinOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: BinOp -> BinOp -> Ordering #

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

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

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

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

max :: BinOp -> BinOp -> BinOp #

min :: BinOp -> BinOp -> BinOp #

CFixity BinOp Source # 
Instance details

Defined in Language.C.Pretty

Pretty BinOp Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: BinOp -> Doc #

pprPrec :: Int -> BinOp -> Doc #

pprList :: [BinOp] -> Doc #

data AssignOp Source #

Instances

Instances details
Data AssignOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: AssignOp -> Constr #

dataTypeOf :: AssignOp -> DataType #

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

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

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

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

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

Show AssignOp Source # 
Instance details

Defined in Language.C.Syntax

Eq AssignOp Source # 
Instance details

Defined in Language.C.Syntax

Ord AssignOp Source # 
Instance details

Defined in Language.C.Syntax

CFixity AssignOp Source # 
Instance details

Defined in Language.C.Pretty

Pretty AssignOp Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: AssignOp -> Doc #

pprPrec :: Int -> AssignOp -> Doc #

pprList :: [AssignOp] -> Doc #

data UnOp Source #

Constructors

AddrOf 
Deref 
Positive 
Negate 
Not 
Lnot 

Instances

Instances details
Data UnOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: UnOp -> Constr #

dataTypeOf :: UnOp -> DataType #

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

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

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

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

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

Show UnOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> UnOp -> ShowS #

show :: UnOp -> String #

showList :: [UnOp] -> ShowS #

Eq UnOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord UnOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: UnOp -> UnOp -> Ordering #

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

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

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

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

max :: UnOp -> UnOp -> UnOp #

min :: UnOp -> UnOp -> UnOp #

CFixity UnOp Source # 
Instance details

Defined in Language.C.Pretty

Methods

fixity :: UnOp -> Fixity Source #

parensOp :: Int -> UnOp -> Doc -> Doc Source #

Pretty UnOp Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: UnOp -> Doc #

pprPrec :: Int -> UnOp -> Doc #

pprList :: [UnOp] -> Doc #

data AsmOut Source #

Constructors

AsmOut (Maybe Id) String Id 

Instances

Instances details
Data AsmOut Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: AsmOut -> Constr #

dataTypeOf :: AsmOut -> DataType #

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

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

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

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

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

Show AsmOut Source # 
Instance details

Defined in Language.C.Syntax

Eq AsmOut Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord AsmOut Source # 
Instance details

Defined in Language.C.Syntax

Pretty AsmOut Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: AsmOut -> Doc #

pprPrec :: Int -> AsmOut -> Doc #

pprList :: [AsmOut] -> Doc #

data AsmIn Source #

Constructors

AsmIn (Maybe Id) String Exp 

Instances

Instances details
Data AsmIn Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: AsmIn -> Constr #

dataTypeOf :: AsmIn -> DataType #

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

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

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

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

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

Show AsmIn Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> AsmIn -> ShowS #

show :: AsmIn -> String #

showList :: [AsmIn] -> ShowS #

Eq AsmIn Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord AsmIn Source # 
Instance details

Defined in Language.C.Syntax

Methods

compare :: AsmIn -> AsmIn -> Ordering #

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

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

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

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

max :: AsmIn -> AsmIn -> AsmIn #

min :: AsmIn -> AsmIn -> AsmIn #

Pretty AsmIn Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: AsmIn -> Doc #

pprPrec :: Int -> AsmIn -> Doc #

pprList :: [AsmIn] -> Doc #

data BlockType Source #

Instances

Instances details
Data BlockType Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: BlockType -> Constr #

dataTypeOf :: BlockType -> DataType #

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

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

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

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

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

Show BlockType Source # 
Instance details

Defined in Language.C.Syntax

Eq BlockType Source # 
Instance details

Defined in Language.C.Syntax

Ord BlockType Source # 
Instance details

Defined in Language.C.Syntax

Pretty BlockType Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: BlockType -> Doc #

pprPrec :: Int -> BlockType -> Doc #

pprList :: [BlockType] -> Doc #

Located BlockType Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: BlockType -> Loc #

locOfList :: [BlockType] -> Loc #

Relocatable BlockType Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> BlockType -> BlockType #

data ObjCIvarDecl Source #

Instances

Instances details
Data ObjCIvarDecl Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCIvarDecl -> Constr #

dataTypeOf :: ObjCIvarDecl -> DataType #

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

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

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

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

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

Show ObjCIvarDecl Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCIvarDecl Source # 
Instance details

Defined in Language.C.Syntax

Ord ObjCIvarDecl Source # 
Instance details

Defined in Language.C.Syntax

Pretty ObjCIvarDecl Source # 
Instance details

Defined in Language.C.Pretty

Located ObjCIvarDecl Source # 
Instance details

Defined in Language.C.Syntax

Relocatable ObjCIvarDecl Source # 
Instance details

Defined in Language.C.Syntax

data ObjCVisibilitySpec Source #

Instances

Instances details
Data ObjCVisibilitySpec Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCVisibilitySpec -> Constr #

dataTypeOf :: ObjCVisibilitySpec -> DataType #

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

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

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

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

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

Show ObjCVisibilitySpec Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCVisibilitySpec Source # 
Instance details

Defined in Language.C.Syntax

Ord ObjCVisibilitySpec Source # 
Instance details

Defined in Language.C.Syntax

Pretty ObjCVisibilitySpec Source # 
Instance details

Defined in Language.C.Pretty

Located ObjCVisibilitySpec Source # 
Instance details

Defined in Language.C.Syntax

Relocatable ObjCVisibilitySpec Source # 
Instance details

Defined in Language.C.Syntax

data ObjCIfaceDecl Source #

Instances

Instances details
Data ObjCIfaceDecl Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCIfaceDecl -> Constr #

dataTypeOf :: ObjCIfaceDecl -> DataType #

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

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

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

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

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

Show ObjCIfaceDecl Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCIfaceDecl Source # 
Instance details

Defined in Language.C.Syntax

Ord ObjCIfaceDecl Source # 
Instance details

Defined in Language.C.Syntax

Pretty ObjCIfaceDecl Source # 
Instance details

Defined in Language.C.Pretty

Located ObjCIfaceDecl Source # 
Instance details

Defined in Language.C.Syntax

Relocatable ObjCIfaceDecl Source # 
Instance details

Defined in Language.C.Syntax

data ObjCPropAttr Source #

Instances

Instances details
Data ObjCPropAttr Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCPropAttr -> Constr #

dataTypeOf :: ObjCPropAttr -> DataType #

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

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

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

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

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

Show ObjCPropAttr Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCPropAttr Source # 
Instance details

Defined in Language.C.Syntax

Ord ObjCPropAttr Source # 
Instance details

Defined in Language.C.Syntax

Pretty ObjCPropAttr Source # 
Instance details

Defined in Language.C.Pretty

Located ObjCPropAttr Source # 
Instance details

Defined in Language.C.Syntax

Relocatable ObjCPropAttr Source # 
Instance details

Defined in Language.C.Syntax

data ObjCMethodReq Source #

Instances

Instances details
Data ObjCMethodReq Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCMethodReq -> Constr #

dataTypeOf :: ObjCMethodReq -> DataType #

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

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

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

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

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

Show ObjCMethodReq Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCMethodReq Source # 
Instance details

Defined in Language.C.Syntax

Ord ObjCMethodReq Source # 
Instance details

Defined in Language.C.Syntax

Pretty ObjCMethodReq Source # 
Instance details

Defined in Language.C.Pretty

Located ObjCMethodReq Source # 
Instance details

Defined in Language.C.Syntax

Relocatable ObjCMethodReq Source # 
Instance details

Defined in Language.C.Syntax

data ObjCParam Source #

Instances

Instances details
Data ObjCParam Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCParam -> Constr #

dataTypeOf :: ObjCParam -> DataType #

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

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

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

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

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

Show ObjCParam Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCParam Source # 
Instance details

Defined in Language.C.Syntax

Ord ObjCParam Source # 
Instance details

Defined in Language.C.Syntax

Pretty ObjCParam Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: ObjCParam -> Doc #

pprPrec :: Int -> ObjCParam -> Doc #

pprList :: [ObjCParam] -> Doc #

Located ObjCParam Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: ObjCParam -> Loc #

locOfList :: [ObjCParam] -> Loc #

Relocatable ObjCParam Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCParam -> ObjCParam #

data ObjCMethodProto Source #

Constructors

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

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

AntiObjCMethodProto String !SrcLoc 

Instances

Instances details
Data ObjCMethodProto Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCMethodProto -> Constr #

dataTypeOf :: ObjCMethodProto -> DataType #

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

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

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

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

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

Show ObjCMethodProto Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCMethodProto Source # 
Instance details

Defined in Language.C.Syntax

Ord ObjCMethodProto Source # 
Instance details

Defined in Language.C.Syntax

Pretty ObjCMethodProto Source # 
Instance details

Defined in Language.C.Pretty

Located ObjCMethodProto Source # 
Instance details

Defined in Language.C.Syntax

Relocatable ObjCMethodProto Source # 
Instance details

Defined in Language.C.Syntax

data ObjCCatch Source #

Constructors

ObjCCatch (Maybe Param) [BlockItem] !SrcLoc 

Instances

Instances details
Data ObjCCatch Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCCatch -> Constr #

dataTypeOf :: ObjCCatch -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> ObjCCatch -> ObjCCatch #

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

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

Show ObjCCatch Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCCatch Source # 
Instance details

Defined in Language.C.Syntax

Ord ObjCCatch Source # 
Instance details

Defined in Language.C.Syntax

Pretty ObjCCatch Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: ObjCCatch -> Doc #

pprPrec :: Int -> ObjCCatch -> Doc #

pprList :: [ObjCCatch] -> Doc #

Located ObjCCatch Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: ObjCCatch -> Loc #

locOfList :: [ObjCCatch] -> Loc #

Relocatable ObjCCatch Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCCatch -> ObjCCatch #

data ObjCDictElem Source #

Instances

Instances details
Data ObjCDictElem Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCDictElem -> Constr #

dataTypeOf :: ObjCDictElem -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> ObjCDictElem -> ObjCDictElem #

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

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

Show ObjCDictElem Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCDictElem Source # 
Instance details

Defined in Language.C.Syntax

Ord ObjCDictElem Source # 
Instance details

Defined in Language.C.Syntax

Pretty ObjCDictElem Source # 
Instance details

Defined in Language.C.Pretty

Located ObjCDictElem Source # 
Instance details

Defined in Language.C.Syntax

Relocatable ObjCDictElem Source # 
Instance details

Defined in Language.C.Syntax

data ObjCRecv Source #

Instances

Instances details
Data ObjCRecv Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCRecv -> Constr #

dataTypeOf :: ObjCRecv -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> ObjCRecv -> ObjCRecv #

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

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

Show ObjCRecv Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCRecv Source # 
Instance details

Defined in Language.C.Syntax

Ord ObjCRecv Source # 
Instance details

Defined in Language.C.Syntax

Pretty ObjCRecv Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: ObjCRecv -> Doc #

pprPrec :: Int -> ObjCRecv -> Doc #

pprList :: [ObjCRecv] -> Doc #

Located ObjCRecv Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: ObjCRecv -> Loc #

locOfList :: [ObjCRecv] -> Loc #

Relocatable ObjCRecv Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCRecv -> ObjCRecv #

data ObjCArg Source #

Instances

Instances details
Data ObjCArg Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ObjCArg -> Constr #

dataTypeOf :: ObjCArg -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> ObjCArg -> ObjCArg #

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

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

Show ObjCArg Source # 
Instance details

Defined in Language.C.Syntax

Eq ObjCArg Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

Ord ObjCArg Source # 
Instance details

Defined in Language.C.Syntax

Located ObjCArg Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: ObjCArg -> Loc #

locOfList :: [ObjCArg] -> Loc #

Relocatable ObjCArg Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ObjCArg -> ObjCArg #

data LambdaIntroducer Source #

Instances

Instances details
Data LambdaIntroducer Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: LambdaIntroducer -> Constr #

dataTypeOf :: LambdaIntroducer -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> LambdaIntroducer -> LambdaIntroducer #

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

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

Show LambdaIntroducer Source # 
Instance details

Defined in Language.C.Syntax

Eq LambdaIntroducer Source # 
Instance details

Defined in Language.C.Syntax

Ord LambdaIntroducer Source # 
Instance details

Defined in Language.C.Syntax

Pretty LambdaIntroducer Source # 
Instance details

Defined in Language.C.Pretty

Located LambdaIntroducer Source # 
Instance details

Defined in Language.C.Syntax

Relocatable LambdaIntroducer Source # 
Instance details

Defined in Language.C.Syntax

data LambdaDeclarator Source #

Instances

Instances details
Data LambdaDeclarator Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: LambdaDeclarator -> Constr #

dataTypeOf :: LambdaDeclarator -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> LambdaDeclarator -> LambdaDeclarator #

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

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

Show LambdaDeclarator Source # 
Instance details

Defined in Language.C.Syntax

Eq LambdaDeclarator Source # 
Instance details

Defined in Language.C.Syntax

Ord LambdaDeclarator Source # 
Instance details

Defined in Language.C.Syntax

Pretty LambdaDeclarator Source # 
Instance details

Defined in Language.C.Pretty

Located LambdaDeclarator Source # 
Instance details

Defined in Language.C.Syntax

Relocatable LambdaDeclarator Source # 
Instance details

Defined in Language.C.Syntax

data CaptureListEntry Source #

Instances

Instances details
Data CaptureListEntry Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: CaptureListEntry -> Constr #

dataTypeOf :: CaptureListEntry -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> CaptureListEntry -> CaptureListEntry #

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

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

Show CaptureListEntry Source # 
Instance details

Defined in Language.C.Syntax

Eq CaptureListEntry Source # 
Instance details

Defined in Language.C.Syntax

Ord CaptureListEntry Source # 
Instance details

Defined in Language.C.Syntax

Pretty CaptureListEntry Source # 
Instance details

Defined in Language.C.Pretty

data ExeConfig Source #

Instances

Instances details
Data ExeConfig Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

toConstr :: ExeConfig -> Constr #

dataTypeOf :: ExeConfig -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> ExeConfig -> ExeConfig #

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

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

Show ExeConfig Source # 
Instance details

Defined in Language.C.Syntax

Eq ExeConfig Source # 
Instance details

Defined in Language.C.Syntax

Ord ExeConfig Source # 
Instance details

Defined in Language.C.Syntax

Located ExeConfig Source # 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: ExeConfig -> Loc #

locOfList :: [ExeConfig] -> Loc #

Relocatable ExeConfig Source # 
Instance details

Defined in Language.C.Syntax

Methods

reloc :: Loc -> ExeConfig -> ExeConfig #