Diagnostic

#

type reason =

# \| Dependency of (Cudf.package * Cudf_types.vpkg list * Cudf.package list)	(*	Not strictly a un-installability, Dependency (a,vpkglist,pkglist) is used to recontruct the the dependency path from the root package to the offending un-installable package	*)
# \| Missing of (Cudf.package * Cudf_types.vpkg list)	(*	Missing (a,vpkglist) means that the dependency `vpkglist` of package `a` cannot be satisfied	*)
# \| Conflict of (Cudf.package * Cudf.package * Cudf_types.vpkg)	(*	Conflict (a,b,vpkg) means that the package `a` is in conflict with package `b` because of vpkg	*)

#

type request =

# \| Package of Cudf.package	(*	Check the installability of one package	*)
# \| PackageList of Cudf.package list	(*	Check the installability of a list of packages	*)

The request provided to the solver

#

type result =

# \| Success of ?all:bool -> unit -> Cudf.package list	(*	If successfull returns a function that will return the installation set for the given query. Since not all packages are tested for installability directly, the installation set might be empty. In this case, the solver can be called again to provide the real installation set using the parameter `~all:true`	*)
# \| Failure of unit -> reason list	(*	If unsuccessful returns a function containing the list of reason	*)

The result of an installability query

#

type diagnosis = {

# result	: result	;
# request	: request	;

}

#

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

module Diagnostic