package topkg
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha512=4b632b60137852bb72ff9c8cdc2e16ac5ece6473569e50963fef9c1e800a0933a516bea1107b04011645afa4a1e78893c82dbce0aa8de2970d4d6c6d0dd2fe02
doc/topkg/Topkg/Cmd/index.html
Module Topkg.Cmd
Command lines.
Both command lines and command line fragments using the same are represented with the same type.
When a command line is run, the first element of the line defines the program name and each other element is an argument that is passed as is in the program's argv
array: no shell interpretation or any form of argument quoting and/or concatenation occurs.
Command line fragments
val v : string -> t
v cmd
is a new command line (or command line fragment) whose first argument is cmd
.
val empty : t
empty
is an empty command line.
val is_empty : t -> bool
is_empty l
is true
iff l
is empty.
val p : fpath -> string
p
is (fun f -> f)
.
Predicates and comparison
Conversions and pretty printing
val to_list : t -> string list
to_list l
is l
as a list of strings.
val of_list : ?slip:string -> string list -> t
of_list ?slip l
is a command line from the list of arguments l
. If slip
is specified it is added on the command line before each element of l
.
val dump : Format.formatter -> t -> unit
dump ppf cmd
formats an unspecified representation of cmd
on ppf
.