Language.C99.Simple.AST

Documentation

type Ident = String

data TransUnit

Constructors

TransUnit [Decln] [FunDef]

data FunDef

Constructors

FunDef (Maybe StorageSpec) Type Ident [Param] [Decln] [Stmt]

data Param

Constructors

Param Type Ident

data Decln

Constructors

VarDecln (Maybe StorageSpec) Type Ident (Maybe Init)

FunDecln (Maybe StorageSpec) Type Ident [Param]

TypeDecln Type

data StorageSpec

Constructors

Typedef

Extern

Static

Auto

Register

data Type

Constructors

Type Type

TypeSpec TypeSpec

Ptr Type

Array Type (Maybe Expr)

Const Type

Restrict Type

Volatile Type

data TypeSpec

Constructors

Void

Char

Signed_Char

Unsigned_Char

Short

Signed_Short

Short_Int

Signed_Short_Int

Unsigned_Short

Unsigned_Short_Int

Int

Signed

Signed_Int

Unsigned

Unsigned_Int

Long

Signed_Long

Long_Int

Signed_Long_Int

Unsigned_Long

Unsgined_Long_Int

Long_Long

Signed_Long_Long

Long_Long_Int

Signed_Long_Long_Int

Unsigned_Long_Long

Unsigned_Long_Long_Int

Float

Double

Long_Double

Bool

Float_Complex

Double_Complex

Long_Double_Complex

TypedefName Ident

Struct Ident

StructDecln (Maybe Ident) (NonEmpty FieldDecln)

Union Ident

UnionDecln (Maybe Ident) (NonEmpty FieldDecln)

Enum Ident

EnumDecln (Maybe Ident) (NonEmpty Ident)

data FieldDecln

Constructors

FieldDecln Type Ident

data Init

Constructors

InitExpr Expr

InitList (NonEmpty InitItem)

data InitItem

Constructors

InitItem (Maybe Ident) Init

data Expr

Constructors

Ident Ident

LitBool Bool

LitInt Integer

LitFloat Float

LitDouble Double

LitString String

Index Expr Expr

Funcall Expr [Expr]

Dot Expr Ident

Arrow Expr Ident

InitVal TypeName (NonEmpty InitItem)

UnaryOp UnaryOp Expr

Cast TypeName Expr

BinaryOp BinaryOp Expr Expr

Cond Expr Expr Expr

AssignOp AssignOp Expr Expr

SizeOf Expr

SizeOfType TypeName

data UnaryOp

Constructors

Inc

Dec

Ref

DeRef

Plus

Min

BoolNot

Not

data BinaryOp

Constructors

Mult

Div

Mod

Add

Sub

ShiftL

ShiftR

LT

GT

LE

GE

Eq

NEq

And

XOr

Or

LAnd

LOr

data AssignOp

Constructors

Assign

AssignMult

AssignDiv

AssignMod

AssignAdd

AssignSub

AssignShiftL

AssignShiftR

AssignAnd

AssignXOr

AssignOr

data TypeName

Constructors

TypeName Type

data Case

Constructors

Case Expr Stmt

Default Stmt

data Stmt

Constructors

Expr Expr

If Expr [Stmt]

IfElse Expr [Stmt] [Stmt]

Switch Expr [Case]

While Expr [Stmt]

For Expr Expr Expr [Stmt]

ForInf [Stmt]

Continue

Break

Label String Stmt

Return (Maybe Expr)