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 = {
}
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
type
pp = Cudf.package -> string * string * (string * string) list
val pp_summary : ?pp:(Cudf.package -> Cudf_types.pkgname * string * (string * string) list) ->
?explain:bool -> unit -> Format.formatter -> summary -> unit
val pp_package : ?source:bool -> pp -> Format.formatter -> Cudf.package -> unit
val pp_vpkglist : pp -> Format.formatter -> Cudf_types.vpkglist -> unit
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
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
val is_solution : diagnosis -> bool
val default_pp : Cudf.package -> Cudf_types.pkgname * string * 'a list
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