diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2017-05-19 07:54:06 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2017-05-19 07:54:06 -0700 |
| commit | 4e0e120bcbda6c5351d7c5aa01f7298e2198d457 (patch) | |
| tree | e82e972f5ab3f205fb56a1b6401d6c6bfd3a62bf | |
| parent | 2501fb70691f80b9c48e5f9bdea3b897653f499a (diff) | |
| download | haskell-4e0e120bcbda6c5351d7c5aa01f7298e2198d457.tar.gz | |
Modern type signature style in Module
| -rw-r--r-- | compiler/basicTypes/Module.hs | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/compiler/basicTypes/Module.hs b/compiler/basicTypes/Module.hs index e7f8a8d78e..4a3212fcc7 100644 --- a/compiler/basicTypes/Module.hs +++ b/compiler/basicTypes/Module.hs @@ -1249,17 +1249,20 @@ isEmptyModuleEnv (ModuleEnv e) = Map.null e -- | A set of 'Module's type ModuleSet = Set NDModule -mkModuleSet :: [Module] -> ModuleSet -extendModuleSet :: ModuleSet -> Module -> ModuleSet -emptyModuleSet :: ModuleSet -moduleSetElts :: ModuleSet -> [Module] -elemModuleSet :: Module -> ModuleSet -> Bool +mkModuleSet :: [Module] -> ModuleSet +mkModuleSet = Set.fromList . coerce -emptyModuleSet = Set.empty -mkModuleSet = Set.fromList . coerce +extendModuleSet :: ModuleSet -> Module -> ModuleSet extendModuleSet s m = Set.insert (NDModule m) s -moduleSetElts = sort . coerce . Set.toList -elemModuleSet = Set.member . coerce + +emptyModuleSet :: ModuleSet +emptyModuleSet = Set.empty + +moduleSetElts :: ModuleSet -> [Module] +moduleSetElts = sort . coerce . Set.toList + +elemModuleSet :: Module -> ModuleSet -> Bool +elemModuleSet = Set.member . coerce {- A ModuleName has a Unique, so we can build mappings of these using |