ghc-7.0.2: The GHC API

CoreFVs

Contents

Description

A module concerned with finding the free variables of an expression.

Synopsis

Free variables of expressions and binding groups

exprFreeVars :: CoreExpr -> VarSetSource

Find all locally-defined free Ids or type variables in an expression

exprFreeIds :: CoreExpr -> IdSetSource

Find all locally-defined free Ids in an expression

exprsFreeVars :: [CoreExpr] -> VarSetSource

Find all locally-defined free Ids or type variables in several expressions

bindFreeVars :: CoreBind -> VarSetSource

Find all locally defined free Ids in a binding group

Selective free variables of expressions

type InterestingVarFun = Var -> BoolSource

Predicate on possible free variables: returns True iff the variable is interesting

exprSomeFreeVarsSource

Arguments

:: InterestingVarFun

Says which Vars are interesting

-> CoreExpr 
-> VarSet 

Finds free variables in an expression selected by a predicate

exprsSomeFreeVars :: InterestingVarFun -> [CoreExpr] -> VarSetSource

Finds free variables in several expressions selected by a predicate

Free variables of Rules, Vars and Ids

ruleRhsFreeVars :: CoreRule -> VarSetSource

Those variables free in the right hand side of a rule

rulesFreeVars :: [CoreRule] -> VarSetSource

Those variables free in the right hand side of several rules

ruleLhsOrphNames :: CoreRule -> NameSetSource

ruleLhsOrphNames is used when deciding whether a rule is an orphan. In particular, suppose that T is defined in this module; we want to avoid declaring that a rule like:

 fromIntegral T = fromIntegral_T

is an orphan. Of course it isn't, and declaring it an orphan would make the whole module an orphan module, which is bad.

ruleLhsFreeIds :: CoreRule -> VarSetSource

This finds all locally-defined free Ids on the left hand side of a rule

Core syntax tree annotation with free variables

type CoreExprWithFVs = AnnExpr Id VarSetSource

Every node in an expression annotated with its (non-global) free variables, both Ids and TyVars

type CoreBindWithFVs = AnnBind Id VarSetSource

Every node in a binding group annotated with its (non-global) free variables, both Ids and TyVars

freeVars :: CoreExpr -> CoreExprWithFVsSource

Annotate a CoreExpr with its (non-global) free type and value variables at every tree node