Trait ExoticFact 

pub trait ExoticFact:
    DynHash
    + DynEq
    + Send
    + Sync
    + Debug
    + DynClone
    + Downcast {
    // Required method
    fn buffer_sizes(&self) -> SmallVec<[TDim; 4]>;

    // Provided methods
    fn compatible_with(&self, other: &(dyn ExoticFact + 'static)) -> bool { ... }
    fn clarify_dt_shape(&self) -> Option<(DatumType, SmallVec<[TDim; 4]>)> { ... }
    fn mem_size(&self) -> TDim { ... }
}

Required Methods

fn buffer_sizes(&self) -> SmallVec<[TDim; 4]>

Provided Methods

fn compatible_with(&self, other: &(dyn ExoticFact + '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, SmallVec<[TDim; 4]>)>

fn mem_size(&self) -> TDim

Implementations

impl dyn ExoticFact

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

where __T: ExoticFact,

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

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

where __T: ExoticFact,

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 ExoticFact>, ) -> Result<Rc<__T>, Rc<dyn ExoticFact>>

where __T: ExoticFact,

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: ExoticFact,

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: ExoticFact,

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 ExoticFact + 'clone>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

where T: ExoticFact,

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

Converts to this type from the input type.

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

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

where H: Hasher,

Feeds this value into the given Hasher.

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

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

where H: Hasher,

Feeds this value into the given Hasher.

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

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

where H: Hasher,

Feeds this value into the given Hasher.

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

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

where H: Hasher,

Feeds this value into the given Hasher.

impl<'eq> PartialEq<&Box<dyn ExoticFact + 'eq>> for Box<dyn ExoticFact + 'eq>

fn eq(&self, other: &&Box<dyn ExoticFact + 'eq>) -> 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> PartialEq<&Box<dyn ExoticFact + Send + 'eq>> for Box<dyn ExoticFact + Send + 'eq>

fn eq(&self, other: &&Box<dyn ExoticFact + Send + 'eq>) -> 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> PartialEq<&Box<dyn ExoticFact + Send + Sync + 'eq>> for Box<dyn ExoticFact + Send + Sync + 'eq>

fn eq(&self, other: &&Box<dyn ExoticFact + Send + Sync + 'eq>) -> 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> PartialEq<&Box<dyn ExoticFact + Sync + 'eq>> for Box<dyn ExoticFact + Sync + 'eq>

fn eq(&self, other: &&Box<dyn ExoticFact + Sync + 'eq>) -> 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> PartialEq for dyn ExoticFact + 'eq

fn eq(&self, other: &(dyn ExoticFact + 'eq)) -> 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> PartialEq for dyn ExoticFact + Send + 'eq

fn eq(&self, other: &(dyn ExoticFact + Send + 'eq)) -> 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> PartialEq for dyn ExoticFact + Send + Sync + 'eq

fn eq(&self, other: &(dyn ExoticFact + Send + Sync + 'eq)) -> 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> PartialEq for dyn ExoticFact + Sync + 'eq

fn eq(&self, other: &(dyn ExoticFact + Sync + 'eq)) -> 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> Eq for dyn ExoticFact + 'eq

impl<'eq> Eq for dyn ExoticFact + Send + 'eq

impl<'eq> Eq for dyn ExoticFact + Send + Sync + 'eq

impl<'eq> Eq for dyn ExoticFact + Sync + 'eq

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl ExoticFact for BlockQuantFact

fn buffer_sizes(&self) -> SmallVec<[TDim; 4]>

impl ExoticFact for PackedBlockQuantFact

fn buffer_sizes(&self) -> SmallVec<[TDim; 4]>

impl ExoticFact for PackedExoticFact

fn buffer_sizes(&self) -> SmallVec<[TDim; 4]>

Implementors

impl ExoticFact for DynPackedExoticFact

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

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