Language.CoreErlang.Syntax

A suite of datatypes describing the abstract syntax of CoreErlang 1.0.3. http://www.it.uu.se/research/group/hipe/cerl/

Modules

data Module

A CoreErlang source module.

Constructors

Module Atom [Function] [(Atom, Const)] [FunDef]

Instances

Eq Module

Ord Module

Show Module

Pretty Module

Declarations

data FunDef

This type is used to represent lambdas

Constructors

FunDef (Ann Function) (Ann Exp)

Instances

Eq FunDef

Ord FunDef

Show FunDef

Pretty FunDef

Expressions

data Exp

CoreErlang expression.

Constructors

Var Var

variable

Lit Literal

literal constant

Fun Function

function name

App Exps [Exps]

application

ModCall (Exps, Exps) [Exps]

module call

Lambda [Var] Exps

lambda expression

Seq Exps Exps

sequencing

Let ([Var], Exps) Exps

local declaration

LetRec [FunDef] Exps

letrec expression

Case Exps [Ann Alt]

case exp of alts end

Tuple [Exps]

tuple expression

List (List Exps)

list expression

Binary [BitString Exps]

binary expression

Op Atom [Exps]

operator application

Try Exps ([Var], Exps) ([Var], Exps)

try expression

Rec [Ann Alt] TimeOut

receive expression

Catch Exps

catch expression

Instances

Eq Exp

Ord Exp

Show Exp

Pretty Exp

data Exps

CoreErlang expressions.

Constructors

Exp (Ann Exp)

single expression

Exps (Ann [Ann Exp])

list of expressions

Instances

Eq Exps

Ord Exps

Show Exps

Pretty Exps

data Alt

An alt in a case expression

Constructors

Alt Pats Guard Exps

Instances

Eq Alt

Ord Alt

Show Alt

Pretty Alt

data Guard

A guarded alternative when exp -> exp. The first expression will be Boolean-valued.

Constructors

Guard Exps

Instances

Eq Guard

Ord Guard

Show Guard

Pretty Guard

data List a

A list of expressions

Constructors

L [a]

LL [a] a

Instances

Eq a => Eq (List a)

Ord a => Ord (List a)

Show a => Show (List a)

Pretty a => Pretty (List a)

data TimeOut

The timeout of a receive expression

Constructors

TimeOut Exps Exps

Instances

Eq TimeOut

Ord TimeOut

Show TimeOut

Pretty TimeOut

data BitString a

A bitstring.

Constructors

BitString a [Exps]

Instances

Eq a => Eq (BitString a)

Ord a => Ord (BitString a)

Show a => Show (BitString a)

Pretty a => Pretty (BitString a)

data Function

This type is used to represent function names

Constructors

Function (Atom, Integer)

Instances

Eq Function

Ord Function

Show Function

Pretty Function

Patterns

data Pats

Constructors

Pat Pat

single pattern

Pats [Pat]

list of patterns

Instances

Eq Pats

Ord Pats

Show Pats

Pretty Pats

data Pat

A pattern, to be matched against a value.

Constructors

PVar Var

variable

PLit Literal

literal constant

PTuple [Pat]

tuple pattern

PList (List Pat)

list pattern

PBinary [BitString Pat]

list of bitstring patterns

PAlias Alias

alias pattern

Instances

Eq Pat

Ord Pat

Show Pat

Pretty Pat

data Alias

An alias, used in patterns

Constructors

Alias Var Pat

Instances

Eq Alias

Ord Alias

Show Alias

Pretty Alias

Literals

data Literal

literal. Values of this type hold the abstract value of the literal, not the precise string representation used. For example, 10, 0o12 and 0xa have the same representation.

Constructors

LChar Char

character literal

LString String

string literal

LInt Integer

integer literal

LFloat Double

floating point literal

LAtom Atom

atom literal

LNil

empty list

Instances

Eq Literal

Ord Literal

Show Literal

Pretty Literal

data Const

This type is used to represent constants

Constructors

CLit Literal

CTuple [Const]

CList (List Const)

Instances

Eq Const

Ord Const

Show Const

Pretty Const

data Atom

This type is used to represent atoms

Constructors

Atom String

Instances

Eq Atom

Ord Atom

Show Atom

Pretty Atom

Variables

type Var = String

This type is used to represent variables

Annotations

data Ann a

An annotation for modules, variables, ...

Constructors

Constr a

core erlang construct

Ann a [Const]

core erlang annotated construct

Instances

Eq a => Eq (Ann a)

Ord a => Ord (Ann a)

Show a => Show (Ann a)

Pretty a => Pretty (Ann a)