ghcide-2.11.0.0: The core of an IDE

Safe Haskell	None
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

data IdentInfo Source #

Constructors

IdentInfo
Fields name :: !OccName parent :: !(Maybe OccName) identModuleName :: !ModuleName

Instances

Instances details

Generic IdentInfo Source #

Instance details

Defined in Development.IDE.Types.Exports

Associated Types

type Rep IdentInfo

Instance details

Defined in Development.IDE.Types.Exports

type Rep IdentInfo = D1 ('MetaData "IdentInfo" "Development.IDE.Types.Exports" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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))))

Methods

from :: IdentInfo -> Rep IdentInfo x #

to :: Rep IdentInfo x -> IdentInfo #

Show IdentInfo Source #

Instance details

Defined in Development.IDE.Types.Exports

Methods

showsPrec :: Int -> IdentInfo -> ShowS #

show :: IdentInfo -> String #

showList :: [IdentInfo] -> ShowS #

NFData IdentInfo Source #

Instance details

Defined in Development.IDE.Types.Exports

Methods

rnf :: IdentInfo -> () #

Eq IdentInfo Source #

Instance details

Defined in Development.IDE.Types.Exports

Methods

(==) :: IdentInfo -> IdentInfo -> Bool #

(/=) :: IdentInfo -> IdentInfo -> Bool #

Hashable IdentInfo Source #

Instance details

Defined in Development.IDE.Types.Exports

Methods

hashWithSalt :: Int -> IdentInfo -> Int #

hash :: IdentInfo -> Int #

type Rep IdentInfo Source #

Instance details

Defined in Development.IDE.Types.Exports

type Rep IdentInfo = D1 ('MetaData "IdentInfo" "Development.IDE.Types.Exports" "ghcide-2.11.0.0-IzuGh9ZsoLJF9Sbc2JF8Yt" '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 getExportsMap :: !(OccEnv (HashSet IdentInfo)) getModuleExportsMap :: !(ModuleNameEnv (HashSet IdentInfo))

Instances

Instances details

Monoid ExportsMap Source #
Instance details Defined in Development.IDE.Types.Exports Methods mempty :: ExportsMap # mappend :: ExportsMap -> ExportsMap -> ExportsMap # mconcat :: [ExportsMap] -> ExportsMap #
Semigroup ExportsMap Source #
Instance details Defined in Development.IDE.Types.Exports Methods (<>) :: ExportsMap -> ExportsMap -> ExportsMap # sconcat :: NonEmpty ExportsMap -> ExportsMap # stimes :: Integral b => b -> ExportsMap -> ExportsMap #
Show ExportsMap Source #
Instance details Defined in Development.IDE.Types.Exports Methods showsPrec :: Int -> ExportsMap -> ShowS # show :: ExportsMap -> String # showList :: [ExportsMap] -> ShowS #
NFData ExportsMap Source #
Instance details Defined in Development.IDE.Types.Exports Methods rnf :: ExportsMap -> () #

rendered :: IdentInfo -> Text Source #

moduleNameText :: IdentInfo -> Text Source #

occNameText :: OccName -> Text Source #

Render an identifier as imported or exported style. TODO: pattern synonymoccNameText :: OccName -> Text

renderOcc :: OccName -> Text Source #

mkTypeOcc :: Text -> OccName Source #

mkVarOrDataOcc :: Text -> OccName Source #

isDatacon :: IdentInfo -> Bool Source #

createExportsMap :: [ModIface] -> ExportsMap Source #

createExportsMapMg :: [ModGuts] -> ExportsMap Source #

buildModuleExportMapFrom :: [ModIface] -> ModuleNameEnv (HashSet IdentInfo) Source #

createExportsMapHieDb :: WithHieDb -> IO ExportsMap Source #

size :: ExportsMap -> Int Source #

exportsMapSize :: ExportsMap -> Int Source #

updateExportsMapMg :: [ModGuts] -> ExportsMap -> ExportsMap Source #