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§
Provided Methods§
Sourcefn compatible_with(&self, other: &dyn OpaqueFact) -> bool
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§
Source§impl dyn OpaqueFact
impl dyn OpaqueFact
Sourcepub fn is<__T: OpaqueFact>(&self) -> bool
pub fn is<__T: OpaqueFact>(&self) -> bool
Returns true if the trait object wraps an object of type __T.
Sourcepub fn downcast<__T: OpaqueFact>(self: Box<Self>) -> Result<Box<__T>, Box<Self>>
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.
Sourcepub fn downcast_rc<__T: OpaqueFact>(self: Rc<Self>) -> Result<Rc<__T>, Rc<Self>>
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.
Sourcepub fn downcast_ref<__T: OpaqueFact>(&self) -> Option<&__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.
Sourcepub fn downcast_mut<__T: OpaqueFact>(&mut self) -> Option<&mut __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.