Idris2Doc : Pack.CmdLn.Completion

Pack.CmdLn.Completion

(source)

Definitions

complete : HasIO io => String -> String -> Env -> EitherT PackErr io ()
  Prints tab-completion options based on the last and second-to-last
command line argument.

Visibility: export
completionScript : String -> String
  Bash autocompletion script using the given function name

Visibility: export