package opam-0install

You can search for identifiers within the package.

in-package search v0.2.0

package opam-0install

opam-0install
- Opam_0install
  - Dir_context
  - Model
    
    Make
    
    Context
    
    Role
  - S
    
    CONTEXT
    
    SOLVER
  - Solver
    
    Make
    
    C
    
    Diagnostics
    
    Component
    
    Note
    
    Input
    
    Role
    
    Solver
    
    Output
    
    RoleMap
  - Switch_context

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = Zeroinstall_solver.Diagnostics(Solver.Output).Component.t

type rejection_reason = [

| `ClassConflict of Solver.Output.Role.t * Solver.Output.Input.conflict_class
| `ConflictsRole of Solver.Output.Role.t
| `DepFailsRestriction of Solver.Output.Input.dependency * Solver.Output.Input.restriction
| `DiagnosticsFailure of string
| `FailsRestriction of Solver.Output.Input.restriction
| `MachineGroupConflict of Solver.Output.Role.t * Solver.Output.Input.impl
| `MissingCommand of Solver.Output.Input.command_name
| `Model_rejection of Solver.Output.Input.rejection

]

type reject = Solver.Output.Input.impl * rejection_reason

val pp_reject : Format.formatter -> reject -> unit

val selected_impl : t -> Solver.Output.Input.impl option

val notes : t -> Note.t list

val rejects : 
  t ->
  reject list * [ `All_unusable | `Conflicts | `No_candidates ]

val pp : verbose:bool -> Format.formatter -> t -> unit