Module OpamCudfSource

Solver interaction through Cudf, conversion of solver answer to an opam solution

Sourcemodule Package : sig ... end
Sourcemodule Set : OpamStd.SET with type elt = Package.t

Cudf sets

Sourcemodule Map : OpamStd.MAP with type key = Package.t

Cudf maps

Sourcemodule Graph : sig ... end

Cudf graph

Computation of differences between universe. Returns the sets of packages to install and remove respectively.

Cudf action graph

Sourcetype conflict

Abstract type that may be returned in case of conflicts

Sourceval dependency_sort : Cudf.universe -> Set.t -> Cudf.package list

Sorts the given packages topolgically (be careful if there are cycles, e.g. if the universe was loaded with post dependencies enabled)

Sourceval trim_universe : Cudf.universe -> Set.t -> Cudf.universe

Pre-process a universe to remove incompatible/unneeded packages and ease the task of the solvers

Sourceval check_request : ?explain:bool -> version_map:int OpamPackage.Map.t -> Cudf.universe -> Cudf_types.vpkg OpamTypes.request -> (Cudf.universe, conflict) OpamTypes.result

Check if a request is satisfiable and return the reasons why not unless explain is set to false

Compute the final universe state using the external solver.

Sourceval actions_of_diff : (Set.t * Set.t) -> Cudf.package OpamTypes.atomic_action list

Compute the list of actions to match the difference between two universe. Remark: the result order is unspecified, ie. need to use atomic_actions to get a solution which respects the topological order induced by dependencies.

Sourceexception Cyclic_actions of Cudf.package OpamTypes.action list list
Sourceval atomic_actions : simple_universe:Cudf.universe -> complete_universe:Cudf.universe -> [< Cudf.package OpamTypes.highlevel_action ] list -> ActionGraph.t

Computes the actions to process from a solution, from the actions obtained by a simple universe diff. The 'simple' universe should not contain build dependencies and will be used for resolution ; complete_universe should include build-deps, it's used to get the dependency ordering of actions.

Returns a graph of atomic actions, i.e. only removals and installs. Use reduce_actions to reduce it to a graph including reinstall and up/down-grade actions.

Removes from a graph of actions the disjoint subgraphs that don't concern requested packages. The provided universe should *include* post-dependencies so that they don't get trimmed away. Note: if the specified requested set is empty, all actions are supposed to be meaningful.

Heuristic to compute the likely cause of all actions in a graph from the set of packages passed in the original request. Assumes a reduced graph. Takes the set of requested package names, the set of packages marked for reinstall, and the set of all available packages.

Sourceexception Solver_failure of string

Resolve a CUDF request. The result is either a conflict holding an explanation of the error, or a resulting universe. ~extern specifies whether the external solver should be used

Computes a list of actions to proceed from the result of resolve. Note however than the action list is not yet complete: the transitive closure of reinstallations is not yet completed, as it requires to fold over the dependency graph in considering the optional dependencies.

remove universe name constr Remove all the packages called name satisfying the constraints constr in the universe universe.

Sourceval uninstall_all : Cudf.universe -> Cudf.universe

Uninstall all the package in the universe.

Install a package in the universe. We don't care about any invariant here (eg. the resulting universe can have multiple versions of the same package installed).

Sourceval remove_all_uninstalled_versions_but : Cudf.universe -> string -> Cudf_types.constr -> Cudf.universe

Remove all the versions of a given package, but the one given as argument.

Cudf labels for package fields in the cudf format (use for the field Cudf.pkg_extra and with Cudf.lookup_package_property)

Sourceval s_source : string

the original OPAM package name (as string)

Sourceval s_source_number : string

the original OPAM package version (as string)

Sourceval s_reinstall : string

a package to be reinstalled (a bool)

Sourceval s_installed_root : string

true if this package belongs to the roots ("installed manually") packages

Sourceval s_pinned : string

true if the package is pinned to this version

Sourceval s_version_lag : string

the number of versions of the package since this one, cubed

Sourceval opam_invariant_package_name : string

valid cudf name for the dummy package used for enforcing opam's switch invariants

Sourceval opam_invariant_package : string * int

valid cudf name and version for the dummy package used for enforcing opam's switch invariants

Sourceval opam_deprequest_package_name : string
Sourceval opam_deprequest_package : string * int
Sourceval is_opam_invariant : Cudf.package -> bool
Sourceval unavailable_package_name : string

dummy package that shouldn't exist and encodes unavailability (by depending on it)

Sourceval unavailable_package : string * int
Sourceval is_unavailable_package : Cudf.package -> bool

Pretty-printing

Sourceval string_of_vpkgs : Cudf_types.vpkg list -> string

Convert a package constraint to something readable.

Sourceval cycle_conflict : version_map:int OpamTypes.package_map -> Cudf.universe -> Cudf.package OpamTypes.action list list -> ('a, conflict) OpamTypes.result
Sourcetype explanation = [
  1. | `Conflict of string option * string list * bool
  2. | `Missing of string option * string * OpamFormula.t
]
Sourceval string_of_conflicts : OpamTypes.package_set -> ((OpamTypes.name * OpamFormula.version_formula) -> string) -> conflict -> string

Convert a conflict to something readable by the user. The second argument should return a string explaining the unavailability, or the empty string, when called on an unavailable package (the reason can't be known this deep in the solver)

Sourceval string_of_explanations : ((OpamTypes.name * OpamFormula.version_formula) -> string) -> (explanation list * Action.t list list) -> string
Sourceval conflict_explanations : OpamTypes.package_set -> ((OpamTypes.name * OpamFormula.version_formula) -> string) -> conflict -> (string * string list * string list) list * string list

Returns two lists:

  • the reasons why the request can't be satisfied with conflict explanations
  • the cycles in the actions to process (exclusive with the first)
Sourceval string_of_explanation : ((OpamTypes.name * OpamFormula.version_formula) -> string) -> explanation -> string * string list * string list
Sourceval conflict_explanations_raw : OpamTypes.package_set -> conflict -> explanation list * Action.t list list
Sourceval string_of_conflict : ?start_column:int -> (string * string list * string list) -> string

Properly concat a single conflict as returned by conflict_explanations for display

Sourceval conflict_cycles : conflict -> OpamTypes.package OpamTypes.action list list option
Sourceval dump_universe : out_channel -> Cudf.universe -> unit

Dumps the given cudf universe to the given channel

Sourceval string_of_atom : Cudf_types.vpkg -> string

Pretty-print atoms

Sourceval string_of_request : Cudf_types.vpkg OpamTypes.request -> string

Pretty-print requests

Sourceval string_of_universe : Cudf.universe -> string

Pretty-print the universe

Sourceval string_of_packages : Cudf.package list -> string

Pretty-print of packages

Convert a cudf package back to an OPAM package

Sourceval packages : Cudf.universe -> Cudf.package list

Returns the list of packages in a Cudf universe

Converts an OPAM request to a Cudf request. The wish_install field is required to be a conjunction

Sourceval action_contents : 'a OpamTypes.action -> 'a

Like OpamTypesBase.action_contents but return the single package of remove, install, reinstal, and change action

Sourcemodule Json : sig ... end