ogma-language-c-1.12.0: Ogma: Runtime Monitor translator: C Language Frontend
Safe HaskellNone
LanguageHaskell2010

Language.C.AbsC

Description

The abstract syntax of language C.

Documentation

data TranslationUnit Source #

Instances

Instances details
Read TranslationUnit Source # 
Instance details

Defined in Language.C.AbsC

Show TranslationUnit Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> TranslationUnit -> ShowS

show :: TranslationUnit -> String

showList :: [TranslationUnit] -> ShowS

Eq TranslationUnit Source # 
Instance details

Defined in Language.C.AbsC

Ord TranslationUnit Source # 
Instance details

Defined in Language.C.AbsC

Print TranslationUnit Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> TranslationUnit -> Doc Source #

data ExternalDeclaration Source #

data Declaration Source #

Instances

Instances details
Read Declaration Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS Declaration

readList :: ReadS [Declaration]

readPrec :: ReadPrec Declaration

readListPrec :: ReadPrec [Declaration]

Show Declaration Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> Declaration -> ShowS

show :: Declaration -> String

showList :: [Declaration] -> ShowS

Eq Declaration Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: Declaration -> Declaration -> Bool

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

Ord Declaration Source # 
Instance details

Defined in Language.C.AbsC

Print Declaration Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> Declaration -> Doc Source #

Print [Declaration] Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> [Declaration] -> Doc Source #

data DeclarationSpecifiers Source #

data DeclarationSpecifier Source #

Instances

Instances details
Read DeclarationSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Show DeclarationSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> DeclarationSpecifier -> ShowS

show :: DeclarationSpecifier -> String

showList :: [DeclarationSpecifier] -> ShowS

Eq DeclarationSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Ord DeclarationSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Print DeclarationSpecifier Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> DeclarationSpecifier -> Doc Source #

Print [DeclarationSpecifier] Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> [DeclarationSpecifier] -> Doc Source #

data StorageClassSpecifier Source #

data TypeSpecifier Source #

Instances

Instances details
Read TypeSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS TypeSpecifier

readList :: ReadS [TypeSpecifier]

readPrec :: ReadPrec TypeSpecifier

readListPrec :: ReadPrec [TypeSpecifier]

Show TypeSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> TypeSpecifier -> ShowS

show :: TypeSpecifier -> String

showList :: [TypeSpecifier] -> ShowS

Eq TypeSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Ord TypeSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Print TypeSpecifier Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> TypeSpecifier -> Doc Source #

data TypeQualifier Source #

Instances

Instances details
Read TypeQualifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS TypeQualifier

readList :: ReadS [TypeQualifier]

readPrec :: ReadPrec TypeQualifier

readListPrec :: ReadPrec [TypeQualifier]

Show TypeQualifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> TypeQualifier -> ShowS

show :: TypeQualifier -> String

showList :: [TypeQualifier] -> ShowS

Eq TypeQualifier Source # 
Instance details

Defined in Language.C.AbsC

Ord TypeQualifier Source # 
Instance details

Defined in Language.C.AbsC

Print TypeQualifier Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> TypeQualifier -> Doc Source #

data StructOrUnionSpecifier Source #

data StructOrUnion Source #

Instances

Instances details
Read StructOrUnion Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS StructOrUnion

readList :: ReadS [StructOrUnion]

readPrec :: ReadPrec StructOrUnion

readListPrec :: ReadPrec [StructOrUnion]

Show StructOrUnion Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> StructOrUnion -> ShowS

show :: StructOrUnion -> String

showList :: [StructOrUnion] -> ShowS

Eq StructOrUnion Source # 
Instance details

Defined in Language.C.AbsC

Ord StructOrUnion Source # 
Instance details

Defined in Language.C.AbsC

Print StructOrUnion Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> StructOrUnion -> Doc Source #

data InitDeclarationListOpt Source #

data InitDeclarator Source #

Instances

Instances details
Read InitDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS InitDeclarator

readList :: ReadS [InitDeclarator]

readPrec :: ReadPrec InitDeclarator

readListPrec :: ReadPrec [InitDeclarator]

Show InitDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> InitDeclarator -> ShowS

show :: InitDeclarator -> String

showList :: [InitDeclarator] -> ShowS

Eq InitDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Ord InitDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Print InitDeclarator Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> InitDeclarator -> Doc Source #

Print [InitDeclarator] Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> [InitDeclarator] -> Doc Source #

data StructDeclaration Source #

data SpecifierQualifier Source #

data StructDeclarator Source #

Instances

Instances details
Read StructDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Show StructDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> StructDeclarator -> ShowS

show :: StructDeclarator -> String

showList :: [StructDeclarator] -> ShowS

Eq StructDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Ord StructDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Print StructDeclarator Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> StructDeclarator -> Doc Source #

Print [StructDeclarator] Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> [StructDeclarator] -> Doc Source #

data EnumSpecifier Source #

Instances

Instances details
Read EnumSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS EnumSpecifier

readList :: ReadS [EnumSpecifier]

readPrec :: ReadPrec EnumSpecifier

readListPrec :: ReadPrec [EnumSpecifier]

Show EnumSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> EnumSpecifier -> ShowS

show :: EnumSpecifier -> String

showList :: [EnumSpecifier] -> ShowS

Eq EnumSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Ord EnumSpecifier Source # 
Instance details

Defined in Language.C.AbsC

Print EnumSpecifier Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> EnumSpecifier -> Doc Source #

data EnumeratorList Source #

Instances

Instances details
Read EnumeratorList Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS EnumeratorList

readList :: ReadS [EnumeratorList]

readPrec :: ReadPrec EnumeratorList

readListPrec :: ReadPrec [EnumeratorList]

Show EnumeratorList Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> EnumeratorList -> ShowS

show :: EnumeratorList -> String

showList :: [EnumeratorList] -> ShowS

Eq EnumeratorList Source # 
Instance details

Defined in Language.C.AbsC

Ord EnumeratorList Source # 
Instance details

Defined in Language.C.AbsC

Print EnumeratorList Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> EnumeratorList -> Doc Source #

data Enumerator Source #

Instances

Instances details
Read Enumerator Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS Enumerator

readList :: ReadS [Enumerator]

readPrec :: ReadPrec Enumerator

readListPrec :: ReadPrec [Enumerator]

Show Enumerator Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> Enumerator -> ShowS

show :: Enumerator -> String

showList :: [Enumerator] -> ShowS

Eq Enumerator Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: Enumerator -> Enumerator -> Bool

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

Ord Enumerator Source # 
Instance details

Defined in Language.C.AbsC

Print Enumerator Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> Enumerator -> Doc Source #

data DeclaratorOpt Source #

Instances

Instances details
Read DeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS DeclaratorOpt

readList :: ReadS [DeclaratorOpt]

readPrec :: ReadPrec DeclaratorOpt

readListPrec :: ReadPrec [DeclaratorOpt]

Show DeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> DeclaratorOpt -> ShowS

show :: DeclaratorOpt -> String

showList :: [DeclaratorOpt] -> ShowS

Eq DeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord DeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Print DeclaratorOpt Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> DeclaratorOpt -> Doc Source #

data Declarator Source #

Instances

Instances details
Read Declarator Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS Declarator

readList :: ReadS [Declarator]

readPrec :: ReadPrec Declarator

readListPrec :: ReadPrec [Declarator]

Show Declarator Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> Declarator -> ShowS

show :: Declarator -> String

showList :: [Declarator] -> ShowS

Eq Declarator Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: Declarator -> Declarator -> Bool

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

Ord Declarator Source # 
Instance details

Defined in Language.C.AbsC

Print Declarator Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> Declarator -> Doc Source #

data DirectDeclarator Source #

Instances

Instances details
Read DirectDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Show DirectDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> DirectDeclarator -> ShowS

show :: DirectDeclarator -> String

showList :: [DirectDeclarator] -> ShowS

Eq DirectDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Ord DirectDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Print DirectDeclarator Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> DirectDeclarator -> Doc Source #

data PointerOpt Source #

Instances

Instances details
Read PointerOpt Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS PointerOpt

readList :: ReadS [PointerOpt]

readPrec :: ReadPrec PointerOpt

readListPrec :: ReadPrec [PointerOpt]

Show PointerOpt Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> PointerOpt -> ShowS

show :: PointerOpt -> String

showList :: [PointerOpt] -> ShowS

Eq PointerOpt Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: PointerOpt -> PointerOpt -> Bool

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

Ord PointerOpt Source # 
Instance details

Defined in Language.C.AbsC

Print PointerOpt Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> PointerOpt -> Doc Source #

data Pointer Source #

Instances

Instances details
Read Pointer Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS Pointer

readList :: ReadS [Pointer]

readPrec :: ReadPrec Pointer

readListPrec :: ReadPrec [Pointer]

Show Pointer Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> Pointer -> ShowS

show :: Pointer -> String

showList :: [Pointer] -> ShowS

Eq Pointer Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: Pointer -> Pointer -> Bool

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

Ord Pointer Source # 
Instance details

Defined in Language.C.AbsC

Methods

compare :: Pointer -> Pointer -> Ordering

(<) :: Pointer -> Pointer -> Bool

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

(>) :: Pointer -> Pointer -> Bool

(>=) :: Pointer -> Pointer -> Bool

max :: Pointer -> Pointer -> Pointer

min :: Pointer -> Pointer -> Pointer

Print Pointer Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> Pointer -> Doc Source #

data TypeQualifierListOpt Source #

data ParameterList Source #

Instances

Instances details
Read ParameterList Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS ParameterList

readList :: ReadS [ParameterList]

readPrec :: ReadPrec ParameterList

readListPrec :: ReadPrec [ParameterList]

Show ParameterList Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> ParameterList -> ShowS

show :: ParameterList -> String

showList :: [ParameterList] -> ShowS

Eq ParameterList Source # 
Instance details

Defined in Language.C.AbsC

Ord ParameterList Source # 
Instance details

Defined in Language.C.AbsC

Print ParameterList Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> ParameterList -> Doc Source #

data ParameterDeclaration Source #

data IdentifierList Source #

Instances

Instances details
Read IdentifierList Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS IdentifierList

readList :: ReadS [IdentifierList]

readPrec :: ReadPrec IdentifierList

readListPrec :: ReadPrec [IdentifierList]

Show IdentifierList Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> IdentifierList -> ShowS

show :: IdentifierList -> String

showList :: [IdentifierList] -> ShowS

Eq IdentifierList Source # 
Instance details

Defined in Language.C.AbsC

Ord IdentifierList Source # 
Instance details

Defined in Language.C.AbsC

Print IdentifierList Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> IdentifierList -> Doc Source #

data Initializer Source #

Instances

Instances details
Read Initializer Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS Initializer

readList :: ReadS [Initializer]

readPrec :: ReadPrec Initializer

readListPrec :: ReadPrec [Initializer]

Show Initializer Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> Initializer -> ShowS

show :: Initializer -> String

showList :: [Initializer] -> ShowS

Eq Initializer Source # 
Instance details

Defined in Language.C.AbsC

Methods

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

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

Ord Initializer Source # 
Instance details

Defined in Language.C.AbsC

Print Initializer Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> Initializer -> Doc Source #

data TypeName Source #

Instances

Instances details
Read TypeName Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS TypeName

readList :: ReadS [TypeName]

readPrec :: ReadPrec TypeName

readListPrec :: ReadPrec [TypeName]

Show TypeName Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> TypeName -> ShowS

show :: TypeName -> String

showList :: [TypeName] -> ShowS

Eq TypeName Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: TypeName -> TypeName -> Bool

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

Ord TypeName Source # 
Instance details

Defined in Language.C.AbsC

Methods

compare :: TypeName -> TypeName -> Ordering

(<) :: TypeName -> TypeName -> Bool

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

(>) :: TypeName -> TypeName -> Bool

(>=) :: TypeName -> TypeName -> Bool

max :: TypeName -> TypeName -> TypeName

min :: TypeName -> TypeName -> TypeName

Print TypeName Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> TypeName -> Doc Source #

data AbstractDeclaratorOpt Source #

data DirectAbstractDeclaratorOpt Source #

Instances

Instances details
Read DirectAbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Show DirectAbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Eq DirectAbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord DirectAbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.AbsC

Print DirectAbstractDeclaratorOpt Source # 
Instance details

Defined in Language.C.PrintC

data DirectAbstractDeclarator Source #

Instances

Instances details
Read DirectAbstractDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Show DirectAbstractDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Eq DirectAbstractDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Ord DirectAbstractDeclarator Source # 
Instance details

Defined in Language.C.AbsC

Print DirectAbstractDeclarator Source # 
Instance details

Defined in Language.C.PrintC

data Statement Source #

Instances

Instances details
Read Statement Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS Statement

readList :: ReadS [Statement]

readPrec :: ReadPrec Statement

readListPrec :: ReadPrec [Statement]

Show Statement Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

Eq Statement Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: Statement -> Statement -> Bool

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

Ord Statement Source # 
Instance details

Defined in Language.C.AbsC

Methods

compare :: Statement -> Statement -> Ordering

(<) :: Statement -> Statement -> Bool

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

(>) :: Statement -> Statement -> Bool

(>=) :: Statement -> Statement -> Bool

max :: Statement -> Statement -> Statement

min :: Statement -> Statement -> Statement

Print Statement Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> Statement -> Doc Source #

Print [Statement] Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> [Statement] -> Doc Source #

data SelectionStatement Source #

data IterationStatement Source #

data JumpStatement Source #

Instances

Instances details
Read JumpStatement Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS JumpStatement

readList :: ReadS [JumpStatement]

readPrec :: ReadPrec JumpStatement

readListPrec :: ReadPrec [JumpStatement]

Show JumpStatement Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> JumpStatement -> ShowS

show :: JumpStatement -> String

showList :: [JumpStatement] -> ShowS

Eq JumpStatement Source # 
Instance details

Defined in Language.C.AbsC

Ord JumpStatement Source # 
Instance details

Defined in Language.C.AbsC

Print JumpStatement Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> JumpStatement -> Doc Source #

data ExpressionOpt Source #

Instances

Instances details
Read ExpressionOpt Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS ExpressionOpt

readList :: ReadS [ExpressionOpt]

readPrec :: ReadPrec ExpressionOpt

readListPrec :: ReadPrec [ExpressionOpt]

Show ExpressionOpt Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> ExpressionOpt -> ShowS

show :: ExpressionOpt -> String

showList :: [ExpressionOpt] -> ShowS

Eq ExpressionOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord ExpressionOpt Source # 
Instance details

Defined in Language.C.AbsC

Print ExpressionOpt Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> ExpressionOpt -> Doc Source #

data Expression Source #

Instances

Instances details
Read Expression Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS Expression

readList :: ReadS [Expression]

readPrec :: ReadPrec Expression

readListPrec :: ReadPrec [Expression]

Show Expression Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

Eq Expression Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: Expression -> Expression -> Bool

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

Ord Expression Source # 
Instance details

Defined in Language.C.AbsC

Print Expression Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> Expression -> Doc Source #

Print [Expression] Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> [Expression] -> Doc Source #

data AssignmentOperator Source #

data ConstantExpressionOpt Source #

data EqOp Source #

Constructors

EqOpEq 
EqOpNeq 

Instances

Instances details
Read EqOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS EqOp

readList :: ReadS [EqOp]

readPrec :: ReadPrec EqOp

readListPrec :: ReadPrec [EqOp]

Show EqOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> EqOp -> ShowS

show :: EqOp -> String

showList :: [EqOp] -> ShowS

Eq EqOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: EqOp -> EqOp -> Bool

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

Ord EqOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

compare :: EqOp -> EqOp -> Ordering

(<) :: EqOp -> EqOp -> Bool

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

(>) :: EqOp -> EqOp -> Bool

(>=) :: EqOp -> EqOp -> Bool

max :: EqOp -> EqOp -> EqOp

min :: EqOp -> EqOp -> EqOp

Print EqOp Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> EqOp -> Doc Source #

data RelOp Source #

Constructors

RelOpLT 
RelOpGT 
RelOpLE 
RelOpGE 

Instances

Instances details
Read RelOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS RelOp

readList :: ReadS [RelOp]

readPrec :: ReadPrec RelOp

readListPrec :: ReadPrec [RelOp]

Show RelOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> RelOp -> ShowS

show :: RelOp -> String

showList :: [RelOp] -> ShowS

Eq RelOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: RelOp -> RelOp -> Bool

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

Ord RelOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

compare :: RelOp -> RelOp -> Ordering

(<) :: RelOp -> RelOp -> Bool

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

(>) :: RelOp -> RelOp -> Bool

(>=) :: RelOp -> RelOp -> Bool

max :: RelOp -> RelOp -> RelOp

min :: RelOp -> RelOp -> RelOp

Print RelOp Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> RelOp -> Doc Source #

data ShiftOp Source #

Constructors

ShiftOpLeft 
ShiftOpRight 

Instances

Instances details
Read ShiftOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS ShiftOp

readList :: ReadS [ShiftOp]

readPrec :: ReadPrec ShiftOp

readListPrec :: ReadPrec [ShiftOp]

Show ShiftOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> ShiftOp -> ShowS

show :: ShiftOp -> String

showList :: [ShiftOp] -> ShowS

Eq ShiftOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: ShiftOp -> ShiftOp -> Bool

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

Ord ShiftOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

compare :: ShiftOp -> ShiftOp -> Ordering

(<) :: ShiftOp -> ShiftOp -> Bool

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

(>) :: ShiftOp -> ShiftOp -> Bool

(>=) :: ShiftOp -> ShiftOp -> Bool

max :: ShiftOp -> ShiftOp -> ShiftOp

min :: ShiftOp -> ShiftOp -> ShiftOp

Print ShiftOp Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> ShiftOp -> Doc Source #

data AddOp Source #

Constructors

AddOpPlus 
AddOpMinus 

Instances

Instances details
Read AddOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS AddOp

readList :: ReadS [AddOp]

readPrec :: ReadPrec AddOp

readListPrec :: ReadPrec [AddOp]

Show AddOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> AddOp -> ShowS

show :: AddOp -> String

showList :: [AddOp] -> ShowS

Eq AddOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: AddOp -> AddOp -> Bool

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

Ord AddOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

compare :: AddOp -> AddOp -> Ordering

(<) :: AddOp -> AddOp -> Bool

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

(>) :: AddOp -> AddOp -> Bool

(>=) :: AddOp -> AddOp -> Bool

max :: AddOp -> AddOp -> AddOp

min :: AddOp -> AddOp -> AddOp

Print AddOp Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> AddOp -> Doc Source #

data MultOp Source #

Instances

Instances details
Read MultOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS MultOp

readList :: ReadS [MultOp]

readPrec :: ReadPrec MultOp

readListPrec :: ReadPrec [MultOp]

Show MultOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> MultOp -> ShowS

show :: MultOp -> String

showList :: [MultOp] -> ShowS

Eq MultOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: MultOp -> MultOp -> Bool

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

Ord MultOp Source # 
Instance details

Defined in Language.C.AbsC

Methods

compare :: MultOp -> MultOp -> Ordering

(<) :: MultOp -> MultOp -> Bool

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

(>) :: MultOp -> MultOp -> Bool

(>=) :: MultOp -> MultOp -> Bool

max :: MultOp -> MultOp -> MultOp

min :: MultOp -> MultOp -> MultOp

Print MultOp Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> MultOp -> Doc Source #

data CastExpression Source #

Instances

Instances details
Read CastExpression Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS CastExpression

readList :: ReadS [CastExpression]

readPrec :: ReadPrec CastExpression

readListPrec :: ReadPrec [CastExpression]

Show CastExpression Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> CastExpression -> ShowS

show :: CastExpression -> String

showList :: [CastExpression] -> ShowS

Eq CastExpression Source # 
Instance details

Defined in Language.C.AbsC

Ord CastExpression Source # 
Instance details

Defined in Language.C.AbsC

Print CastExpression Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> CastExpression -> Doc Source #

data UnaryExpression Source #

Instances

Instances details
Read UnaryExpression Source # 
Instance details

Defined in Language.C.AbsC

Show UnaryExpression Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> UnaryExpression -> ShowS

show :: UnaryExpression -> String

showList :: [UnaryExpression] -> ShowS

Eq UnaryExpression Source # 
Instance details

Defined in Language.C.AbsC

Ord UnaryExpression Source # 
Instance details

Defined in Language.C.AbsC

Print UnaryExpression Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> UnaryExpression -> Doc Source #

data UnaryOperator Source #

Instances

Instances details
Read UnaryOperator Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS UnaryOperator

readList :: ReadS [UnaryOperator]

readPrec :: ReadPrec UnaryOperator

readListPrec :: ReadPrec [UnaryOperator]

Show UnaryOperator Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> UnaryOperator -> ShowS

show :: UnaryOperator -> String

showList :: [UnaryOperator] -> ShowS

Eq UnaryOperator Source # 
Instance details

Defined in Language.C.AbsC

Ord UnaryOperator Source # 
Instance details

Defined in Language.C.AbsC

Print UnaryOperator Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> UnaryOperator -> Doc Source #

data PostfixExpression Source #

data ArgumentExpressionListOpt Source #

Instances

Instances details
Read ArgumentExpressionListOpt Source # 
Instance details

Defined in Language.C.AbsC

Show ArgumentExpressionListOpt Source # 
Instance details

Defined in Language.C.AbsC

Eq ArgumentExpressionListOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord ArgumentExpressionListOpt Source # 
Instance details

Defined in Language.C.AbsC

Print ArgumentExpressionListOpt Source # 
Instance details

Defined in Language.C.PrintC

data Constant Source #

Instances

Instances details
Read Constant Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS Constant

readList :: ReadS [Constant]

readPrec :: ReadPrec Constant

readListPrec :: ReadPrec [Constant]

Show Constant Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> Constant -> ShowS

show :: Constant -> String

showList :: [Constant] -> ShowS

Eq Constant Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: Constant -> Constant -> Bool

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

Ord Constant Source # 
Instance details

Defined in Language.C.AbsC

Methods

compare :: Constant -> Constant -> Ordering

(<) :: Constant -> Constant -> Bool

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

(>) :: Constant -> Constant -> Bool

(>=) :: Constant -> Constant -> Bool

max :: Constant -> Constant -> Constant

min :: Constant -> Constant -> Constant

Print Constant Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> Constant -> Doc Source #

data IdentifierOpt Source #

Instances

Instances details
Read IdentifierOpt Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS IdentifierOpt

readList :: ReadS [IdentifierOpt]

readPrec :: ReadPrec IdentifierOpt

readListPrec :: ReadPrec [IdentifierOpt]

Show IdentifierOpt Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> IdentifierOpt -> ShowS

show :: IdentifierOpt -> String

showList :: [IdentifierOpt] -> ShowS

Eq IdentifierOpt Source # 
Instance details

Defined in Language.C.AbsC

Ord IdentifierOpt Source # 
Instance details

Defined in Language.C.AbsC

Print IdentifierOpt Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> IdentifierOpt -> Doc Source #

data FloatingConstant Source #

Constructors

MkFloatingConstant Double 

Instances

Instances details
Read FloatingConstant Source # 
Instance details

Defined in Language.C.AbsC

Show FloatingConstant Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> FloatingConstant -> ShowS

show :: FloatingConstant -> String

showList :: [FloatingConstant] -> ShowS

Eq FloatingConstant Source # 
Instance details

Defined in Language.C.AbsC

Ord FloatingConstant Source # 
Instance details

Defined in Language.C.AbsC

Print FloatingConstant Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> FloatingConstant -> Doc Source #

newtype Identifier Source #

Constructors

Identifier String 

Instances

Instances details
IsString Identifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

fromString :: String -> Identifier

Read Identifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

readsPrec :: Int -> ReadS Identifier

readList :: ReadS [Identifier]

readPrec :: ReadPrec Identifier

readListPrec :: ReadPrec [Identifier]

Show Identifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> Identifier -> ShowS

show :: Identifier -> String

showList :: [Identifier] -> ShowS

Eq Identifier Source # 
Instance details

Defined in Language.C.AbsC

Methods

(==) :: Identifier -> Identifier -> Bool

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

Ord Identifier Source # 
Instance details

Defined in Language.C.AbsC

Print Identifier Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> Identifier -> Doc Source #

newtype IntegerConstant Source #

Constructors

IntegerConstant String 

Instances

Instances details
IsString IntegerConstant Source # 
Instance details

Defined in Language.C.AbsC

Methods

fromString :: String -> IntegerConstant

Read IntegerConstant Source # 
Instance details

Defined in Language.C.AbsC

Show IntegerConstant Source # 
Instance details

Defined in Language.C.AbsC

Methods

showsPrec :: Int -> IntegerConstant -> ShowS

show :: IntegerConstant -> String

showList :: [IntegerConstant] -> ShowS

Eq IntegerConstant Source # 
Instance details

Defined in Language.C.AbsC

Ord IntegerConstant Source # 
Instance details

Defined in Language.C.AbsC

Print IntegerConstant Source # 
Instance details

Defined in Language.C.PrintC

Methods

prt :: Int -> IntegerConstant -> Doc Source #