Documentation
class Annotation t s Source
Module | |
|
data Definition t Source
Struct | |
| |
Union | |
| |
Procedure | |
Prototype | |
| |
GlobalVar | |
|
data StructMember t Source
data UnionMember t Source
Block | |
|
data SwitchCase t Source
SwitchCase | |
|
data ActualParameter t Source
In | |
| |
Out | |
|
data Declaration t Source
Declaration | |
|
data Expression t Source
VarExpr | |
| |
ArrayElem | |
| |
StructField | |
| |
UnionField | |
| |
ConstExpr | |
| |
FunctionCall | |
| |
Cast | |
| |
SizeOf | |
|
IntConst | |
| |
FloatConst | |
| |
BoolConst | |
| |
ArrayConst | |
| |
ComplexConst | |
|
Eq ShowValue | |
Show ShowValue | |
Annotation UnrollSemInf Constant | |
Annotation DebugToCSemanticInfo Constant | |
(Transformable t Constant, Transformable1 t [] Constant, Conversion t Constant, Conversion t IntConst, Conversion t FloatConst, Conversion t BoolConst, Conversion t ArrayConst, Conversion t ComplexConst, Default (Up t)) => DefaultTransformable t Constant | |
Transformable DebugToC Constant | |
Transformable1 DebugToC [] Constant | |
EqLabel t => Eq (Constant t) | |
ShowLabel t => Show (Constant t) | |
ShowLabel t => HasType (Constant t) |
data ProcedureCall t Source
data FunctionCall t Source
data StructField t Source
data UnionField t Source
data LeftFunCall t Source
data FloatConst t Source
data ArrayConst t Source
data ComplexConst t Source
class (Show (Label t Module), Show (Label t Definition), Show (Label t Struct), Show (Label t Union), Show (Label t Procedure), Show (Label t Prototype), Show (Label t GlobalVar), Show (Label t StructMember), Show (Label t UnionMember), Show (Label t Block), Show (Label t Program), Show (Label t Empty), Show (Label t Comment), Show (Label t Assign), Show (Label t ProcedureCall), Show (Label t Sequence), Show (Label t Branch), Show (Label t Switch), Show (Label t SeqLoop), Show (Label t ParLoop), Show (Label t SwitchCase), Show (Label t ActualParameter), Show (Label t Declaration), Show (Label t Expression), Show (Label t FunctionCall), Show (Label t Cast), Show (Label t SizeOf), Show (Label t ArrayElem), Show (Label t StructField), Show (Label t UnionField), Show (Label t Constant), Show (Label t IntConst), Show (Label t FloatConst), Show (Label t BoolConst), Show (Label t ArrayConst), Show (Label t ComplexConst), Show (Label t Variable)) => ShowLabel t Source
(Show (Label t Module), Show (Label t Definition), Show (Label t Struct), Show (Label t Union), Show (Label t Procedure), Show (Label t Prototype), Show (Label t GlobalVar), Show (Label t StructMember), Show (Label t UnionMember), Show (Label t Block), Show (Label t Program), Show (Label t Empty), Show (Label t Comment), Show (Label t Assign), Show (Label t ProcedureCall), Show (Label t Sequence), Show (Label t Branch), Show (Label t Switch), Show (Label t SeqLoop), Show (Label t ParLoop), Show (Label t SwitchCase), Show (Label t ActualParameter), Show (Label t Declaration), Show (Label t Expression), Show (Label t FunctionCall), Show (Label t Cast), Show (Label t SizeOf), Show (Label t ArrayElem), Show (Label t StructField), Show (Label t UnionField), Show (Label t Constant), Show (Label t IntConst), Show (Label t FloatConst), Show (Label t BoolConst), Show (Label t ArrayConst), Show (Label t ComplexConst), Show (Label t Variable)) => ShowLabel t |
class (Eq (Label t Module), Eq (Label t Definition), Eq (Label t Struct), Eq (Label t Union), Eq (Label t Procedure), Eq (Label t Prototype), Eq (Label t GlobalVar), Eq (Label t StructMember), Eq (Label t UnionMember), Eq (Label t Block), Eq (Label t Program), Eq (Label t Empty), Eq (Label t Comment), Eq (Label t Assign), Eq (Label t ProcedureCall), Eq (Label t Sequence), Eq (Label t Branch), Eq (Label t Switch), Eq (Label t SeqLoop), Eq (Label t ParLoop), Eq (Label t SwitchCase), Eq (Label t ActualParameter), Eq (Label t Declaration), Eq (Label t Expression), Eq (Label t FunctionCall), Eq (Label t Cast), Eq (Label t SizeOf), Eq (Label t StructField), Eq (Label t UnionField), Eq (Label t ArrayElem), Eq (Label t Constant), Eq (Label t IntConst), Eq (Label t FloatConst), Eq (Label t BoolConst), Eq (Label t ArrayConst), Eq (Label t ComplexConst), Eq (Label t Variable)) => EqLabel t Source
(Eq (Label t Module), Eq (Label t Definition), Eq (Label t Struct), Eq (Label t Union), Eq (Label t Procedure), Eq (Label t Prototype), Eq (Label t GlobalVar), Eq (Label t StructMember), Eq (Label t UnionMember), Eq (Label t Block), Eq (Label t Program), Eq (Label t Empty), Eq (Label t Comment), Eq (Label t Assign), Eq (Label t ProcedureCall), Eq (Label t Sequence), Eq (Label t Branch), Eq (Label t Switch), Eq (Label t SeqLoop), Eq (Label t ParLoop), Eq (Label t SwitchCase), Eq (Label t ActualParameter), Eq (Label t Declaration), Eq (Label t Expression), Eq (Label t FunctionCall), Eq (Label t Cast), Eq (Label t SizeOf), Eq (Label t StructField), Eq (Label t UnionField), Eq (Label t ArrayElem), Eq (Label t Constant), Eq (Label t IntConst), Eq (Label t FloatConst), Eq (Label t BoolConst), Eq (Label t ArrayConst), Eq (Label t ComplexConst), Eq (Label t Variable)) => EqLabel t |