Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Development.IDE.Plugin.Completions.Types
Synopsis
- data PosPrefixInfo = PosPrefixInfo {
- fullLine :: !Text
- prefixScope :: !Text
- prefixText :: !Text
- cursorPos :: !Position
- 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 {
- enableSnippets :: Bool
- enableAutoExtend :: Bool
- maxCompletions :: Int
- 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 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 PosPrefixInfo #
Describes the line at the current cursor position
Constructors
PosPrefixInfo | |
Fields
|
Instances
Show PosPrefixInfo # | |
Defined in Development.IDE.Plugin.Completions.Types Methods showsPrec :: Int -> PosPrefixInfo -> ShowS # show :: PosPrefixInfo -> String # showList :: [PosPrefixInfo] -> ShowS # | |
Eq PosPrefixInfo # | |
Defined in Development.IDE.Plugin.Completions.Types Methods (==) :: PosPrefixInfo -> PosPrefixInfo -> Bool # (/=) :: PosPrefixInfo -> PosPrefixInfo -> Bool # |
data CachedCompletions #
End result of the completions
Constructors
CC | |
Fields
|
Instances
Monoid CachedCompletions # | |
Defined in Development.IDE.Plugin.Completions.Types Methods mappend :: CachedCompletions -> CachedCompletions -> CachedCompletions # mconcat :: [CachedCompletions] -> CachedCompletions # | |
Semigroup CachedCompletions # | |
Defined in Development.IDE.Plugin.Completions.Types Methods (<>) :: CachedCompletions -> CachedCompletions -> CachedCompletions # sconcat :: NonEmpty CachedCompletions -> CachedCompletions # stimes :: Integral b => b -> CachedCompletions -> CachedCompletions # | |
Show CachedCompletions # | |
Defined in Development.IDE.Plugin.Completions.Types Methods showsPrec :: Int -> CachedCompletions -> ShowS # show :: CachedCompletions -> String # showList :: [CachedCompletions] -> ShowS # | |
NFData CachedCompletions # | |
Defined in Development.IDE.Plugin.Completions.Types Methods rnf :: CachedCompletions -> () # |
data LocalCompletions #
Constructors
LocalCompletions |
Instances
data NonLocalCompletions #
Constructors
NonLocalCompletions |
Instances
Constructors
Surrounded | |
LeftSide |
data CompletionsConfig #
Constructors
CompletionsConfig | |
Fields
|
data ExtendImport #
Constructors
ExtendImport | |
Fields
|
Instances
FromJSON ExtendImport # | |
Defined in Development.IDE.Plugin.Completions.Types Methods parseJSON :: Value -> Parser ExtendImport # parseJSONList :: Value -> Parser [ExtendImport] # omittedField :: Maybe ExtendImport # | |
ToJSON ExtendImport # | |
Defined in Development.IDE.Plugin.Completions.Types Methods toJSON :: ExtendImport -> Value # toEncoding :: ExtendImport -> Encoding # toJSONList :: [ExtendImport] -> Value # toEncodingList :: [ExtendImport] -> Encoding # omitField :: ExtendImport -> Bool # | |
Generic ExtendImport # | |
Defined in Development.IDE.Plugin.Completions.Types Associated Types type Rep ExtendImport :: Type -> Type | |
Show ExtendImport # | |
Defined in Development.IDE.Plugin.Completions.Types Methods showsPrec :: Int -> ExtendImport -> ShowS # show :: ExtendImport -> String # showList :: [ExtendImport] -> ShowS # | |
Eq ExtendImport # | |
Defined in Development.IDE.Plugin.Completions.Types | |
type Rep ExtendImport # | |
Defined in Development.IDE.Plugin.Completions.Types type Rep ExtendImport = D1 ('MetaData "ExtendImport" "Development.IDE.Plugin.Completions.Types" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "ExtendImport" 'PrefixI 'True) ((S1 ('MetaSel ('Just "doc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Uri) :*: S1 ('MetaSel ('Just "newThing") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "thingParent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "importName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "importQual") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Text)))))) |
data Provenance #
Instances
Show Provenance # | |
Defined in Development.IDE.Plugin.Completions.Types Methods showsPrec :: Int -> Provenance -> ShowS # show :: Provenance -> String # showList :: [Provenance] -> ShowS # | |
Eq Provenance # | |
Defined in Development.IDE.Plugin.Completions.Types | |
Ord Provenance # | |
Defined in Development.IDE.Plugin.Completions.Types Methods compare :: Provenance -> Provenance -> Ordering (<) :: Provenance -> Provenance -> Bool (<=) :: Provenance -> Provenance -> Bool (>) :: Provenance -> Provenance -> Bool (>=) :: Provenance -> Provenance -> Bool max :: Provenance -> Provenance -> Provenance min :: Provenance -> Provenance -> Provenance |
Constructors
CI | |
Fields
|
data NameDetails #
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.
Constructors
NameDetails Module OccName |
Instances
FromJSON NameDetails # | |
Defined in Development.IDE.Plugin.Completions.Types Methods parseJSON :: Value -> Parser NameDetails # parseJSONList :: Value -> Parser [NameDetails] # omittedField :: Maybe NameDetails # | |
ToJSON NameDetails # | |
Defined in Development.IDE.Plugin.Completions.Types Methods toJSON :: NameDetails -> Value # toEncoding :: NameDetails -> Encoding # toJSONList :: [NameDetails] -> Value # toEncodingList :: [NameDetails] -> Encoding # omitField :: NameDetails -> Bool # | |
Show NameDetails # | |
Defined in Development.IDE.Plugin.Completions.Types Methods showsPrec :: Int -> NameDetails -> ShowS # show :: NameDetails -> String # showList :: [NameDetails] -> ShowS # | |
Eq NameDetails # | |
Defined in Development.IDE.Plugin.Completions.Types |
newtype QualCompls #
Constructors
QualCompls | |
Fields
|
Instances
Monoid QualCompls # | |
Defined in Development.IDE.Plugin.Completions.Types Methods mempty :: QualCompls # mappend :: QualCompls -> QualCompls -> QualCompls # mconcat :: [QualCompls] -> QualCompls # | |
Semigroup QualCompls # | |
Defined in Development.IDE.Plugin.Completions.Types Methods (<>) :: QualCompls -> QualCompls -> QualCompls # sconcat :: NonEmpty QualCompls -> QualCompls # stimes :: Integral b => b -> QualCompls -> QualCompls # | |
Show QualCompls # | |
Defined in Development.IDE.Plugin.Completions.Types Methods showsPrec :: Int -> QualCompls -> ShowS # show :: QualCompls -> String # showList :: [QualCompls] -> ShowS # |
data CompletionResolveData #
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.
Constructors
CompletionResolveData | |
Fields
|
Instances
FromJSON CompletionResolveData # | |
Defined in Development.IDE.Plugin.Completions.Types Methods parseJSON :: Value -> Parser CompletionResolveData # parseJSONList :: Value -> Parser [CompletionResolveData] # omittedField :: Maybe CompletionResolveData # | |
ToJSON CompletionResolveData # | |
Defined in Development.IDE.Plugin.Completions.Types Methods toJSON :: CompletionResolveData -> Value # toEncoding :: CompletionResolveData -> Encoding # toJSONList :: [CompletionResolveData] -> Value # toEncodingList :: [CompletionResolveData] -> Encoding # omitField :: CompletionResolveData -> Bool # | |
Generic CompletionResolveData # | |
Defined in Development.IDE.Plugin.Completions.Types Associated Types type Rep CompletionResolveData :: Type -> Type Methods from :: CompletionResolveData -> Rep CompletionResolveData x to :: Rep CompletionResolveData x -> CompletionResolveData | |
type Rep CompletionResolveData # | |
Defined in Development.IDE.Plugin.Completions.Types type Rep CompletionResolveData = D1 ('MetaData "CompletionResolveData" "Development.IDE.Plugin.Completions.Types" "ghcide-2.4.0.0-2GLANXY6yWhIRmLZNYhiFQ" 'False) (C1 ('MetaCons "CompletionResolveData" 'PrefixI 'True) (S1 ('MetaSel ('Just "itemFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Uri) :*: (S1 ('MetaSel ('Just "itemNeedsType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "itemName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameDetails)))) |
properties :: Properties '['PropertyKey "autoExtendOn" TBoolean, 'PropertyKey "snippetsOn" TBoolean] #