package cudf

  1. Overview
  2. Docs

Module CudfSource

CUDF library

CUDF documents
Sourcetype package = {
  1. package : Cudf_types.pkgname;
  2. version : Cudf_types.version;
  3. depends : Cudf_types.vpkgformula;
  4. conflicts : Cudf_types.vpkglist;
  5. provides : Cudf_types.veqpkglist;
  6. installed : bool;
  7. was_installed : bool;
  8. keep : Cudf_types.enum_keep;
  9. pkg_extra : Cudf_types.typed_value Cudf_types.stanza;
}

Representation of a parsed package description item.

With this representation, optional properties have already been expanded to their default values (if they have one). It is not possible to know whether they were present or not in the CUDF syntax.

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

package equality up to <name, version> i.e. 2 packages are equal iff they have the same name and version

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

Package comparison up to <name, version>. Same rules of package equality, but providing a suitable replacement for Pervasives.compare; useful for sorting.

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

Same as Cudf.(<%), but sort with greater versions first.

Sourcetype request = {
  1. request_id : string;
  2. install : Cudf_types.vpkglist;
  3. remove : Cudf_types.vpkglist;
  4. upgrade : Cudf_types.vpkglist;
  5. req_extra : Cudf_types.typed_value Cudf_types.stanza;
}
Sourcetype preamble = {
  1. preamble_id : string;
    (*

    text following the "preamble: " postmark

    *)
  2. property : Cudf_types.typedecl;
    (*

    extra property declarations

    *)
  3. univ_checksum : string;
    (*

    universe checksum

    *)
  4. status_checksum : string;
    (*

    status checksum

    *)
  5. req_checksum : string;
    (*

    request checksum

    *)
}
Sourceval default_preamble : preamble

implement preamble defaults

Sourceval default_package : package

implement package defaults

Sourceval default_request : request

implement request defaults

Syntactic CUDF representation
Sourcetype cudf_doc = preamble option * package list * request

a CUDF document with its information items

Sourcetype cudf_item = [
  1. | `Preamble of preamble
  2. | `Package of package
  3. | `Request of request
]

a single information item

Semantic CUDF representation
Sourceexception Constraint_violation of string

violation of a constraint imposed by CUDF specification

  • parameter msg

    explanation of which constraint has been violated

Sourcetype universe

package universe (including package status, i.e., installed packages)

Sourcetype solution = preamble * universe

CUDF-based encoding of solutions, see CUDF 2.0, appendix B

A universe encoding a solution matters only for its installed packages, which are considered to be the resulting package status

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

return an empty universe.

  • parameter size

    represents the initial size of the universe (default: 1023)

Sourceval load_universe : package list -> universe
Sourceval add_package : universe -> package -> unit

add a package to an existing universe. The universe is modified in place.

  • raises Constraint_violation

    if a package with the same name and version is alreayd in the given universe

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

remove a package from an existing universe. The universe is modified in place

CUDF manipulation

Lookup a specific package via a <name, version> key

  • raises Not_found

    if the requested package cannot be found

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

Check existence of a specific package in the universe via a <name, version> key

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

check wheather a given package constraint is satisfied in a given package status (i.e., the universe subset of installed packages)

  • parameter include_features

    allow constraint to be satisfied by features (i.e., Provides). Default: true

  • parameter ignore

    make the lookup skip over all packages matching the given package predicate. Default: do not ignore any package

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

Ask who provides a given feature (predicate).

  • parameter installed

    : consider only installed packages (default)

  • returns

    a list of packages providing the requested feature. Each package is paired with an optional version; if it is None, the given package provides all possible version of the feature; it if is Some v, the given package only provides version v of the feature.

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

lookup all available versions of a given package name

  • parameter filter

    filter the found packages according to the given version constraint. Default: None (i.e., no filtering)

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

lookup all installed versions of a given package name. Shorthand for lookup_packages composed with filtering on installed=true

Sourceval uid_by_package : universe -> package -> int

return a unique integer identifier for the given package in the universe

  • raises Not_found

    if the given package cannot be found in the universe

Sourceval package_by_uid : universe -> int -> package

return the package corresponding to the given unique identifier

  • raises Not_found

    if no package in the universe corresponds to the given unique identifier

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

iter over all packages in the universe

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

fold over all packages in the universe

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

iter on all packages in the universe, passing to the iteration function both the package and its unique identifier

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

iter on all packages grouped by name. Each package name is associated to a list of packages with the same name and different versions

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

fold on all packages grouped by name. Each package name is associated to a list of packages with the same name and different versions

Sourceval package_names : universe -> Cudf_types.pkgname list

return the list of all unique package names

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

conversion from universe to plain package list

  • parameter filter

    only return packages matching a given predicate. Default is to return all packages

Sourceval universe_size : universe -> int

total numer of available packages (no matter whether they are installed or not)

Sourceval installed_size : universe -> int

total number of installed packages occurring in the universe

Sourceval status : universe -> universe

Projection on packages having "installed: true".

Inefficient (involves Hashtbl.t cloning), use with care.

Low-level stanza manipulation
Sourceval lookup_package_property : package -> string -> string

low-level property lookup: given a package, lookup on it a property by name, returning its (pretty-printed, see Cudf_types) value as a string

  • parameter pkg

    package to be inspected

  • parameter property

    property name to be lookup (case-sensitive)

  • raises Not_found

    if the given property name is not associated to the given package (note that "being associated with" does not necessarily mean that the property appears in the stanza, due to default values)

Sourceval lookup_request_property : request -> string -> string

Same as Cudf.lookup_package_property, but acting on request information items.

To lookup the request identifier as a string (which strictly speaking is not a property) you should lookup "request"

Sourceval lookup_preamble_property : preamble -> string -> string

Same as Cudf.lookup_package_property, but acting on preamble information items.

To lookup the preamble identifier as a string (which strictly speaking is not a property) you should lookup "preamble"

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

Same as Cudf.lookup_package_property, but return a typed value.

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

Same as Cudf.lookup_request_property, but return a typed value.

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

Same as Cudf.lookup_preamble_property, but return a typed value.

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

lookup the type declaration of a given property (either core or extra)

  • parameter extras

    if given, list of extra package properties to consider when looking for the type declaration. When not given, which is the default, the lookup is performed only among core package properties

Note: lookup_typedecl name is not the same as List.assoc preamble.property name; only the former takes into account core package properties. See also Cudf_conf.package_typedecl.

  • raises Not_found

    if no declaration could be found for the given property

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

Check whether a version matches a version constraint, e.g. version_matches 1 (Some(`Eq, 2)) = false

Same as Cudf.version_matches