Trait Difference 

pub trait Difference<Other> {
    type Output;

    // Required method
    fn difference(&self, other: &Other) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

fn difference(&self, other: &Other) -> Self::Output

Implementors

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledPartialSimplicialComplex<'f, FS, S>> for LabelledPartialSimplicialComplex<'f, FS, T>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledPartialSimplicialComplex<'f, FS, S>> for LabelledSimplicialComplex<'f, FS, T>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledPartialSimplicialComplex<'f, FS, S>> for LabelledSimplicialDisjointUnion<'f, FS, T>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledSimplicialComplex<'f, FS, S>> for LabelledPartialSimplicialComplex<'f, FS, T>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledSimplicialComplex<'f, FS, S>> for LabelledSimplicialComplex<'f, FS, T>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledSimplicialComplex<'f, FS, S>> for LabelledSimplicialDisjointUnion<'f, FS, T>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledSimplicialDisjointUnion<'f, FS, S>> for LabelledPartialSimplicialComplex<'f, FS, T>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledSimplicialDisjointUnion<'f, FS, S>> for LabelledSimplicialComplex<'f, FS, T>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledSimplicialDisjointUnion<'f, FS, S>> for LabelledSimplicialDisjointUnion<'f, FS, T>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>