package dose3

  1. Overview
  2. Docs
package dose3
Legend:
Library
Module
Module type
Parameter
Class
Class type
type request = Cudf.package list
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 result =
  1. | Success of ?all:bool -> unit -> Cudf.package list
  2. | Failure of unit -> reason list
type diagnosis = {
  1. result : result;
  2. request : request;
}
type reason_int =
  1. | DependencyInt of int * Cudf_types.vpkg list * int list
  2. | MissingInt of int * Cudf_types.vpkg list
  3. | ConflictInt of int * int * Cudf_types.vpkg
type result_int =
  1. | SuccessInt of ?all:bool -> unit -> int list
  2. | FailureInt of unit -> reason_int list
type request_int = int list
val request : Cudf.universe -> request_int -> Cudf.package list
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. mutable unique_selfconflict : int;
  6. summary : Cudf.package list ref ResultHash.t;
  7. statistic : (int * int, int ref) Hashtbl.t;
}
val default_result : int -> summary
val collect : summary -> diagnosis -> unit
val pp_out_version : Format.formatter -> unit
val pp_package : ?source:bool -> ?fields:bool -> Common.CudfAdd.pp -> Format.formatter -> Cudf.package -> unit
val pp_list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val print_error : ?condense:bool -> ?minimal:bool -> Common.CudfAdd.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:Common.CudfAdd.pp -> ?explain:bool -> unit -> Format.formatter -> summary -> unit
val fprintf : ?pp:Common.CudfAdd.pp -> ?failure:bool -> ?success:bool -> ?explain:bool -> ?minimal:bool -> ?condense:bool -> Format.formatter -> diagnosis -> unit
val printf : ?pp:Common.CudfAdd.pp -> ?failure:bool -> ?success:bool -> ?explain:bool -> diagnosis -> unit
val print_dot : ?pp:Common.CudfAdd.pp -> ?condense:bool -> ?addmissing:bool -> ?dir:string -> diagnosis -> unit