Module `OpamCudf`Source

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

Sourceval diff : Cudf.universe -> Cudf.universe -> Set.t * Set.t

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

Sourcemodule Action : OpamActionGraph.ACTION with type package = Package.t

Cudf action graph

Sourcemodule ActionGraph : OpamActionGraph.SIG with type package = Package.t

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

Source

val 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

Source

val get_final_universe : 
  version_map:int OpamPackage.Map.t ->
  Cudf.universe ->
  Cudf_types.vpkg OpamTypes.request ->
  (Cudf.universe, conflict) OpamTypes.result

Compute the final universe state using the external solver.

Source

val 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

Source

val 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.

May raise Cyclic_actions.

Source

val trim_actions : 
  Cudf.universe ->
  OpamPackage.Name.Set.t ->
  ActionGraph.t ->
  unit

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.

Source

val compute_root_causes : 
  ActionGraph.t ->
  OpamPackage.Name.Set.t ->
  OpamPackage.Set.t ->
  OpamPackage.Set.t ->
  Cudf.package OpamTypes.cause Map.t

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

Source

val resolve : 
  extern:bool ->
  version_map:int OpamPackage.Map.t ->
  Cudf.universe ->
  Cudf_types.vpkg OpamTypes.request ->
  (Cudf.universe, conflict) OpamTypes.result

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

Source

val to_actions : 
  Cudf.universe ->
  (Cudf.universe, conflict) OpamTypes.result ->
  (Cudf.package OpamTypes.atomic_action list, conflict) OpamTypes.result

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.

Source

val remove : 
  Cudf.universe ->
  Cudf_types.pkgname ->
  Cudf_types.constr ->
  Cudf.universe

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.

Sourceval install : Cudf.universe -> Cudf.package -> Cudf.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).

Source

val 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.

Source

val make_conflicts : 
  version_map:int OpamTypes.package_map ->
  Cudf.universe ->
  Dose_algo.Diagnostic.diagnosis ->
  ('a, conflict) OpamTypes.result

Source

val cycle_conflict : 
  version_map:int OpamTypes.package_map ->
  Cudf.universe ->
  Cudf.package OpamTypes.action list list ->
  ('a, conflict) OpamTypes.result

Sourcetype explanation = [

| `Conflict of string option * string list * bool
| `Missing of string option * string * (OpamPackage.Name.t * OpamFormula.version_formula) OpamFormula.formula

]

Source

val 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)

Source

val string_of_explanations : 
  ((OpamTypes.name * OpamFormula.version_formula) -> string) ->
  (explanation list * Action.t list list) ->
  string

Source

val 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)

Source

val string_of_explanation : 
  ((OpamTypes.name * OpamFormula.version_formula) -> string) ->
  explanation ->
  string * string list * string list

Source

val conflict_explanations_raw : 
  OpamTypes.package_set ->
  conflict ->
  explanation list * Action.t list list

Source

val string_of_conflict : 
  ?start_column:int ->
  (string * string list * string list) ->
  string

Properly concat a single conflict as returned by conflict_explanations for display

Source

val 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

Sourceval cudf2opam : Cudf.package -> OpamTypes.package

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

Source

val to_cudf : 
  Cudf.universe ->
  Cudf_types.vpkg OpamTypes.request ->
  Cudf.preamble * Cudf.universe * Cudf.request

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/opam-solver/OpamCudf/index.html

Module `OpamCudf`Source

Pretty-printing

package opam-solver

Install

Dune Dependency

Authors

Maintainers

Sources

doc/opam-solver/OpamCudf/index.html

Module OpamCudfSource

Pretty-printing

Module `OpamCudf`Source