Moduleghc-10.0.0.20260917GHC2024

GHC.Core.FVs

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

Contents

Free variables of expressions and binding groups
Selective shallow free variables of expressions
Free variables of Rules, Vars and Ids
Orphan names
Core syntax tree annotation with free variables

Synopsis

value exprFreeVars
value exprsFreeVars
value exprFreeVarsDSet
value exprFreeVarsList
value exprsFreeVarsList
value exprFreeIds
value exprsFreeIds
value exprFreeIdsDSet
value exprsFreeIdsDSet
value exprFreeIdsList
value exprsFreeIdsList
value bindFreeVars
type InterestingVarFun
value exprSomeFreeVars
value exprsSomeFreeVars
value exprSomeFreeVarsList
value exprsSomeFreeVarsList
value exprsSomeFreeVarsDSet
value deepExprsFreeVarsDSet
value bndrTypeTyCoFVs
value bndrFVs
value dBndrFreeVars
value idUnfoldingVars
value bndrFreeVars
value bndrRuleAndUnfoldingVarsDSet
value bndrRuleAndUnfoldingVars
value idRuleVars
value stableUnfoldingVars
value ruleFreeVars
value rulesFreeVars
value rulesFreeVarsDSet
value mkRuleInfo
value ruleLhsFreeIds
value ruleLhsFreeIdsList
value ruleRhsFreeVars
value rulesRhsFreeIds
value exprFVs
value addCoreBndrFV
value addCoreBndrsFV
value unitFV
value orphNamesOfType
value orphNamesOfTypes
value orphNamesOfAxiomLHS
value orphNamesOfExprs
type FVAnn
type CoreExprWithFVs
type CoreExprWithFVs'
type CoreBindWithFVs
type CoreAltWithFVs
value freeVars
value freeVarsBind
value freeVarsOf
value freeVarsOfAnn

Packageghc-10.0.0.20260917
Exports53
LanguageGHC2024
LicenceBSD-3-Clause
SourceFVs.hs

Free variables of expressions and binding groups

valueexprFreeVars :: CoreExpr -> VarSet

Source#

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

valueexprsFreeVars :: [CoreExpr] -> VarSet

Source#

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

valueexprFreeVarsDSet :: CoreExpr -> DVarSet

Source#

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

valueexprFreeVarsList :: CoreExpr -> [Var]

Source#

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

valueexprsFreeVarsList :: [CoreExpr] -> [Var]

Source#

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

valueexprFreeIds :: CoreExpr -> IdSet

Source#

Find all locally-defined free Ids in an expression

valueexprsFreeIds :: [CoreExpr] -> IdSet

valueexprFreeIdsDSet :: CoreExpr -> DIdSet

Source#

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

valueexprsFreeIdsDSet :: [CoreExpr] -> DIdSet

Source#

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

valueexprFreeIdsList :: CoreExpr -> [Id]

Source#

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

valueexprsFreeIdsList :: [CoreExpr] -> [Id]

Source#

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

valuebindFreeVars :: CoreBind -> VarSet

Source#

Find all locally defined free Ids in a binding group

Selective shallow free variables of expressions

typetype InterestingVarFun = Var -> Bool

valueexprSomeFreeVars

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

Source#

Finds free variables in an expression selected by a predicate

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

Source#

Finds free variables in several expressions selected by a predicate

valueexprSomeFreeVarsList

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

Source#

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

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

Source#

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

valueexprsSomeFreeVarsDSet

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

Source#

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

valuedeepExprsFreeVarsDSet :: [CoreExpr] -> DVarSet

Free variables of Rules, Vars and Ids

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

Source#

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

valuerulesFreeVars :: [CoreRule] -> VarSet

Source#

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

valuerulesFreeVarsDSet :: [CoreRule] -> DVarSet

Source#

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

valuemkRuleInfo :: [CoreRule] -> RuleInfo

Source#

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

valueruleLhsFreeIds :: CoreRule -> VarSet

Source#

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]

Source#

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

Source#

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

valuerulesRhsFreeIds :: [CoreRule] -> VarSet

Source#

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

valueorphNamesOfType :: Type -> NameSet

valueorphNamesOfTypes :: [Type] -> NameSet

valueorphNamesOfAxiomLHS :: CoAxiom br -> NameSet

Source#

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

Source#

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

Core syntax tree annotation with free variables

typetype FVAnn = DVarSet

typetype CoreExprWithFVs = AnnExpr Id FVAnn

Source#

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

Source#

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

typetype CoreAltWithFVs = AnnAlt Id FVAnn

Source#

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

valuefreeVars :: CoreExpr -> CoreExprWithFVs

Source#

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

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

valuefreeVarsOf :: CoreExprWithFVs -> DIdSet

Source#

Inverse function to freeVars

valuefreeVarsOfAnn :: FVAnn -> DIdSet

Source#

Extract the vars reported in a FVAnn