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

Safe HaskellNone
LanguageHaskell98

Lvm.Asm.Data

Documentation

type AsmModule = Module Top Source

type AsmDecl = Decl Top Source

data Top Source

Constructors

Top ![Id] Expr 

Instances

type Atom = Expr Source

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)