c0parser-0.1: Simple C0 Parser

Language.C0.Types.C0Types

Documentation

newtype Program Source

Constructors

Instances

Eq Program
Show Program

data Block Source

Constructors

B VariableDeclaration StatementSequence

Instances

Eq Block
Show Block

newtype VariableDeclaration Source

Constructors

Instances

Eq VariableDeclaration
Show VariableDeclaration

newtype StatementSequence Source

Constructors

Instances

Eq StatementSequence
Show StatementSequence

data Statement Source

Constructors

SS Ident
SP Ident
SA Assignment
SI IfStatement
SW WhileStatement
SSS StatementSequence

Instances

Eq Statement
Show Statement

data Assignment Source

Constructors

A Ident SimpleExpression

Instances

Eq Assignment
Show Assignment

data IfStatement Source

Constructors

I BoolExpression Statement (Maybe Statement)

Instances

Eq IfStatement
Show IfStatement

data WhileStatement Source

Constructors

W BoolExpression Statement

Instances

Eq WhileStatement
Show WhileStatement

data BoolExpression Source

Constructors

Bool SimpleExpression Relation SimpleExpression

Instances

Eq BoolExpression
Show BoolExpression

data Relation Source

Constructors

EQ
NE
LT
GT
LE
GE

Instances

Eq Relation
Show Relation

data SimpleExpression Source

Constructors

Simple (Maybe Sign) Term [(OpAddSub, Term)]

Instances

Eq SimpleExpression
Show SimpleExpression

data OpAddSub Source

Constructors

Add
Sub

Instances

Eq OpAddSub
Show OpAddSub

data OpMulDivMod Source

Constructors

Mul
Div
Mod

Instances

Eq OpMulDivMod
Show OpMulDivMod

data Sign Source

Constructors

Plus
Minus

Instances

Eq Sign
Show Sign

data Term Source

Constructors

T Factor [(OpMulDivMod, Factor)]

Instances

Eq Term
Show Term

data Factor Source

Constructors

FI Ident
FN Number
FS SimpleExpression

Instances

Eq Factor
Show Factor

type Ident = String Source

type Number = Int Source