OpamArg (opam-client.OpamArg)

Helpers and argument constructors

CLI versioning

type validity

val cli2_0 : OpamCLIVersion.t

val cli2_1 : OpamCLIVersion.t

val cli2_2 : OpamCLIVersion.t

val cli2_3 : OpamCLIVersion.t

val cli2_4 : OpamCLIVersion.t

val cli2_5 : OpamCLIVersion.t

val cli_from : 
  ?platform:[ `all | `windows | `unix ] ->
  ?experimental:bool ->
  OpamCLIVersion.t ->
  validity

val cli_between : 
  ?option:[ `experimental | `default ] ->
  OpamCLIVersion.t ->
  ?replaced:string ->
  OpamCLIVersion.t ->
  validity

val cli_original : validity

Common helphers

val mk_flag : 
  cli:OpamCLIVersion.Sourced.t ->
  validity ->
  ?section:string ->
  string list ->
  string ->
  bool OpamCmdliner.Term.t

val mk_flag_replaced : 
  cli:OpamCLIVersion.Sourced.t ->
  ?section:string ->
  (validity * string list) list ->
  string ->
  bool OpamCmdliner.Term.t

val mk_opt : 
  cli:OpamCLIVersion.Sourced.t ->
  validity ->
  ?section:string ->
  ?vopt:'a ->
  string list ->
  string ->
  string ->
  'a OpamCmdliner.Arg.conv ->
  'a ->
  'a OpamCmdliner.Term.t

val mk_opt_all : 
  cli:OpamCLIVersion.Sourced.t ->
  validity ->
  ?section:string ->
  ?vopt:'a ->
  ?default:'a list ->
  string list ->
  string ->
  string ->
  'a OpamCmdliner.Arg.conv ->
  'a list OpamCmdliner.Term.t

val mk_vflag : 
  cli:OpamCLIVersion.Sourced.t ->
  ?section:string ->
  'a ->
  (validity * 'a * string list * string) list ->
  'a OpamCmdliner.Term.t

val mk_vflag_all : 
  cli:OpamCLIVersion.Sourced.t ->
  ?section:string ->
  ?default:'a list ->
  (validity * 'a * string list * string) list ->
  'a list OpamCmdliner.Term.t

val dir_sep : string

val escape_path : string -> string

Flags

val print_short_flag : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  validity ->
  bool OpamCmdliner.Term.t

--short

val shell_opt : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  validity ->
  OpamTypes.shell option OpamCmdliner.Term.t

--shell

val dot_profile_flag : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  validity ->
  OpamTypes.filename option OpamCmdliner.Term.t

--dot-profile

val repo_kind_flag : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  validity ->
  OpamUrl.backend option OpamCmdliner.Term.t

--http/ --git/ --local

val jobs_flag : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  validity ->
  int option OpamCmdliner.Term.t

--jobs

val formula_flag : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  OpamTypes.formula OpamCmdliner.Term.t

--formula

val name_list : OpamTypes.name list OpamCmdliner.Term.t

package names

val param_list : string list OpamCmdliner.Term.t

parameters

val atom_list : OpamFormula.atom list OpamCmdliner.Term.t

package list with optional constraints

val nonempty_atom_list : OpamFormula.atom list OpamCmdliner.Term.t

package list with optional constraints

val atom_or_local_list : 
  [ `Atom of OpamTypes.atom
  | `Filename of OpamTypes.filename
  | `Dirname of OpamTypes.dirname ]
    list
    OpamCmdliner.Term.t

val atom_or_dir_list : 
  [ `Atom of OpamTypes.atom | `Dirname of OpamTypes.dirname ] list
    OpamCmdliner.Term.t

val arg_list : 
  string ->
  string ->
  'a OpamCmdliner.Arg.conv ->
  'a list OpamCmdliner.Term.t

Generic argument list builder

val nonempty_arg_list : 
  string ->
  string ->
  'a OpamCmdliner.Arg.conv ->
  'a list OpamCmdliner.Term.t

Generic argument list builder

val confirm_enum : (validity * string * OpamStd.Config.answer) list

Confirmation level enum

Global options

type global_options = {

debug_level : int option;
verbose : int;
quiet : bool;
color : OpamStd.Config.when_ option;
opt_switch : string option;
confirm_level : OpamStd.Config.answer option;
yes : bool option;
strict : bool;
opt_root : OpamTypes.dirname option;
git_version : bool;
external_solver : string option;
use_internal_solver : bool;
cudf_file : string option;
solver_preferences : string option;
best_effort : bool;
safe_mode : bool;
json : string option;
no_auto_upgrade : bool;
working_dir : bool;
ignore_pin_depends : bool;
cli : OpamCLIVersion.t;

}

Type for global options

val global_options : 
  OpamCLIVersion.Sourced.t ->
  global_options OpamCmdliner.Term.t

Global options

val apply_global_options : OpamCLIVersion.Sourced.t -> global_options -> unit

Apply global options

Build options

type build_options

Abstract type for build options

val man_build_option_section : OpamCmdliner.Manpage.block list

val build_options : 
  OpamCLIVersion.Sourced.t ->
  build_options OpamCmdliner.Term.t

Build options

val assume_built : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  bool OpamCmdliner.Term.t

Install and reinstall options

val recurse : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  bool OpamCmdliner.Term.t

val subpath : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  OpamTypes.subpath option OpamCmdliner.Term.t

val apply_build_options : OpamCLIVersion.Sourced.t -> build_options -> unit

Applly build options

val locked : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  bool OpamCmdliner.Term.t

Lock options

val lock_suffix : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  string OpamCmdliner.Term.t

val no_checksums : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  validity ->
  bool OpamCmdliner.Term.t

Checksum options

val require_checksums : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  validity ->
  bool OpamCmdliner.Term.t

Package listing and filtering options

val package_selection_section : string

Man section name

val order_sensible_selector_section : string

val post : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  bool OpamCmdliner.Term.t

Some package selection flags. Default section is âckage seletion one

val dev : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  bool OpamCmdliner.Term.t

val doc_flag : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  bool OpamCmdliner.Term.t

val test : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  bool OpamCmdliner.Term.t

val dev_setup : 
  ?section:string ->
  OpamCLIVersion.Sourced.t ->
  bool OpamCmdliner.Term.t

val package_selection : 
  OpamCLIVersion.Sourced.t ->
  OpamListCommand.selector list OpamCmdliner.Term.t

Build a package selection filter

val package_listing_section : string

Man section name

val package_listing : 
  OpamCLIVersion.Sourced.t ->
  (force_all_versions:bool ->
    OpamListCommand.package_listing_format)
    OpamCmdliner.Term.t

Package selection filter based on the current state of packages (installed, available, etc.)

Converters

val repository_name : OpamTypes.repository_name OpamCmdliner.Arg.conv

Repository name converter

val url : OpamTypes.url OpamCmdliner.Arg.conv

URL converter

val filename : OpamTypes.filename OpamCmdliner.Arg.conv

Filename converter

val existing_filename_or_dash : OpamTypes.filename option OpamCmdliner.Arg.conv

Filename converter also accepting "-" for stdin/stdout

val dirname : OpamTypes.dirname OpamCmdliner.Arg.conv

Dirnam converter

val existing_filename_dirname_or_dash : 
  OpamFilename.generic_file option OpamCmdliner.Arg.conv

val positive_integer : int OpamCmdliner.Arg.conv

val package_name : OpamTypes.name OpamCmdliner.Arg.conv

Package name converter

val package_version : OpamTypes.version OpamCmdliner.Arg.conv

Package version converter

val package : (OpamTypes.name * OpamTypes.version option) OpamCmdliner.Arg.conv

name{.version} (or name=version)

val package_with_version : OpamTypes.package OpamCmdliner.Arg.conv

name.version (or name=version)

val atom : OpamTypes.atom OpamCmdliner.Arg.conv

name{(.|=|!=|>|<|>=|<=)version} converter

val atom_or_local : 
  [ `Atom of OpamTypes.atom
  | `Filename of OpamTypes.filename
  | `Dirname of OpamTypes.dirname ]
    OpamCmdliner.Arg.conv

Accepts atom but also (explicit) file and directory names

val atom_or_dir : 
  [ `Atom of OpamTypes.atom | `Dirname of OpamTypes.dirname ]
    OpamCmdliner.Arg.conv

val dep_formula : OpamTypes.formula OpamCmdliner.Arg.conv

Formula, in the same format as depends: in opam files

val variable_bindings : (OpamVariable.t * string) list OpamCmdliner.Arg.conv

var=value,... argument

val warn_selector : 
  (int * [ `Enable | `Disable | `EnableError ]) list OpamCmdliner.Arg.conv

Warnings string "+3..10-4@12"

val opamlist_columns : OpamListCommand.output_format list OpamCmdliner.Arg.conv

val hash_kinds : OpamHash.kind OpamCmdliner.Arg.conv

Subcommands

type 'a subcommand = validity * string * 'a * string list * string

A subcommand cmds, v, args, doc is the subcommand cmd, using the documentation doc and the list of documentation parameters args. If the subcommand is selected, return v value.

type 'a subcommands = 'a subcommand list

val mk_subcommands : 
  cli:OpamCLIVersion.Sourced.t ->
  'a subcommands ->
  'a option OpamCmdliner.Term.t * string list OpamCmdliner.Term.t

subcommands cmds are the terms cmd and params. cmd parses which sub-commands in cmds is selected and params parses the remaining of the command-line parameters as a list of strings.

type 'a default = [> `default of string ] as 'a

val mk_subcommands_with_default : 
  cli:OpamCLIVersion.Sourced.t ->
  'a default subcommands ->
  'a option OpamCmdliner.Term.t * string list OpamCmdliner.Term.t

Same as mk_subcommands but use the default value if no sub-command is selected.

val bad_subcommand : 
  cli:OpamCLIVersion.Sourced.t ->
  'a default subcommands ->
  (string * 'a option * string list) ->
  'b OpamCmdliner.Term.ret

bad_subcommand cmds cmd is a command return value denoting a parsing error of sub-commands.

val mk_subdoc : 
  cli:OpamCLIVersion.Sourced.t ->
  ?defaults:(string * string) list ->
  ?extra_defaults:(validity * string * string) list ->
  'a subcommands ->
  OpamCmdliner.Manpage.block list

mk_subdoc cmds is the documentation block for cmds.

val make_command_alias : 
  cli:OpamCLIVersion.Sourced.t ->
  ('a OpamCmdliner.Term.t * OpamCmdliner.Cmd.info) ->
  ?options:string ->
  string ->
  'a OpamCmdliner.Term.t * OpamCmdliner.Cmd.info

Create an alias for an existing command. options can be used to add extra options after the original command in the doc (eg like `unpin` is an alias for `pin remove`).

Commands

type command = unit OpamCmdliner.Term.t * OpamCmdliner.Cmd.info

val mk_command : 
  cli:OpamCLIVersion.Sourced.t ->
  validity ->
  string ->
  doc:string ->
  man:OpamCmdliner.Manpage.block list ->
  (unit -> unit) OpamCmdliner.Term.t ->
  command

val mk_command_ret : 
  cli:OpamCLIVersion.Sourced.t ->
  validity ->
  string ->
  doc:string ->
  man:OpamCmdliner.Manpage.block list ->
  (unit -> unit OpamCmdliner.Term.ret) OpamCmdliner.Term.t ->
  command

Documentation

val global_option_section : string

val help_sections : OpamCLIVersion.Sourced.t -> OpamCmdliner.Manpage.block list

Environment variables

val preinit_opam_env_variables : unit -> unit

val init_opam_env_variabes : OpamCLIVersion.Sourced.t -> unit

val scrubbed_environment_variables : string list