Safe Haskell | None |
---|---|
Language | Haskell98 |
- type CompletionFunc m = (String, String) -> m (String, [Completion])
- data Completion = Completion {
- replacement :: String
- display :: String
- isFinished :: Bool
- noCompletion :: Monad m => CompletionFunc m
- simpleCompletion :: String -> Completion
- completeWord :: Monad m => Maybe Char -> [Char] -> (String -> m [Completion]) -> CompletionFunc m
- completeWordWithPrev :: Monad m => Maybe Char -> [Char] -> (String -> String -> m [Completion]) -> CompletionFunc m
- completeQuotedWord :: Monad m => Maybe Char -> [Char] -> (String -> m [Completion]) -> CompletionFunc m -> CompletionFunc m
- completeFilename :: MonadIO m => CompletionFunc m
- listFiles :: MonadIO m => FilePath -> m [Completion]
- filenameWordBreakChars :: String
Documentation
type CompletionFunc m = (String, String) -> m (String, [Completion]) Source #
data Completion Source #
Completion | |
|
noCompletion :: Monad m => CompletionFunc m Source #
Disable completion altogether.
simpleCompletion :: String -> Completion Source #
Create a finished completion out of the given word.
Word completion
:: Monad m | |
=> Maybe Char | An optional escape character |
-> [Char] | Characters which count as whitespace |
-> (String -> m [Completion]) | Function to produce a list of possible completions |
-> CompletionFunc m |
A custom CompletionFunc
which completes the word immediately to the left of the cursor.
A word begins either at the start of the line or after an unescaped whitespace character.
:: Monad m | |
=> Maybe Char | An optional escape character |
-> [Char] | Characters which count as whitespace |
-> (String -> String -> m [Completion]) | Function to produce a list of possible completions. The first argument is the line contents to the left of the word, reversed. The second argument is the word to be completed. |
-> CompletionFunc m |
A custom CompletionFunc
which completes the word immediately to the left of the cursor,
and takes into account the line contents to the left of the word.
A word begins either at the start of the line or after an unescaped whitespace character.
:: Monad m | |
=> Maybe Char | An optional escape character |
-> [Char] | Characters which set off quotes |
-> (String -> m [Completion]) | Function to produce a list of possible completions |
-> CompletionFunc m | Alternate completion to perform if the cursor is not at a quoted word |
-> CompletionFunc m |
Filename completion
completeFilename :: MonadIO m => CompletionFunc m Source #