package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

Solver library for opam 2.4

Install

dune-project

Dependency

opam.ocaml.org Readme Edit opam file Versions (28)

Authors

Maintainers

O

opam-devel@lists.ocaml.org

Sources

2.4.1.tar.gz

md5=4eadb5cd5773cff17b19da3c3b70387d

sha512=ee1656715f7e03c36ed9aa0a158033bbdb977d3e9017efa0ceddcd7b073e9b587eb6340ddf1916d9da197c7f48766e569221e6d8e43314bf761326329e4be0a6

doc/opam-solver/OpamSolverConfig/index.html

Module `OpamSolverConfig`Source

Configuration options for the solver lib (record, global reference, setter, initialisation)

Sourcemodule E : sig ... end

Sourcetype t = private {

cudf_file : string option;
solver : (module OpamCudfSolver.S) Lazy.t;
best_effort : bool;
solver_preferences_default : string option Lazy.t;
solver_preferences_upgrade : string option Lazy.t;
solver_preferences_fixup : string option Lazy.t;
solver_preferences_best_effort_prefix : string option Lazy.t;
solver_timeout : float option;
solver_tolerance : float option;
solver_allow_suboptimal : bool;
cudf_trim : string option;
dig_depth : int;
preprocess : bool;
version_lag_power : int;

}

Source

type 'a options_fun =
  ?cudf_file:string option ->
  ?solver:(module OpamCudfSolver.S) Lazy.t ->
  ?best_effort:bool ->
  ?solver_preferences_default:string option Lazy.t ->
  ?solver_preferences_upgrade:string option Lazy.t ->
  ?solver_preferences_fixup:string option Lazy.t ->
  ?solver_preferences_best_effort_prefix:string option Lazy.t ->
  ?solver_timeout:float option ->
  ?solver_tolerance:float option ->
  ?solver_allow_suboptimal:bool ->
  ?cudf_trim:string option ->
  ?dig_depth:int ->
  ?preprocess:bool ->
  ?version_lag_power:int ->
  'a

include OpamStd.Config.Sig
  with type t := t
   and type 'a options_fun := 'a options_fun

Sourceval default : t

The default values of the options to use at startup

Sourceval set : t -> (unit -> t) options_fun

Use to update any option in a t, using the optional arguments of options_fun. E.g. set opts ?option1:1 ?option4:"x" ()

Sourceval setk : (t -> 'a) -> t -> 'a options_fun

Same as set, but passes the result to a continuation, allowing argument stacking

Sourceval r : t ref

The global reference containing the currently set library options. Access using OpamXxxConfig.(!r.field).

Sourceval update : ?noop:_ -> (unit -> unit) options_fun

Updates the currently set options in r according to the optional arguments

Sourceval init : ?noop:_ -> (unit -> unit) options_fun

Sets the options, reading the environment to get default values when unspecified

Sourceval initk : 'a -> 'a options_fun

Sets the options like init, but returns the given value (for arguments stacking)

Source

val call_solver : 
  criteria:string ->
  Cudf.cudf ->
  Cudf.preamble option * Cudf.universe

Sourceval best_effort : unit -> bool

Checks if best_effort was set and is supported

Sourceval criteria : OpamTypes.solver_criteria -> string