Struct fj_kernel::validation::CoherenceMismatch

source · [−]

pub struct CoherenceMismatch<Local, Global> {
    pub local: Local,
    pub local_as_global: Global,
    pub global: Global,
}

Expand description

A mismatch between the local and global forms of an object

Used in CoherenceIssues.

Fields

local: Local

The local form of the object

local_as_global: Global

The local form of the object, converted into the global form

global: Global

The global form of the object

Trait Implementations

source

impl<Local: Debug, Global: Debug> Debug for CoherenceMismatch<Local, Global>

source

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

Formats the value using the given formatter. Read more

source

impl<Local, Canonical> Display for CoherenceMismatch<Local, Canonical> where
Local: Debug,
Canonical: Debug,

source

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

Formats the value using the given formatter. Read more

Auto Trait Implementations

impl<Local, Global> RefUnwindSafe for CoherenceMismatch<Local, Global> where
Global: RefUnwindSafe,
Local: RefUnwindSafe,

impl<Local, Global> Send for CoherenceMismatch<Local, Global> where
Global: Send,
Local: Send,

impl<Local, Global> Sync for CoherenceMismatch<Local, Global> where
Global: Sync,
Local: Sync,

impl<Local, Global> Unpin for CoherenceMismatch<Local, Global> where
Global: Unpin,
Local: Unpin,

impl<Local, Global> UnwindSafe for CoherenceMismatch<Local, Global> where
Global: UnwindSafe,
Local: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> Downcast for T where
T: Any,

fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait. Read more

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait. Read more

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s. Read more

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s. Read more

impl<T> DowncastSync for T where
T: Any + Send + Sync,

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync + 'static>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<SS, SP> SupersetOf<SS> for SP where
SS: SubsetOf<SP>,

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.

source

impl<T> ToString for T where
T: Display + ?Sized,

source

default fn to_string(&self) -> String

Converts the given value to a String. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct fj_kernel::validation::CoherenceMismatch

Fields

Trait Implementations

impl<Local: Debug, Global: Debug> Debug for CoherenceMismatch<Local, Global>

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

impl<Local, Canonical> Display for CoherenceMismatch<Local, Canonical> where Local: Debug, Canonical: Debug,

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

Auto Trait Implementations

impl<Local, Global> RefUnwindSafe for CoherenceMismatch<Local, Global> where Global: RefUnwindSafe, Local: RefUnwindSafe,

impl<Local, Global> Send for CoherenceMismatch<Local, Global> where Global: Send, Local: Send,

impl<Local, Global> Sync for CoherenceMismatch<Local, Global> where Global: Sync, Local: Sync,

impl<Local, Global> Unpin for CoherenceMismatch<Local, Global> where Global: Unpin, Local: Unpin,

impl<Local, Global> UnwindSafe for CoherenceMismatch<Local, Global> where Global: UnwindSafe, Local: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> Downcast for T where T: Any,

fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

fn as_any(&self) -> &(dyn Any + 'static)

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

impl<T> DowncastSync for T where T: Any + Send + Sync,

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync + 'static>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> Same<T> for T

type Output = T

impl<SS, SP> SupersetOf<SS> for SP where SS: SubsetOf<SP>,

fn to_subset(&self) -> Option<SS>

fn is_in_subset(&self) -> bool

fn to_subset_unchecked(&self) -> SS

fn from_subset(element: &SS) -> SP

impl<T> ToString for T where T: Display + ?Sized,

default fn to_string(&self) -> String

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<Local, Canonical> Display for CoherenceMismatch<Local, Canonical> where
Local: Debug,
Canonical: Debug,

impl<Local, Global> RefUnwindSafe for CoherenceMismatch<Local, Global> where
Global: RefUnwindSafe,
Local: RefUnwindSafe,

impl<Local, Global> Send for CoherenceMismatch<Local, Global> where
Global: Send,
Local: Send,

impl<Local, Global> Sync for CoherenceMismatch<Local, Global> where
Global: Sync,
Local: Sync,

impl<Local, Global> Unpin for CoherenceMismatch<Local, Global> where
Global: Unpin,
Local: Unpin,

impl<Local, Global> UnwindSafe for CoherenceMismatch<Local, Global> where
Global: UnwindSafe,
Local: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T> Downcast for T where
T: Any,

impl<T> DowncastSync for T where
T: Any + Send + Sync,

impl<T, U> Into<U> for T where
U: From<T>,

impl<SS, SP> SupersetOf<SS> for SP where
SS: SubsetOf<SP>,

impl<T> ToString for T where
T: Display + ?Sized,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,