| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.CommandLine.Completion
Contents
Synopsis
- exactComplete :: String -> [String] -> [Completion]
- prefixCompleteTermOrType :: String -> ProjectPath -> Transaction [Completion]
- prefixCompleteTerm :: String -> ProjectPath -> Transaction [Completion]
- prefixCompleteType :: String -> ProjectPath -> Transaction [Completion]
- prefixCompletePatch :: String -> ProjectPath -> Transaction [Completion]
- noCompletions :: MonadIO m => String -> Codebase m v a -> AuthenticatedHttpClient -> ProjectPath -> m [Completion]
- prefixCompleteNamespace :: String -> ProjectPath -> Transaction [Completion]
- prettyCompletion :: Bool -> (String, Pretty ColorText) -> Completion
- fixupCompletion :: String -> [Completion] -> [Completion]
- haskelineTabComplete :: MonadIO m => Map String InputPattern -> Codebase m v a -> AuthenticatedHttpClient -> ProjectPath -> CompletionFunc m
- sharePathCompletion :: MonadIO m => AuthenticatedHttpClient -> String -> m [Completion]
Completers
exactComplete :: String -> [String] -> [Completion] Source #
Constructs a list of Completions from a query and completion options by
filtering them for prefix matches. A completion will be selected if it's an exact match for
a provided option.
prefixCompleteTermOrType :: String -> ProjectPath -> Transaction [Completion] Source #
Completes a term or type argument by prefix-matching against the query.
prefixCompleteTerm :: String -> ProjectPath -> Transaction [Completion] Source #
Completes a term argument by prefix-matching against the query.
prefixCompleteType :: String -> ProjectPath -> Transaction [Completion] Source #
Completes a term or type argument by prefix-matching against the query.
prefixCompletePatch :: String -> ProjectPath -> Transaction [Completion] Source #
Completes a patch argument by prefix-matching against the query.
noCompletions :: MonadIO m => String -> Codebase m v a -> AuthenticatedHttpClient -> ProjectPath -> m [Completion] Source #
The empty completor.
prefixCompleteNamespace :: String -> ProjectPath -> Transaction [Completion] Source #
Completes a namespace argument by prefix-matching against the query.
prettyCompletion :: Bool -> (String, Pretty ColorText) -> Completion Source #
fixupCompletion :: String -> [Completion] -> [Completion] Source #
haskelineTabComplete :: MonadIO m => Map String InputPattern -> Codebase m v a -> AuthenticatedHttpClient -> ProjectPath -> CompletionFunc m Source #
A completion func for use with Haskeline
sharePathCompletion :: MonadIO m => AuthenticatedHttpClient -> String -> m [Completion] Source #