language-c-quote-0.12.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 HaskellNone
LanguageHaskell98

Language.C.Syntax

Description

 
Synopsis

Documentation

data Id Source #

Constructors

Id String !SrcLoc 
AntiId String !SrcLoc 
Instances
Eq Id Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Id -> r #

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

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

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

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

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

Ord Id Source # 
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 #

Show Id Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Id -> ShowS #

show :: Id -> String #

showList :: [Id] -> ShowS #

IsString Id Source # 
Instance details

Defined in Language.C.Syntax

Methods

fromString :: String -> Id #

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 Id Source # 
Instance details

Defined in Language.C.Quote.Base

Methods

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

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
Eq StringLit Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StringLit -> r #

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

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

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

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

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

Ord StringLit Source # 
Instance details

Defined in Language.C.Syntax

Show StringLit Source # 
Instance details

Defined in Language.C.Syntax

IsString 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
Eq Storage Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Storage -> r #

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

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

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

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

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

Ord Storage Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq TypeQual Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeQual -> r #

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

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

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

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

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

Ord TypeQual Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq Sign Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r #

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

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

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

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

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

Ord Sign Source # 
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 #

Show Sign Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Sign -> ShowS #

show :: Sign -> String #

showList :: [Sign] -> ShowS #

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
Eq TypeSpec Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeSpec -> r #

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

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

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

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

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

Ord TypeSpec Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq DeclSpec Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DeclSpec -> r #

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

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

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

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

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

Ord DeclSpec Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ArraySize Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArraySize -> r #

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

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

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

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

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

Ord ArraySize Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq Decl Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r #

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

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

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

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

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

Ord Decl Source # 
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 #

Show Decl Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Decl -> ShowS #

show :: Decl -> String #

showList :: [Decl] -> ShowS #

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
Eq Type Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r #

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

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

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

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

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

Ord Type Source # 
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 #

Show Type Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

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
Eq Designator Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Designator -> r #

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

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

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

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

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

Ord Designator Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq Designation Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Designation -> r #

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

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

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

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

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

Ord Designation Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq Initializer Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Initializer -> r #

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

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

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

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

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

Ord Initializer Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq Init Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Init -> r #

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

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

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

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

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

Ord Init Source # 
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 #

Show Init Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Init -> ShowS #

show :: Init -> String #

showList :: [Init] -> ShowS #

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
Eq Typedef Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Typedef -> r #

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

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

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

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

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

Ord Typedef Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq InitGroup Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InitGroup -> r #

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

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

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

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

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

Ord InitGroup Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq Field Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r #

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

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

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

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

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

Ord Field Source # 
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 #

Show Field Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Field -> ShowS #

show :: Field -> String #

showList :: [Field] -> ShowS #

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
Eq FieldGroup Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldGroup -> r #

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

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

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

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

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

Ord FieldGroup Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq CEnum Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CEnum -> r #

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

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

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

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

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

Ord CEnum Source # 
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 #

Show CEnum Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> CEnum -> ShowS #

show :: CEnum -> String #

showList :: [CEnum] -> ShowS #

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 #

Constructors

Attr Id [Exp] !SrcLoc 
Instances
Eq Attr Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r #

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

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

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

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

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

Ord Attr Source # 
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 #

Show Attr Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Attr -> ShowS #

show :: Attr -> String #

showList :: [Attr] -> ShowS #

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
Eq Param Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r #

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

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

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

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

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

Ord Param Source # 
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 #

Show Param Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Param -> ShowS #

show :: Param -> String #

showList :: [Param] -> ShowS #

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
Eq Params Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Params -> r #

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

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

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

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

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

Ord Params Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq Func Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Func -> r #

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

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

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

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

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

Ord Func Source # 
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 #

Show Func Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Func -> ShowS #

show :: Func -> String #

showList :: [Func] -> ShowS #

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
Eq Definition Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Definition -> r #

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

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

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

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

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

Ord Definition Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq Stm Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Stm -> r #

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

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

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

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

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

Ord Stm Source # 
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 #

Show Stm Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Stm -> ShowS #

show :: Stm -> String #

showList :: [Stm] -> ShowS #

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
Eq BlockItem Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockItem -> r #

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

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

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

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

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

Ord BlockItem Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq Signed Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Signed -> r #

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

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

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

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

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

Ord Signed Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq Const Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Const -> r #

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

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

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

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

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

Ord Const Source # 
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 #

Show Const Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Const -> ShowS #

show :: Const -> String #

showList :: [Const] -> ShowS #

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 #

ToConst Const Source # 
Instance details

Defined in Language.C.Quote.Base

Methods

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

data Exp Source #

Instances
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] #

Eq Exp Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 #

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 #

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r #

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

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

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

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

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

Num Exp 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 #

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 #

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 #

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 #

ToExp Exp Source # 
Instance details

Defined in Language.C.Quote.Base

Methods

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

data BinOp Source #

Constructors

Add 
Sub 
Mul 
Div 
Mod 
Eq 
Ne 
Lt 
Gt 
Le 
Ge 
Land 
Lor 
And 
Or 
Xor 
Lsh 
Rsh 
Instances
Eq BinOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r #

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

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

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

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

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

Ord BinOp Source # 
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 #

Show BinOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> BinOp -> ShowS #

show :: BinOp -> String #

showList :: [BinOp] -> ShowS #

Pretty BinOp Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: BinOp -> Doc #

pprPrec :: Int -> BinOp -> Doc #

pprList :: [BinOp] -> Doc #

CFixity BinOp Source # 
Instance details

Defined in Language.C.Pretty

data AssignOp Source #

Instances
Eq AssignOp Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AssignOp -> r #

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

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

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

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

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

Ord AssignOp Source # 
Instance details

Defined in Language.C.Syntax

Show AssignOp Source # 
Instance details

Defined in Language.C.Syntax

Pretty AssignOp Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: AssignOp -> Doc #

pprPrec :: Int -> AssignOp -> Doc #

pprList :: [AssignOp] -> Doc #

CFixity AssignOp Source # 
Instance details

Defined in Language.C.Pretty

data UnOp Source #

Constructors

AddrOf 
Deref 
Positive 
Negate 
Not 
Lnot 
Instances
Eq UnOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnOp -> r #

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

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

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

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

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

Ord UnOp Source # 
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 #

Show UnOp Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> UnOp -> ShowS #

show :: UnOp -> String #

showList :: [UnOp] -> ShowS #

Pretty UnOp Source # 
Instance details

Defined in Language.C.Pretty

Methods

ppr :: UnOp -> Doc #

pprPrec :: Int -> UnOp -> Doc #

pprList :: [UnOp] -> Doc #

CFixity UnOp Source # 
Instance details

Defined in Language.C.Pretty

Methods

fixity :: UnOp -> Fixity Source #

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

data AsmOut Source #

Constructors

AsmOut (Maybe Id) String Id 
Instances
Eq AsmOut Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AsmOut -> r #

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

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

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

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

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

Ord AsmOut Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq AsmIn Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AsmIn -> r #

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

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

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

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

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

Ord AsmIn Source # 
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 #

Show AsmIn Source # 
Instance details

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> AsmIn -> ShowS #

show :: AsmIn -> String #

showList :: [AsmIn] -> ShowS #

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
Eq BlockType Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r #

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

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

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

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

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

Ord BlockType Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCIvarDecl Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCIvarDecl -> r #

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

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

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

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

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

Ord ObjCIvarDecl Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCVisibilitySpec Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCVisibilitySpec -> r #

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

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

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

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

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

Ord ObjCVisibilitySpec Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCIfaceDecl Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCIfaceDecl -> r #

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

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

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

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

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

Ord ObjCIfaceDecl Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCPropAttr Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCPropAttr -> r #

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

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

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

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

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

Ord ObjCPropAttr Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCMethodReq Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCMethodReq -> r #

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

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

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

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

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

Ord ObjCMethodReq Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCParam Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCParam -> r #

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

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

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

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

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

Ord ObjCParam Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCMethodProto Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCMethodProto -> r #

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

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

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

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

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

Ord ObjCMethodProto Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCCatch Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCCatch -> r #

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

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

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

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

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

Ord ObjCCatch Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCDictElem Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCDictElem -> r #

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

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

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

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

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

Ord ObjCDictElem Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCRecv Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCRecv -> r #

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

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

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

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

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

Ord ObjCRecv Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq ObjCArg Source # 
Instance details

Defined in Language.C.Syntax

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjCArg -> r #

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

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

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

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

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

Ord ObjCArg Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq LambdaIntroducer Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LambdaIntroducer -> r #

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

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

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

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

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

Ord LambdaIntroducer Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq LambdaDeclarator Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LambdaDeclarator -> r #

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

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

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

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

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

Ord LambdaDeclarator Source # 
Instance details

Defined in Language.C.Syntax

Show 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
Eq CaptureListEntry Source # 
Instance details

Defined in Language.C.Syntax

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaptureListEntry -> r #

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

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

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

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

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

Ord CaptureListEntry Source # 
Instance details

Defined in Language.C.Syntax