Searched refs:ImpRuleEdges (Results 1 – 4 of 4) sorted by last modified time
115 imp_rule_edges :: ImpRuleEdges141 type ImpRuleEdges = IdEnv [(Activation, VarSet)] type147 noImpRuleEdges :: ImpRuleEdges150 lookupImpRules :: ImpRuleEdges -> Id -> [(Activation,VarSet)]716 -> ImpRuleEdges728 occAnalNonRecBind :: OccEnv -> TopLevelFlag -> ImpRuleEdges -> Var -> CoreExpr793 occAnalRecBind :: OccEnv -> TopLevelFlag -> ImpRuleEdges -> [(Var,CoreExpr)]1354 makeNode :: OccEnv -> ImpRuleEdges -> VarSet
754 -> ImpRuleEdges766 occAnalNonRecBind :: OccEnv -> TopLevelFlag -> ImpRuleEdges -> Var -> CoreExpr808 occAnalRecBind :: OccEnv -> TopLevelFlag -> ImpRuleEdges -> [(Var,CoreExpr)]1140 type ImpRuleEdges = IdEnv IdSet -- Mapping from FVs of imported RULE LHSs to RHS FVs type1142 noImpRuleEdges :: ImpRuleEdges1197 makeNode :: OccEnv -> ImpRuleEdges -> VarSet
772 -> ImpRuleEdges784 occAnalNonRecBind :: OccEnv -> TopLevelFlag -> ImpRuleEdges -> Var -> CoreExpr844 occAnalRecBind :: OccEnv -> TopLevelFlag -> ImpRuleEdges -> [(Var,CoreExpr)]1178 type ImpRuleEdges = IdEnv IdSet -- Mapping from FVs of imported RULE LHSs to RHS FVs function1180 noImpRuleEdges :: ImpRuleEdges1237 makeNode :: OccEnv -> ImpRuleEdges -> VarSet