package dose3-extra
Dose-extra libraries and tools (part of Mancoosi tools)
Install
Dune Dependency
Authors
Maintainers
Sources
dose3-7.0.0.tar.gz
md5=bc99cbcea8fca29dca3ebbee54be45e1
sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f
doc/dose3-extra.pef/Dose_pef/Pefcudf/index.html
Module Dose_pef.Pefcudf
Source
PEF (package exchange format) conversion routines
include sig ... end
Source
type tables = {
strings_table : string Dose_common.Util.StringHashtbl.t;
versions_table : (string, string list) ExtLib.Hashtbl.t;
reverse_table : (string * int, string) ExtLib.Hashtbl.t;
}
Source
val pefcudf_constr :
(string * 'a) option ->
([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * 'a) option
Source
val pefvpkg :
((string * 'a) -> 'b * 'c) ->
((string * string option) * (string * 'a) option) ->
string * ([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * 'c) option
convert a pef constraint into a cudf constraint
Source
val init_versions_table :
tables ->
('a, string list) ExtLib.Hashtbl.t ->
< conflicts : (('a * 'b) * (string * string) option) list
; depends : (('a * 'c) * (string * string) option) list list
; name : 'a
; provides : (('a * 'b) * (string * string) option) list
; recommends : (('a * 'c) * (string * string) option) list list
; version : string.. > ->
unit
Source
val init_virtual_table :
('a, unit) ExtLib.Hashtbl.t ->
< provides : ('a * 'b) list.. > ->
unit
Source
val init_versioned_table :
('a, unit) ExtLib.Hashtbl.t ->
< conflicts : ('a * 'b) list ; depends : ('a * 'c) list list.. > ->
unit
Source
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
Source
val encode_vpkgname :
?arch:string ->
?archs:string list ->
(string * string option) ->
string list
Source
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
Source
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) ->
'a ->
Cudf.package
Source
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
Source
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>