while-lang-parser-0.1.0.0: Parser for the While language.

Safe HaskellSafe-Inferred

Language.While.Types

Description

Provides shared type definitions forming the parsed AST.

Synopsis

Documentation

type Varname = StringSource

Variables type alias.

data Aexp Source

Arithmetic expressions, including integer division.

Constructors

Numeral Integer 
Variable Varname 
Aadd Aexp Aexp 
Asub Aexp Aexp 
Amul Aexp Aexp 
Adiv Aexp Aexp 

Instances

data Bexp Source

Boolean expressions.

Constructors

Btrue 
Bfalse 
Beq Aexp Aexp 
Bleq Aexp Aexp 
Bneg Bexp 
Band Bexp Bexp 

Instances

data Stm Source

Statements, including try-catch clauses.

Constructors

Sass Varname Aexp 
Sskip 
Scomp Stm Stm 
Sif Bexp Stm Stm 
Swhile Bexp Stm 
Stry Stm Stm 

Instances