Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data CachedCompletions = CC {
- allModNamesAsNS :: [Text]
- unqualCompls :: [CompItem]
- qualCompls :: QualCompls
- anyQualCompls :: [Maybe Text -> CompItem]
- importableModules :: [Text]
- data LocalCompletions = LocalCompletions
- data NonLocalCompletions = NonLocalCompletions
- data Backtick
- data CompletionsConfig = CompletionsConfig {}
- data ExtendImport = ExtendImport {
- doc :: !Uri
- newThing :: !Text
- thingParent :: !(Maybe Text)
- importName :: !Text
- importQual :: !(Maybe Text)
- data Provenance
- data CompItem = CI {
- compKind :: CompletionItemKind
- insertText :: Text
- provenance :: Provenance
- label :: Text
- typeText :: Maybe Text
- isInfix :: Maybe Backtick
- isTypeCompl :: Bool
- additionalTextEdits :: Maybe ExtendImport
- nameDetails :: Maybe NameDetails
- isLocalCompletion :: Bool
- data NameDetails = NameDetails Module OccName
- newtype QualCompls = QualCompls {
- getQualCompls :: Map Text [CompItem]
- data PosPrefixInfo = PosPrefixInfo {
- fullLine :: !Text
- prefixScope :: !Text
- prefixText :: !Text
- cursorPos :: !Position
- data CompletionResolveData = CompletionResolveData {
- itemFile :: Uri
- itemNeedsType :: Bool
- itemName :: NameDetails
- properties :: Properties '['PropertyKey "autoExtendOn" TBoolean, 'PropertyKey "snippetsOn" TBoolean]
- extendImportCommandId :: Text
- nsJSON :: NameSpace -> Value
- parseNs :: Value -> Parser NameSpace
Documentation
data CachedCompletions Source #
End result of the completions
CC | |
|
Instances
Monoid CachedCompletions Source # | |
Semigroup CachedCompletions Source # | |
Defined in Development.IDE.Plugin.Completions.Types (<>) :: CachedCompletions -> CachedCompletions -> CachedCompletions # sconcat :: NonEmpty CachedCompletions -> CachedCompletions # stimes :: Integral b => b -> CachedCompletions -> CachedCompletions # | |
Show CachedCompletions Source # | |
Defined in Development.IDE.Plugin.Completions.Types showsPrec :: Int -> CachedCompletions -> ShowS # show :: CachedCompletions -> String # showList :: [CachedCompletions] -> ShowS # | |
NFData CachedCompletions Source # | |
Defined in Development.IDE.Plugin.Completions.Types rnf :: CachedCompletions -> () # |
data LocalCompletions Source #
Instances
data NonLocalCompletions Source #
Instances
data CompletionsConfig Source #
data ExtendImport Source #
ExtendImport | |
|
Instances
data Provenance Source #
Instances
Show Provenance Source # | |
Defined in Development.IDE.Plugin.Completions.Types showsPrec :: Int -> Provenance -> ShowS # show :: Provenance -> String # showList :: [Provenance] -> ShowS # | |
Eq Provenance Source # | |
Defined in Development.IDE.Plugin.Completions.Types (==) :: Provenance -> Provenance -> Bool # (/=) :: Provenance -> Provenance -> Bool # | |
Ord Provenance Source # | |
Defined in Development.IDE.Plugin.Completions.Types compare :: Provenance -> Provenance -> Ordering # (<) :: Provenance -> Provenance -> Bool # (<=) :: Provenance -> Provenance -> Bool # (>) :: Provenance -> Provenance -> Bool # (>=) :: Provenance -> Provenance -> Bool # max :: Provenance -> Provenance -> Provenance # min :: Provenance -> Provenance -> Provenance # |
CI | |
|
data NameDetails Source #
This is a JSON serialisable representation of a GHC Name that we include in completion responses so that we can recover the original name corresponding to the completion item. This is used to resolve additional details on demand about the item like its type and documentation.
Instances
FromJSON NameDetails Source # | |
Defined in Development.IDE.Plugin.Completions.Types parseJSON :: Value -> Parser NameDetails # parseJSONList :: Value -> Parser [NameDetails] # | |
ToJSON NameDetails Source # | |
Defined in Development.IDE.Plugin.Completions.Types toJSON :: NameDetails -> Value # toEncoding :: NameDetails -> Encoding # toJSONList :: [NameDetails] -> Value # toEncodingList :: [NameDetails] -> Encoding # omitField :: NameDetails -> Bool # | |
Show NameDetails Source # | |
Defined in Development.IDE.Plugin.Completions.Types showsPrec :: Int -> NameDetails -> ShowS # show :: NameDetails -> String # showList :: [NameDetails] -> ShowS # | |
Eq NameDetails Source # | |
Defined in Development.IDE.Plugin.Completions.Types (==) :: NameDetails -> NameDetails -> Bool # (/=) :: NameDetails -> NameDetails -> Bool # |
newtype QualCompls Source #
Instances
Monoid QualCompls Source # | |
Defined in Development.IDE.Plugin.Completions.Types mempty :: QualCompls # mappend :: QualCompls -> QualCompls -> QualCompls # mconcat :: [QualCompls] -> QualCompls # | |
Semigroup QualCompls Source # | |
Defined in Development.IDE.Plugin.Completions.Types (<>) :: QualCompls -> QualCompls -> QualCompls # sconcat :: NonEmpty QualCompls -> QualCompls # stimes :: Integral b => b -> QualCompls -> QualCompls # | |
Show QualCompls Source # | |
Defined in Development.IDE.Plugin.Completions.Types showsPrec :: Int -> QualCompls -> ShowS # show :: QualCompls -> String # showList :: [QualCompls] -> ShowS # |
data PosPrefixInfo Source #
Describes the line at the current cursor position
PosPrefixInfo | |
|
Instances
Show PosPrefixInfo Source # | |
Defined in Development.IDE.Plugin.Completions.Types showsPrec :: Int -> PosPrefixInfo -> ShowS # show :: PosPrefixInfo -> String # showList :: [PosPrefixInfo] -> ShowS # | |
Eq PosPrefixInfo Source # | |
Defined in Development.IDE.Plugin.Completions.Types (==) :: PosPrefixInfo -> PosPrefixInfo -> Bool # (/=) :: PosPrefixInfo -> PosPrefixInfo -> Bool # |
data CompletionResolveData Source #
The data that is actually sent for resolve support We need the URI to be able to reconstruct the GHC environment in the file the completion was triggered in.
CompletionResolveData | |
|
Instances
properties :: Properties '['PropertyKey "autoExtendOn" TBoolean, 'PropertyKey "snippetsOn" TBoolean] Source #