Evince.Config

Definitions

parseArgsWarn : List String -> (RunConfig, List String)

  Parse command-line arguments, also collecting a warning for every
  argument that is unknown or has a missing/invalid value.

Visibility: export

parseArgs : List String -> RunConfig

  Parse command-line arguments into a RunConfig. Unknown or invalid
  arguments are ignored; use `parseArgsWarn` to also collect warnings.

Visibility: export

usage : String

  Reference text for the CLI flags understood by the `*WithArgs` runners.

Visibility: export

handleArgs : List String -> IO RunConfig

  Parse CLI arguments for a runner: `--help` prints the flag reference and
  exits, and each unknown or invalid argument gets a warning on stderr.

Visibility: export