package 0install-solver

You can search for identifiers within the package.

in-package search v0.2.0

0install-solver
- CHANGES
- README
- Library 0install-solver
  - Zeroinstall_solver
    
    S
    
    CORE_MODEL
    
    Role
    
    SOLVER_INPUT
    
    Role
    
    SELECTIONS
    
    Role
    
    RoleMap
    
    SOLVER_RESULT
    
    Input
    
    Role
    
    Role
    
    RoleMap
    
    Make
    
    Output
    
    Input
    
    Role
    
    RoleMap
    
    Diagnostics
    
    Note
    
    Component
    
    Sat
    
    USER
    
    Make
- Sources
  - 0install-solver
    
    diagnostics.ml
    
    s.ml
    
    sat.ml
    
    solver_core.ml
    
    zeroinstall_solver.ml
    
    zeroinstall_solver__.ml

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

Module `Zeroinstall_solver.S`Source

Some useful abstract module types.

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

Sourcemodule type SOLVER_INPUT = sig ... end

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

Sourcemodule type SELECTIONS = sig ... end

Some selections previously produced by a solver.

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

package 0install-solver

Module Zeroinstall_solver.SSource

Module `Zeroinstall_solver.S`Source