module Diagnostic: sig
.. end
One un-installability reason for a package
type
reason =
| |
Dependency of (Cudf.package * Cudf_types.vpkg list * Cudf.package list) |
| |
Missing of (Cudf.package * Cudf_types.vpkg list) |
| |
Conflict of (Cudf.package * Cudf.package * Cudf_types.vpkg) |
type
request =
| |
Package of Cudf.package |
| |
PackageList of Cudf.package list |
The request provided to the solver
type
result =
| |
Success of (?all:bool -> unit -> Cudf.package list) |
| |
Failure of (unit -> reason list) |
The result of an installability query
type
diagnosis = {
}
The aggregated result from the solver
module ResultHash: Hashtbl.S
with type key = reason
type
summary = {
|
mutable missing : int ; |
|
mutable conflict : int ; |
|
mutable unique_missing : int ; |
|
mutable unique_conflict : int ; |
|
summary : Cudf.package list Pervasives.ref ResultHash.t ; |
}
val default_result : int -> summary
val collect : summary -> diagnosis -> unit
collect summary result
. Callback function to collect result
information in the summary
data structure. Can be used to build
a custom callback function for Depsolver.listcheck
or Depsolver.univcheck
type
pp = Cudf.package -> string * string * (string * string) list
val default_pp : pp
default_pp
default package printer. Extracts string values from a
cudf package : Name, Version, Fields. Where Fields is a list of
field name , value pairs . If the version of the package is
a negative number, the version version if printed as "nan".
val pp_package : ?source:bool -> pp -> Format.formatter -> Cudf.package -> unit
Default package pretty printer.
val pp_vpkglist : pp -> Format.formatter -> Cudf_types.vpkglist -> unit
Cudf Vpkglist printer.
val pp_dependency : pp ->
?label:string ->
Format.formatter -> Cudf.package * Cudf_types.vpkglist -> unit
val pp_dependencies : pp ->
Format.formatter -> (Cudf.package * Cudf_types.vpkglist) list list -> unit
Print the list of dependencies of a package . The label specifies the
type of dependency ("depends" by default)
val pp_list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val print_error : pp ->
Cudf.package -> Format.formatter -> reason list -> unit
val get_installationset : ?minimal:bool -> diagnosis -> Cudf.package list
If the installablity query is successfull, get_installationset
return
the associated installation set . If minimal is true (false by default),
the installation set is restricted to the dependency cone of the packages
specified in the installablity query. @Raise Not_found
if the result is
a failure.
val is_solution : diagnosis -> bool
True is the result of an installablity query is successfull. False otherwise
val pp_summary : ?pp:(Cudf.package -> Cudf_types.pkgname * string * (string * string) list) ->
?explain:bool -> unit -> Format.formatter -> summary -> unit
val print_error_human : ?prefix:string ->
pp ->
Cudf.package -> Format.formatter -> reason list -> unit
val fprintf_human : ?pp:pp ->
?prefix:string -> Format.formatter -> diagnosis -> unit
val fprintf : ?pp:pp ->
?failure:bool ->
?success:bool ->
?explain:bool ->
?minimal:bool -> Format.formatter -> diagnosis -> unit
val printf : ?pp:pp ->
?failure:bool ->
?success:bool -> ?explain:bool -> diagnosis -> unit