Struct tract_pulse::internal::TypedFact

pub struct TypedFact {
    pub datum_type: DatumType,
    pub shape: ShapeFact,
    pub konst: Option<Arc<Tensor>>,
    pub uniform: Option<Arc<Tensor>>,
}

Expand description

Fully determined tensor information for TypedModel.

Fields

datum_type: DatumType

tensor element type

shape: ShapeFact

tensor shape

konst: Option<Arc<Tensor>>

optional constant value

uniform: Option<Arc<Tensor>>

optional uniform value

Implementations

impl TypedFact

pub fn scalar<T>() -> TypedFact where
T: Datum,

pub fn shape<T, S>(shape: S) -> TypedFact where
T: Datum,
S: Into<ShapeFact>,

pub fn dt_scalar(datum_type: DatumType) -> TypedFact

pub fn dt_shape<S>(datum_type: DatumType, shape: S) -> TypedFact where
S: Into<ShapeFact>,

pub fn rank(&self) -> usize

pub fn format_dt_shape(&self) -> String

pub fn consistent(&self) -> Result<(), Error>

pub fn without_value(&self) -> TypedFact

Trait Implementations

impl Clone for TypedFact

fn clone(&self) -> TypedFact

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

impl Debug for TypedFact

fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more

impl DynHash for TypedFact

fn dyn_hash(&self, state: &mut dyn Hasher)

impl Fact for TypedFact

fn to_typed_fact(&self) -> Result<Cow<'_, TypedFact>, Error>

fn matches(
    &self,
    t: &Tensor,
    symbols: Option<&SymbolValues>
) -> Result<bool, Error>

fn same_as(&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>

impl<'a> From<&'a PulsedFact> for TypedFact

fn from(fact: &'a PulsedFact) -> TypedFact

Converts to this type from the input type.

impl<'a> From<&'a TypedFact> for TypedFact

fn from(fact: &TypedFact) -> TypedFact

Converts to this type from the input type.

impl<'t> From<&'t Tensor> for TypedFact

fn from(t: &'t Tensor) -> TypedFact

Converts to this type from the input type.

impl From<Arc<Tensor>> for TypedFact

fn from(t: Arc<Tensor>) -> TypedFact

Converts to this type from the input type.

impl From<PulsedFact> for TypedFact

fn from(fact: PulsedFact) -> TypedFact

Converts to this type from the input type.

impl From<Tensor> for TypedFact

fn from(t: Tensor) -> TypedFact

Converts to this type from the input type.

impl Hash for TypedFact

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

Feeds this value into the given Hasher. Read more

1.3.0 · source

fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,

Feeds a slice of this type into the given Hasher. Read more

impl PartialEq<TypedFact> for TypedFact

fn eq(&self, other: &TypedFact) -> bool

This method tests for self and other values to be equal, and is used by ==. Read more

fn ne(&self, other: &TypedFact) -> bool

This method tests for !=.

impl SpecialOps<TypedFact, Box<dyn TypedOp + 'static, Global>> for Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>

fn is_source(op: &Box<dyn TypedOp + 'static, Global>) -> bool

fn create_dummy(&self) -> Box<dyn TypedOp + 'static, 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 create_source(&self, fact: TypedFact) -> Box<dyn TypedOp + 'static, 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 wire_node(
    &mut self,
    name: impl Into<String>,
    op: impl Into<Box<dyn TypedOp + 'static, Global>>,
    inputs: &[OutletId]
) -> Result<SmallVec<[OutletId ; 4]>, Error>

impl Translate<TypedFact, Box<dyn TypedOp + 'static, Global>, TypedFact, Box<dyn TypedOp + 'static, Global>> for HalfTranslator

fn translate_node(
    &self,
    _source: &Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>,
    node: &Node<TypedFact, Box<dyn TypedOp + 'static, Global>>,
    target: &mut Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>,
    mapping: &HashMap<OutletId, OutletId, RandomState>
) -> Result<SmallVec<[OutletId ; 4]>, Error>

fn translate_model(
&self,
source: &Graph<TI1, O1>
) -> Result<Graph<TI2, O2>, Error>

fn translate_model_with_mappings(
&self,
source: &Graph<TI1, O1>
) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId, RandomState>), Error>

impl Translate<TypedFact, Box<dyn TypedOp + 'static, Global>, TypedFact, Box<dyn TypedOp + 'static, Global>> for SymbolValues

fn translate_node(
    &self,
    source: &Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>,
    node: &Node<TypedFact, Box<dyn TypedOp + 'static, Global>>,
    target: &mut Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>,
    mapping: &HashMap<OutletId, OutletId, RandomState>
) -> Result<SmallVec<[OutletId ; 4]>, Error>

fn translate_model(
&self,
source: &Graph<TI1, O1>
) -> Result<Graph<TI2, O2>, Error>

fn translate_model_with_mappings(
&self,
source: &Graph<TI1, O1>
) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId, RandomState>), Error>

impl StructuralPartialEq for TypedFact

Auto Trait Implementations

impl RefUnwindSafe for TypedFact

impl Send for TypedFact

impl Sync for TypedFact

impl Unpin for TypedFact

impl UnwindSafe for TypedFact

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> Downcast for T where
T: Any,

fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, 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;`

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait. Read more

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait. Read more

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s. Read more

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s. Read more

impl<T> DowncastSync for T where
T: Any + Send + Sync,

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync + 'static>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait. Read more

impl<T> DynClone for T where
T: Clone,

fn __clone_box(&self, Private) -> *mut ()

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.