pub trait Fact: Debug + Downcast + DynClone + Send + Sync + 'static {
// Required methods
fn to_typed_fact(&self) -> Result<Cow<'_, TypedFact>, Error>;
fn same_as(&self, _other: &(dyn Fact + 'static)) -> bool;
fn compatible_with(&self, _other: &(dyn Fact + 'static)) -> bool;
fn datum_type(&self) -> Option<DatumType>;
// Provided method
fn matches(
&self,
t: &Tensor,
symbols: Option<&SymbolValues>
) -> Result<bool, Error> { ... }
}
Expand description
Type information about a tensor: shape, and element type, in various state of determination.
Required Methods§
fn to_typed_fact(&self) -> Result<Cow<'_, TypedFact>, Error>
fn same_as(&self, _other: &(dyn Fact + 'static)) -> bool
sourcefn compatible_with(&self, _other: &(dyn Fact + 'static)) -> bool
fn compatible_with(&self, _other: &(dyn Fact + 'static)) -> bool
Ensure that self is same type as another fact or a subtype
fn datum_type(&self) -> Option<DatumType>
Provided Methods§
Implementations§
source§impl dyn Fact
impl dyn Fact
sourcepub fn is<__T>(&self) -> boolwhere
__T: Fact,
pub fn is<__T>(&self) -> boolwhere
__T: Fact,
Returns true if the trait object wraps an object of type __T
.
sourcepub fn downcast<__T>(self: Box<dyn Fact>) -> Result<Box<__T>, Box<dyn Fact>>where
__T: Fact,
pub fn downcast<__T>(self: Box<dyn Fact>) -> Result<Box<__T>, Box<dyn Fact>>where
__T: Fact,
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>(self: Rc<dyn Fact>) -> Result<Rc<__T>, Rc<dyn Fact>>where
__T: Fact,
pub fn downcast_rc<__T>(self: Rc<dyn Fact>) -> Result<Rc<__T>, Rc<dyn Fact>>where
__T: Fact,
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>(&self) -> Option<&__T>where
__T: Fact,
pub fn downcast_ref<__T>(&self) -> Option<&__T>where
__T: Fact,
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>(&mut self) -> Option<&mut __T>where
__T: Fact,
pub fn downcast_mut<__T>(&mut self) -> Option<&mut __T>where
__T: Fact,
Returns a mutable reference to the object within the trait object if it is of type
__T
, or None
if it isn’t.