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

Methods

fv :: e -> [Ident]

Free variables in an Expr

Instances

Expr TypeExpr

Defined in Base.Expr

Methods

fv :: TypeExpr -> [Ident]

Expr QualTypeExpr

Defined in Base.Expr

Methods

fv :: QualTypeExpr -> [Ident]

Expr Constraint

Defined in Base.Expr

Methods

fv :: Constraint -> [Ident]

Expr Alt

Defined in IL.Type

Methods

fv :: Alt -> [Ident]

Expr Expression

Defined in IL.Type

Methods

fv :: Expression -> [Ident]

Expr e => Expr [e]

Defined in Base.Expr

Methods

fv :: [e] -> [Ident]

class QualExpr e where

Methods

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

Free qualified variables in an Expr

Instances

QualExpr e => QualExpr [e]

Defined in Base.Expr

Methods

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

QualExpr (Decl a)

Defined in Base.Expr

Methods

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

QualExpr (Equation a)

Defined in Base.Expr

Methods

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

QualExpr (Lhs a)

Defined in Base.Expr

Methods

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

QualExpr (Rhs a)

Defined in Base.Expr

Methods

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

QualExpr (CondExpr a)

Defined in Base.Expr

Methods

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

QualExpr (Pattern a)

Defined in Base.Expr

Methods

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

QualExpr (Expression a)

Defined in Base.Expr

Methods

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

QualExpr (InfixOp a)

Defined in Base.Expr

Methods

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

QualExpr (Statement a)

Defined in Base.Expr

Methods

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

QualExpr (Alt a)

Defined in Base.Expr

Methods

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

QualExpr a => QualExpr (Field a)

Defined in Base.Expr

Methods

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

class QuantExpr e where

Methods

bv :: e -> [Ident]

Bounded variables in an Expr

Instances

QuantExpr TypeExpr

Defined in Base.Expr

Methods

bv :: TypeExpr -> [Ident]

QuantExpr QualTypeExpr

Defined in Base.Expr

Methods

bv :: QualTypeExpr -> [Ident]

QuantExpr Constraint

Defined in Base.Expr

Methods

bv :: Constraint -> [Ident]

QuantExpr e => QuantExpr [e]

Defined in Base.Expr

Methods

bv :: [e] -> [Ident]

QuantExpr (Decl a)

Defined in Base.Expr

Methods

bv :: Decl a -> [Ident]

QuantExpr (Lhs a)

Defined in Base.Expr

Methods

bv :: Lhs a -> [Ident]

QuantExpr (Pattern a)

Defined in Base.Expr

Methods

bv :: Pattern a -> [Ident]

QuantExpr (Statement a)

Defined in Base.Expr

Methods

bv :: Statement a -> [Ident]

QuantExpr a => QuantExpr (Field a)

Defined in Base.Expr

Methods

bv :: Field a -> [Ident]

QuantExpr (Var a)

Defined in Base.Expr

Methods

bv :: Var a -> [Ident]