Copyright	(c) Henry J. Wylde, 2015
License	BSD3
Maintainer	public@hjwylde.com
Safe Haskell	Safe
Language	Haskell2010

Language.Qux.Syntax

Contents

Nodes

Description

Abstract syntax tree nodes.

Instances of Pretty are provided for pretty printing.

Synopsis

Nodes

type Id = String Source

An identifier. Identifiers should match '[a-z_][a-zA-Z0-9_']*'.

data Program Source

A program is a module identifier (list of Id's) and a list of declarations.

Constructors

Program [Id] [Decl]

Instances

Eq Program Source
Show Program Source
Pretty Program Source
Simplifiable (Program a) Program Source

data Decl Source

A declaration.

Constructors

FunctionDecl Id [(Type, Id)] [Stmt]

A name, list of (Type, Id) parameters and statements. The return type is treated as a parameter with id '@'.

Instances

Eq Decl Source
Show Decl Source
Pretty Decl Source
Simplifiable (Decl a) Decl Source

data Stmt Source

A statement.

Constructors

IfStmt Expr [Stmt] [Stmt]	A condition, true block and false block of statements.
ReturnStmt Expr	An expression.
WhileStmt Expr [Stmt]	A condition and block of statements.

Instances

Eq Stmt Source
Show Stmt Source
Pretty Stmt Source
Simplifiable (Stmt a) Stmt Source

data Expr Source

A complex expression.

Constructors

ApplicationExpr Id [Expr]	A function name to call and the arguments to pass as parameters.
BinaryExpr BinaryOp Expr Expr	A binary operation.
ListExpr [Expr]	A list expression.
TypedExpr Type Expr	A typed expression. See Language.Qux.Annotated.TypeResolver.
UnaryExpr UnaryOp Expr	A unary operation.
ValueExpr Value	A raw value.

Instances

Eq Expr Source
Show Expr Source
Pretty Expr Source
Simplifiable (Expr a) Expr Source

data BinaryOp Source

A binary operator.

Constructors

Acc	List access.
Mul	Multiplicaiton.
Div	Division.
Mod	Modulus.
Add	Addition.
Sub	Subtraction.
Lt	Less than.
Lte	Less than or equal to.
Gt	Greater than.
Gte	Greater than or equal to.
Eq	Equal to.
Neq	Not equal to.

Instances

Eq BinaryOp Source
Show BinaryOp Source
Pretty BinaryOp Source

data UnaryOp Source

A unary operator.

Constructors

Len	List length.
Neg	Negation.

Instances

Eq UnaryOp Source
Show UnaryOp Source
Pretty UnaryOp Source

data Value Source

A value is considered to be in it's normal form.

Constructors

BoolValue Bool	A boolean.
IntValue Integer	An unbounded integer.
ListValue [Value]	A normalised list value.
NilValue	A unit value.

Instances

Eq Value Source
Show Value Source
Pretty Value Source

data Type Source

A type.

Constructors

BoolType
IntType
ListType Type	A list type with an inner type.
NilType

Instances

Eq Type Source
Show Type Source
Pretty Type Source
Simplifiable (Type a) Type Source