module Evolution: sig
.. end
discriminants ?bottom ?ascending evalsel vl constraints
returns the discriminants of the versions vl
w.r.t.
the constraints
, using evalsel
to determine whether a
a version satisfy a constraint.
For each discriminant, a canonical representative is given,
as well as the list of all other equivalent versions.
module Version: Versioning.Debian
type
range = [ `Eq of string | `Hi of string | `In of string * string | `Lo of string ]
val string_of_range : [< `Eq of string | `Hi of string | `In of string * string | `Lo of string ] ->
string
val range : ?bottom:bool ->
string list ->
[> `Eq of string | `Hi of string | `In of string * string | `Lo of string ]
list
val discriminant : ?bottom:bool ->
?highest:bool ->
(([> `Eq of string | `Hi of string | `In of string * string | `Lo of string ]
as 'a) ->
'b -> 'c) ->
string list -> 'b list -> ('a * 'a list) list
discriminants ?bottom ?ascending evalsel vl constraints
returns the discriminants of the versions vl
w.r.t.
the constraints
, using evalsel
to determine whether a
a version satisfy a constraint.
For each discriminant, a canonical representative is given,
as well as the list of all other equivalent versions.
bottom
: set to true includes a version strictly smaller than all vl
highest
: chooses the highest version as representative, if set to true,
and the lowest otherwise.
val add_unique : ('a, ('b, unit) ExtLib.Hashtbl.t) ExtLib.Hashtbl.t -> 'a -> 'b -> unit
val conj_iter : ('a,
(([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * string) option, unit)
ExtLib.Hashtbl.t)
ExtLib.Hashtbl.t -> (('a * 'b) * (string * string) option) list -> unit
val cnf_iter : ('a,
(([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * string) option, unit)
ExtLib.Hashtbl.t)
ExtLib.Hashtbl.t -> (('a * 'b) * (string * string) option) list list -> unit
val constraints : Packages.package list ->
(string, ([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * string) list)
ExtLib.Hashtbl.t
constraints universe
returns a map between package names
and an ordered list of constraints where the package name is
mentioned
val all_constraints : ('a, 'b list) ExtLib.Hashtbl.t -> 'a -> 'b list
val align : string ->
[ `Eq of string | `Hi of string | `In of string * string | `Lo of string ] ->
[ `Eq of string | `Hi of string | `In of string * string | `Lo of string ]
val all_versions : ('a * 'b) list -> 'b list
val migrate : Packages.package list ->
[ `Eq of string | `Hi of string | `In of string * string | `Lo of string ] ->
((Packages.package *
[ `Eq of string | `Hi of string | `In of string * string | `Lo of string ]) *
[ `Eq of string | `Hi of string | `In of string * string | `Lo of string ])
list
: string list -> string list
val add_normalize : string list -> string list
val add_epochs : string list -> string list -> string list
val all_ver_constr : (Packages_types.name, ('a * Packages_types.version) list) ExtLib.Hashtbl.t ->
Packages.package list ->
Packages_types.version list * ('a * Packages_types.version) list