GHC.Core.FVs · ghc-9.10.3 · horizon-platform

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 free variables of expressions

5 declarations

typetype InterestingVarFun = Var -> Bool

#

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

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.

Free variables of Rules, Vars and Ids

19 declarations

valuevarTypeTyCoVars :: Var -> TyCoVarSet

#

valuevarTypeTyCoFVs :: Var -> FV

#

valueidUnfoldingVars :: Id -> VarSet

#

valueidFreeVars :: Id -> VarSet

#

valuedIdFreeVars :: Id -> DVarSet

#

valuebndrRuleAndUnfoldingVarsDSet :: Id -> DVarSet

#

valuebndrRuleAndUnfoldingIds :: Id -> IdSet

#

valueidFVs :: Id -> FV

#

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 -> FV

#

Find all locally-defined free Ids or type variables in an expression returning a composable FV computation. See Note [FV naming conventions] in GHC.Utils.FV for why export it.

Orphan names

6 declarations

valueorphNamesOfType :: Type -> NameSet

#

valueorphNamesOfTypes :: [Type] -> NameSet

#

valueorphNamesOfCo :: Coercion -> NameSet

#

valueorphNamesOfCoCon :: CoAxiom br -> 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

valueexprsOrphNames :: [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