lvmlib-1.1: The Lazy Virtual Machine (LVM).

Safe HaskellNone

Lvm.Asm.Data

Documentation

type AsmModule = Module TopSource

type AsmDecl = Decl TopSource

data Top Source

Constructors

Top ![Id] Expr 

Instances

type Atom = ExprSource

data Expr Source

Constructors

Eval !Id Expr Expr 
Match !Id ![Alt] 
Prim !Id ![Atom] 
LetRec ![(Id, Atom)] Expr 
Let !Id Atom Expr 
Ap !Id ![Atom] 
Con !(Con Atom) ![Atom] 
Lit !Lit 
Note !Note !Expr 

Instances

data Note Source

Constructors

Occur !Occur 

Instances

data Occur Source

Constructors

Never 
Once 
Many 

Instances

data Lit Source

Constructors

LitInt !Int 
LitFloat !Double 
LitBytes !Bytes 

Instances

data Alt Source

Constructors

Alt !Pat Expr 

Instances

data Pat Source

Constructors

PatVar !Id 
PatCon !(Con Int) ![Id] 
PatLit !Lit 

Instances

data Con tag Source

Constructors

ConId !Id 
ConTag tag !Arity 

Instances

Pretty a => Pretty (Con a)