Dose_pef.Pefcudf
PEF (package exchange format) conversion routines
val create : int -> tables
val clear : tables -> unit
val pefvpkg :
( (string * 'a) -> 'b * 'c ) ->
((string * string option) * (string * 'd) option) ->
string * ([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * 'e) option
convert a pef constraint into a cudf constraint
val init_versions_table :
tables ->
( 'a, string list ) ExtLib.Hashtbl.t ->
< conflicts : (('b * 'c) * (string * string) option) list
; depends : (('d * 'e) * (string * string) option) list list
; name : 'f
; provides : (('b * 'c) * (string * string) option) list
; recommends : (('d * 'e) * (string * string) option) list list
; version : string.. > ->
unit
val init_tables :
( string -> string -> int ) ->
< conflicts : ((string * 'a) * (string * string) option) list
; depends : ((string * 'b) * (string * string) option) list list
; name : string
; provides : ((string * 'a) * (string * string) option) list
; recommends : ((string * 'b) * (string * string) option) list list
; version : string.. >
list ->
tables
val get_cudf_version : tables -> (string * string) -> int
val get_real_version : tables -> (string * int) -> string * 'a option * string
val loadl :
tables ->
?arch:string ->
?archs:string list ->
((string * string option) * (string * string) option) list ->
(string * ([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * int) option) list
val loadlp :
tables ->
?arch:string ->
?archs:string list ->
((string * string option) * (string * string) option) list ->
(string * ([> `Eq ] * int) option) list
val loadlc :
tables ->
?arch:string ->
?archs:string list ->
((string * string option) * (string * string) option) list ->
(string * ([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * int) option) list
val loadll :
tables ->
?arch:string ->
?archs:string list ->
((string * string option) * (string * string) option) list list ->
(string * ([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * int) option) list list
val add_extra :
(string * (string * Cudf_types.typedecl1)) list ->
tables ->
< extras : (string * string) list
; recommends :
((string * string option) * (string * string) option) list list
; version : string.. > ->
(string * Cudf_types.typed_value) list
val tocudf :
tables ->
?extras:(string * (string * Cudf_types.typedecl1)) list ->
?extrasfun:
( tables ->
< conflicts : ((string * string option) * (string * string) option) list
; depends :
((string * string option) * (string * string) option) list list
; extras : (string * string) list
; name : string
; provides : ((string * string option) * (string * string) option) list
; recommends :
((string * string option) * (string * string) option) list list
; version : string.. > as 'a ->
(string * Cudf_types.typed_value) list ) ->
'b ->
Cudf.package
val load_list :
( string -> string -> int ) ->
< conflicts : ((string * string option) * (string * string) option) list
; depends : ((string * string option) * (string * string) option) list list
; extras : (string * string) list
; name : string
; provides : ((string * string option) * (string * string) option) list
; recommends :
((string * string option) * (string * string) option) list list
; version : string.. >
list ->
Cudf.package list
val load_universe :
( string -> string -> int ) ->
< conflicts : ((string * string option) * (string * string) option) list
; depends : ((string * string option) * (string * string) option) list list
; extras : (string * string) list
; name : string
; provides : ((string * string option) * (string * string) option) list
; recommends :
((string * string option) * (string * string) option) list list
; version : string.. >
list ->
Cudf.universe