Idris2Doc : Pack.CmdLn.Completion

Pack.CmdLn.Completion

(source)

Definitions

complete : HasIOio=>String->String->Env->EitherTPackErrio ()
  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