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

Safe Haskell	None

Lvm.Core.Expr

Documentation

type CoreModule = Module Expr Source

type CoreDecl = Decl Expr Source

data Expr Source

Constructors

Let !Binds Expr
Match !Id Alts
Ap Expr Expr
Lam !Id Expr
Con !(Con Expr)
Var !Id
Lit !Literal

Instances

Pretty Expr
FreeVar Expr

data Binds Source

Constructors

Rec ![Bind]
Strict !Bind
NonRec !Bind

Instances

Binder Binds
FreeVar Binds

data Bind Source

Constructors

Instances

Pretty Bind
Binder Bind
FreeVar Bind

type Alts = [Alt]Source

data Alt Source

Constructors

Instances

Pretty Alt
FreeVar Alt

data Pat Source

Constructors

PatCon !(Con Tag) ![Id]
PatLit !Literal
PatDefault

Instances

Pretty Pat
Binder Pat

data Literal Source

Constructors

LitInt !Int
LitDouble !Double
LitBytes !Bytes

Instances

data Con tag Source

Constructors

ConId !Id
ConTag tag !Arity

Instances

Pretty a => Pretty (Con a)
FreeVar a => FreeVar (Con a)