Searched refs:mapScope_ (Results 1 – 2 of 2) sorted by relevance
642 mapScope_ :: (NamesInScope -> NamesInScope ) ->646 mapScope_ fd fm fs = mapScope (const fd) (const fm) (const fs) function715 filterScope pd pm = recomputeInScopeSets . mapScope_ (Map.filterKeys pd) (Map.filterKeys pm) id902 rename rho = mapScope_ (updateFxs .936 renameCanonicalNames renD renM = mapScope_ renameD renameM (Set.map newName)971 disallowGeneralizedVars = mapScope_ ((fmap . map) disallow) id id979 inScopeBecause f = mapScope_ mapName mapMod id
540 stripNoNames = modifyScopes $ Map.map $ mapScope_ stripN stripN id