Language.Qux.Annotated.Syntax

Abstract syntax tree nodes with annotations.

The annotation style was inspired by haskell-src-exts.

Type class

class Annotated node where

An annotated class.

Methods

ann :: node a -> a

Instances

Annotated Type

Annotated Expr

Annotated Stmt

Annotated Decl

Annotated Program

Annotated Id

Annotated nodes

data Id a

An identifier.

Constructors

Id a String

Instances

Annotated Id

Eq a => Eq (Id a)

Show a => Show (Id a)

data Program a

A program is a list of declarations.

Constructors

Program a [Decl a]

Instances

Annotated Program

Eq a => Eq (Program a)

Show a => Show (Program a)

data Decl a

A declaration.

Constructors

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

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

Instances

Annotated Decl

Eq a => Eq (Decl a)

Show a => Show (Decl a)

name :: Decl a -> Id a

parameters :: Decl a -> [(Type a, Id a)]

parameterNames :: Decl a -> [Id a]

parameterTypes :: Decl a -> [Type a]

returnType :: Decl a -> Type a

stmts :: Decl a -> [Stmt a]

data Stmt a

A statement.

Constructors

IfStmt a (Expr a) [Stmt a] [Stmt a]

A condition, true block and false block of statements.

ReturnStmt a (Expr a)

An expression.

WhileStmt a (Expr a) [Stmt a]

A condition and block of statements.

Instances

Annotated Stmt

Eq a => Eq (Stmt a)

Show a => Show (Stmt a)

data Expr a

A complex expression.

Constructors

ApplicationExpr a (Id a) [Expr a]

A function name to call and the arguments to pass.

BinaryExpr a BinaryOp (Expr a) (Expr a)

A binary operation.

ListExpr a [Expr a]

A list of expressions.

UnaryExpr a UnaryOp (Expr a)

A unary oepration.

ValueExpr a Value

A raw value.

Instances

Annotated Expr

Eq a => Eq (Expr a)

Show a => Show (Expr a)

data Type a

A type.

Constructors

BoolType a

IntType a

ListType a (Type a)

A list type with an inner type.

NilType a

Instances

Annotated Type

Eq a => Eq (Type a)

Show a => Show (Type a)

Regular nodes

data BinaryOp

A binary operator.

Constructors

Acc

Mul

Div

Mod

Add

Sub

Lt

Lte

Gt

Gte

Eq

Neq

Instances

Eq BinaryOp

Show BinaryOp

data UnaryOp

A unary operator.

Constructors

Len

Neg

Instances

Eq UnaryOp

Show UnaryOp

data Value

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 of values.

NilValue

A unit value.

Instances

Eq Value

Show Value