package opam-0install

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Solver.Make`Source

module C : S.CONTEXT

module Input : 
  Zeroinstall_solver.S.SOLVER_INPUT with type rejection = C.rejection

This defines what the solver sees (hiding the raw XML, etc).

Sourcemodule Solver : sig ... end

include S.SOLVER with type t = C.t and type selections = Solver.Output.t

Sourcetype t = C.t

Sourcetype selections = Solver.Output.t

Sourcetype diagnostics

Sourceval solve : t -> OpamPackage.Name.t list -> (selections, diagnostics) result

solve t package_names finds a compatible set of package versions that includes all packages in package_names and their required dependencies.

Sourceval packages_of_result : selections -> OpamPackage.t list

Sourceval diagnostics : ?verbose:bool -> diagnostics -> string

diagnostics d is a message explaining why d failed, generated by performing another solve which doesn't abort on failure.

Sourcemodule Diagnostics : sig ... end

Sourceval version : Input.impl -> OpamPackage.t option

Sourceval package_name : Input.Role.t -> OpamPackage.Name.t option

val formula : 
  Input.restriction ->
  [ `Ensure | `Prevent ] * OpamFormula.version_formula

Sourceval diagnostics_rolemap : diagnostics -> Diagnostics.t