Index of values

Package comparison up to <name, version>.

package equality up to <name, version> i.e.

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

Same as Cudf.version_matches

add a package to an existing universe.

cast ty v attempt a runtime cast of a given (typed) value to a different type.

Dispose a CUDF parser.

implement package defaults

implement preamble defaults

implement request defaults

check whether a package list is not satisfied by a given package status

return an empty universe.

provide a string explaining a given reason, meant for error messages

fold over all packages in the universe

fold on all packages grouped by name.

create a CUDF parser reading data from an Extlib input channel

create a CUDF parser reading data from a file

create a CUDF parser reading data from an input channel

lookup all installed versions of a given package name.

conversion from universe to plain package list

total number of installed packages occurring in the universe

Check whether a formula uses only equality tests over package versions.

is_solution (status, req) sol checks whether sol fulfills the CUDF upgrade scenario described by (status, req)

iter over all packages in the universe

iter on all packages grouped by name.

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

same as Cudf_parser.parse, but additionally loads the package list as an abstract Cudf.universe.

Shorthand: load from a file given its name

Load a solution wrt to a given CUDF document, whose universe is given.

Shorthand: load a solution from a file given its name

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

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 the type declaration of a given property (either core or extra)

lookup all available versions of a given package name

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

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

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

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

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

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

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

return the package corresponding to the given unique identifier

return the list of all unique package names

Package description schemata

parse a CUDF document (or a universe) as a whole

Shorthand: parse a file given its name

Parse the next information item (either a package description, a user request, or a preamble) from the given input channel.

Parse the enum value corresponding to the "keep" core property of package stanzas.

Parse a quoted string, enclosed by double quotes as it happens within the "property" property of preamble stanzas.

Parse a file stanza (i.e., a RFC822-like stanza, with the notable simplification that all field/value pairs are one-liners).

Parse a CUDF type expression.

generic, type-based parsing

Preamble schemata

remove a package from an existing universe.

Request schemata

check whether a given package formula is satisfied by a given package status

Default stanza types for parsing CUDF documents.

Projection on packages having "installed: true".

Type check an untyped stanza according to a given set of type declarations.

extract the type of a (single) type declaration

Create a (single) type declaration with no default value

Create a (single) type declaration having as default value the given typed value (i.e.

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

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

Extract the default value from a type declaration (or return None)

Check whether a version matches a version constraint, e.g.

Ask who provides a given feature (predicate).