Trait OpaqueFact 

pub trait OpaqueFact:
    DynHash
    + Send
    + Sync
    + Debug
    + DynClone
    + Downcast {
    // Required methods
    fn same_as(&self, other: &dyn OpaqueFact) -> bool;
    fn mem_size(&self) -> TDim;

    // Provided methods
    fn compatible_with(&self, other: &dyn OpaqueFact) -> bool { ... }
    fn clarify_dt_shape(&self) -> Option<(DatumType, &[usize])> { ... }
}

Required Methods

fn same_as(&self, other: &dyn OpaqueFact) -> bool

fn mem_size(&self) -> TDim

Provided Methods

fn compatible_with(&self, other: &dyn OpaqueFact) -> bool

Whether or not it is acceptable for a Patch to substitute self by other.

In other terms, all operators consuming self MUST accept also accept other without being altered.

fn clarify_dt_shape(&self) -> Option<(DatumType, &[usize])>

Implementations

impl dyn OpaqueFact

pub fn is<__T: OpaqueFact>(&self) -> bool

Returns true if the trait object wraps an object of type __T.

pub fn downcast<__T: OpaqueFact>(self: Box<Self>) -> Result<Box<__T>, Box<Self>>

Returns a boxed object from a boxed trait object if the underlying object is of type __T. Returns the original boxed trait if it isn’t.

pub fn downcast_rc<__T: OpaqueFact>(self: Rc<Self>) -> Result<Rc<__T>, Rc<Self>>

Returns an Rc-ed object from an Rc-ed trait object if the underlying object is of type __T. Returns the original Rc-ed trait if it isn’t.

pub fn downcast_ref<__T: OpaqueFact>(&self) -> Option<&__T>

Returns a reference to the object within the trait object if it is of type __T, or None if it isn’t.

pub fn downcast_mut<__T: OpaqueFact>(&mut self) -> Option<&mut __T>

Returns a mutable reference to the object within the trait object if it is of type __T, or None if it isn’t.

Trait Implementations

impl Eq for Box<dyn OpaqueFact>

impl<T: OpaqueFact> From<T> for Box<dyn OpaqueFact>

fn from(v: T) -> Self

Converts to this type from the input type.

impl<'hash> Hash for dyn OpaqueFact + 'hash

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

impl<'hash> Hash for dyn OpaqueFact + Send + 'hash

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

impl<'hash> Hash for dyn OpaqueFact + Sync + 'hash

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

impl<'hash> Hash for dyn OpaqueFact + Send + Sync + 'hash

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

impl PartialEq for Box<dyn OpaqueFact>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl OpaqueFact for TVec<Box<dyn OpaqueFact>>

impl OpaqueFact for TVec<Option<Box<dyn OpaqueFact>>>