package opam-solver

  1. Overview
  2. Docs
Solver library for opam 2.5

Install 

dune-project
 Dependency

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

Authors

  1. David Allsopp
  2. V
    Vincent Bernardoff <vb@luminar.eu.org>
  3. R
    Raja Boujbel <raja.boujbel@ocamlpro.com>
  4. K
    Kate Deplaix <kit-ty-kate@outlook.com>
  5. R
    Roberto Di Cosmo <roberto@dicosmo.org>
  6. T
    Thomas Gazagnaire <thomas@gazagnaire.org>
  7. L
    Louis Gesbert <louis.gesbert@ocamlpro.com>
  8. F
    Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
  9. A
    Anil Madhavapeddy <anil@recoil.org>
  10. G
    Guillem Rieu <guillem.rieu@ocamlpro.com>
  11. R
    Ralf Treinen <ralf.treinen@pps.jussieu.fr>
  12. F
    Frederic Tuong <tuong@users.gforge.inria.fr>

Maintainers

  1. O
    opam-devel@lists.ocaml.org

Sources

2.5.2.tar.gz
md5=708dfb9799ebb5b9fccbdac63d0bf1e8
sha512=0b15627c4a31d3abcdbb5885bf2e7f4dee9ffddad2144855d1e1e18d66edc379e3a2b0a378097c35897e571f856b61aadabb47672d75401f6f6231f33ae475c8

doc/opam-solver/OpamSolverConfig/index.html

Module OpamSolverConfigSource

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

Sourcemodule E : sig ... end
Sourcetype t = private {
  1. cudf_file : string option;
  2. solver : (module OpamCudfSolver.S) Lazy.t;
  3. best_effort : bool;
  4. solver_preferences_default : string option Lazy.t;
  5. solver_preferences_upgrade : string option Lazy.t;
  6. solver_preferences_fixup : string option Lazy.t;
  7. solver_preferences_best_effort_prefix : string option Lazy.t;
  8. solver_timeout : float option;
  9. solver_tolerance : float option;
  10. solver_allow_suboptimal : bool;
  11. cudf_trim : string option;
  12. dig_depth : int;
  13. preprocess : bool;
  14. version_lag_power : int;
}
Sourcetype '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)

Sourceval 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