(<%) [Cudf] | Package comparison up to <name, version>. |
(=%) [Cudf] | package equality up to <name, version> i.e. |
(>%) [Cudf] | Same as |
(|=) [Cudf] | Same as |
__ocaml_lex_qstring_rec [Cudf_type_lexer] | |
__ocaml_lex_tables [Cudf_type_lexer] | |
__ocaml_lex_tables [Cudf_822_lexer] | |
__ocaml_lex_token_822_rec [Cudf_822_lexer] | |
__ocaml_lex_token_cudf_rec [Cudf_type_lexer] | |
A | |
add_package [Cudf] | add a package to an existing universe. |
C | |
cast [Cudf_types] |
|
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 | |
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 |
get_range [Cudf_822_lexer] | |
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] |
|
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 | |
lexing_new_line [Cudf_822_lexer] | |
load [Cudf_parser] | same as |
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
|
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 |
lookup_request_property [Cudf] | Same as |
lookup_typed_package_property [Cudf] | Same as |
lookup_typed_preamble_property [Cudf] | Same as |
lookup_typed_request_property [Cudf] | Same as |
M | |
mem_installed [Cudf] | check wheather a given package constraint is satisfied in a given
package status (i.e., the universe subset of |
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 [Cudf_type_lexer] | |
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 | |
token_822 [Cudf_822_lexer] | |
token_cudf [Cudf_type_lexer] | |
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 |
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). |