Agda.Compiler.Epic.AuxAST

Intermediate abstract syntax tree used in the compiler. Pretty close to Epic syntax.

Documentation

type Comment = String

type Inline = Bool

data Fun

Constructors

Fun

Fields

• funInline :: Inline
• funName :: Var
• funQName :: Maybe QName
• funComment :: Comment
• funArgs :: [Var]
• funExpr :: Expr

EpicFun

Fields

• funName :: Var
• funQName :: Maybe QName
• funComment :: Comment
• funEpicCode :: String

Instances

Eq Fun

Methods

(==) :: Fun -> Fun -> Bool

(/=) :: Fun -> Fun -> Bool

Ord Fun

Methods

compare :: Fun -> Fun -> Ordering

(<) :: Fun -> Fun -> Bool

(<=) :: Fun -> Fun -> Bool

(>) :: Fun -> Fun -> Bool

(>=) :: Fun -> Fun -> Bool

max :: Fun -> Fun -> Fun

min :: Fun -> Fun -> Fun

Show Fun

Methods

showsPrec :: Int -> Fun -> ShowS

show :: Fun -> String

showList :: [Fun] -> ShowS

data Lit

Constructors

LInt Integer

LChar Char

LString String

LFloat Double

Instances

Eq Lit

Methods

(==) :: Lit -> Lit -> Bool

(/=) :: Lit -> Lit -> Bool

Ord Lit

Methods

compare :: Lit -> Lit -> Ordering

(<) :: Lit -> Lit -> Bool

(<=) :: Lit -> Lit -> Bool

(>) :: Lit -> Lit -> Bool

(>=) :: Lit -> Lit -> Bool

max :: Lit -> Lit -> Lit

min :: Lit -> Lit -> Lit

Show Lit

Methods

showsPrec :: Int -> Lit -> ShowS

show :: Lit -> String

showList :: [Lit] -> ShowS

data Expr

Constructors

Var Var

Lit Lit

Lam Var Expr

Con Tag QName [Expr]

App Var [Expr]

Case Expr [Branch]

If Expr Expr Expr

Let Var Expr Expr

Lazy Expr

UNIT

IMPOSSIBLE

Instances

Eq Expr

Methods

(==) :: Expr -> Expr -> Bool

(/=) :: Expr -> Expr -> Bool

Ord Expr

Methods

compare :: Expr -> Expr -> Ordering

(<) :: Expr -> Expr -> Bool

(<=) :: Expr -> Expr -> Bool

(>) :: Expr -> Expr -> Bool

(>=) :: Expr -> Expr -> Bool

max :: Expr -> Expr -> Expr

min :: Expr -> Expr -> Expr

Show Expr

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

data Branch

Constructors

Branch

Fields

• brTag :: Tag
• brName :: QName
• brVars :: [Var]
• brExpr :: Expr

BrInt

Fields

• brInt :: Int
• brExpr :: Expr

Default

Fields

• brExpr :: Expr

Instances

Eq Branch

Methods

(==) :: Branch -> Branch -> Bool

(/=) :: Branch -> Branch -> Bool

Ord Branch

Methods

compare :: Branch -> Branch -> Ordering

(<) :: Branch -> Branch -> Bool

(<=) :: Branch -> Branch -> Bool

(>) :: Branch -> Branch -> Bool

(>=) :: Branch -> Branch -> Bool

max :: Branch -> Branch -> Branch

min :: Branch -> Branch -> Branch

Show Branch

Methods

showsPrec :: Int -> Branch -> ShowS

show :: Branch -> String

showList :: [Branch] -> ShowS

getBrVars :: Branch -> [Var]

Some smart constructors

lett :: Var -> Expr -> Expr -> Expr

Smart constructor for let expressions to avoid unneceessary lets

lazy :: Expr -> Expr

Some things are pointless to make lazy

casee :: Expr -> [Branch] -> Expr

If casing on the same expression in a sub-expression, we know what branch to pick

apps :: Var -> [Expr] -> Expr

Smart constructor for applications to avoid empty applications

Substitution

subst

Arguments

:: Var

Substitute this ...

-> Var

with this ...

-> Expr

in this.

-> Expr

Substitution

substs :: [(Var, Var)] -> Expr -> Expr

substBranch :: Var -> Var -> Branch -> Branch

fv :: Expr -> [Var]

Get the free variables in an expression