cudf 0.9 · OCaml Package

type package = {

}

val (=%) : package -> package -> bool

val (<%) : package -> package -> int

val (>%) : package -> package -> int

type request = {

}

type preamble = {

}

val default_preamble : preamble

val default_package : package

val default_request : request

type cudf_doc = preamble option * package list * request

type cudf_item = [

]

exception Constraint_violation of string

type universe

type cudf = preamble * universe * request

type solution = preamble * universe

val empty_universe : ?size:int -> unit -> universe

val load_universe : package list -> universe

val add_package : universe -> package -> unit

val remove_package : 
  universe ->
  (Cudf_types.pkgname * Cudf_types.version) ->
  unit

val lookup_package : 
  universe ->
  (Cudf_types.pkgname * Cudf_types.version) ->
  package

val mem_package : universe -> (Cudf_types.pkgname * Cudf_types.version) -> bool

val mem_installed : 
  ?include_features:bool ->
  ?ignore:(package -> bool) ->
  universe ->
  Cudf_types.vpkg ->
  bool

val who_provides : 
  ?installed:bool ->
  universe ->
  Cudf_types.vpkg ->
  (package * Cudf_types.version option) list

val lookup_packages : 
  ?filter:Cudf_types.constr ->
  universe ->
  Cudf_types.pkgname ->
  package list

val get_installed : universe -> Cudf_types.pkgname -> package list

val uid_by_package : universe -> package -> int

val package_by_uid : universe -> int -> package

val iter_packages : (package -> unit) -> universe -> unit

val fold_packages : ('a -> package -> 'a) -> 'a -> universe -> 'a

val iteri_packages : (int -> package -> unit) -> universe -> unit

val iter_packages_by_name : 
  (Cudf_types.pkgname -> package list -> unit) ->
  universe ->
  unit

val fold_packages_by_name : 
  ('a -> Cudf_types.pkgname -> package list -> 'a) ->
  'a ->
  universe ->
  'a

val package_names : universe -> Cudf_types.pkgname list

val get_packages : ?filter:(package -> bool) -> universe -> package list

val universe_size : universe -> int

val installed_size : universe -> int

val status : universe -> universe

val lookup_package_property : package -> string -> string

val lookup_request_property : request -> string -> string

val lookup_preamble_property : preamble -> string -> string

val lookup_typed_package_property : package -> string -> Cudf_types.typed_value

val lookup_typed_request_property : request -> string -> Cudf_types.typed_value

val lookup_typed_preamble_property : 
  preamble ->
  string ->
  Cudf_types.typed_value

val lookup_package_typedecl : 
  ?extra:Cudf_types.typedecl ->
  string ->
  Cudf_types.typedecl1

val version_matches : Cudf_types.version -> Cudf_types.constr -> bool

val (|=) : Cudf_types.version -> Cudf_types.constr -> bool

package cudf