GHC.Core.FVs · ghc-10.0.0.20260917

Free variables of expressions and binding groups

12 declarations

valueexprFreeVars :: CoreExpr -> VarSet

#

Find all locally-defined free Ids or type variables in an expression returning a non-deterministic set.

valueexprsFreeVars :: [CoreExpr] -> VarSet

#

Find all locally-defined free Ids or type variables in several expressions returning a non-deterministic set.

valueexprFreeVarsDSet :: CoreExpr -> DVarSet

#

Find all locally-defined free Ids or type variables in an expression returning a deterministic set.

valueexprFreeVarsList :: CoreExpr -> [Var]

#

Find all locally-defined free Ids or type variables in an expression returning a deterministically ordered list.

valueexprsFreeVarsList :: [CoreExpr] -> [Var]

#

Find all locally-defined free Ids or type variables in several expressions returning a deterministically ordered list.

valueexprFreeIds :: CoreExpr -> IdSet

#

Find all locally-defined free Ids in an expression

valueexprsFreeIds :: [CoreExpr] -> IdSet

#

valueexprFreeIdsDSet :: CoreExpr -> DIdSet

#

Find all locally-defined free Ids in an expression returning a deterministic set.

valueexprsFreeIdsDSet :: [CoreExpr] -> DIdSet

#

Find all locally-defined free Ids in several expressions returning a deterministic set.

valueexprFreeIdsList :: CoreExpr -> [Id]

#

Find all locally-defined free Ids in an expression returning a deterministically ordered list.

valueexprsFreeIdsList :: [CoreExpr] -> [Id]

#

Find all locally-defined free Ids in several expressions returning a deterministically ordered list.

valuebindFreeVars :: CoreBind -> VarSet

#

Find all locally defined free Ids in a binding group

Selective shallow free variables of expressions

7 declarations

typetype InterestingVarFun = Var -> Bool

#

valueexprSomeFreeVars

:: InterestingVarFun
Says which Vars are interesting
-> CoreExpr
-> VarSet

#

Finds free variables in an expression selected by a predicate

valueexprsSomeFreeVars :: InterestingVarFun -> [CoreExpr] -> VarSet

#

Finds free variables in several expressions selected by a predicate

valueexprSomeFreeVarsList

:: InterestingVarFun
Says which Vars are interesting
-> CoreExpr
-> [Var]

#

Finds free variables in an expression selected by a predicate returning a deterministically ordered list.

valueexprsSomeFreeVarsList :: InterestingVarFun -> [CoreExpr] -> [Var]

#

Finds free variables in several expressions selected by a predicate returning a deterministically ordered list.

valueexprsSomeFreeVarsDSet

:: InterestingVarFun
Says which Vars are interesting
-> [CoreExpr]
-> DVarSet

#

Finds free variables in several expressions selected by a predicate returning a deterministic set.

valuedeepExprsFreeVarsDSet :: [CoreExpr] -> DVarSet

#

Free variables of Rules, Vars and Ids

21 declarations

valuebndrTypeTyCoFVs :: Var -> SelectiveDFV

#

valuebndrFVs :: Id -> SelectiveDFV

#

valuedBndrFreeVars :: Id -> DVarSet

#

valueidUnfoldingVars :: Id -> VarSet

#

valuebndrFreeVars :: Id -> VarSet

#

valuebndrRuleAndUnfoldingVarsDSet :: Id -> DVarSet

#

valuebndrRuleAndUnfoldingVars :: Id -> VarSet

#

valueidRuleVars :: Id -> VarSet

#

valuestableUnfoldingVars :: Unfolding -> Maybe VarSet

#

valueruleFreeVars :: CoreRule -> VarSet

#

Those variables free in the both the left right hand sides of a rule returned as a non-deterministic set

valuerulesFreeVars :: [CoreRule] -> VarSet

#

Those variables free in both the left right hand sides of several rules

valuerulesFreeVarsDSet :: [CoreRule] -> DVarSet

#

Those variables free in the both the left right hand sides of rules returned as a deterministic set

valuemkRuleInfo :: [CoreRule] -> RuleInfo

#

Make a RuleInfo containing a number of CoreRules, suitable for putting into an IdInfo

valueruleLhsFreeIds :: CoreRule -> VarSet

#

This finds all locally-defined free Ids on the left hand side of a rule and returns them as a non-deterministic set

valueruleLhsFreeIdsList :: CoreRule -> [Var]

#

This finds all locally-defined free Ids on the left hand side of a rule and returns them as a deterministically ordered list

valueruleRhsFreeVars :: CoreRule -> VarSet

#

Those variables free in the right hand side of a rule returned as a non-deterministic set

valuerulesRhsFreeIds :: [CoreRule] -> VarSet

#

Those locally-defined free Ids in the right hand side of several rules returned as a non-deterministic set

valueexprFVs :: CoreExpr -> SelectiveDFV

#

valueaddCoreBndrFV :: CoreBndr -> SelectiveDFV -> SelectiveDFV

#

valueaddCoreBndrsFV :: [CoreBndr] -> SelectiveDFV -> SelectiveDFV

#

valueunitFV :: Var -> SelectiveDFV

#

Orphan names

4 declarations

valueorphNamesOfType :: Type -> NameSet

#

valueorphNamesOfTypes :: [Type] -> NameSet

#

valueorphNamesOfAxiomLHS :: CoAxiom br -> NameSet

#

orphNamesOfAxiomLHS collects the names of the concrete types and type constructors that make up the LHS of a type family instance, including the family name itself.

For instance, given `type family Foo a b`: `type instance Foo (F (G (H a))) b = ...` would yield [Foo,F,G,H]

Used (via orphNamesOfFamInst) in the implementation of ":info" in GHCi. and when determining orphan-hood for a FamInst or module

valueorphNamesOfExprs :: [CoreExpr] -> NameSet

#

Finds the free external names of several expressions: see exprOrphNames for details

Core syntax tree annotation with free variables

9 declarations

typetype FVAnn = DVarSet

#

typetype CoreExprWithFVs = AnnExpr Id FVAnn

#

Every node in an expression annotated with its (non-global) free variables, both Ids and TyVars, and type. NB: see Note [The FVAnn invariant]

typetype CoreExprWithFVs' = AnnExpr' Id FVAnn

#

typetype CoreBindWithFVs = AnnBind Id FVAnn

#

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

typetype CoreAltWithFVs = AnnAlt Id FVAnn

#

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

valuefreeVars :: CoreExpr -> CoreExprWithFVs

#

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

valuefreeVarsBind :: CoreBind -> DVarSet -> (CoreBindWithFVs, DVarSet)

#

valuefreeVarsOf :: CoreExprWithFVs -> DIdSet

#

Inverse function to freeVars

valuefreeVarsOfAnn :: FVAnn -> DIdSet

#

Extract the vars reported in a FVAnn