Lines Matching refs:FV
10 module FV ( module
12 FV, InterestingVarFun,
49 type FV = InterestingVarFun function
87 fvVarListVarSet :: FV -> ([Var], VarSet)
92 fvVarList :: FV -> [Var]
99 fvDVarSet :: FV -> DVarSet
105 fvVarSet :: FV -> VarSet
147 unitFV :: Id -> FV
156 emptyFV :: FV
161 unionFV :: FV -> FV -> FV
167 delFV :: Var -> FV -> FV
173 delFVs :: VarSet -> FV -> FV
179 filterFV :: InterestingVarFun -> FV -> FV
185 mapUnionFV :: (a -> FV) -> [a] -> FV
192 unionsFV :: [FV] -> FV
198 mkFVs :: [Var] -> FV