Trait ExoticFact 

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

    // Provided methods
    fn compatible_with(&self, other: &dyn ExoticFact) -> bool { ... }
    fn clarify_dt_shape(&self) -> Option<(DatumType, TVec<TDim>)> { ... }
    fn mem_size(&self) -> TDim { ... }
}

Required Methods

fn buffer_sizes(&self) -> TVec<TDim>

Provided Methods

fn compatible_with(&self, other: &dyn ExoticFact) -> 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, TVec<TDim>)>

fn mem_size(&self) -> TDim

Implementations

impl dyn ExoticFact

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

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

pub fn downcast<__T: ExoticFact>(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: ExoticFact>(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: ExoticFact>(&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: ExoticFact>(&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<T: ExoticFact> From<T> for Box<dyn ExoticFact>

fn from(v: T) -> Self

Converts to this type from the input type.

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

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

Feeds this value into the given Hasher.

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

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

Feeds this value into the given Hasher.

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

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

Feeds this value into the given Hasher.

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

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

Feeds this value into the given Hasher.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

Implementors

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

impl ExoticFact for TVec<Box<dyn ExoticFact>>