Base.Expr

The compiler needs to compute the lists of free and bound variables for various different entities. We will devote three type classes to that purpose. The QualExpr class is expected to take into account that it is possible to use a qualified name to refer to a function defined in the current module and therefore M.x and x, where M is the current module name, should be considered the same name. However, note that this is correct only after renaming all local definitions as M.x always denotes an entity defined at the top-level.

Documentation

class Expr e where

Minimal complete definition

fv

Methods

fv :: e -> [Ident]

Free variables in an Expr

Instances

Expr TypeExpr

Methods

fv :: TypeExpr -> [Ident]

Expr QualTypeExpr

Methods

fv :: QualTypeExpr -> [Ident]

Expr Constraint

Methods

fv :: Constraint -> [Ident]

Expr Alt

Methods

fv :: Alt -> [Ident]

Expr Expression

Methods

fv :: Expression -> [Ident]

Expr e => Expr [e]

Methods

fv :: [e] -> [Ident]

class QualExpr e where

Minimal complete definition

qfv

Methods

qfv :: ModuleIdent -> e -> [Ident]

Free qualified variables in an Expr

Instances

QualExpr e => QualExpr [e]

Methods

qfv :: ModuleIdent -> [e] -> [Ident]

QualExpr (Decl a)

Methods

qfv :: ModuleIdent -> Decl a -> [Ident]

QualExpr (Equation a)

Methods

qfv :: ModuleIdent -> Equation a -> [Ident]

QualExpr (Lhs a)

Methods

qfv :: ModuleIdent -> Lhs a -> [Ident]

QualExpr (Rhs a)

Methods

qfv :: ModuleIdent -> Rhs a -> [Ident]

QualExpr (CondExpr a)

Methods

qfv :: ModuleIdent -> CondExpr a -> [Ident]

QualExpr (Pattern a)

Methods

qfv :: ModuleIdent -> Pattern a -> [Ident]

QualExpr (Expression a)

Methods

qfv :: ModuleIdent -> Expression a -> [Ident]

QualExpr (InfixOp a)

Methods

qfv :: ModuleIdent -> InfixOp a -> [Ident]

QualExpr (Statement a)

Methods

qfv :: ModuleIdent -> Statement a -> [Ident]

QualExpr (Alt a)

Methods

qfv :: ModuleIdent -> Alt a -> [Ident]

QualExpr a => QualExpr (Field a)

Methods

qfv :: ModuleIdent -> Field a -> [Ident]

class QuantExpr e where

Minimal complete definition

bv

Methods

bv :: e -> [Ident]

Bounded variables in an Expr

Instances

QuantExpr TypeExpr

Methods

bv :: TypeExpr -> [Ident]

QuantExpr QualTypeExpr

Methods

bv :: QualTypeExpr -> [Ident]

QuantExpr Constraint

Methods

bv :: Constraint -> [Ident]

QuantExpr e => QuantExpr [e]

Methods

bv :: [e] -> [Ident]

QuantExpr (Decl a)

Methods

bv :: Decl a -> [Ident]

QuantExpr (Lhs a)

Methods

bv :: Lhs a -> [Ident]

QuantExpr (Pattern a)

Methods

bv :: Pattern a -> [Ident]

QuantExpr (Statement a)

Methods

bv :: Statement a -> [Ident]

QuantExpr a => QuantExpr (Field a)

Methods

bv :: Field a -> [Ident]

QuantExpr (Var a)

Methods

bv :: Var a -> [Ident]