Lvm.Core.Expr

Documentation

type CoreModule = Module Expr

type CoreDecl = Decl Expr

data Expr

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

Constructors

Rec ![Bind]

Strict !Bind

NonRec !Bind

Instances

Binder Binds

FreeVar Binds

data Bind

Constructors

Bind !Id Expr

Instances

Pretty Bind

Binder Bind

FreeVar Bind

type Alts = [Alt]

data Alt

Constructors

Alt !Pat Expr

Instances

Pretty Alt

FreeVar Alt

data Pat

Constructors

PatCon !(Con Tag) ![Id]

PatLit !Literal

PatDefault

Instances

Pretty Pat

Binder Pat

data Literal

Constructors

LitInt !Int

LitDouble !Double

LitBytes !Bytes

Instances

Pretty Literal

data Con tag

Constructors

ConId !Id

ConTag tag !Arity

Instances

Pretty a => Pretty (Con a)

FreeVar a => FreeVar (Con a)