Dhall.LSP.Backend.Completion

Documentation

completionQueryAt :: Text -> Position -> (Text, Text)

Given the cursor position construct the corresponding 'completion query' consisting of the leadup, i.e. text leading up to the word prefix that is to be completed, as well as the prefix that is to be completed.

data Completion

A completion result, optionally annotated with type information.

Constructors

Completion

Fields

• completeText :: Text
• completeType :: Maybe (Expr Src Void)

completeLocalImport :: FilePath -> FilePath -> IO [Completion]

Complete file names.

completeEnvironmentImport :: IO [Completion]

Complete environment variables.

data CompletionContext

A completion context, consisting of the (approximated) type-checking context. We need to substitute 'dependent lets' later so we keep their values around.

Constructors

CompletionContext

Fields

• context :: Context (Expr Src Void)
• values :: Context (Expr Src Void)

buildCompletionContext :: Expr Src Void -> CompletionContext

Given a 'binders expression' (with arbitrarily many holes) construct the corresponding completion context.

buildCompletionContext' :: Context (Expr Src Void) -> Context (Expr Src Void) -> Expr Src Void -> CompletionContext

contextToVariables :: [(Text, Expr Src Void)] -> [Var]

completeFromContext :: CompletionContext -> [Completion]

Complete identifiers from the given completion context.

completeProjections :: CompletionContext -> Expr Src Void -> [Completion]

Complete union constructors and record projections.