Safe Haskell	None
Language	Haskell2010

Development.IDE.Plugin.Completions.Types

Synopsis

data CachedCompletions = CC {
- allModNamesAsNS :: [Text]
- unqualCompls :: [CompItem]
- qualCompls :: QualCompls
- importableModules :: [Text]
}
newtype QualCompls = QualCompls {
- getQualCompls :: Map Text [CompItem]
}
data CompItem = CI {
- compKind :: CompletionItemKind
- insertText :: Text
- importedFrom :: Either SrcSpan Text
- typeText :: Maybe Text
- label :: Text
- isInfix :: Maybe Backtick
- docs :: SpanDoc
- isTypeCompl :: Bool
- additionalTextEdits :: Maybe ExtendImport
}
data ExtendImport = ExtendImport {
- doc :: !Uri
- newThing :: !Text
- thingParent :: !(Maybe Text)
- importName :: !Text
- importQual :: !(Maybe Text)
}
data CompletionsConfig = CompletionsConfig {
- enableSnippets :: Bool
- enableAutoExtend :: Bool
}
data Backtick
- = Surrounded
- | LeftSide
extendImportCommandId :: Text
properties :: Properties '['PropertyKey "autoExtendOn" 'TBoolean, 'PropertyKey "snippetsOn" 'TBoolean]
getCompletionsConfig :: MonadLsp Config m => PluginId -> m CompletionsConfig

Documentation

data CachedCompletions Source #

End result of the completions

Constructors

CC
Fields allModNamesAsNS :: [Text] All module names in scope. Prelude is a single module unqualCompls :: [CompItem] All Possible completion items qualCompls :: QualCompls Completion items associated to to a specific module name. importableModules :: [Text] All modules that may be imported.

Instances

Instances details

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

newtype QualCompls Source #

Constructors

QualCompls
Fields getQualCompls :: Map Text [CompItem]

Instances

Instances details

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

data CompItem Source #

Constructors

CI

Fields

compKind :: CompletionItemKind
insertText :: Text
Snippet for the completion
importedFrom :: Either SrcSpan Text
From where this item is imported from.
typeText :: Maybe Text
Available type information.
label :: Text
Label to display to the user.
isInfix :: Maybe Backtick
Did the completion happen in the context of an infix notation.
docs :: SpanDoc
Available documentation.
isTypeCompl :: Bool
additionalTextEdits :: Maybe ExtendImport

Instances

Instances details

Eq CompItem Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types Methods (==) :: CompItem -> CompItem -> Bool # (/=) :: CompItem -> CompItem -> Bool #
Show CompItem Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types Methods showsPrec :: Int -> CompItem -> ShowS # show :: CompItem -> String # showList :: [CompItem] -> ShowS #

data ExtendImport Source #

Constructors

ExtendImport
Fields doc :: !Uri newThing :: !Text thingParent :: !(Maybe Text) importName :: !Text importQual :: !(Maybe Text)

Instances

Instances details

Eq ExtendImport Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types Methods (==) :: ExtendImport -> ExtendImport -> Bool # (/=) :: ExtendImport -> ExtendImport -> Bool #
Show ExtendImport Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types Methods showsPrec :: Int -> ExtendImport -> ShowS # show :: ExtendImport -> String # showList :: [ExtendImport] -> ShowS #
Generic ExtendImport Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types Associated Types type Rep ExtendImport :: Type -> Type # Methods from :: ExtendImport -> Rep ExtendImport x # to :: Rep ExtendImport x -> ExtendImport #
ToJSON ExtendImport Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types Methods toJSON :: ExtendImport -> Value # toEncoding :: ExtendImport -> Encoding # toJSONList :: [ExtendImport] -> Value # toEncodingList :: [ExtendImport] -> Encoding #
FromJSON ExtendImport Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types Methods parseJSON :: Value -> Parser ExtendImport # parseJSONList :: Value -> Parser [ExtendImport] #
type Rep ExtendImport Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types type Rep ExtendImport = D1 ('MetaData "ExtendImport" "Development.IDE.Plugin.Completions.Types" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" '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 CompletionsConfig Source #

Constructors

CompletionsConfig
Fields enableSnippets :: Bool enableAutoExtend :: Bool

data Backtick Source #

Constructors

Surrounded
LeftSide

Instances

Instances details

Eq Backtick Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types Methods (==) :: Backtick -> Backtick -> Bool # (/=) :: Backtick -> Backtick -> Bool #
Ord Backtick Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types Methods compare :: Backtick -> Backtick -> Ordering # (<) :: Backtick -> Backtick -> Bool # (<=) :: Backtick -> Backtick -> Bool # (>) :: Backtick -> Backtick -> Bool # (>=) :: Backtick -> Backtick -> Bool # max :: Backtick -> Backtick -> Backtick # min :: Backtick -> Backtick -> Backtick #
Show Backtick Source #
Instance details Defined in Development.IDE.Plugin.Completions.Types Methods showsPrec :: Int -> Backtick -> ShowS # show :: Backtick -> String # showList :: [Backtick] -> ShowS #

extendImportCommandId :: Text Source #

properties :: Properties '['PropertyKey "autoExtendOn" 'TBoolean, 'PropertyKey "snippetsOn" 'TBoolean] Source #

getCompletionsConfig :: MonadLsp Config m => PluginId -> m CompletionsConfig Source #