module Edsp: sig
.. end
Representation of a apt-get <-> solvers protocol edsp 0.3
include struct ... end
type
request = {
|
request : string ; |
|
install : Format822.vpkg list ; |
|
remove : Format822.vpkg list ; |
|
autoremove : bool ; |
|
upgrade : bool ; |
|
distupgrade : bool ; |
|
strict_pin : bool ; |
|
preferences : string ; |
}
val default_request : request
val from_apt_request : Format822.architecture -> request -> Apt.apt_req -> request
val parse_s : ?opt:'a ->
?err:string ->
?multi:bool ->
((Lexing.position * Lexing.position) * 'b -> 'a) ->
string -> (string * ((Lexing.position * Lexing.position) * 'b)) list -> 'a
val parse_string : 'a * 'b -> 'b
val parse_int_s : 'a * string -> string
val parse_req : Format822.loc * string -> Format822.vpkg list
val parse_request_stanza : (string * (Format822.loc * string)) list -> request
val parse_bool_s : 'a * string -> string
val parse_installed : (string * (Format822.loc * Format822.architecture)) list -> string
val parse_hold : (string * (Format822.loc * Format822.architecture)) list -> string
val parse_apt_id : (string * (Format822.loc * Format822.architecture)) list ->
Format822.architecture
val parse_apt_pin : (string * (Format822.loc * Format822.architecture)) list -> string
val parse_automatic : (string * (Format822.loc * Format822.architecture)) list -> string
val parse_candidate : (string * (Format822.loc * Format822.architecture)) list -> string
val parse_section : (string * (Format822.loc * Format822.architecture)) list ->
Format822.architecture
: (string *
((string * (Format822.loc * Format822.architecture)) list ->
Format822.architecture)
option)
list
val packages_parser : ?request:bool ->
Format822.architecture list ->
request * Packages.package list ->
Format822.deb_parser -> request * Packages.package list
val input_raw_ch : ?archs:Format822.architecture list ->
IO.input -> request * Packages.package list
val input_raw : ?archs:Format822.architecture list ->
string -> request * Packages.package list
: (string *
(string *
[> `Bool of bool option | `Int of 'a option | `String of string option ]))
list
val is_installed : Packages.package -> bool
val is_on_hold : Packages.package -> bool
val tocudf : Debcudf.tables ->
?options:Debcudf.options -> ?inst:bool -> Packages.package -> Cudf.package
val requesttocudf : Debcudf.tables -> Cudf.universe -> request -> Cudf.request