Struct Incompatibility 

pub struct Incompatibility<P: Package, VS: VersionSet, M: Eq + Clone + Debug + Display> {
    pub kind: Kind<P, VS, M>,
    /* private fields */
}

An incompatibility is a set of terms for different packages that should never be satisfied all together. An incompatibility usually originates from a package dependency. For example, if package A at version 1 depends on package B at version 2, you can never have both terms A = 1 and not B = 2 satisfied at the same time in a partial solution. This would mean that we found a solution with package A at version 1 but not with package B at version 2. Yet A at version 1 depends on B at version 2 so this is not possible. Therefore, the set { A = 1, not B = 2 } is an incompatibility, defined from dependencies of A at version 1.

Incompatibilities can also be derived from two other incompatibilities during conflict resolution. More about all this in PubGrub documentation.

Fields

kind: Kind<P, VS, M>

The reason for the incompatibility.

Implementations

impl<P: Package, VS: VersionSet, M: Eq + Clone + Debug + Display> Incompatibility<P, VS, M>

pub fn no_versions(package: Id<P>, term: Term<VS>) -> Self

Create an incompatibility to remember that a given set does not contain any version.

pub fn custom_term(package: Id<P>, term: Term<VS>, metadata: M) -> Self

Create an incompatibility for a reason outside pubgrub.

pub fn custom_version(package: Id<P>, version: VS::V, metadata: M) -> Self

Create an incompatibility for a reason outside pubgrub.

pub fn from_dependency(package: Id<P>, versions: VS, dep: (Id<P>, VS)) -> Self

Build an incompatibility from a given dependency.

pub fn iter(&self) -> impl Iterator<Item = (Id<P>, &Term<VS>)>

Iterate over packages.

impl<P: Package, VS: VersionSet, M: Eq + Clone + Debug + Display> Incompatibility<P, VS, M>

pub fn display<'a>( &'a self, package_store: &'a HashArena<P>, ) -> impl Display + 'a

Display the incompatibility.

Trait Implementations

impl<P: Clone + Package, VS: Clone + VersionSet, M: Clone + Eq + Clone + Debug + Display> Clone for Incompatibility<P, VS, M>

fn clone(&self) -> Incompatibility<P, VS, M>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<P: Debug + Package, VS: Debug + VersionSet, M: Debug + Eq + Clone + Debug + Display> Debug for Incompatibility<P, VS, M>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.