Pack.CmdLn.Opts

Definitions

optionNames : List String

  Names of all command line options (prefixed with "-" in case of
  single-character option names and with "--" in case of multi-character
  option names.

Totality: total
Visibility: export

applyArgs : (0 c : Type) -> {auto {conArg:12464} : Command c} -> CurDir -> MetaConfig -> List String -> Either PackErr (MetaConfig, CommandWithArgs c)

  Given the current directory (from which pack was invoked)
  and an initial config assembled from the `pack.toml` files
  in scope, generates the application
  config and command to run from a list of command
  line arguments.
  
  @ c      : Type representing the command to run
             We abstract over this type, because pack and
             pack-admin accept different kinds of commands,
             and both applications use this function to parse
             the command line args
  
  @ curDir : Current working directory
  @ init   : Initial config (possibly assebled from `pack.toml` files)
  @ args   : List of command line arguments

Totality: total
Visibility: export

usageInfo : String

  Application info printed with the `help` action.

Totality: total
Visibility: export