package dose

  1. Overview
  2. Docs
type reason =
  1. | Dependency of Cudf.package * Cudf_types.vpkg list * Cudf.package list
  2. | Missing of Cudf.package * Cudf_types.vpkg list
  3. | Conflict of Cudf.package * Cudf.package * Cudf_types.vpkg
type request =
  1. | Package of Cudf.package
  2. | PackageList of Cudf.package list
type result =
  1. | Success of ?all:bool -> unit -> Cudf.package list
  2. | Failure of unit -> reason list
type diagnosis = {
  1. result : result;
  2. request : request;
}
module ResultHash : sig ... end
type summary = {
  1. mutable missing : int;
  2. mutable conflict : int;
  3. mutable unique_missing : int;
  4. mutable unique_conflict : int;
  5. 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 default_pp : pp
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 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
OCaml

Innovation. Community. Security.