Trait tract_pulse::internal::Fact
[−]pub trait Fact: 'static + Debug + Downcast + DynClone + Send + Sync {
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>;
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 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
impl dyn Fact + 'static
impl dyn Fact + 'static
pub fn is<__T>(&self) -> bool where
__T: Fact,
pub fn is<__T>(&self) -> bool where
__T: Fact,
Returns true if the trait object wraps an object of type __T.
pub fn downcast<__T>(
self: Box<dyn Fact + 'static, Global>
) -> Result<Box<__T, Global>, Box<dyn Fact + 'static, Global>> where
__T: Fact,
pub fn downcast<__T>(
self: Box<dyn Fact + 'static, Global>
) -> Result<Box<__T, Global>, Box<dyn Fact + 'static, Global>> 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.
pub fn downcast_rc<__T>(
self: Rc<dyn Fact + 'static>
) -> Result<Rc<__T>, Rc<dyn Fact + 'static>> where
__T: Fact,
pub fn downcast_rc<__T>(
self: Rc<dyn Fact + 'static>
) -> Result<Rc<__T>, Rc<dyn Fact + 'static>> 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.
pub 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.
pub 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.
Trait Implementations
impl<'clone> Clone for Box<dyn Fact + 'clone, Global>
impl<'clone> Clone for Box<dyn Fact + 'clone, Global>
fn clone(&self) -> Box<dyn Fact + 'clone, Global>ⓘNotable traits for Box<R, Global>impl<R> Read for Box<R, Global> where
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
fn clone(&self) -> Box<dyn Fact + 'clone, Global>ⓘNotable traits for Box<R, Global>impl<R> Read for Box<R, Global> where
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
impl<'clone> Clone for Box<dyn Fact + Send + 'clone, Global>
impl<'clone> Clone for Box<dyn Fact + Send + 'clone, Global>
fn clone(&self) -> Box<dyn Fact + Send + 'clone, Global>ⓘNotable traits for Box<R, Global>impl<R> Read for Box<R, Global> where
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
fn clone(&self) -> Box<dyn Fact + Send + 'clone, Global>ⓘNotable traits for Box<R, Global>impl<R> Read for Box<R, Global> where
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
impl<'clone> Clone for Box<dyn Fact + Send + Sync + 'clone, Global>
impl<'clone> Clone for Box<dyn Fact + Send + Sync + 'clone, Global>
fn clone(&self) -> Box<dyn Fact + Send + Sync + 'clone, Global>ⓘNotable traits for Box<R, Global>impl<R> Read for Box<R, Global> where
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
fn clone(&self) -> Box<dyn Fact + Send + Sync + 'clone, Global>ⓘNotable traits for Box<R, Global>impl<R> Read for Box<R, Global> where
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
impl<'clone> Clone for Box<dyn Fact + Sync + 'clone, Global>
impl<'clone> Clone for Box<dyn Fact + Sync + 'clone, Global>
fn clone(&self) -> Box<dyn Fact + Sync + 'clone, Global>ⓘNotable traits for Box<R, Global>impl<R> Read for Box<R, Global> where
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
fn clone(&self) -> Box<dyn Fact + Sync + 'clone, Global>ⓘNotable traits for Box<R, Global>impl<R> Read for Box<R, Global> where
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
R: Read + ?Sized, impl<W> Write for Box<W, Global> where
W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
I: Iterator + ?Sized,
A: Allocator, type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
F: Future + Unpin + ?Sized,
A: Allocator + 'static, type Output = <F as Future>::Output;
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more