Module `Dose_pef.Pefcudf`Source

PEF (package exchange format) conversion routines

include sig ... end

Sourceval it : Dose_common__Util.Info.t

Sourceval info : ('a, unit, string, unit) format4 -> 'a

Sourceval nt : Dose_common__Util.Notice.t

Sourceval notice : ('a, unit, string, unit) format4 -> 'a

Sourceval wt : Dose_common__Util.Warning.t

Sourceval warning : ('a, unit, string, unit) format4 -> 'a

Sourceval dt : Dose_common__Util.Debug.t

Sourceval debug : ('a, unit, string, unit) format4 -> 'a

Sourceval fatal : ('a, unit, string, 'b) format4 -> 'a

Sourcetype 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;

}

Sourceval create : int -> tables

Sourceval clear : tables -> unit

Sourceval pefcudf_op : string -> [> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ]

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

Sourceval init_unit_table : ('a, unit) ExtLib.Hashtbl.t -> < name : 'a.. > -> 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

Sourceval get_cudf_version : tables -> (string * string) -> int

Sourceval get_real_version : tables -> (string * int) -> string * 'a option * string

Source

val encode_vpkgname : 
  ?arch:string ->
  ?archs:string list ->
  (string * string option) ->
  string list

Source

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

Source

val loadlp : 
  tables ->
  ?arch:string ->
  ?archs:string list ->
  ((string * string option) * (string * string) option) list ->
  (string * ([> `Eq ] * int) option) list

Source

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

Source

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

Sourcetype extramap = (string * (string * Cudf_types.typedecl1)) list

Sourceval preamble : Cudf.preamble

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/dose3.pef/Dose_pef/Pefcudf/index.html

Module `Dose_pef.Pefcudf`Source

package dose3

Install

Dune Dependency

Authors

Maintainers

Sources

doc/dose3.pef/Dose_pef/Pefcudf/index.html

Module Dose_pef.PefcudfSource

Module `Dose_pef.Pefcudf`Source