License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.Completion
Description
Synopsis
- replCompletion :: CompletionFunc Idris
- proverCompletion :: [String] -> CompletionFunc Idris
Documentation
replCompletion :: CompletionFunc Idris Source #
Complete REPL commands and defined identifiers
Arguments
:: [String] | The names of current local assumptions |
-> CompletionFunc Idris |
Complete tactics and their arguments