| (<%) [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
|
| doc_822 [Cudf_822_parser] | |
E | |
| 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 | |
| ident_top [Cudf_type_parser] | |
| installed_size [Cudf] |
total number of installed packages occurring in the universe
|
| int_top [Cudf_type_parser] | |
| 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] | |
| pkgname_top [Cudf_type_parser] | |
| 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
|
Q | |
| qstring_top [Cudf_type_parser] | |
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_822 [Cudf_822_parser] | |
| 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] | |
| type_top [Cudf_type_parser] | |
| 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.
|
| typedecl_top [Cudf_type_parser] | |
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.
|
| vpkg_top [Cudf_type_parser] | |
| vpkgformula_top [Cudf_type_parser] | |
| vpkglist_top [Cudf_type_parser] | |
W | |
| who_provides [Cudf] |
Ask who provides a given feature (predicate).
|