Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package 0install-solver
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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.
module Input : S.SOLVER_INPUTThis defines what the solver sees (hiding the raw XML, etc).
include S.SELECTIONS
with module Role = Input.Role
and type command = Input.command
and type dependency = Input.dependency
and type command_name = Input.command_name
and type dep_info = Input.dep_info
and type requirements = Input.requirements
include S.CORE_MODEL
with module Role = Input.Role
with type command = Input.command
with type dependency = Input.dependency
with type command_name = Input.command_name
with type dep_info = Input.dep_info
with type requirements = Input.requirements
module Role = Input.Roletype command = Input.commandA command is an entry-point provided by an implementation. Using a command may require extra dependencies (for example, a "test" command might depend on a test runner).
type command_name = Input.command_nameAn identifier for a command within a role. Note: It might not be necessary to use any commands - we could instead treat the command name as an optional part of the role, and treat each command as a separate impl instead.
type dependency = Input.dependencyA dependency indicates that an impl or command requires another role to be filled.
type dep_info = Input.dep_info = {dep_role : Role.t;dep_importance : [ `Essential | `Recommended | `Restricts ];dep_required_commands : command_name list;
}val requires : Role.t -> impl -> dependency list * command_name listGet an implementation's dependencies.
The dependencies should be ordered with the most important first. The solver will prefer to select the best possible version of an earlier dependency, even if that means selecting a worse version of a later one (restricts_only dependencies are ignored for this).
An implementation or command can also bind to itself. e.g. "test" command that requires its own "run" command. We also return all such required commands.
val dep_info : dependency -> dep_infoval command_requires : Role.t -> command -> dependency list * command_name listAs requires, but for commands.
val get_command : impl -> command_name -> command optionval selected_commands : impl -> command_name listval requirements : t -> requirementsval unwrap : impl -> Input.impl