Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
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
IdentInfo | |
|
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 #
ExportsMap | |
|
Instances
Monoid ExportsMap Source # | |
Defined in Development.IDE.Types.Exports mempty :: ExportsMap # mappend :: ExportsMap -> ExportsMap -> ExportsMap # mconcat :: [ExportsMap] -> ExportsMap # | |
Semigroup ExportsMap Source # | |
Defined in Development.IDE.Types.Exports (<>) :: ExportsMap -> ExportsMap -> ExportsMap # sconcat :: NonEmpty ExportsMap -> ExportsMap # stimes :: Integral b => b -> ExportsMap -> ExportsMap # | |
Show ExportsMap Source # | |
Defined in Development.IDE.Types.Exports showsPrec :: Int -> ExportsMap -> ShowS # show :: ExportsMap -> String # showList :: [ExportsMap] -> ShowS # | |
NFData ExportsMap Source # | |
Defined in Development.IDE.Types.Exports 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 #