Trait OpaqueFact

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

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

Required Methods

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

fn mem_size(&self) -> TDim

Provided Methods

fn compatible_with(&self, other: &(dyn OpaqueFact + 'static)) -> 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>(&self) -> bool

where __T: OpaqueFact,

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

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

where __T: OpaqueFact,

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>( self: Rc<dyn OpaqueFact>, ) -> Result<Rc<__T>, Rc<dyn OpaqueFact>>

where __T: OpaqueFact,

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>(&self) -> Option<&__T>

where __T: OpaqueFact,

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>(&mut self) -> Option<&mut __T>

where __T: OpaqueFact,

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<'clone> Clone for Box<dyn OpaqueFact + 'clone>

fn clone(&self) -> Box<dyn OpaqueFact + 'clone>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'clone> Clone for Box<dyn OpaqueFact + Send + 'clone>

fn clone(&self) -> Box<dyn OpaqueFact + Send + 'clone>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'clone> Clone for Box<dyn OpaqueFact + Sync + Send + 'clone>

fn clone(&self) -> Box<dyn OpaqueFact + Sync + Send + 'clone>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'clone> Clone for Box<dyn OpaqueFact + Sync + 'clone>

fn clone(&self) -> Box<dyn OpaqueFact + Sync + 'clone>

Returns a copy of the value.

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

Performs copy-assignment from source.

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

where T: OpaqueFact,

fn from(v: T) -> Box<dyn OpaqueFact>

Converts to this type from the input type.

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

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

where H: Hasher,

Feeds this value into the given Hasher.

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

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

where H: Hasher,

Feeds this value into the given Hasher.

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

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

where H: Hasher,

Feeds this value into the given Hasher.

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

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

where H: Hasher,

Feeds this value into the given Hasher.

impl PartialEq for Box<dyn OpaqueFact>

fn eq(&self, other: &Box<dyn OpaqueFact>) -> 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.

impl Eq for Box<dyn OpaqueFact>

Implementors

impl OpaqueFact for DynPackedOpaqueFact

impl OpaqueFact for SmallVec<[Option<Box<dyn OpaqueFact>>; 4]>

impl OpaqueFact for SmallVec<[Box<dyn OpaqueFact>; 4]>

impl OpaqueFact for BlockQuantFact

impl OpaqueFact for PackedBlockQuantFact

impl OpaqueFact for PackedOpaqueFact