flite-0.1.2: f-lite compiler, interpreter and libraries

Flite.Syntax

Documentation

type Prog = [Decl]Source

data Decl Source

Constructors

Func
Fields funcName :: Id funcArgs :: [Pat] funcRhs :: Exp

Instances

type Id = String Source

data Exp Source

Constructors

App Exp [Exp]
Case Exp [Alt]
Let [Binding] Exp
Var Id
Con Id
Fun Id
Int Int
Bottom
Alts [Id] Int
Ctr Id Int Int
Lam [Id] Exp
PrimApp Id [Exp]
Prim Id

Instances

Eq Exp
Show Exp
Descend Exp

type Pat = Exp Source

type Alt = (Pat, Exp)Source

type Binding = (Id, Exp)Source

type App = [Exp]Source

isPrimId :: Id -> Bool Source

isBinaryPrim :: Id -> Bool Source

isUnaryPrim :: Id -> Bool Source

isPredexId :: Id -> Bool Source