# Index of values

(<%) [Cudf] | Package comparison up to <name, version>.
(=%) [Cudf] | package equality up to <name, version> i.e.
(>%) [Cudf] | Same as `Cudf.(<%)`, but sort with greater versions first.
(|=) [Cudf] | Same as `Cudf.version_matches`
A
add_package [Cudf] | add a package to an existing universe.
C
cast [Cudf_types] | `cast ty v` attempt a runtime cast of a given (typed) value to a different type.
close [Cudf_parser] | Dispose a CUDF parser.
D
default_package [Cudf] | implement package defaults
default_preamble [Cudf] | implement preamble defaults
default_request [Cudf] | implement request defaults
disjoint [Cudf_checker] | check whether a package list is not satisfied by a given package status
E
empty_universe [Cudf] | return an empty universe.
explain_reason [Cudf_checker] | provide a string explaining a given reason, meant for error messages
F
fold_packages [Cudf] | fold over all packages in the universe
fold_packages_by_name [Cudf] | fold on all packages grouped by name.
from_IO_in_channel [Cudf_parser] | create a CUDF parser reading data from an Extlib input channel
from_file [Cudf_parser] | create a CUDF parser reading data from a file
from_in_channel [Cudf_parser] | create a CUDF parser reading data from an input channel
G
get_installed [Cudf] | lookup all installed versions of a given package name.
get_packages [Cudf] | conversion from universe to plain package list
I
installed_size [Cudf] | total number of installed packages occurring in the universe
is_consistent [Cudf_checker] |
is_eq_formula [Cudf_types] | Check whether a formula uses only equality tests over package versions.
is_solution [Cudf_checker] | `is_solution (status, req) sol` checks whether `sol` fulfills the CUDF upgrade scenario described by `(status, req)`
iter_packages [Cudf] | iter over all packages in the universe
iter_packages_by_name [Cudf] | iter on all packages grouped by name.
iteri_packages [Cudf] | iter on all packages in the universe, passing to the iteration function both the package and its unique identifier
K
keep_enums [Cudf_types] |
keep_type [Cudf_types] |
L
load [Cudf_parser] | same as `Cudf_parser.parse`, but additionally loads the package list as an abstract `Cudf.universe`.
load_from_file [Cudf_parser] | Shorthand: load from a file given its name
load_solution [Cudf_parser] | Load a solution wrt to a given CUDF document, whose universe is given.
load_solution_from_file [Cudf_parser] | Shorthand: load a solution from a file given its name
load_universe [Cudf] |
lookup_package [Cudf] | Lookup a specific package via a <name, version> key
lookup_package_property [Cudf] | 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
lookup_package_typedecl [Cudf] | lookup the type declaration of a given property (either core or extra)
lookup_packages [Cudf] | lookup all available versions of a given package name
lookup_preamble_property [Cudf] | Same as `Cudf.lookup_package_property`, but acting on preamble information items.
lookup_request_property [Cudf] | Same as `Cudf.lookup_package_property`, but acting on request information items.
lookup_typed_package_property [Cudf] | Same as `Cudf.lookup_package_property`, but return a typed value.
lookup_typed_preamble_property [Cudf] | Same as `Cudf.lookup_preamble_property`, but return a typed value.
lookup_typed_request_property [Cudf] | Same as `Cudf.lookup_request_property`, but return a typed value.
M
mem_installed [Cudf] | check wheather a given package constraint is satisfied in a given package status (i.e., the universe subset of `installed` packages)
mem_package [Cudf] | Check existence of a specific package in the universe via a <name, version> key
P
package_by_uid [Cudf] | return the package corresponding to the given unique identifier
package_names [Cudf] | return the list of all unique package names
package_typedecl [Cudf_conf] | Package description schemata
parse [Cudf_parser] | parse a CUDF document (or a universe) as a whole
parse_bool [Cudf_types_pp] |
parse_enum [Cudf_types_pp] |
parse_from_file [Cudf_parser] | Shorthand: parse a file given its name
parse_ident [Cudf_types_pp] |
parse_int [Cudf_types_pp] |
parse_item [Cudf_parser] | Parse the next information item (either a package description, a user request, or a preamble) from the given input channel.
parse_keep [Cudf_types_pp] | Parse the enum value corresponding to the "keep" core property of package stanzas.
parse_nat [Cudf_types_pp] |
parse_pkgname [Cudf_types_pp] |
parse_posint [Cudf_types_pp] |
parse_qstring [Cudf_types_pp] | Parse a quoted string, enclosed by double quotes as it happens within the "property" property of preamble stanzas.
parse_stanza [Cudf_parser] | Parse a file stanza (i.e., a RFC822-like stanza, with the notable simplification that all field/value pairs are one-liners).
parse_string [Cudf_types_pp] |
parse_type [Cudf_types_pp] | Parse a CUDF type expression.
parse_typedecl [Cudf_types_pp] |
parse_value [Cudf_types_pp] | generic, type-based parsing
parse_veqpkg [Cudf_types_pp] |
parse_veqpkglist [Cudf_types_pp] |
parse_vpkg [Cudf_types_pp] |
parse_vpkgformula [Cudf_types_pp] |
parse_vpkglist [Cudf_types_pp] |
pp_cudf [Cudf_printer] |
pp_cudf_gen [Cudf_printer] |
pp_doc [Cudf_printer] |
pp_doc_gen [Cudf_printer] |
pp_io_cudf [Cudf_printer] |
pp_io_doc [Cudf_printer] |
pp_io_item [Cudf_printer] |
pp_io_package [Cudf_printer] |
pp_io_packages [Cudf_printer] |
pp_io_preamble [Cudf_printer] |
pp_io_request [Cudf_printer] |
pp_io_solution [Cudf_printer] |
pp_io_universe [Cudf_printer] |
pp_item [Cudf_printer] |
pp_item_gen [Cudf_printer] |
pp_package [Cudf_printer] |
pp_package_gen [Cudf_printer] |
pp_packages [Cudf_printer] |
pp_packages_gen [Cudf_printer] |
pp_preamble [Cudf_printer] |
pp_preamble_gen [Cudf_printer] |
pp_request [Cudf_printer] |
pp_request_gen [Cudf_printer] |
pp_solution [Cudf_printer] |
pp_solution_gen [Cudf_printer] |
pp_universe [Cudf_printer] |
pp_universe_gen [Cudf_printer] |
preamble_typedecl [Cudf_conf] | Preamble schemata
R
remove_package [Cudf] | remove a package from an existing universe.
request_typedecl [Cudf_conf] | Request schemata
S
satisfy_formula [Cudf_checker] | check whether a given package formula is satisfied by a given package status
stanza_typedecl [Cudf_conf] | Default stanza types for parsing CUDF documents.
status [Cudf] | Projection on packages having "installed: true".
string_of_bool [Cudf_types_pp] |
string_of_int [Cudf_types_pp] |
string_of_keep [Cudf_types_pp] |
string_of_nat [Cudf_types_pp] |
string_of_pkgname [Cudf_types_pp] |
string_of_posint [Cudf_types_pp] |
string_of_type [Cudf_types_pp] |
string_of_typedecl [Cudf_types_pp] |
string_of_value [Cudf_types_pp] |
string_of_veqpkg [Cudf_types_pp] |
string_of_veqpkglist [Cudf_types_pp] |
string_of_version [Cudf_types_pp] |
string_of_vpkg [Cudf_types_pp] |
string_of_vpkgformula [Cudf_types_pp] |
string_of_vpkglist [Cudf_types_pp] |
T
type_check_stanza [Cudf_parser] | Type check an untyped stanza according to a given set of type declarations.
type_of_typedecl [Cudf_types] | extract the type of a (single) type declaration
type_of_value [Cudf_types] |
typedecl_of_type [Cudf_types] | Create a (single) type declaration with no default value
typedecl_of_value [Cudf_types] | Create a (single) type declaration having as default value the given typed value (i.e.
U
uid_by_package [Cudf] | return a unique integer identifier for the given package in the universe
universe_size [Cudf] | total numer of available packages (no matter whether they are installed or not)
V
value_of_typedecl [Cudf_types] | Extract the default value from a type declaration (or return `None`)
version_matches [Cudf] | Check whether a version matches a version constraint, e.g.
W
who_provides [Cudf] | Ask who provides a given feature (predicate).