package 0install-solver

  1. Overview
  2. Docs

Some useful abstract module types.

module type CORE_MODEL = sig ... end

To use the solver with a particular packaging system (e.g. 0install), you need to provide an implementation of this module to map your system's concepts on to the solver's.

module type SOLVER_INPUT = sig ... end

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

module type SELECTIONS = sig ... end

Some selections previously produced by a solver.

module type SOLVER_RESULT = sig ... end

The result of running the solver. Unlike the plain SELECTIONS type, this type can relate the selections back to the solver inputs, which is useful to provide diagnostics and the GUI.