CoreFVs

Free variables of expressions and binding groups

exprFreeVars

exprFreeIds

exprsFreeVars

bindFreeVars

Selective free variables of expressions

type InterestingVarFun

exprSomeFreeVars

exprsSomeFreeVars

exprFreeNames

exprsFreeNames

Free variables of Rules, Vars and Ids

varTypeTyVars

varTypeTcTyVars

idUnfoldingVars

idFreeVars

idRuleAndUnfoldingVars

idRuleVars

idRuleRhsVars

ruleRhsFreeVars

rulesFreeVars

ruleLhsFreeNames

ruleLhsFreeIds

Core syntax tree annotation with free variables

type CoreExprWithFVs

type CoreBindWithFVs

freeVars

freeVarsOf