| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | GHC2021 | 
Development.IDE.Types.Exports
Synopsis
- data IdentInfo = IdentInfo {
- name :: !OccName
 - parent :: !(Maybe OccName)
 - identModuleName :: !ModuleName
 
 - data ExportsMap = ExportsMap {
- getExportsMap :: !(OccEnv (HashSet IdentInfo))
 - getModuleExportsMap :: !(ModuleNameEnv (HashSet IdentInfo))
 
 - rendered :: IdentInfo -> Text
 - moduleNameText :: IdentInfo -> Text
 - occNameText :: OccName -> Text
 - renderOcc :: OccName -> Text
 - mkTypeOcc :: Text -> OccName
 - mkVarOrDataOcc :: Text -> OccName
 - isDatacon :: IdentInfo -> Bool
 - createExportsMap :: [ModIface] -> ExportsMap
 - createExportsMapMg :: [ModGuts] -> ExportsMap
 - buildModuleExportMapFrom :: [ModIface] -> ModuleNameEnv (HashSet IdentInfo)
 - createExportsMapHieDb :: WithHieDb -> IO ExportsMap
 - size :: ExportsMap -> Int
 - exportsMapSize :: ExportsMap -> Int
 - updateExportsMapMg :: [ModGuts] -> ExportsMap -> ExportsMap
 
Documentation
Constructors
| IdentInfo | |
Fields 
  | |
Instances
| Generic IdentInfo Source # | |
| Show IdentInfo Source # | |
| NFData IdentInfo Source # | |
Defined in Development.IDE.Types.Exports  | |
| Eq IdentInfo Source # | |
| Hashable IdentInfo Source # | |
Defined in Development.IDE.Types.Exports  | |
| type Rep IdentInfo Source # | |
Defined in Development.IDE.Types.Exports type Rep IdentInfo = D1 ('MetaData "IdentInfo" "Development.IDE.Types.Exports" "ghcide-2.7.0.0-5yfM0XizHZdJVqoEnQAFOL" 'False) (C1 ('MetaCons "IdentInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OccName) :*: (S1 ('MetaSel ('Just "parent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe OccName)) :*: S1 ('MetaSel ('Just "identModuleName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModuleName))))  | |
data ExportsMap Source #
Constructors
| ExportsMap | |
Fields 
  | |
Instances
| Monoid ExportsMap Source # | |
Defined in Development.IDE.Types.Exports Methods mempty :: ExportsMap # mappend :: ExportsMap -> ExportsMap -> ExportsMap # mconcat :: [ExportsMap] -> ExportsMap #  | |
| Semigroup ExportsMap Source # | |
Defined in Development.IDE.Types.Exports Methods (<>) :: ExportsMap -> ExportsMap -> ExportsMap # sconcat :: NonEmpty ExportsMap -> ExportsMap # stimes :: Integral b => b -> ExportsMap -> ExportsMap #  | |
| Show ExportsMap Source # | |
Defined in Development.IDE.Types.Exports Methods showsPrec :: Int -> ExportsMap -> ShowS # show :: ExportsMap -> String # showList :: [ExportsMap] -> ShowS #  | |
| NFData ExportsMap Source # | |
Defined in Development.IDE.Types.Exports Methods rnf :: ExportsMap -> () #  | |
moduleNameText :: IdentInfo -> Text Source #
occNameText :: OccName -> Text Source #
Render an identifier as imported or exported style. TODO: pattern synonymoccNameText :: OccName -> Text
mkVarOrDataOcc :: Text -> OccName Source #
createExportsMap :: [ModIface] -> ExportsMap Source #
createExportsMapMg :: [ModGuts] -> ExportsMap Source #
createExportsMapHieDb :: WithHieDb -> IO ExportsMap Source #
size :: ExportsMap -> Int Source #
exportsMapSize :: ExportsMap -> Int Source #
updateExportsMapMg :: [ModGuts] -> ExportsMap -> ExportsMap Source #